| Publication | Date of Publication | Type |
|---|
| Memories of Edsger W. Dijkstra | 2024-10-28 | Paper |
| Automated temporal reasoning about reactive systems | 2024-06-21 | Paper |
Synthesis of fault-tolerant concurrent programs
Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing - PODC '98 | 2016-03-02 | Paper |
Synthesis of concurrent systems for an atomic read/atomic write model of computation
Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 | 2015-09-11 | Paper |
| Efficient model checking of hardware using conditioned slicing | 2013-09-26 | Paper |
| Efficient reduction techniques for systems with many components | 2013-09-26 | Paper |
| Under-approximation heuristics for grid-based bounded model checking | 2013-09-26 | Paper |
An algorithmic framework for synthesis of concurrent programs
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Abstract patterns of compositional reasoning.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Meanings of model checking
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
Exact and efficient verification of parameterized cache coherence protocols
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2010-02-05 | Paper |
The Beginning of Model Checking: A Personal Perspective
25 Years of Model Checking | 2008-07-15 | Paper |
DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
25 Years of Model Checking | 2008-07-15 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
MOLECULAR MODEL CHECKING
International Journal of Foundations of Computer Science | 2006-08-21 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
On Reasoning About Rings
International Journal of Foundations of Computer Science | 2005-10-19 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2080053 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080188 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1973986 (Why is no real title available?) | 2003-09-03 | Paper |
| scientific article; zbMATH DE number 1956578 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1796148 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1701775 (Why is no real title available?) | 2002-02-05 | Paper |
On model checking for the \(\mu\)-calculus and its fragments
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1614699 (Why is no real title available?) | 2001-07-05 | Paper |
| scientific article; zbMATH DE number 1487862 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1392309 (Why is no real title available?) | 2000-01-25 | Paper |
The Complexity of Tree Automata and Logics of Programs
SIAM Journal on Computing | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 1222578 (Why is no real title available?) | 1999-05-24 | Paper |
| scientific article; zbMATH DE number 1142326 (Why is no real title available?) | 1998-05-14 | Paper |
| scientific article; zbMATH DE number 1059247 (Why is no real title available?) | 1997-12-08 | Paper |
| scientific article; zbMATH DE number 177509 (Why is no real title available?) | 1993-05-18 | Paper |
Efficient Temporal Satisfiability
Journal Of Logic And Computation | 1992-09-27 | Paper |
An automata theoretic decision procedure for the propositional mu- calculus
Information and Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4119600 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4179361 (Why is no real title available?) | 1989-01-01 | Paper |
Modalities for model checking: Branching time logic strikes back
Science of Computer Programming | 1987-01-01 | Paper |
Uniform inevitability is tree automaton ineffable
Information Processing Letters | 1987-01-01 | Paper |
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems | 1986-01-01 | Paper |
“Sometimes” and “not never” revisited
Journal of the ACM | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3993549 (Why is no real title available?) | 1986-01-01 | Paper |
Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3972842 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3932379 (Why is no real title available?) | 1985-01-01 | Paper |
Deciding full branching time logic
Information and Control | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3887063 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3892598 (Why is no real title available?) | 1984-01-01 | Paper |
Alternative semantics for temporal logics
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3870578 (Why is no real title available?) | 1982-01-01 | Paper |
Using branching time temporal logic to synthesize synchronization skeletons
Science of Computer Programming | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3714896 (Why is no real title available?) | 1980-01-01 | Paper |
