| Publication | Date of Publication | Type |
|---|
| On monitoring linear temporal properties | 2023-10-30 | Paper |
| Refining the safety-liveness classification of temporal properties according to monitorability | 2023-08-02 | Paper |
| An algorithmic approach for checking closure properties of Ω-regular languages | 2023-06-28 | Paper |
| Monitoring first-order interval logic | 2023-05-26 | Paper |
| Adding partial orders to linear temporal logic | 2023-05-17 | Paper |
| Reverse Engineering Through Automata Learning | 2023-04-13 | Paper |
| Efficient Runtime Verification of First-Order Temporal Properties | 2023-03-21 | Paper |
| First-Order Timed Runtime Verification Using BDDs | 2022-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986502 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965865 | 2021-03-10 | Paper |
| First-order temporal logic monitoring with BDDs | 2021-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5227061 | 2019-08-05 | Paper |
| Memory-efficient tactics for randomized LTL model checking | 2018-12-07 | Paper |
| Partial-Order Reduction | 2018-07-20 | Paper |
| Undecidability of partial order logics | 2016-06-16 | Paper |
| Stutter-invariant temporal properties are expressible without the next-time operator | 2016-06-01 | Paper |
| Knowledge = Observation + Memory + Computation | 2015-10-01 | Paper |
| Synthesis of succinct systems | 2015-07-13 | Paper |
| Monitoring Parametric Temporal Logic | 2015-01-13 | Paper |
| Compositional Branching-Time Measurements | 2014-07-24 | Paper |
| Editorial: Special issue on synthesis | 2014-07-03 | Paper |
| Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems | 2013-08-05 | Paper |
| Specification and Verification using Message Sequence Charts | 2013-07-24 | Paper |
| Synthesis of Succinct Systems | 2012-11-21 | Paper |
| Priority scheduling of distributed systems based on model checking | 2012-09-27 | Paper |
| Achieving distributed control through model checking | 2012-09-27 | Paper |
| The Buck Stops Here: Order, Chance, and Coordination in Distributed Control | 2011-10-07 | Paper |
| Methods for Knowledge Based Controlling of Distributed Systems | 2010-10-04 | Paper |
| Knowledge Based Scheduling of Distributed Systems | 2010-09-07 | Paper |
| QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS | 2010-04-22 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| On commutativity based edge lean search | 2010-03-15 | Paper |
| Efficient model checking for LTL with partial order snapshots | 2009-10-09 | Paper |
| Priority Scheduling of Distributed Systems Based on Model Checking | 2009-06-30 | Paper |
| Grey-Box Checking | 2009-03-11 | Paper |
| Combining partial-order reductions with on-the-fly model-checking. | 2008-12-21 | Paper |
| Parametric temporal logic for “model measuring” | 2008-12-21 | Paper |
| Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms | 2008-11-20 | Paper |
| Automatic generation of path conditions for concurrent timed systems | 2008-10-07 | Paper |
| Discriminative Model Checking | 2008-07-15 | Paper |
| Quantifying the Discord: Order Discrepancies in Message Sequence Charts | 2008-07-03 | Paper |
| Model Checking-Based Genetic Programming with an Application to Mutual Exclusion | 2008-04-11 | Paper |
| Generating Path Conditions for Timed Systems | 2007-11-29 | Paper |
| On Commutativity Based Edge Lean Search | 2007-11-28 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Detecting Races in Ensembles of Message Sequence Charts | 2007-09-03 | Paper |
| Calculating Probabilities of Real-Time Test Cases | 2007-05-02 | Paper |
| Time Unbalanced Partial Order | 2007-05-02 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Adaptive Model Checking | 2007-02-15 | Paper |
| ENFORCING CONCURRENT TEMPORAL BEHAVIORS | 2006-08-21 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Model checking, testing and verification working together | 2005-12-13 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Deciding global partial-order properties | 2005-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738482 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472253 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472258 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474227 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449163 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4807832 | 2003-12-16 | Paper |
| Combining software and hardware verification techniques | 2003-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804922 | 2003-05-01 | Paper |
| A partial order approach to branching time logic model checking. | 2003-01-14 | Paper |
| Model-checking of correctness conditions for concurrent objects | 2003-01-14 | Paper |
| Relaxed visibility enhances partial order reduction | 2002-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535059 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531749 | 2002-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769610 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764005 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754119 | 2001-11-11 | Paper |
| Software reliability methods. Foreword by Edmund M. Clarke | 2001-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503921 | 2001-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518436 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503926 | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4954457 | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938622 | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941891 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942015 | 2000-03-19 | Paper |
| Formal verification of a partial-order reduction technique for model checking | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264097 | 1999-09-16 | Paper |
| An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages | 1999-03-30 | Paper |
| State space reduction using partial order techniques | 1999-01-01 | Paper |
| On projective and separable properties | 1998-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4356435 | 1997-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353637 | 1997-09-10 | Paper |
| Proving partial order properties | 1995-01-08 | Paper |
| A compositional framework for fault tolerance by specification transformation | 1994-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038718 | 1993-05-18 | Paper |
| Verification of distributed programs using representative interleaving sequences | 1993-01-16 | Paper |
| Defining conditional independence using collapses | 1992-09-27 | Paper |
| Interleaving set temporal logic | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733386 | 1989-01-01 | Paper |
