| Publication | Date of Publication | Type |
|---|
| Automatic temporal verification of buffer systems | 2024-04-29 | Paper |
| Self-similarity breeds resilience | 2021-12-07 | Paper |
Self-similarity breeds resilience
(available as arXiv preprint) | 2021-12-07 | Paper |
A switch, in time
Trustworthy Global Computing | 2021-04-07 | Paper |
\(P^5\): planner-less proofs of probabilistic parameterized protocols
Lecture Notes in Computer Science | 2020-07-07 | Paper |
From Model Checking to a Temporal Proof for Partial Models
Software Engineering and Formal Methods | 2019-09-16 | Paper |
Adaptive algorithms for PASO systems
Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 | 2017-09-29 | Paper |
Real-time sequence transmission problem
Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 | 2015-06-19 | Paper |
From Verification to Optimizations
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Verification of multi-linked heaps
Journal of Computer and System Sciences | 2012-08-17 | Paper |
Parallelizing a symbolic compositional model-checking algorithm
Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
Proving the refuted: symbolic model checkers as proof generators
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
Abstract Counterexamples for Non-disjunctive Abstractions
Lecture Notes in Computer Science | 2009-11-19 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2009-05-15 | Paper |
Liveness by Invisible Invariants
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
Computer Aided Verification | 2008-07-15 | Paper |
Shape Analysis of Single-Parent Heaps
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Invisible Safety of Distributed Protocols
Automata, Languages and Programming | 2007-09-11 | Paper |
MODULAR RANKING ABSTRACTION
International Journal of Foundations of Computer Science | 2007-03-13 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Translation and run-time validation of loop transformations
Formal Methods in System Design | 2006-01-23 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Model checking and abstraction to the aid of parameterized systems (a survey)
Computer Languages, Systems & Structures | 2004-11-18 | Paper |
| scientific article; zbMATH DE number 2086517 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2081113 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1956507 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1953016 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1927557 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1903348 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1796136 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1744956 (Why is no real title available?) | 2002-05-23 | Paper |
| scientific article; zbMATH DE number 1701752 (Why is no real title available?) | 2002-02-05 | Paper |
A little knowledge goes a long way
Journal of the ACM | 1994-11-13 | Paper |
Probabilistic verification
Information and Computation | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 4080970 (Why is no real title available?) | 1988-01-01 | Paper |
Verification of multiprocess probabilistic protocols
Distributed Computing | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3940713 (Why is no real title available?) | 1985-01-01 | Paper |
