Search the dblp DataBase
Stefan Schwoon :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Claus Schröter , Stefan Schwoon , Javier Esparza The Model-Checking Kit. [Citation Graph (0, 0)][DBLP ] ICATPN, 2003, pp:463-472 [Conf ] Dejvuth Suwimonteerabuth , Stefan Schwoon , Javier Esparza Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. [Citation Graph (0, 0)][DBLP ] ATVA, 2006, pp:141-153 [Conf ] Javier Esparza , David Hansel , Peter Rossmanith , Stefan Schwoon Efficient Algorithms for Model Checking Pushdown Systems. [Citation Graph (0, 0)][DBLP ] CAV, 2000, pp:232-247 [Conf ] Javier Esparza , Stefan Schwoon A BDD-Based Model Checker for Recursive Programs. [Citation Graph (0, 0)][DBLP ] CAV, 2001, pp:324-336 [Conf ] Prasad Naldurg , Stefan Schwoon , Sriram K. Rajamani , John Lambert NETRA : : seeing through access control. [Citation Graph (0, 0)][DBLP ] FMSE, 2006, pp:55-66 [Conf ] Stefan Schwoon , Somesh Jha , Thomas W. Reps , Stuart G. Stubblebine On Generalized Authorization Problems. [Citation Graph (0, 0)][DBLP ] CSFW, 2003, pp:202-0 [Conf ] Stefan Schwoon Determinization and Complementation of Streett Automata. [Citation Graph (0, 0)][DBLP ] Automata, Logics, and Infinite Games, 2001, pp:79-91 [Conf ] Hao Wang , Somesh Jha , Thomas W. Reps , Stefan Schwoon , Stuart G. Stubblebine Reducing the Dependence of SPKI/SDSI on PKI. [Citation Graph (0, 0)][DBLP ] ESORICS, 2006, pp:156-173 [Conf ] Ahmed Bouajjani , Javier Esparza , Stefan Schwoon , Jan Strejcek Reachability Analysis of Multithreaded Software with Asynchronous Communication. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2005, pp:348-359 [Conf ] Javier Esparza , Pierre Ganty , Stefan Schwoon Locality-Based Abstractions. [Citation Graph (0, 0)][DBLP ] SAS, 2005, pp:118-134 [Conf ] Thomas W. Reps , Stefan Schwoon , Somesh Jha Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. [Citation Graph (0, 0)][DBLP ] SAS, 2003, pp:189-213 [Conf ] Javier Esparza , Stefan Kiefer , Stefan Schwoon Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. [Citation Graph (0, 0)][DBLP ] TACAS, 2006, pp:489-503 [Conf ] Somesh Jha , Stefan Schwoon , Hao Wang , Thomas W. Reps Weighted Pushdown Systems and Trust-Management Systems. [Citation Graph (0, 0)][DBLP ] TACAS, 2006, pp:1-26 [Conf ] Stefan Schwoon , Javier Esparza A Note on On-the-Fly Verification Algorithms. [Citation Graph (0, 0)][DBLP ] TACAS, 2005, pp:174-190 [Conf ] Dejvuth Suwimonteerabuth , Stefan Schwoon , Javier Esparza jMoped: A Java Bytecode Checker Based on Moped. [Citation Graph (0, 0)][DBLP ] TACAS, 2005, pp:541-545 [Conf ] Javier Esparza , Antonín Kucera , Stefan Schwoon Model-Checking LTL with Regular Valuations for Pushdown Systems. [Citation Graph (0, 0)][DBLP ] TACS, 2001, pp:316-339 [Conf ] Javier Esparza , Peter Rossmanith , Stefan Schwoon A Uniform Framework for Problems on Context-Free Grammars. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 2000, v:72, n:, pp:169-177 [Journal ] Javier Esparza , Antonín Kucera , Stefan Schwoon Model checking LTL with regular valuations for pushdown systems. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:186, n:2, pp:355-376 [Journal ] Thomas W. Reps , Stefan Schwoon , Somesh Jha , David Melski Weighted pushdown systems and their application to interprocedural dataflow analysis. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2005, v:58, n:1-2, pp:206-263 [Journal ] Markus Holzer , Stefan Schwoon Assembling molecules in ATOMIX is hard. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:303, n:3, pp:447-462 [Journal ] Dejvuth Suwimonteerabuth , Felix Berger , Stefan Schwoon , Javier Esparza jMoped: A Test Environment for Java Programs. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:164-167 [Conf ] Reachability analysis of multithreaded software with asynchronous communication. [Citation Graph (, )][DBLP ] Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. [Citation Graph (, )][DBLP ] On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. [Citation Graph (, )][DBLP ] Symbolic Context-Bounded Analysis of Multithreaded Java Programs. [Citation Graph (, )][DBLP ] SDSIrep: A Reputation System Based on SDSI. [Citation Graph (, )][DBLP ] Comparison of Algorithms for Checking Emptiness on Büchi Automata. [Citation Graph (, )][DBLP ] Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains [Citation Graph (, )][DBLP ] Comparison of Algorithms for Checking Emptiness on Buechi Automata [Citation Graph (, )][DBLP ] Search in 0.015secs, Finished in 0.017secs