BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Schwoon:Stefan

Contributed to:

TAP 20152015
ICGT 20102010
FOSSACS 20092009
TACAS 20082008
CAV 20072007
TACAS 20062006
SAS 20052005
TACAS 20052005
SAS 20032003
CAV 20012001
CAV 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.