| Publication | Date of Publication | Type |
|---|
| Automatic temporal verification of buffer systems | 2024-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015358 | 2021-12-07 | Paper |
| A Switch, in Time | 2021-04-07 | Paper |
| $$P^5$$ : Planner-less Proofs of Probabilistic Parameterized Protocols | 2020-07-07 | Paper |
| From Model Checking to a Temporal Proof for Partial Models | 2019-09-16 | Paper |
| Adaptive algorithms for PASO systems | 2017-09-29 | Paper |
| Real-time sequence transmission problem | 2015-06-19 | Paper |
| From Verification to Optimizations | 2015-02-04 | Paper |
| Verification of multi-linked heaps | 2012-08-17 | Paper |
| Parallelizing a Symbolic Compositional Model-Checking Algorithm | 2011-04-06 | Paper |
| Proving the Refuted: Symbolic Model Checkers as Proof Generators | 2010-03-09 | Paper |
| Abstract Counterexamples for Non-disjunctive Abstractions | 2009-11-19 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2009-05-15 | Paper |
| Liveness by Invisible Invariants | 2009-03-11 | Paper |
| Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses | 2008-07-15 | Paper |
| Shape Analysis of Single-Parent Heaps | 2008-04-04 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Invisible Safety of Distributed Protocols | 2007-09-11 | Paper |
| MODULAR RANKING ABSTRACTION | 2007-03-13 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| Translation and run-time validation of loop transformations | 2006-01-23 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Model checking and abstraction to the aid of parameterized systems (a survey) | 2004-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736998 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474227 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417853 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414374 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484481 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804890 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551152 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531749 | 2002-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769579 | 2002-02-05 | Paper |
| A little knowledge goes a long way | 1994-11-13 | Paper |
| Probabilistic verification | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811756 | 1988-01-01 | Paper |
| Verification of multiprocess probabilistic protocols | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3711745 | 1985-01-01 | Paper |
