Travelled to:1 × Austria
1 × France
1 × Germany
1 × Hungary
1 × Italy
1 × The Netherlands
2 × USA
3 × United Kingdom
Collaborated with:J.Esparza D.Suwimonteerabuth S.Kiefer S.Jha T.W.Reps K.Athanasiou H.P.d.León P.Ganty M.Kühnrich J.Srba A.Bouajjani F.Berger H.Wang D.Hansel P.Rossmanith P.Baldan A.Bruni A.Corradini B.König
Talks about:system (7) pushdown (4) base (4) weight (3) interprocedur (2) algorithm (2) dataflow (2) abstract (2) program (2) checker (2)
Person: Stefan Schwoon
DBLP: Schwoon:Stefan
Contributed to:
2015
2010
2009
2008
20072006
20052005200320012000Wrote 13 papers:
- TAP-2015-AthanasiouLS #concurrent #generative #testing #using
- Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
- ICGT-2010-BaldanBCKS #graph grammar #on the
- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars (PB, AB, AC, BK, SS), pp. 91–106.
- FoSSaCS-2009-KuhnrichSSK #analysis #data flow #infinity #interprocedural
- Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (MK, SS, JS, SK), pp. 440–455.
- TACAS-2008-BouajjaniESS #named
- SDSIrep: A Reputation System Based on SDSI (AB, JE, SS, DS), pp. 501–516.
- CAV-2007-SuwimonteerabuthBSE #java #named #source code #testing
- jMoped: A Test Environment for Java Programs (DS, FB, SS, JE), pp. 164–167.
- TACAS-2006-EsparzaKS #abstraction #automaton #refinement
- Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems (JE, SK, SS), pp. 489–503.
- TACAS-2006-JhaSWR #automaton #trust
- Weighted Pushdown Systems and Trust-Management Systems (SJ, SS, HW, TWR), pp. 1–26.
- SAS-2005-EsparzaGS #abstraction
- Locality-Based Abstractions (JE, PG, SS), pp. 118–134.
- TACAS-2005-SchwoonE #algorithm #on the fly #verification
- A Note on On-the-Fly Verification Algorithms (SS, JE), pp. 174–190.
- TACAS-2005-SuwimonteerabuthSE #bytecode #java #named
- jMoped: A Java Bytecode Checker Based on Moped (DS, SS, JE), pp. 541–545.
- SAS-2003-RepsSJ #analysis #automaton #data flow #interprocedural
- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis (TWR, SS, SJ), pp. 189–213.
- CAV-2001-EsparzaS #model checking #recursion #source code
- A BDD-Based Model Checker for Recursive Programs (JE, SS), pp. 324–336.
- CAV-2000-EsparzaHRS #algorithm #automaton #model checking #performance
- Efficient Algorithms for Model Checking Pushdown Systems (JE, DH, PR, SS), pp. 232–247.