| Publication | Date of Publication | Type |
|---|
Reconstruction of SMT proofs with Lambdapi
Acta Informatica | 2026-03-16 | Paper |
| Synchronization Modulo k in Dynamic Networks | 2023-04-21 | Paper |
scientific article; zbMATH DE number 7649962 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
Synchronization modulo \(P\) in dynamic networks
Theoretical Computer Science | 2022-12-21 | Paper |
Formal specification and verification
Concurrency: the Works of Leslie Lamport | 2020-11-10 | Paper |
Modal Satisfiability via SMT Solving
Software, Services, and Systems | 2015-06-22 | Paper |
| Predicate diagrams for the verification of real-time systems | 2013-12-04 | Paper |
Towards Certifying Network Calculus
Interactive Theorem Proving | 2013-08-07 | Paper |
TLA + Proofs
FM 2012: Formal Methods | 2012-11-08 | Paper |
TLA + Proofs
FM 2012: Formal Methods | 2012-11-08 | Paper |
Combination of disjoint theories: beyond decidability
Automated Reasoning | 2012-09-05 | Paper |
Automatic verification of TLA\(^{ + }\) proof obligations with SMT solvers
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Compression of propositional resolution proofs via partial regularization
Lecture Notes in Computer Science | 2011-07-29 | Paper |
Exploiting symmetry in SMT problems
Lecture Notes in Computer Science | 2011-07-29 | Paper |
A high-level language for modeling algorithms and their properties
Lecture Notes in Computer Science | 2011-05-12 | Paper |
An abstract account of composition
Lecture Notes in Computer Science | 2010-06-17 | Paper |
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
Lecture Notes in Computer Science | 2009-11-19 | Paper |
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
Lecture Notes in Computer Science | 2009-10-20 | Paper |
Temporal logic and state systems
Texts in Theoretical Computer Science. An EATCS Series | 2009-01-09 | Paper |
Predicate diagrams for the verification of real-time systems
Formal Aspects of Computing | 2007-09-06 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
| scientific article; zbMATH DE number 2172804 (Why is no real title available?) | 2006-06-02 | Paper |
Specification and refinement of mobile systems in MTLA and mobile UML
Theoretical Computer Science | 2006-04-06 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2079826 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 1956481 (Why is no real title available?) | 2003-07-30 | Paper |
Model checking techniqes for the analysis of reactive systems
Synthese | 2003-04-27 | Paper |
| scientific article; zbMATH DE number 1746645 (Why is no real title available?) | 2002-05-28 | Paper |
Diagram refinements for the design of reactive systems
Journal of Universal Computer Science | 2001-08-13 | Paper |
| scientific article; zbMATH DE number 1405446 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1487491 (Why is no real title available?) | 1999-01-01 | Paper |
| scientific article; zbMATH DE number 1104443 (Why is no real title available?) | 1998-11-10 | Paper |
| scientific article; zbMATH DE number 947806 (Why is no real title available?) | 1996-11-20 | Paper |
| scientific article; zbMATH DE number 910717 (Why is no real title available?) | 1996-07-28 | Paper |
Decidability and incompleteness results for first-order temporal logics of linear time
Journal of Applied Non-Classical Logics | 1994-01-21 | Paper |
| scientific article; zbMATH DE number 4182845 (Why is no real title available?) | 1991-01-01 | Paper |
