| 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 | 2016-03-02 | Paper |
| Synthesis of concurrent systems for an atomic read/atomic write model of computation | 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 | 2011-10-07 | Paper |
| Abstract patterns of compositional reasoning. | 2010-03-30 | Paper |
| Meanings of model checking | 2010-03-09 | Paper |
| Exact and efficient verification of parameterized cache coherence protocols | 2010-02-05 | Paper |
| Correct Hardware Design and Verification Methods | 2010-02-05 | Paper |
| The Beginning of Model Checking: A Personal Perspective | 2008-07-15 | Paper |
| DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC | 2008-07-15 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| MOLECULAR MODEL CHECKING | 2006-08-21 | Paper |
| FM 2005: Formal Methods | 2006-01-10 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| On Reasoning About Rings | 2005-10-19 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472243 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472430 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422081 | 2003-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417919 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551169 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769609 | 2002-02-05 | Paper |
| On model checking for the \(\mu\)-calculus and its fragments | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723423 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494389 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936148 | 2000-01-25 | Paper |
| The Complexity of Tree Automata and Logics of Programs | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218117 | 1999-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385542 | 1998-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353562 | 1997-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037378 | 1993-05-18 | Paper |
| Efficient Temporal Satisfiability | 1992-09-27 | Paper |
| An automata theoretic decision procedure for the propositional mu- calculus | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733384 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3203012 | 1989-01-01 | Paper |
| Modalities for model checking: Branching time logic strikes back | 1987-01-01 | Paper |
| Uniform inevitability is tree automaton ineffable | 1987-01-01 | Paper |
| Automatic verification of finite-state concurrent systems using temporal logic specifications | 1986-01-01 | Paper |
| “Sometimes” and “not never” revisited | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4722045 | 1986-01-01 | Paper |
| Decision procedures and expressiveness in the temporal logic of branching time | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3739111 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3704886 | 1985-01-01 | Paper |
| Deciding full branching time logic | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3219755 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5184412 | 1984-01-01 | Paper |
| Alternative semantics for temporal logics | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3336675 | 1982-01-01 | Paper |
| Using branching time temporal logic to synthesize synchronization skeletons | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906386 | 1980-01-01 | Paper |
