| Publication | Date of Publication | Type |
|---|
| Using partial orders for the efficient verification of deadlock freedom and safety properties | 2024-04-29 | Paper |
An algorithmic approach for checking closure properties of Ω-regular languages
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Relative liveness and behavior abstraction (extended abstract)
Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 | 2017-09-29 | Paper |
An effective decision procedure for linear arithmetic over the integers and reals
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
On (omega-)regular model checking
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| Handling liveness properties in (\(\omega\)-)regular model checking | 2013-10-02 | Paper |
A verification-based approach to memory fence insertion in PSO memory systems
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Iterating transducers in the large (extended abstract)
Lecture Notes in Computer Science | 2010-04-20 | Paper |
COMPUTING CONVEX HULLS BY AUTOMATA ITERATION
International Journal of Foundations of Computer Science | 2009-08-21 | Paper |
Computing Convex Hulls by Automata Iteration
Implementation and Applications of Automata | 2009-02-12 | Paper |
An efficient automata approach to some problems on context-free grammars.
Information Processing Letters | 2008-06-27 | Paper |
An automata-theoretic approach to branching-time model checking
Journal of the ACM | 2008-05-05 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
| scientific article; zbMATH DE number 2090515 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1995121 (Why is no real title available?) | 2003-10-21 | Paper |
Module checking
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1786477 (Why is no real title available?) | 2002-08-21 | Paper |
| scientific article; zbMATH DE number 1515865 (Why is no real title available?) | 2002-07-14 | Paper |
| scientific article; zbMATH DE number 1765703 (Why is no real title available?) | 2002-07-10 | Paper |
| scientific article; zbMATH DE number 1538036 (Why is no real title available?) | 2001-02-05 | Paper |
Constraint-generating dependencies
Journal of Computer and System Sciences | 1999-11-23 | Paper |
An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages
Theoretical Computer Science | 1999-03-30 | Paper |
| scientific article; zbMATH DE number 1223712 (Why is no real title available?) | 1999-02-14 | Paper |
| scientific article; zbMATH DE number 1232241 (Why is no real title available?) | 1999-01-03 | Paper |
Reasoning about infinite computations
Information and Computation | 1995-12-13 | Paper |
Handling infinite temporal data
Journal of Computer and System Sciences | 1995-10-25 | Paper |
A partial approach to model checking
Information and Computation | 1994-06-19 | Paper |
Using partial orders for the efficient verification of deadlock freedom and safety properties
Formal Methods in System Design | 1993-08-17 | Paper |
| scientific article; zbMATH DE number 177248 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177519 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 107969 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 4191559 (Why is no real title available?) | 1991-01-01 | Paper |
Automata-theoretic techniques for modal logics of programs
Journal of Computer and System Sciences | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3937153 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3876574 (Why is no real title available?) | 1984-01-01 | Paper |
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems | 1984-01-01 | Paper |
Temporal logic can be more expressive
Information and Control | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3767031 (Why is no real title available?) | 1982-01-01 | Paper |
