Searching for authors named "Stefan Schwoon" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
A note on on-the-fly verification algorithms
- … A Note on On-The-Fly Verification Algorithms Stefan Schwoon and Javier Esparza Institut f…
- Cited by 4 (0 self) – Add To MetaCart
-
Assembling Molecules in Atomix is Hard
- …Assembling Molecules in Atomix is Hard Markus Holzer and Stefan Schwoon Institut fur Informatik…
- Cited by 8 (1 self) – Add To MetaCart
-
A BDD-based Model Checker for Recursive Programs
- …A BDD-based Model Checker for Recursive Programs Javier Esparza, Stefan Schwoon Technische…
- Cited by 42 (5 self) – Add To MetaCart
-
A Uniform Framework for Problems on Context-Free Grammars
- …A Uniform Framework for Problems on Context-Free Grammars Javier Esparza Peter Rossmanith Stefan…
- Cited by 5 (2 self) – Add To MetaCart
-
jMoped: A Java bytecode checker based on Moped
- …jMoped: A Java bytecode checker based on Moped Dejvuth Suwimonteerabuth, Stefan Schwoon…
- Cited by 9 (5 self) – Add To MetaCart
-
Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains
- … with Threshold Subjects ⋆ Dejvuth Suwimonteerabuth, Stefan Schwoon, and Javier Esparza Institut für Formale…
- Cited by 1 (0 self) – Add To MetaCart
-
Reachability analysis of multithreaded software with asynchronous communication
- … , Javier Esparza2 , Stefan Schwoon2 , and Jan 2 ¡ Strejček 1 LIAFA, University of Paris 7,abou…
- Cited by 13 (2 self) – Add To MetaCart
-
McMillan’s Complete Prefix for Contextual Nets ⋆
- … König 3 , and Stefan Schwoon 4 1 Dipartimento di Matematica Pura e Applicata, Università di Padova…
- Cited by 1 (0 self) – Add To MetaCart
-
Weighted Pushdown Systems and Trust-Management Systems
- …Weighted Pushdown Systems and Trust-Management Systems Somesh Jha 1 , Stefan Schwoon 2 , Hao Wang…
- Cited by 2 (1 self) – Add To MetaCart
-
Model-Checking LTL with Regular Valuations for Pushdown Systems
- …@(email omitted); and Stefan Schwoon 3 Institute for Informatics Technische Universitat Munchen Arcisstr. 21 80290 Munich…
- Cited by 35 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
