- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j8 |      | Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon: Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. 449: 2-22 (2012) |
| c27 | | |
| 2011 | ||
| c26 | | |
| c25 | | Stefan Schwoon, César Rodríguez: Construction and SAT-Based Verification of Contextual Unfoldings. DCFS 2011: 34-42 |
| c24 | | Stefan Haar, Christian Kern, Stefan Schwoon: Computing the Reveals Relation in Occurrence Nets. GandALF 2011: 31-44 |
| 2010 | ||
| c23 | | Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon: On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. ICGT 2010: 91-106 |
| 2009 | ||
| c22 | | Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FOSSACS 2009: 440-455 |
| c21 | | Andreas Gaiser, Stefan Schwoon: Comparison of Algorithms for Checking Emptiness on Büchi Automata. MEMICS 2009 |
| i2 | | Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. CoRR abs/0901.0501 (2009) |
| i1 | | Andreas Gaiser, Stefan Schwoon: Comparison of Algorithms for Checking Emptiness on Buechi Automata. CoRR abs/0910.3766 (2009) |
| 2008 | ||
| j7 | | Javier Esparza, Stefan Kiefer, Stefan Schwoon: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. JSAT 5(1-4): 27-56 (2008) |
| j6 | | Javier Esparza, Pradeep Kanade, Stefan Schwoon: A negative result on depth-first net unfoldings. STTT 10(2): 161-166 (2008) |
| j5 | | Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon: McMillan's Complete Prefix for Contextual Nets. T. Petri Nets and Other Models of Concurrency 1: 199-220 (2008) |
| c20 | | Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon: Symbolic Context-Bounded Analysis of Multithreaded Java Programs. SPIN 2008: 270-287 |
| c19 | | Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth: SDSIrep: A Reputation System Based on SDSI. TACAS 2008: 501-516 |
| 2007 | ||
| c18 | | Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza: jMoped: A Test Environment for Java Programs. CAV 2007: 164-167 |
| 2006 | ||
| c17 | | Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza: Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. ATVA 2006: 141-153 |
| c16 | | Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert: NETRA: : seeing through access control. FMSE 2006: 55-66 |
| c15 | | Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek: Reachability analysis of multithreaded software with asynchronous communication. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006 |
| c14 | | Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine: Reducing the Dependence of SPKI/SDSI on PKI. ESORICS 2006: 156-173 |
| c13 | | Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps: Weighted Pushdown Systems and Trust-Management Systems. TACAS 2006: 1-26 |
| c12 | | Javier Esparza, Stefan Kiefer, Stefan Schwoon: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. TACAS 2006: 489-503 |
| 2005 | ||
| j4 | | Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski: Weighted pushdown systems and their application to interprocedural dataflow analysis. Sci. Comput. Program. 58(1-2): 206-263 (2005) |
| c11 | | Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek: Reachability Analysis of Multithreaded Software with Asynchronous Communication. FSTTCS 2005: 348-359 |
| c10 | | |
| c9 | | |
| c8 | | Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza: jMoped: A Java Bytecode Checker Based on Moped. TACAS 2005: 541-545 |
| 2004 | ||
| j3 | | Markus Holzer, Stefan Schwoon: Assembling molecules in ATOMIX is hard. Theor. Comput. Sci. 303(3): 447-462 (2004) |
| 2003 | ||
| j2 | | Javier Esparza, Antonín Kucera, Stefan Schwoon: Model checking LTL with regular valuations for pushdown systems. Inf. Comput. 186(2): 355-376 (2003) |
| c7 | | |
| c6 | | Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine: On Generalized Authorization Problems. CSFW 2003: 202- |
| c5 | | Thomas W. Reps, Stefan Schwoon, Somesh Jha: Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. SAS 2003: 189-213 |
| 2001 | ||
| c4 | | |
| c3 | | Stefan Schwoon: Determinization and Complementation of Streett Automata. Automata, Logics, and Infinite Games 2001: 79-91 |
| c2 | | Javier Esparza, Antonín Kucera, Stefan Schwoon: Model-Checking LTL with Regular Valuations for Pushdown Systems. TACS 2001: 316-339 |
| 2000 | ||
| j1 |  | Javier Esparza, Peter Rossmanith, Stefan Schwoon: A Uniform Framework for Problems on Context-Free Grammars. Bulletin of the EATCS 72: 169-177 (2000) |
| c1 | | Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon: Efficient Algorithms for Model Checking Pushdown Systems. CAV 2000: 232-247 |
Colors in the list of coauthors
Last update Sun May 26 01:40:20 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page