Publications : Stefan SCHWOON

[JMS18]
L. Jezequel, A. Madalinski, and S. Schwoon. Distributed computation of vector clocks in Petri nets unfolding for test selection. In Proceedings of the 14th Workshop on Discrete Event Systems (WODES'18), volume 51(7) of IFAC-PapersOnLine, pages 106--111, Sorrento Coast, Italy, May-June 2018. Elsevier Science Publishers.
BibTex | PDF ]
[BHSS18]
B. Bérard, S. Haar, S. Schmitz, and S. Schwoon. The Complexity of Diagnosability and Opacity Verification for Petri Nets. Fundamenta Informaticae, 161(4):317--349, 2018.
doi: 10.3233/FI-2018-1706.
BibTex | DOI | Web page ]
[BHSS17]
B. Bérard, S. Haar, S. Schmitz, and S. Schwoon. The Complexity of Diagnosability and Opacity Verification for Petri Nets. In Proceedings of the 38th International Conference on Applications and Theory of Petri Nets (PETRI NETS'17), volume 10258 of Lecture Notes in Computer Science, pages 200--220, Zaragoza, Spain, June 2017. Springer.
doi: 10.1007/978-3-319-57861-3_13.
BibTex | DOI | Web page ]
[HHMS17]
S. Haar, S. Haddad, T. Melliti, and S. Schwoon. Optimal constructions for active diagnosis. Journal of Computer and System Sciences, 83(1):101--120, 2017.
doi: 10.1016/j.jcss.2016.04.007.
BibTex | DOI | PDF ]
[GHKS15]
V. Germanos, S. Haar, V. Khomenko, and S. Schwoon. Diagnosability under Weak Fairness. ACM Transactions in Embedded Computing Systems, 14(4:69), December 2015.
doi: 10.1145/2832910.
BibTex | DOI | Web page | PDF ]
[BHH+15]
S. Böhm, S. Haar, S. Haddad, P. Hofman, and S. Schwoon. Active Diagnosis with Observable Quiescence. In Proceedings of the 54th IEEE Conference on Decision and Control (CDC'15), pages 1663--1668, Osaka, Japan, December 2015. IEEE Control System Society.
doi: 10.1109/CDC.2015.7402449.
BibTex | DOI | Web page | PDF ]
[APS15]
K. Athanasiou, H. Ponce de León, and S. Schwoon. Test Case Generation for Concurrent Systems Using Event Structures. In Proceedings of the 9th International Conference on Tests and Proofs (TAP'15), volume 9154 of Lecture Notes in Computer Science, pages 19--37, L'Aquila, Italy, July 2015. Springer.
doi: 10.1007/978-3-319-21215-9_2.
BibTex | DOI | Web page | PDF ]
[CHKS15]
Th. Chatain, S. Haar, M. Koutny, and S. Schwoon. Non-Atomic Transition Firing in Contextual Nets. In Proceedings of the 36th International Conference on Applications and Theory of Petri Nets (PETRI NETS'15), volume 9115 of Lecture Notes in Computer Science, pages 117--136, Brussels, Belgium, June 2015. Springer.
doi: 10.1007/978-3-319-19488-2_6.
BibTex | DOI | Web page | PDF ]
[CMS14]
R. Chadha, U. Mathur, and S. Schwoon. Computing Information Flow Using Symbolic Model-Checking. In Proceedings of the 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), volume 29 of Leibniz International Proceedings in Informatics, pages 505--516, New Dehli, India, December 2014. Leibniz-Zentrum für Informatik.
doi: 10.4230/LIPIcs.FSTTCS.2014.505.
BibTex | DOI | Web page | PDF ]
[CHJ+14]
Th. Chatain, S. Haar, L. Jezequel, L. Paulevé, and S. Schwoon. Characterization of Reachable Attractors Using Petri Net Unfoldings. In Proceedings of the 12th Conference on Computational Methods in System Biology (CMSB'14), volume 8859 of Lecture Notes in Bioinformatics, pages 129--142, Manchester, UK, November 2014. Springer-Verlag.
doi: 10.1007/978-3-319-12982-2_10.
BibTex | DOI | Web page | PDF ]
[GHKS14]
V. Germanos, S. Haar, V. Khomenko, and S. Schwoon. Diagnosability under Weak Fairness. In Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD'14), pages 132--141, Tunis, Tunisia, June 2014. IEEE Computer Society Press.
doi: 10.1109/ACSD.2014.9.
BibTex | DOI | Web page | PDF ]
[Sch13]
S. Schwoon. Efficient verification of sequential and concurrent systems. Mémoire d'habilitation, École Normale Supérieure de Cachan, France, December 2013.
BibTex | Web page | PDF ]
[HHMS13]
S. Haar, S. Haddad, T. Melliti, and S. Schwoon. Optimal Constructions for Active Diagnosis. In Proceedings of the 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), volume 24 of Leibniz International Proceedings in Informatics, pages 527--539, Guwahati, India, December 2013. Leibniz-Zentrum für Informatik.
doi: 10.4230/LIPIcs.FSTTCS.2013.527.
BibTex | DOI | Web page | PDF ]
[EJS13]
J. Esparza, L. Jezequel, and S. Schwoon. Computation of summaries using net unfoldings. In Proceedings of the 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), volume 24 of Leibniz International Proceedings in Informatics, pages 225--236, Guwahati, India, December 2013. Leibniz-Zentrum für Informatik.
doi: 10.4230/LIPIcs.FSTTCS.2013.225.
BibTex | DOI | Web page | PDF ]
[RS13a]
C. Rodríguez and S. Schwoon. Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. In Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13), volume 8172 of Lecture Notes in Computer Science, pages 492--495, Hanoi, Vietnam, October 2013. Springer.
doi: 10.1007/978-3-319-02444-8_42.
BibTex | DOI | Web page | PDF ]
[RS13b]
C. Rodríguez and S. Schwoon. An Improved Construction of Petri Net Unfoldings. In Proceedings of the 1st French-Singaporean Workshop on Formal Methods and Applications (FSFMA'13), volume 31 of Open Access Series in Informatics, pages 47--52, Singapore, July 2013. Leibniz-Zentrum für Informatik.
doi: 10.4230/OASIcs.FSFMA.2013.47.
BibTex | DOI | Web page | PDF ]
[HRS13]
S. Haar, C. Rodríguez, and S. Schwoon. Reveal Your Faults: It's Only Fair! In Proceedings of the 13th International Conference on Application of Concurrency to System Design (ACSD'13), pages 120--129, Barcelona, Spain, July 2013. IEEE Computer Society Press.
doi: 10.1109/ACSD.2013.15.
BibTex | DOI | Web page | PDF ]
[HKS13]
S. Haar, C. Kern, and S. Schwoon. Computing the Reveals Relation in Occurrence Nets. Theoretical Computer Science, 493:66--79, July 2013.
doi: 10.1016/j.tcs.2013.04.028.
BibTex | DOI | Web page | PDF ]
[RSK13]
C. Rodríguez, S. Schwoon, and V. Khomenko. Contextual Merged Processes. In Proceedings of the 34th International Conference on Applications and Theory of Petri Nets (PETRI NETS'13), volume 7927 of Lecture Notes in Computer Science, pages 29--48, Milano, Italy, June 2013. Springer.
doi: 10.1007/978-3-642-38697-8_3.
BibTex | DOI | Web page | PDF ]
[RS12]
C. Rodríguez and S. Schwoon. Verification of Petri Nets with Read Arcs. In Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), volume 7454 of Lecture Notes in Computer Science, pages 471--485, Newcastle, UK, September 2012. Springer.
doi: 10.1007/978-3-642-32940-1_33.
BibTex | DOI | Web page | PDF ]
[BBC+12]
P. Baldan, A. Bruni, A. Corradini, B. König, C. Rodríguez, and S. Schwoon. Efficient unfolding of contextual Petri nets. Theoretical Computer Science, 449(1):2--22, August 2012.
doi: 10.1016/j.tcs.2012.04.046.
BibTex | DOI | Web page | PDF ]
[RSB11]
C. Rodríguez, S. Schwoon, and P. Baldan. Efficient contextual unfolding. In Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11), volume 6901 of Lecture Notes in Computer Science, pages 342--357, Aachen, Germany, September 2011. Springer.
doi: 10.1007/978-3-642-23217-6_23.
BibTex | DOI | Web page | PDF ]
[SR11]
S. Schwoon and C. Rodríguez. Construction and SAT-based verification of Contextual Unfoldings. In Proceedings of the 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS'11), volume 6808 of Lecture Notes in Computer Science, pages 34--42, Limburg, Germany, July 2011. Springer.
doi: 10.1007/978-3-642-22600-7_3.
BibTex | DOI | Web page | PDF ]
[HKS11]
S. Haar, C. Kern, and S. Schwoon. Computing the Reveals Relation in Occurrence Nets. In Proceedings of the 2nd International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'11), volume 54 of Electronic Proceedings in Theoretical Computer Science, pages 31--44, Minori, Italy, June 2011.
doi: 10.4204/EPTCS.54.3.
BibTex | DOI | Web page | PDF ]
[RS11]
C. Rodríguez and S. Schwoon. Cunf, February 2011.
BibTex | Web page ]
[BBC+10]
P. Baldan, A. Bruni, A. Corradini, B. König, and S. Schwoon. On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. In Proceedings of the 5th International Conference on Graph Transformations (ICGT'10), volume 6372 of Lecture Notes in Computer Science, pages 91--106, Enschede, The Netherlands, September-October 2010. Springer.
doi: 10.1007/978-3-642-15928-2_7.
BibTex | DOI | Web page | PDF ]
[GS09]
A. Gaiser and S. Schwoon. Comparison of algorithms for checking emptiness on Büchi automata. In Proceedings of the 5th Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09), Znojmo, Czech Republic, November 2009.
BibTex | Web page | PDF ]
[KSSK09]
M. Kühnrich, S. Schwoon, J. Srba, and S. Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. In Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), volume 5504 of Lecture Notes in Computer Science, pages 440--455, York, UK, March 2009. Springer.
doi: 10.1007/978-3-642-00596-1_31.
BibTex | DOI | Web page | PDF ]
[BCKS08]
P. Baldan, A. Corradini, B. König, and S. Schwoon. McMillan's complete prefix for contextual nets. In Transactions on Petri Nets and Other Models of Concurrency I, volume 5100 of Lecture Notes in Computer Science, pages 199--220. Springer, November 2008.
doi: 10.1007/978-3-540-89287-8_12.
BibTex | DOI | Web page | PS ]
[SES08]
D. Suwimonteerabuth, J. Esparza, and S. Schwoon. Symbolic Context-Bounded Analysis of Multithreaded Java Programs. In Proceedings of the 15th International SPIN Workshop on Model Checking Software (SPIN'08), volume 5156 of Lecture Notes in Computer Science, pages 270--287, Los Angeles, California, USA, August 2008. Springer.
doi: 10.1007/978-3-540-85114-1_19.
BibTex | DOI | Web page | PDF ]
[SS08]
M. Sachenbacher and S. Schwoon. Model-based Test Generation using Quantified CSPs: A Map. In Proceedings of the ECAI'08 Workshop on Model-Based Systems (MBS'08), pages 37--41, Patras, Greece, July 2008.
BibTex ]
[EKS08b]
J. Esparza, S. Kiefer, and S. Schwoon. Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. Journal on Satisfiability, Boolean Modeling and Computation, 5:27--56, June 2008.
BibTex | Web page | PDF ]
[EKS08a]
J. Esparza, P. Kanade, and S. Schwoon. A Negative Result on Depth-First Unfoldings. International Journal on Software Tools for Technology Transfer, 10(2):161--166, March 2008.
doi: 10.1007/s10009-007-0030-5.
BibTex | DOI | Web page | PS ]
[BESS08]
A. Bouajjani, J. Esparza, S. Schwoon, and D. Suwimonteerabuth. SDSIrep: A Reputation System based on SDSI. In Proceedings of the 14th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'08), volume 4963 of Lecture Notes in Computer Science, pages 501--516, Budapest, Hungary, March-April 2008. Springer.
doi: 10.1007/978-3-540-78800-3_39.
BibTex | DOI | Web page | PS ]
[SBSE07]
D. Suwimonteerabuth, F. Berger, S. Schwoon, and J. Esparza. jMoped: A Test Environment for Java programs. In Proceedings of the 19th International Conference on Computer Aided Verification (CAV'07), volume 4590 of Lecture Notes in Computer Science, pages 164--167, Berlin, Germany, July 2007. Springer.
doi: 10.1007/978-3-540-73368-3_19.
BibTex | DOI | Web page | PS ]
[BCKS07]
P. Baldan, A. Corradini, B. König, and S. Schwoon. McMillan's complete prefix for contextual nets. In Proceedings of the Workshop on UnFOlding and partial order techniques (UFO'07), pages 32--49, Siedlce, Poland, June 2007. Publishing House of University of Podlasie.
BibTex | Web page | PS ]
[NSRL06]
P. Naldurg, S. Schwoon, S. Rajamani, and J. Lambert. NETRA: Seeing Through Access Control. In Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering (FMSE'06), pages 55--66, Alexandria, Virginia, USA, November 2006. ACM Press.
doi: 10.1145/1180337.1180343.
BibTex | DOI | Web page | PDF ]
[SSE06]
D. Suwimonteerabuth, S. Schwoon, and J. Esparza. Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. In Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), volume 4218 of Lecture Notes in Computer Science, pages 141--153, Beijing, China, October 2006. Springer.
doi: 10.1007/11901914_13.
BibTex | DOI | Web page | PDF ]
[WJR+06]
H. Wang, S. Jha, T. Reps, S. Schwoon, and S. Stubblebine. Reducing the Dependence of SPKIashSDSI on PKI. In Proceedings of the 11th European Symposium on Research in Computer Security (ESORICS'06), volume 4189 of Lecture Notes in Computer Science, pages 156--173, Hamburg, Germany, September 2006. Springer.
doi: 10.1007/11863908_11.
BibTex | DOI | Web page | PDF ]
[EKS06]
J. Esparza, S. Kiefer, and S. Schwoon. Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. In Proceedings of the 12th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'06), volume 3920 of Lecture Notes in Computer Science, pages 489--503, Vienna, Austria, March 2006. Springer.
doi: 10.1007/11691372_35.
BibTex | DOI | Web page | PS | PDF ]
[JSWR06]
S. Jha, S. Schwoon, H. Wang, and T. Reps. Weighted Pushdown Systems and Trust-Management Systems. In Proceedings of the 12th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'06), volume 3920 of Lecture Notes in Computer Science, pages 1--26, Vienna, Austria, March 2006. Springer.
doi: 10.1007/11691372_1.
BibTex | DOI | Web page | PDF ]
[BESS05]
A. Bouajjani, J. Esparza, S. Schwoon, and J. Strejček. Reachability analysis of multithreaded software with asynchronous communication. In Proceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), volume 3821 of Lecture Notes in Computer Science, pages 348--359, Hyderabad, India, December 2005. Springer.
doi: 10.1007/11590156_28.
BibTex | DOI | Web page | PS ]
[RSJM05]
T. Reps, S. Schwoon, S. Jha, and D. Melski. Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. Science of Computer Programming, 58(1-2):206--263, October 2005.
doi: 10.1016/j.scico.2005.02.009.
BibTex | DOI | Web page | PS ]
[EGS05]
J. Esparza, P. Ganty, and S. Schwoon. Locality-Based Abstractions. In Proceedings of the 12th International Symposium Static Analysis (SAS'05), volume 3672 of Lecture Notes in Computer Science, pages 118--134, London, UK, September 2005. Springer.
doi: 10.1007/11547662_10.
BibTex | DOI | Web page | PDF ]
[SE05]
S. Schwoon and J. Esparza. A Note on On-The-Fly Verification Algorithms. In Proceedings of the 11th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'05), volume 3440 of Lecture Notes in Computer Science, pages 174--190, Edinburgh, Scotland, UK, April 2005. Springer.
BibTex | Web page | PS ]
[SSE05]
D. Suwimonteerabuth, S. Schwoon, and J. Esparza. jMoped: A Java bytecode checker based on Moped. In Proceedings of the 11th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'05), volume 3440 of Lecture Notes in Computer Science, pages 541--545, Edinburgh, Scotland, UK, April 2005. Springer.
BibTex | Web page | PS ]
[HS04b]
M. Holzer and S. Schwoon. Reflections on Reflexion -- Computational Complexity Considerations on a Puzzle Game. In Proceedings of the 3rd International Conference on Fun with Algorithms (FUN'04), pages 90--105, Isola d'Elba, Italy, May 2004. Edizioni Plus, Università di Pisa.
BibTex | Web page | PS ]
[HS04a]
M. Holzer and S. Schwoon. Assembling Molecules in Atomix is Hard. Theoretical Computer Science, 303(3):447--462, February 2004.
BibTex | Web page | PDF ]
[EKS03]
J. Esparza, A. Kučera, and S. Schwoon. Model-Checking LTL with Regular Valuations for Pushdown Systems. Information and Computation, 186(2):355--376, November 2003.
BibTex | Web page | PS ]
[RSJ03]
T. Reps, S. Schwoon, and S. Jha. Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. In Proceedings of the 10th International Symposium Static Analysis (SAS'03), volume 2694 of Lecture Notes in Computer Science, pages 189--213, San Diego, California, USA, June 2003. Springer.
BibTex | Web page | PS ]
[SJRS03]
S. Schwoon, S. Jha, T. Reps, and S. Stubblebine. On Generalized Authorization Problems. In Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW'03), pages 202--218, Pacific Grove, California, USA, June-July 2003. IEEE Computer Society Press.
BibTex | Web page | PS | PDF ]
[SSE03]
C. Schröter, S. Schwoon, and J. Esparza. The Model-Checking Kit. In Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN'03), volume 2679 of Lecture Notes in Computer Science, pages 463--472, Eindhoven, The Netherlands, June 2003. Springer.
BibTex | Web page | PS ]
[BHKS03]
W. Brauer, M. Holzer, B. König, and S. Schwoon. The Theory of Finite-State Adventures. EATCS Bulletin, 79:230--237, February 2003.
BibTex | Web page | PS ]
[SSE02]
C. Schröter, S. Schwoon, and J. Esparza. The Model-Checking Kit. In Proceedings of the Tools Day Workshop, pages 22--31, Brno, Czech Republic, August 2002. Uppsala University.
BibTex | Web page | PS ]
[Sch02b]
S. Schwoon. Model-Checking Pushdown Systems. Ph.D. Thesis, Technische Universität München, June 2002.
BibTex | Web page | PS | PDF ]
[Sch02a]
S. Schwoon. Determinization and Complementation of Streett Automata. In Automata, Logics, and Infinite Game: A Guide to Current Research, volume 2500 of Lecture Notes in Computer Science, pages 79--91. Springer, 2002.
BibTex ]
[EKS01]
J. Esparza, A. Kučera, and S. Schwoon. Model-Checking LTL with Regular Valuations for Pushdown Systems. In Proceedings of the 4th International Workshop on Theoretical Aspects of Computer Software (TACS'01), volume 2215 of Lecture Notes in Computer Science, pages 306--339, Sendai, Japan, October 2001. Springer.
BibTex | Web page | PS ]
[ES01]
J. Esparza and S. Schwoon. A BDD-based Model Checker for Recursive Programs. In Proceedings of the 13th International Conference on Computer Aided Verification (CAV'01), volume 2102 of Lecture Notes in Computer Science, pages 324--336, Paris, France, July 2001. Springer.
BibTex | Web page | PS ]
[ERS00]
J. Esparza, P. Rossmanith, and S. Schwoon. A Uniform Framework for Problems on Context-Free Grammars. EATCS Bulletin, 72:169--177, October 2000.
BibTex | Web page | PS ]
[EHRS00]
J. Esparza, D. Hansel, P. Rossmanith, and S. Schwoon. Efficient Algorithms for Model Checking Pushdown Systems. In Proceedings of the 12th International Conference on Computer Aided Verification (CAV 2000), volume 1855 of Lecture Notes in Computer Science, pages 232--247, Chicago, Illinois, USA, July 2000. Springer.
BibTex | Web page | PS ]
[Sch98]
S. Schwoon. Übersetzung von SDL-Spezifikationen in Petri-Netze. Master's Thesis, Universität Hildesheim, August 1998.
BibTex | Web page | PS ]

This file was generated by bibtex2html 1.98.

About LSV