Stefan Schwoon

62 papers A* 3A 6B 11Journal 18Unranked 22

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