| Publication | Date of Publication | Type |
|---|
Model and program repair via group actions
Lecture Notes in Computer Science | 2023-11-24 | Paper |
From global choreographies to verifiable efficient distributed implementations
Journal of Logical and Algebraic Methods in Programming | 2020-08-17 | Paper |
From global choreographies to verifiable efficient distributed implementations
Journal of Logical and Algebraic Methods in Programming | 2020-08-17 | Paper |
Finite-state concurrent programs can be expressed succinctly in triple normal form
Information Processing Letters | 2017-04-20 | Paper |
Synthesis of large dynamic concurrent programs from dynamic specifications
Formal Methods in System Design | 2016-11-30 | Paper |
A general framework for architecture composability
Formal Aspects of Computing | 2016-08-04 | Paper |
Dynamic input/output automata: a formal and compositional model for dynamic systems
Information and Computation | 2016-07-07 | Paper |
Synthesis of fault-tolerant concurrent programs
Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing - PODC '98 | 2016-03-02 | Paper |
Finite-state concurrent programs can be expressed in pairwise normal form
Theoretical Computer Science | 2016-02-26 | Paper |
Synthesis of concurrent systems for an atomic read/atomic write model of computation
Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 | 2015-09-11 | Paper |
Liveness-preserving simulation relations
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing | 2015-09-11 | Paper |
| Automatic verification of fault-tolerant register emulations | 2013-10-07 | Paper |
On the refinement of liveness properties of distributed systems
Formal Methods in System Design | 2012-03-09 | Paper |
The impossibility of boosting distributed service resilience
Information and Computation | 2011-07-08 | Paper |
Distributed Computing
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Turing machines, transition systems, and interaction
Information and Computation | 2005-01-11 | Paper |
| scientific article; zbMATH DE number 1863163 (Why is no real title available?) | 2003-02-03 | Paper |
Wait-free Byzantine consensus.
Information Processing Letters | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1759734 (Why is no real title available?) | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1361120 (Why is no real title available?) | 1999-11-10 | Paper |
Automating the refinement of specifications for distributed systems via syntactic transformations
International Journal of Systems Science. Principles and Applications of Systems and Integration | 1998-06-08 | Paper |
Convergence of iteration systems
Distributed Computing | 1994-01-06 | Paper |
Fairness and hyperfairness in multi-party interactions
Distributed Computing | 1993-09-16 | Paper |
