| Publication | Date of Publication | Type |
|---|
| Hierarchical verification using verification diagrams | 2024-06-21 | Paper |
Generalized temporal verification diagrams
Lecture Notes in Computer Science | 2017-01-19 | Paper |
Non-linear loop invariant generation using Gröbner bases
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Petri net analysis using invariant generation
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Proving ATL* Properties of Infinite-State Systems
Lecture Notes in Computer Science | 2008-09-11 | Paper |
Deductive verification of alternating systems
Formal Aspects of Computing | 2008-08-21 | Paper |
The Reaction Algebra: A Formal Language for Event Correlation
Pillars of Computer Science | 2008-03-25 | Paper |
Constructing invariants for hybrid systems
Formal Methods in System Design | 2008-03-11 | Paper |
Verifying Balanced Trees
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Decision procedures for term algebras with integer constraints
Information and Computation | 2006-10-25 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Collecting statistics over runtime executions
Formal Methods in System Design | 2006-01-23 | Paper |
Automata, Languages and Programming
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 |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2102692 (Why is no real title available?) | 2004-09-24 | Paper |
Checking finite traces using alternating automata
Formal Methods in System Design | 2004-09-09 | Paper |
| scientific article; zbMATH DE number 1903370 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1701751 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1670842 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1670559 (Why is no real title available?) | 2001-11-11 | Paper |
Deductive verification of real-time systems using STeP
Theoretical Computer Science | 2000-12-12 | Paper |
