The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stefan Schwoon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Claus Schröter, Stefan Schwoon, Javier Esparza
    The Model-Checking Kit. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:463-472 [Conf]
  2. 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]
  3. 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]
  4. Javier Esparza, Stefan Schwoon
    A BDD-Based Model Checker for Recursive Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:324-336 [Conf]
  5. 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]
  6. 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]
  7. Stefan Schwoon
    Determinization and Complementation of Streett Automata. [Citation Graph (0, 0)][DBLP]
    Automata, Logics, and Infinite Games, 2001, pp:79-91 [Conf]
  8. 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]
  9. 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]
  10. Javier Esparza, Pierre Ganty, Stefan Schwoon
    Locality-Based Abstractions. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:118-134 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Stefan Schwoon, Javier Esparza
    A Note on On-the-Fly Verification Algorithms. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:174-190 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]

  22. Reachability analysis of multithreaded software with asynchronous communication. [Citation Graph (, )][DBLP]


  23. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. [Citation Graph (, )][DBLP]


  24. On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. [Citation Graph (, )][DBLP]


  25. Symbolic Context-Bounded Analysis of Multithreaded Java Programs. [Citation Graph (, )][DBLP]


  26. SDSIrep: A Reputation System Based on SDSI. [Citation Graph (, )][DBLP]


  27. Comparison of Algorithms for Checking Emptiness on Büchi Automata. [Citation Graph (, )][DBLP]


  28. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains [Citation Graph (, )][DBLP]


  29. Comparison of Algorithms for Checking Emptiness on Buechi Automata [Citation Graph (, )][DBLP]


Search in 0.265secs, Finished in 0.266secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002