| Publication | Date of Publication | Type |
|---|
On monitoring linear temporal properties
Formal Methods in System Design | 2023-10-30 | Paper |
Refining the safety-liveness classification of temporal properties according to monitorability
Lecture Notes in Computer Science | 2023-08-02 | Paper |
An algorithmic approach for checking closure properties of Ω-regular languages
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Monitoring first-order interval logic
Software Engineering and Formal Methods | 2023-05-26 | Paper |
Adding partial orders to linear temporal logic
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
| Reverse Engineering Through Automata Learning | 2023-04-13 | Paper |
Efficient Runtime Verification of First-Order Temporal Properties
Model Checking Software | 2023-03-21 | Paper |
First-Order Timed Runtime Verification Using BDDs
1517.6824 | 2022-12-22 | Paper |
| Rapid recovery for systems with scarce faults | 2021-04-27 | Paper |
Rapid recovery for systems with scarce faults
(available as arXiv preprint) | 2021-04-27 | Paper |
| Practical distributed control synthesis | 2021-03-10 | Paper |
Practical distributed control synthesis
(available as arXiv preprint) | 2021-03-10 | Paper |
First-order temporal logic monitoring with BDDs
Formal Methods in System Design | 2021-02-08 | Paper |
| scientific article; zbMATH DE number 7088727 (Why is no real title available?) | 2019-08-05 | Paper |
| Memory-efficient tactics for randomized LTL model checking | 2018-12-07 | Paper |
Partial-Order Reduction
Handbook of Model Checking | 2018-07-20 | Paper |
Undecidability of partial order logics
Information Processing Letters | 2016-06-16 | Paper |
Stutter-invariant temporal properties are expressible without the next-time operator
Information Processing Letters | 2016-06-01 | Paper |
Knowledge = observation + memory + computation
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Synthesis of succinct systems
Journal of Computer and System Sciences | 2015-07-13 | Paper |
Monitoring parametric temporal logic
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Compositional branching-time measurements
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Editorial: Special issue on synthesis
Acta Informatica | 2014-07-03 | Paper |
Taming confusion for modeling and implementing probabilistic concurrent systems
Programming Languages and Systems | 2013-08-05 | Paper |
Specification and verification using message sequence charts
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Synthesis of succinct systems
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Priority scheduling of distributed systems based on model checking
Formal Methods in System Design | 2012-09-27 | Paper |
Achieving distributed control through model checking
Formal Methods in System Design | 2012-09-27 | Paper |
The buck stops here: order, chance, and coordination in distributed control
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Methods for knowledge based controlling of distributed systems
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
Knowledge based scheduling of distributed systems
Time for Verification | 2010-09-07 | Paper |
QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
International Journal of Foundations of Computer Science | 2010-04-22 | Paper |
Unit checking: symbolic model checking for a unit of code
Lecture Notes in Computer Science | 2010-03-23 | Paper |
On commutativity based edge lean search
Annals of Mathematics and Artificial Intelligence | 2010-03-15 | Paper |
Efficient model checking for LTL with partial order snapshots
Theoretical Computer Science | 2009-10-09 | Paper |
Priority Scheduling of Distributed Systems Based on Model Checking
Computer Aided Verification | 2009-06-30 | Paper |
Grey-Box Checking
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Combining partial-order reductions with on-the-fly model-checking.
Formal Methods in System Design | 2008-12-21 | Paper |
Parametric temporal logic for “model measuring”
ACM Transactions on Computational Logic | 2008-12-21 | Paper |
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Automatic generation of path conditions for concurrent timed systems
Theoretical Computer Science | 2008-10-07 | Paper |
Discriminative Model Checking
Computer Aided Verification | 2008-07-15 | Paper |
Quantifying the Discord: Order Discrepancies in Message Sequence Charts
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Generating Path Conditions for Timed Systems
Lecture Notes in Computer Science | 2007-11-29 | Paper |
On Commutativity Based Edge Lean Search
Automata, Languages and Programming | 2007-11-28 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Detecting Races in Ensembles of Message Sequence Charts
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Calculating Probabilities of Real-Time Test Cases
Formal Approaches to Software Testing | 2007-05-02 | Paper |
Time Unbalanced Partial Order
Formal Approaches to Software Testing | 2007-05-02 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Adaptive Model Checking
Logic Journal of the IGPL | 2007-02-15 | Paper |
ENFORCING CONCURRENT TEMPORAL BEHAVIORS
International Journal of Foundations of Computer Science | 2006-08-21 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Model checking, testing and verification working together
Formal Aspects of Computing | 2005-12-13 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Deciding global partial-order properties
Formal Methods in System Design | 2005-05-17 | Paper |
| scientific article; zbMATH DE number 2087633 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080060 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2081113 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080065 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2038698 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 1916673 (Why is no real title available?) | 2003-12-16 | Paper |
Combining software and hardware verification techniques
Formal Methods in System Design | 2003-05-04 | Paper |
| scientific article; zbMATH DE number 1903377 (Why is no real title available?) | 2003-05-01 | Paper |
A partial order approach to branching time logic model checking.
Information and Computation | 2003-01-14 | Paper |
Model-checking of correctness conditions for concurrent objects
Information and Computation | 2003-01-14 | Paper |
Relaxed visibility enhances partial order reduction
Formal Methods in System Design | 2002-10-23 | Paper |
| scientific article; zbMATH DE number 1754631 (Why is no real title available?) | 2002-06-12 | Paper |
| scientific article; zbMATH DE number 1744956 (Why is no real title available?) | 2002-05-23 | Paper |
| scientific article; zbMATH DE number 1701776 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1693453 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1670803 (Why is no real title available?) | 2001-11-11 | Paper |
Software reliability methods. Foreword by Edmund M. Clarke
Texts in Computer Science | 2001-08-30 | Paper |
| scientific article; zbMATH DE number 1507201 (Why is no real title available?) | 2001-04-01 | Paper |
| scientific article; zbMATH DE number 1536568 (Why is no real title available?) | 2000-11-28 | Paper |
| scientific article; zbMATH DE number 1507206 (Why is no real title available?) | 2000-09-14 | Paper |
| scientific article; zbMATH DE number 1456968 (Why is no real title available?) | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1405643 (Why is no real title available?) | 2000-04-25 | Paper |
| scientific article; zbMATH DE number 1418458 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1418329 (Why is no real title available?) | 2000-03-19 | Paper |
Formal verification of a partial-order reduction technique for model checking
Journal of Automated Reasoning | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1337727 (Why is no real title available?) | 1999-09-16 | Paper |
An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages
Theoretical Computer Science | 1999-03-30 | Paper |
State space reduction using partial order techniques
International Journal on Software Tools for Technology Transfer. STTT | 1999-01-01 | Paper |
On projective and separable properties
Theoretical Computer Science | 1998-06-30 | Paper |
| scientific article; zbMATH DE number 1069483 (Why is no real title available?) | 1997-10-01 | Paper |
| scientific article; zbMATH DE number 1059330 (Why is no real title available?) | 1997-09-10 | Paper |
Proving partial order properties
Theoretical Computer Science | 1995-01-08 | Paper |
A compositional framework for fault tolerance by specification transformation
Theoretical Computer Science | 1994-07-21 | Paper |
| scientific article; zbMATH DE number 177840 (Why is no real title available?) | 1993-05-18 | Paper |
Verification of distributed programs using representative interleaving sequences
Distributed Computing | 1993-01-16 | Paper |
Defining conditional independence using collapses
Theoretical Computer Science | 1992-09-27 | Paper |
Interleaving set temporal logic
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4119602 (Why is no real title available?) | 1989-01-01 | Paper |
