Selected publications by Stefan Schwoon
Chapters in Books
-
S. Schwoon. Determinization and Complementation of Streett Automata. In Automata, Logics, and Infinite Game, LNCS 2500, pages 79-91. Springer, 2002. ( BibTeX + Abstract )
Journals
-
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, LNCS 5100, pages 199-220. Springer, 2008. ( PS | PS.GZ | BibTeX + Abstract )
-
J. Esparza, S. Kiefer and S. Schwoon. Abstraction Refinement with Craig Interpolation and Symbolic Pushdown
Systems. Journal on Satisfiability, Boolean Modeling and Computation 5, pages 27-56, 2008. ( PDF | BibTeX + Abstract )
-
J. Esparza, P. Kanade and S. Schwoon. A Negative Result on Depth-First Unfoldings. International Journal on Software Tools for Technology Transfer 10(2), pages 161-166, 2008. ( PS | PS.GZ | BibTeX )
-
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), pages 206-263, 2005. ( PS | PS.GZ | BibTeX + Abstract )
-
M. Holzer and S. Schwoon. Assembling Molecules in Atomix is Hard. Theoretical Computer Science 303(3), pages 447-462, 2004. ( PDF | BibTeX + Abstract )
-
J. Esparza, A. Kucera and S. Schwoon. Model-Checking LTL with Regular Valuations for Pushdown Systems. Information and Computation 186(2), pages 355-376, 2003. ( PS | PS.GZ | BibTeX + Abstract )
-
W. Brauer, M. Holzer, B. König and S. Schwoon. The Theory of Finite-State Adventures. EATCS Bulletin 79, pages 230-237, 2003. ( PS | PS.GZ | BibTeX + Abstract )
-
J. Esparza, P. Rossmanith and S. Schwoon. A Uniform Framework for Problems on Context-Free Grammars. EATCS Bulletin 72, pages 169-177, 2000. ( PS | PS.GZ | BibTeX + Abstract )
Conferences
-
C. Rodríguez, S. Schwoon and P. Baldan. Efficient contextual unfolding. In CONCUR'11, LNCS 6901, pages 342-357. Springer, 2011. ( PDF | PDF (long version) | BibTeX + Abstract )
-
S. Schwoon and C. Rodríguez. Construction and SAT-based verification of Contextual Unfoldings. In DCFS'11, LNCS 6808, pages 34-42. Springer, 2011. ( PDF | BibTeX + Abstract )
-
S. Haar, C. Kern and S. Schwoon. Computing the Reveals Relation in Occurrence Nets. In GandALF'11, Electronic Proceedings in Theoretical Computer Science 54, pages 31-44. 2011. ( PDF | BibTeX + Abstract )
-
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 ICGT'10, LNCS 6372, pages 91-106. Springer, 2010. ( PDF | BibTeX + Abstract )
-
M. Kühnrich, S. Schwoon, J. Srba and S. Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite
Descending Chains. In FoSSaCS'09, LNCS 5504, pages 440-455. Springer, 2009. ( PDF | PDF (long version) | BibTeX + Abstract )
-
D. Suwimonteerabuth, J. Esparza and S. Schwoon. Symbolic Context-Bounded Analysis of Multithreaded Java Programs. In SPIN'08, LNCS 5156, pages 270-287. Springer, 2008. ( PDF | BibTeX + Abstract )
-
A. Bouajjani, J. Esparza, S. Schwoon and D. Suwimonteerabuth. SDSIrep: A Reputation System based on SDSI. In TACAS'08, LNCS 4963, pages 501-516. Springer, 2008. ( PS | PS.GZ | BibTeX + Abstract )
-
P. Naldurg, S. Schwoon, S. Rajamani and J. Lambert. NETRA: Seeing Through Access Control. In FMSE'06, pages 55-66. ACM Press, 2006. ( PDF | BibTeX + Abstract )
-
D. Suwimonteerabuth, S. Schwoon and J. Esparza. Efficient Algorithms for Alternating Pushdown Systems with an
Application to the Computation of Certificate Chains. In ATVA'06, LNCS 4218, pages 141-153. Springer, 2006. ( PDF | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
-
J. Esparza, S. Kiefer and S. Schwoon. Abstraction Refinement with Craig Interpolation and Symbolic Pushdown
Systems. In TACAS'06, LNCS 3920, pages 489-503. Springer, 2006. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
-
S. Jha, S. Schwoon, H. Wang and T. Reps. Weighted Pushdown Systems and Trust-Management Systems. In TACAS'06, LNCS 3920, pages 1-26. Springer, 2006. ( PDF | BibTeX + Abstract )
-
A. Bouajjani, J. Esparza, S. Schwoon and J. Strejcek. Reachability analysis of multithreaded software with asynchronous
communication. In FSTTCS'05, LNCS 3821, pages 348-359. Springer, 2005. ( PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
-
J. Esparza, P. Ganty and S. Schwoon. Locality-Based Abstractions. In SAS'05, LNCS 3672, pages 118-134. Springer, 2005. ( PDF | BibTeX + Abstract )
-
S. Schwoon and J. Esparza. A Note on On-The-Fly Verification Algorithms. In TACAS'05, LNCS 3440, pages 174-190. Springer, 2005. ( PS | PS.GZ | BibTeX + Abstract )
-
M. Holzer and S. Schwoon. Reflections on Reflexion - Computational Complexity Considerations
on a Puzzle Game. In FUN'04, pages 90-105. Edizioni Plus, Università di Pisa, 2004. ( PS | PS.GZ | BibTeX + Abstract )
-
T. Reps, S. Schwoon and S. Jha. Weighted Pushdown Systems and Their Application to Interprocedural
Dataflow Analysis. In SAS'03, LNCS 2694, pages 189-213. Springer, 2003. ( PS | PS.GZ | BibTeX + Abstract )
-
C. Schröter, S. Schwoon and J. Esparza. The Model-Checking Kit. In ICATPN'03, LNCS 2679, pages 463-472. Springer, 2003. ( PS | PS.GZ | BibTeX + Abstract )
-
S. Schwoon, S. Jha, T. Reps and S. Stubblebine. On Generalized Authorization Problems. In CSFW'03, pages 202-218. IEEE Computer Society Press, 2003. ( PDF | PS | PS.GZ | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
-
J. Esparza, A. Kucera and S. Schwoon. Model-Checking LTL with Regular Valuations for Pushdown Systems. In TACS'01, LNCS 2215, pages 306-339. Springer, 2001. ( PS | PS.GZ | PDF (long version) | BibTeX + Abstract )
-
J. Esparza and S. Schwoon. A BDD-based Model Checker for Recursive Programs. In CAV'01, LNCS 2102, pages 324-336. Springer, 2001. ( PS | PS.GZ | BibTeX + Abstract )
-
J. Esparza, D. Hansel, P. Rossmanith and S. Schwoon. Efficient Algorithms for Model Checking Pushdown Systems. In CAV 2000, LNCS 1855, pages 232-247. Springer, 2000. ( PS | PS.GZ | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
Theses
Other Publications
-
C. Rodríguez and S. Schwoon. Cunf, 2011. ( Web page | BibTeX + Abstract )
-
A. Gaiser and S. Schwoon. Comparison of algorithms for checking emptiness on Büchi automata. In MEMICS'09. 2009. ( PDF | PDF (long version) | BibTeX + Abstract )
-
M. Sachenbacher and S. Schwoon. Model-based Test Generation using Quantified CSPs: A Map. In MBS'08, pages 37-41. 2008. ( BibTeX )
-
D. Suwimonteerabuth, F. Berger, S. Schwoon and J. Esparza. jMoped: A Test Environment for Java programs. In CAV'07, LNCS 4590, pages 164-167. Springer, 2007. ( PS | PS.GZ | BibTeX + Abstract )
-
P. Baldan, A. Corradini, B. König and S. Schwoon. McMillan's complete prefix for contextual nets. In UFO'07, pages 32-49. Publishing House of University of Podlasie, 2007. ( PS | PS.GZ | BibTeX + Abstract )
-
D. Suwimonteerabuth, S. Schwoon and J. Esparza. jMoped: A Java bytecode checker based on Moped. In TACAS'05, LNCS 3440, pages 541-545. Springer, 2005. ( PS | PS.GZ | BibTeX + Abstract )
-
C. Schröter, S. Schwoon and J. Esparza. The Model-Checking Kit. In Proceedings of the Tools Day Workshop, Brno, Czech Republic,
August 2002, pages 22-31. Uppsala University, 2002. Published as Technical Report FIMU-RS-2002-05, Masaryk University, Brno, Czech
Republic. ( PS | PS.GZ | BibTeX + Abstract )
-
S. Schwoon. Übersetzung von SDL-Spezifikationen in Petri-Netze. Master's Thesis, Universität Hildesheim, August 1998. ( PS | PS.GZ | BibTeX + Abstract )