Efficient Algorithms for Model Checking Pushdown Systems. - Javier Esparza; David Hansel; Peter Rossmanith; Stefan Schwoon (CAV, 2000)

A Uniform Framework for Problems on Context-Free Grammars. - Javier Esparza; Peter Rossmanith; Stefan Schwoon (Bull. EATCS, 2000)

A BDD-Based Model Checker for Recursive Programs. - Javier Esparza; Stefan Schwoon (CAV, 2001)

Determinization and Complementation of Streett Automata. - Stefan Schwoon (Automata, Logics, and Infinite Games, 2001)

Model checking pushdown systems. - Stefan Schwoon (2002)

The Model-Checking Kit. - Claus Schröter; Stefan Schwoon; Javier Esparza (ICATPN, 2003)

On Generalized Authorization Problems. - Stefan Schwoon; Somesh Jha; Thomas W. Reps; Stuart G. Stubblebine (CSFW, 2003)

Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. - Thomas W. Reps; Stefan Schwoon; Somesh Jha (SAS, 2003)

Model checking LTL with regular valuations for pushdown systems. - Javier Esparza; Antonín Kucera 001; Stefan Schwoon (Inf. Comput., 2003)

Assembling molecules in ATOMIX is hard. - Markus Holzer 001; Stefan Schwoon (Theor. Comput. Sci., 2004)

Locality-Based Abstractions. - Javier Esparza; Pierre Ganty; Stefan Schwoon (SAS, 2005)

A Note on On-the-Fly Verification Algorithms. - Stefan Schwoon; Javier Esparza (TACAS, 2005)

jMoped: A Java Bytecode Checker Based on Moped. - Dejvuth Suwimonteerabuth; Stefan Schwoon; Javier Esparza (TACAS, 2005)

Weighted pushdown systems and their application to interprocedural dataflow analysis. - Thomas W. Reps; Stefan Schwoon; Somesh Jha; David Melski (Sci. Comput. Program., 2005)

Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. - Dejvuth Suwimonteerabuth; Stefan Schwoon; Javier Esparza (ATVA, 2006)

NETRA: : seeing through access control. - Prasad Naldurg; Stefan Schwoon; Sriram K. Rajamani; John Lambert (FMSE, 2006)

Reachability analysis of multithreaded software with asynchronous communication. - Ahmed Bouajjani; Javier Esparza; Stefan Schwoon; Jan Strejcek (Software Verification: Infinite-State Model Checking and Static Program Analysis, 2006)

Reducing the Dependence of SPKI/SDSI on PKI. - Hao Wang 112; Somesh Jha; Thomas W. Reps; Stefan Schwoon; Stuart G. Stubblebine (ESORICS, 2006)

Weighted Pushdown Systems and Trust-Management Systems. - Somesh Jha; Stefan Schwoon; Hao Wang 112; Thomas W. Reps (TACAS, 2006)

jMoped: A Test Environment for Java Programs. - Dejvuth Suwimonteerabuth; Felix Berger; Stefan Schwoon; Javier Esparza (CAV, 2007)

Symbolic Context-Bounded Analysis of Multithreaded Java Programs. - Dejvuth Suwimonteerabuth; Javier Esparza; Stefan Schwoon (SPIN, 2008)

SDSIrep: A Reputation System Based on SDSI. - Ahmed Bouajjani; Javier Esparza; Stefan Schwoon; Dejvuth Suwimonteerabuth (TACAS, 2008)

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. - Javier Esparza; Stefan Kiefer; Stefan Schwoon (J. Satisf. Boolean Model. Comput., 2008)

A negative result on depth-first net unfoldings. - Javier Esparza; Pradeep Kanade; Stefan Schwoon (Int. J. Softw. Tools Technol. Transf., 2008)

McMillan's Complete Prefix for Contextual Nets. - Paolo Baldan; Andrea Corradini 001; Barbara König 001; Stefan Schwoon (Trans. Petri Nets Other Model. Concurr., 2008)

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. - Morten Kühnrich; Stefan Schwoon; Jirí Srba; Stefan Kiefer (FoSSaCS, 2009)

Comparison of Algorithms for Checking Emptiness on Büchi Automata. - Andreas Gaiser; Stefan Schwoon (MEMICS, 2009)

