| 2008 |
|---|
| 24 | EE | Ahmed Bouajjani,
Javier Esparza,
Stefan Schwoon,
Dejvuth Suwimonteerabuth:
SDSIrep: A Reputation System Based on SDSI.
TACAS 2008: 501-516 |
| 23 | EE | Javier Esparza,
Pradeep Kanade,
Stefan Schwoon:
A negative result on depth-first net unfoldings.
STTT 10(2): 161-166 (2008) |
| 2007 |
|---|
| 22 | EE | Dejvuth Suwimonteerabuth,
Felix Berger,
Stefan Schwoon,
Javier Esparza:
jMoped: A Test Environment for Java Programs.
CAV 2007: 164-167 |
| 2006 |
|---|
| 21 | EE | Dejvuth Suwimonteerabuth,
Stefan Schwoon,
Javier Esparza:
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains.
ATVA 2006: 141-153 |
| 20 | EE | Hao Wang,
Somesh Jha,
Thomas W. Reps,
Stefan Schwoon,
Stuart G. Stubblebine:
Reducing the Dependence of SPKI/SDSI on PKI.
ESORICS 2006: 156-173 |
| 19 | EE | Prasad Naldurg,
Stefan Schwoon,
Sriram K. Rajamani,
John Lambert:
NETRA: : seeing through access control.
FMSE 2006: 55-66 |
| 18 | EE | Ahmed Bouajjani,
Javier Esparza,
Stefan Schwoon,
Jan Strejcek:
Reachability analysis of multithreaded software with asynchronous communication.
Software Verification: Infinite-State Model Checking and Static Program Analysis 2006 |
| 17 | EE | Somesh Jha,
Stefan Schwoon,
Hao Wang,
Thomas W. Reps:
Weighted Pushdown Systems and Trust-Management Systems.
TACAS 2006: 1-26 |
| 16 | EE | Javier Esparza,
Stefan Kiefer,
Stefan Schwoon:
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.
TACAS 2006: 489-503 |
| 2005 |
|---|
| 15 | EE | Ahmed Bouajjani,
Javier Esparza,
Stefan Schwoon,
Jan Strejcek:
Reachability Analysis of Multithreaded Software with Asynchronous Communication.
FSTTCS 2005: 348-359 |
| 14 | EE | Javier Esparza,
Pierre Ganty,
Stefan Schwoon:
Locality-Based Abstractions.
SAS 2005: 118-134 |
| 13 | EE | Stefan Schwoon,
Javier Esparza:
A Note on On-the-Fly Verification Algorithms.
TACAS 2005: 174-190 |
| 12 | EE | Dejvuth Suwimonteerabuth,
Stefan Schwoon,
Javier Esparza:
jMoped: A Java Bytecode Checker Based on Moped.
TACAS 2005: 541-545 |
| 11 | EE | Thomas W. Reps,
Stefan Schwoon,
Somesh Jha,
David Melski:
Weighted pushdown systems and their application to interprocedural dataflow analysis.
Sci. Comput. Program. 58(1-2): 206-263 (2005) |
| 2004 |
|---|
| 10 | EE | Markus Holzer,
Stefan Schwoon:
Assembling molecules in ATOMIX is hard.
Theor. Comput. Sci. 303(3): 447-462 (2004) |
| 2003 |
|---|
| 9 | EE | Stefan Schwoon,
Somesh Jha,
Thomas W. Reps,
Stuart G. Stubblebine:
On Generalized Authorization Problems.
CSFW 2003: 202- |
| 8 | EE | Claus Schröter,
Stefan Schwoon,
Javier Esparza:
The Model-Checking Kit.
ICATPN 2003: 463-472 |
| 7 | EE | Thomas W. Reps,
Stefan Schwoon,
Somesh Jha:
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis.
SAS 2003: 189-213 |
| 6 | EE | Javier Esparza,
Antonín Kucera,
Stefan Schwoon:
Model checking LTL with regular valuations for pushdown systems.
Inf. Comput. 186(2): 355-376 (2003) |
| 2001 |
|---|
| 5 | EE | Stefan Schwoon:
Determinization and Complementation of Streett Automata.
Automata, Logics, and Infinite Games 2001: 79-91 |
| 4 | EE | Javier Esparza,
Stefan Schwoon:
A BDD-Based Model Checker for Recursive Programs.
CAV 2001: 324-336 |
| 3 | EE | Javier Esparza,
Antonín Kucera,
Stefan Schwoon:
Model-Checking LTL with Regular Valuations for Pushdown Systems.
TACS 2001: 316-339 |
| 2000 |
|---|
| 2 | | Javier Esparza,
David Hansel,
Peter Rossmanith,
Stefan Schwoon:
Efficient Algorithms for Model Checking Pushdown Systems.
CAV 2000: 232-247 |
| 1 | | Javier Esparza,
Peter Rossmanith,
Stefan Schwoon:
A Uniform Framework for Problems on Context-Free Grammars.
Bulletin of the EATCS 72: 169-177 (2000) |
