Stefan Schwoon

ORCID

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 7

Top Venues

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. GandALF (2022)
Loïg Jezequel, Agnes Madalinski, Stefan Schwoon
Distributed computation of vector clocks in Petri net unfoldings for test selection. Discret. Event Dyn. Syst. 30 (3) (2020)
Stefan Haar, Loïc Paulevé, Stefan Schwoon
Drawing the Line: Basin Boundaries in Safe Petri Nets. CMSB (2020)
Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye
Active Prediction for Discrete Event Systems. FSTTCS (2020)
Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
The Complexity of Diagnosability and Opacity Verification for Petri Nets. Fundam. Informaticae 161 (4) (2018)
Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon
Optimal constructions for active diagnosis. J. Comput. Syst. Sci. 83 (1) (2017)
Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
The Complexity of Diagnosability and Opacity Verification for Petri Nets. Petri Nets (2017)
Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon
Non-atomic Transition Firing in Contextual Nets. Petri Nets (2015)
Konstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon
Test Case Generation for Concurrent Systems Using Event Structures. TAP@STAF (2015)
Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon
Diagnosability under Weak Fairness. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon
Active diagnosis with observable quiescence. CDC (2015)
Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon
Characterization of Reachable Attractors Using Petri Net Unfoldings. CMSB (2014)
Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon
Diagnosability under Weak Fairness. ACSD (2014)
Rohit Chadha, Umang Mathur, Stefan Schwoon
Computing Information Flow Using Symbolic Model-Checking. FSTTCS (2014)
Javier Esparza, Loïg Jezequel, Stefan Schwoon
Computation of Summaries Using Net Unfoldings. FSTTCS (2013)
César Rodríguez, Stefan Schwoon
An Improved Construction of Petri Net Unfoldings. FSFMA (2013)
Javier Esparza, Loïg Jezequel, Stefan Schwoon
Computation of Summaries Using Net Unfoldings. CoRR (2013)
César Rodríguez, Stefan Schwoon, Victor Khomenko
Contextual Merged Processes. Petri Nets (2013)
Stefan Haar, Christian Kern, Stefan Schwoon
Computing the reveals relation in occurrence nets. Theor. Comput. Sci. 493 (2013)
Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon
Optimal Constructions for Active Diagnosis. FSTTCS (2013)
César Rodríguez, Stefan Schwoon
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. ATVA (2013)
Stefan Haar, César Rodríguez, Stefan Schwoon
Reveal Your Faults: It's Only Fair! ACSD (2013)
César Rodríguez, Stefan Schwoon
Verification of Petri Nets with Read Arcs. CONCUR (2012)
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon
Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. 449 (2012)
Stefan Schwoon, César Rodríguez
Construction and SAT-Based Verification of Contextual Unfoldings. DCFS (2011)
César Rodríguez, Stefan Schwoon, Paolo Baldan
Efficient Contextual Unfolding. CONCUR (2011)
Stefan Haar, Christian Kern, Stefan Schwoon
Computing the Reveals Relation in Occurrence Nets GandALF (2011)
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. ICGT (2010)
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains CoRR (2009)
Andreas Gaiser, Stefan Schwoon
Comparison of Algorithms for Checking Emptiness on Büchi Automata. MEMICS (2009)
Andreas Gaiser, Stefan Schwoon
Comparison of Algorithms for Checking Emptiness on Buechi Automata CoRR (2009)
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FoSSaCS (2009)
Javier Esparza, Pradeep Kanade, Stefan Schwoon
A negative result on depth-first net unfoldings. Int. J. Softw. Tools Technol. Transf. 10 (2) (2008)
Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon
Symbolic Context-Bounded Analysis of Multithreaded Java Programs. SPIN (2008)
Javier Esparza, Stefan Kiefer, Stefan Schwoon
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. J. Satisf. Boolean Model. Comput. 5 (1-4) (2008)
Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon
McMillan's Complete Prefix for Contextual Nets. Trans. Petri Nets Other Model. Concurr. 1 (2008)
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth
SDSIrep: A Reputation System Based on SDSI. TACAS (2008)
Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza
jMoped: A Test Environment for Java Programs. CAV (2007)
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)
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. ATVA (2006)
Javier Esparza, Stefan Kiefer, Stefan Schwoon
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. TACAS (2006)
Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert
: : seeing through access control. FMSE (2006)
Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine
Reducing the Dependence of SPKI/SDSI on PKI. ESORICS (2006)
Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps
Weighted Pushdown Systems and Trust-Management Systems. TACAS (2006)
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) (2005)
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
jMoped: A Java Bytecode Checker Based on Moped. TACAS (2005)
Javier Esparza, Pierre Ganty, Stefan Schwoon
Locality-Based Abstractions. SAS (2005)
Stefan Schwoon, Javier Esparza
A Note on On-the-Fly Verification Algorithms. TACAS (2005)
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek
Reachability Analysis of Multithreaded Software with Asynchronous Communication. FSTTCS (2005)
Markus Holzer, Stefan Schwoon
Assembling molecules in ATOMIX is hard. Theor. Comput. Sci. 313 (3) (2004)
Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine
On Generalized Authorization Problems. CSFW (2003)
Javier Esparza, Antonín Kucera, Stefan Schwoon
Model checking LTL with regular valuations for pushdown systems. Inf. Comput. 186 (2) (2003)
Thomas W. Reps, Stefan Schwoon, Somesh Jha
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. SAS (2003)
Claus Schröter, Stefan Schwoon, Javier Esparza
The Model-Checking Kit. ICATPN (2003)
Javier Esparza, Antonín Kucera, Stefan Schwoon
Model-Checking LTL with Regular Valuations for Pushdown Systems. TACS (2001)
Stefan Schwoon
Determinization and Complementation of Streett Automata. Automata, Logics, and Infinite Games (2001)
Javier Esparza, Stefan Schwoon
A BDD-Based Model Checker for Recursive Programs. CAV (2001)
Javier Esparza, Peter Rossmanith, Stefan Schwoon
A Uniform Framework for Problems on Context-Free Grammars. Bull. EATCS 72 (2000)
Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon
Efficient Algorithms for Model Checking Pushdown Systems. CAV (2000)

Stefan Schwoon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Schwoon