Comparison of Algorithms for Checking Emptiness on Buechi Automata - Andreas Gaiser; Stefan Schwoon (CoRR, 2009)

On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. - Paolo Baldan; Alessandro Bruni; Andrea Corradini 001; Barbara König 001; Stefan Schwoon (ICGT, 2010)

Efficient Contextual Unfolding. - César Rodríguez; Stefan Schwoon; Paolo Baldan (CONCUR, 2011)

Construction and SAT-Based Verification of Contextual Unfoldings. - Stefan Schwoon; César Rodríguez (DCFS, 2011)

Verification of Petri Nets with Read Arcs. - César Rodríguez; Stefan Schwoon (CONCUR, 2012)

Efficient unfolding of contextual Petri nets. - Paolo Baldan; Alessandro Bruni; Andrea Corradini 001; Barbara König 001; César Rodríguez; Stefan Schwoon (Theor. Comput. Sci., 2012)

Efficient verification of sequential and concurrent systems. - Stefan Schwoon (2013)

Reveal Your Faults: It's Only Fair! - Stefan Haar; César Rodríguez; Stefan Schwoon (ACSD, 2013)

Contextual Merged Processes. - César Rodríguez; Stefan Schwoon; Victor Khomenko (Petri Nets, 2013)

Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. - César Rodríguez; Stefan Schwoon (ATVA, 2013)

An Improved Construction of Petri Net Unfoldings. - César Rodríguez; Stefan Schwoon (FSFMA, 2013)

Computation of Summaries Using Net Unfoldings. - Javier Esparza; Loïg Jezequel; Stefan Schwoon (FSTTCS, 2013)

Computing the reveals relation in occurrence nets. - Stefan Haar; Christian Kern; Stefan Schwoon (Theor. Comput. Sci., 2013)

Characterization of Reachable Attractors Using Petri Net Unfoldings. - Thomas Chatain; Stefan Haar; Loïg Jezequel; Loïc Paulevé; Stefan Schwoon (CMSB, 2014)

Computing Information Flow Using Symbolic Model-Checking. - Rohit Chadha; Umang Mathur 001; Stefan Schwoon (FSTTCS, 2014)

Non-atomic Transition Firing in Contextual Nets. - Thomas Chatain; Stefan Haar; Maciej Koutny; Stefan Schwoon (Petri Nets, 2015)

Active diagnosis with observable quiescence. - Stanislav Böhm; Stefan Haar; Serge Haddad; Piotr Hofman; Stefan Schwoon (CDC, 2015)

Test Case Generation for Concurrent Systems Using Event Structures. - Konstantinos Athanasiou; Hernán Ponce de León; Stefan Schwoon (TAP@STAF, 2015)

Diagnosability under Weak Fairness. - Vasileios Germanos; Stefan Haar; Victor Khomenko; Stefan Schwoon (ACM Trans. Embed. Comput. Syst., 2015)

Optimal constructions for active diagnosis. - Stefan Haar; Serge Haddad; Tarek Melliti; Stefan Schwoon (J. Comput. Syst. Sci., 2017)

The Complexity of Diagnosability and Opacity Verification for Petri Nets. - Béatrice Bérard; Stefan Haar; Sylvain Schmitz; Stefan Schwoon (Fundam. Informaticae, 2018)

Drawing the Line: Basin Boundaries in Safe Petri Nets. - Stefan Haar; Loïc Paulevé; Stefan Schwoon (CMSB, 2020)

Active Prediction for Discrete Event Systems. - Stefan Haar; Serge Haddad; Stefan Schwoon; Lina Ye (FSTTCS, 2020)

Distributed computation of vector clocks in Petri net unfoldings for test selection. - Loïg Jezequel; Agnes Madalinski; Stefan Schwoon (Discret. Event Dyn. Syst., 2020)

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. - Giann Karlo Aguirre-Samboní; Stefan Haar; Loïc Paulevé; Stefan Schwoon; Nick Würdemann (GandALF, 2022)

Attractor Basins in Concurrent Systems. - Giann Karlo Aguirre-Samboní; Stefan Haar; Loïc Paulevé; Stefan Schwoon; Nick Würdemann (CoRR, 2024)