| Publication | Date of Publication | Type |
|---|
| Using partial orders for the efficient verification of deadlock freedom and safety properties | 2024-04-29 | Paper |
Combining model checking and testing
Handbook of Model Checking | 2018-07-20 | Paper |
Dynamic partial-order reduction for model checking software
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Compositional may-must program analysis: unleashing the power of alternation
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Analysis of Boolean Programs
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
LTL Generalized Model Checking Revisited
Lecture Notes in Computer Science | 2009-02-10 | Paper |
An Abort-Aware Model of Transactional Programming
Lecture Notes in Computer Science | 2009-02-10 | Paper |
Demand-Driven Compositional Symbolic Execution
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Software Model Checking: Searching for Computations in the Abstract or the Concrete
Lecture Notes in Computer Science | 2007-11-29 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
| scientific article; zbMATH DE number 2102712 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2080054 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1953032 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1903350 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1863177 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1759610 (Why is no real title available?) | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1754627 (Why is no real title available?) | 2002-06-12 | Paper |
| scientific article; zbMATH DE number 1418460 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1059333 (Why is no real title available?) | 1997-09-10 | Paper |
Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
Lecture Notes in Computer Science | 1996-03-20 | Paper |
A partial approach to model checking
Information and Computation | 1994-06-19 | Paper |
Using partial orders for the efficient verification of deadlock freedom and safety properties
Formal Methods in System Design | 1993-08-17 | Paper |
| scientific article; zbMATH DE number 177254 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177513 (Why is no real title available?) | 1993-05-18 | Paper |
