| Publication | Date of Publication | Type |
|---|
| Byzantine lattice agreement in asynchronous systems | 2026-03-31 | Paper |
Efficient detection of restricted classes of global predicates
Distributed Algorithms | 2023-12-01 | Paper |
Finding missing synchronization in a distributed computation using controlled re-execution
Distributed Computing | 2020-12-04 | Paper |
| Detection of global predicates: techniques and their limitations | 2020-12-02 | Paper |
| Fast Detection of Stable and Count Predicates in Parallel Computations | 2020-07-30 | Paper |
| Predicate detection for parallel computations with locking constraints | 2018-07-18 | Paper |
Formal Verification of Simulation Traces Using Computation Slicing
IEEE Transactions on Computers | 2018-06-12 | Paper |
| QuickLex: a fast algorithm for consistent global states enumeration of distributed computations | 2017-09-29 | Paper |
| ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization. | 2017-09-29 | Paper |
Efficient abstraction algorithms for predicate detection
Theoretical Computer Science | 2017-06-19 | Paper |
Observation of software for distributed systems with RCL
Lecture Notes in Computer Science | 2017-01-19 | Paper |
Maximal antichain lattice algorithms for distributed computations
Distributed Computing and Networking | 2016-12-19 | Paper |
| Introduction to lattice theory with computer science applications | 2016-11-11 | Paper |
Detecting conjunctions of global predicates
Information Processing Letters | 2016-05-26 | Paper |
String realizers of posets with applications to distributed computing
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing | 2016-03-04 | Paper |
Multidimensional agreement in Byzantine systems
Distributed Computing | 2016-01-06 | Paper |
Efficient dependency tracking for relevant events in shared-memory systems
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing | 2015-03-10 | Paper |
Debugging distributed programs using controlled re-execution
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing | 2015-03-03 | Paper |
Byzantine vector consensus in complete graphs
Proceedings of the 2013 ACM symposium on Principles of distributed computing | 2015-03-02 | Paper |
Fault tolerance in distributed systems using fused state machines
Distributed Computing | 2015-02-23 | Paper |
Brief announcement
Proceedings of the 2012 ACM symposium on Principles of distributed computing | 2014-12-05 | Paper |
Modeling, analyzing and slicing periodic distributed computations
Information and Computation | 2014-02-11 | Paper |
Efficient dependency tracking for relevant events in concurrent systems
Distributed Computing | 2013-06-20 | Paper |
Timestamping messages and events in a distributed system using synchronous communication
Distributed Computing | 2013-06-20 | Paper |
Techniques and applications of computation slicing
Distributed Computing | 2013-06-07 | Paper |
Efficient decentralized algorithms for the distributed trigger counting problem
Theory of Computing Systems | 2012-12-07 | Paper |
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Adaptive general perfectly periodic scheduling
Information Processing Letters | 2010-01-18 | Paper |
Intractability results in predicate detection
Information Processing Letters | 2009-12-04 | Paper |
Formal Approaches to Software Testing
Lecture Notes in Computer Science | 2009-06-04 | Paper |
Detecting Temporal Logic Predicates on Distributed Computations
Lecture Notes in Computer Science | 2008-09-02 | Paper |
Producing Short Counterexamples Using “Crucial Events”
Computer Aided Verification | 2008-07-15 | Paper |
Fault Tolerance in Finite State Machines Using Fusion
Distributed Computing and Networking | 2008-03-06 | Paper |
Efficient detection of a locally stable predicate in a distributed system
Journal of Parallel and Distributed Computing | 2007-04-26 | Paper |
Algorithmic combinatorics based on slicing posets
Theoretical Computer Science | 2006-09-14 | Paper |
Principles of Distributed Systems
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Principles of Distributed Systems
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Distributed recovery with \(K\)-optimistic logging.
Journal of Parallel and Distributed Computing | 2004-03-14 | Paper |
Predicate control: synchronization in distributed computations with look-ahead.
Journal of Parallel and Distributed Computing | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 2006645 (Why is no real title available?) | 2003-11-23 | Paper |
| scientific article; zbMATH DE number 1954382 (Why is no real title available?) | 2003-07-28 | Paper |
Control of stochastic discrete event systems modeled by probabilistic languages
IEEE Transactions on Automatic Control | 2002-07-21 | Paper |
A probabilistic language formalism for stochastic discrete-event systems
IEEE Transactions on Automatic Control | 2000-10-17 | Paper |
| scientific article; zbMATH DE number 1163647 (Why is no real title available?) | 1999-01-14 | Paper |
Using the causal domain to specify and verify distributed programs
Acta Informatica | 1997-09-11 | Paper |
Extremal solutions of inequations over lattices with applications to supervisory control
Theoretical Computer Science | 1997-02-28 | Paper |
Supervisory control of real-time discrete-event systems using lattice theory
IEEE Transactions on Automatic Control | 1996-05-05 | Paper |
Corrections to "Finite buffer realization of input-output discrete event systems"
IEEE Transactions on Automatic Control | 1996-01-01 | Paper |
Model Uncertainty in Discrete Event Systems
SIAM Journal on Control and Optimization | 1995-11-27 | Paper |
Finite buffer realization of input-output discrete-event systems
IEEE Transactions on Automatic Control | 1995-11-09 | Paper |
| scientific article; zbMATH DE number 781092 (Why is no real title available?) | 1995-08-01 | Paper |
Optimal Supervisory Control of Discrete Event Dynamical Systems
SIAM Journal on Control and Optimization | 1995-05-11 | Paper |
Language Stability and Stabilizability of Discrete Event Dynamical Systems
SIAM Journal on Control and Optimization | 1994-04-20 | Paper |
| scientific article; zbMATH DE number 744069 (Why is no real title available?) | 1994-01-01 | Paper |
| scientific article; zbMATH DE number 409884 (Why is no real title available?) | 1993-09-13 | Paper |
Predicates and predicate transformers for supervisory control of discrete event dynamical systems
IEEE Transactions on Automatic Control | 1993-08-12 | Paper |
On supervisory control of sequential behaviors
IEEE Transactions on Automatic Control | 1993-08-12 | Paper |
Some optimal algorithms for decomposed partially ordered sets
Information Processing Letters | 1993-01-04 | Paper |
On controllability and normality of discrete event dynamical systems
Systems & Control Letters | 1992-09-26 | Paper |
Concurrent regular expressions and their relationship to Petri nets
Theoretical Computer Science | 1992-06-28 | Paper |
Formulas for calculating supremal controllable and normal sublanguages
Systems & Control Letters | 1990-01-01 | Paper |
