| 2026 | CONCUR | Active Diagnosis with Costs and Rewards. | Serge Haddad, Engel Lefaucheux, Stefan Schwoon |
| 2015 | TAP | Test Case Generation for Concurrent Systems Using Event Structures. | Konstantinos Athanasiou, Hernn Ponce de Len, Stefan Schwoon |
| 2013 | ATVA | Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. | Csar Rodrguez, Stefan Schwoon |
| 2012 | CONCUR | Verification of Petri Nets with Read Arcs. | Csar Rodrguez, Stefan Schwoon |
| 2011 | CONCUR | Efficient Contextual Unfolding. | Csar Rodrguez, Stefan Schwoon, Paolo Baldan |
| 2009 | FOSSACS | Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. | Morten Khnrich, Stefan Schwoon, Jir Srba, Stefan Kiefer |
| 2008 | TACAS | SDSIrep: A Reputation System Based on SDSI. | Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth |
| 2007 | CAV | jMoped: A Test Environment for Java Programs. | Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza |
| 2006 | ATVA | Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. | Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza |
| 2006 | CCS | Untitled record | Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert |
| 2006 | ESORICS | Reducing the Dependence of SPKI/SDSI on PKI. | Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine |
| 2006 | TACAS | Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. | Javier Esparza, Stefan Kiefer, Stefan Schwoon |
| 2006 | TACAS | Weighted Pushdown Systems and Trust-Management Systems. | Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps |
| 2005 | SAS | Locality-Based Abstractions. | Javier Esparza, Pierre Ganty, Stefan Schwoon |
| 2005 | TACAS | A Note on On-the-Fly Verification Algorithms. | Stefan Schwoon, Javier Esparza |
| 2005 | TACAS | jMoped: A Java Bytecode Checker Based on Moped. | Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza |
| 2003 | SAS | Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. | Thomas W. Reps, Stefan Schwoon, Somesh Jha |
| 2001 | CAV | A BDD-Based Model Checker for Recursive Programs. | Javier Esparza, Stefan Schwoon |
| 2000 | CAV | Efficient Algorithms for Model Checking Pushdown Systems. | Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon |