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 |
https://portal.mardi4nfdi.de/entity/Q3300821 | 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 |
https://portal.mardi4nfdi.de/entity/Q5363820 | 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 |
https://portal.mardi4nfdi.de/entity/Q2832572 | 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 |
On supervisory control of sequential behaviors | 1993-08-12 | Paper |
Predicates and predicate transformers for supervisory control of discrete event dynamical systems | 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 |