| Publication | Date of Publication | Type |
|---|
| Efficient detection of restricted classes of global predicates | 2023-12-01 | Paper |
| Finding missing synchronization in a distributed computation using controlled re-execution | 2020-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5137357 | 2020-12-02 | Paper |
| Fast Detection of Stable and Count Predicates in Parallel Computations | 2020-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3174942 | 2018-07-18 | Paper |
| Formal Verification of Simulation Traces Using Computation Slicing | 2018-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5363816 | 2017-09-29 | Paper |
| ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization. | 2017-09-29 | Paper |
| Efficient abstraction algorithms for predicate detection | 2017-06-19 | Paper |
| Observation of software for distributed systems with RCL | 2017-01-19 | Paper |
| Maximal Antichain Lattice Algorithms for Distributed Computations | 2016-12-19 | Paper |
| Introduction to lattice theory with computer science applications | 2016-11-11 | Paper |
| Detecting conjunctions of global predicates | 2016-05-26 | Paper |
| String realizers of posets with applications to distributed computing | 2016-03-04 | Paper |
| Multidimensional agreement in Byzantine systems | 2016-01-06 | Paper |
| Efficient dependency tracking for relevant events in shared-memory systems | 2015-03-10 | Paper |
| Debugging distributed programs using controlled re-execution | 2015-03-03 | Paper |
| Byzantine vector consensus in complete graphs | 2015-03-02 | Paper |
| Fault tolerance in distributed systems using fused state machines | 2015-02-23 | Paper |
| Brief announcement | 2014-12-05 | Paper |
| Modeling, analyzing and slicing periodic distributed computations | 2014-02-11 | Paper |
| Efficient dependency tracking for relevant events in concurrent systems | 2013-06-20 | Paper |
| Timestamping messages and events in a distributed system using synchronous communication | 2013-06-20 | Paper |
| Techniques and applications of computation slicing | 2013-06-07 | Paper |
| Efficient decentralized algorithms for the distributed trigger counting problem | 2012-12-07 | Paper |
| Implementing Fault-Tolerant Services Using State Machines: Beyond Replication | 2010-09-10 | Paper |
| Adaptive general perfectly periodic scheduling | 2010-01-18 | Paper |
| Intractability results in predicate detection | 2009-12-04 | Paper |
| Formal Approaches to Software Testing | 2009-06-04 | Paper |
| Detecting Temporal Logic Predicates on Distributed Computations | 2008-09-02 | Paper |
| Producing Short Counterexamples Using “Crucial Events” | 2008-07-15 | Paper |
| Fault Tolerance in Finite State Machines Using Fusion | 2008-03-06 | Paper |
| Efficient detection of a locally stable predicate in a distributed system | 2007-04-26 | Paper |
| Algorithmic combinatorics based on slicing posets | 2006-09-14 | Paper |
| Principles of Distributed Systems | 2005-08-24 | Paper |
| Principles of Distributed Systems | 2005-08-24 | Paper |
| Distributed recovery with \(K\)-optimistic logging. | 2004-03-14 | Paper |
| Predicate control: synchronization in distributed computations with look-ahead. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436042 | 2003-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415253 | 2003-07-28 | Paper |
| Control of stochastic discrete event systems modeled by probabilistic languages | 2002-07-21 | Paper |
| A probabilistic language formalism for stochastic discrete-event systems | 2000-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395223 | 1999-01-14 | Paper |
| Using the causal domain to specify and verify distributed programs | 1997-09-11 | Paper |
| Extremal solutions of inequations over lattices with applications to supervisory control | 1997-02-28 | Paper |
| Supervisory control of real-time discrete-event systems using lattice theory | 1996-05-05 | Paper |
| Corrections to "Finite buffer realization of input-output discrete event systems" | 1996-01-01 | Paper |
| Model Uncertainty in Discrete Event Systems | 1995-11-27 | Paper |
| Finite buffer realization of input-output discrete-event systems | 1995-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4840936 | 1995-08-01 | Paper |
| Optimal Supervisory Control of Discrete Event Dynamical Systems | 1995-05-11 | Paper |
| Language Stability and Stabilizability of Discrete Event Dynamical Systems | 1994-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763584 | 1994-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4203423 | 1993-09-13 | Paper |
| Predicates and predicate transformers for supervisory control of discrete event dynamical systems | 1993-08-12 | Paper |
| On supervisory control of sequential behaviors | 1993-08-12 | Paper |
| Some optimal algorithms for decomposed partially ordered sets | 1993-01-04 | Paper |
| On controllability and normality of discrete event dynamical systems | 1992-09-26 | Paper |
| Concurrent regular expressions and their relationship to Petri nets | 1992-06-28 | Paper |
| Formulas for calculating supremal controllable and normal sublanguages | 1990-01-01 | Paper |
