| Publication | Date of Publication | Type |
|---|
Guest editorial -- selected papers from ICDCIT 2022 \& 2023
Theoretical Computer Science | 2026-05-11 | Paper |
Tolerance to asynchrony in algorithms for multiplication and modulo
Theoretical Computer Science | 2024-12-12 | Paper |
| Achieving starvation-freedom with greater concurrency in multi-version object-based transactional memory systems | 2024-04-19 | Paper |
Brief announcement: Fully lattice linear algorithms
Lecture Notes in Computer Science | 2023-06-12 | Paper |
| Extending Lattice Linearity for Self-stabilizing Algorithms | 2023-04-21 | Paper |
An efficient approach to achieve compositionality using optimized multi-version object based transactional systems
Information and Computation | 2022-05-17 | Paper |
An efficient approach to achieve compositionality using optimized multi-version object based transactional systems
Information and Computation | 2022-05-17 | Paper |
Preserving stabilization while \textit{practically} bounding state space using incorruptible partially synchronized clocks
Distributed Computing | 2020-10-16 | Paper |
| Automatic addition of conflicting properties | 2019-11-22 | Paper |
Automation of fault-tolerant graceful degradation
Distributed Computing | 2019-03-21 | Paper |
| Biased clocks: a novel approach to improve the ability to perform predicate detection with \(O(1)\) clocks | 2019-01-30 | Paper |
Automated synthesis of distributed self-stabilizing protocols
(available as arXiv preprint) | 2018-02-20 | Paper |
Effectiveness of delaying timestamp computation
Proceedings of the ACM Symposium on Principles of Distributed Computing | 2017-10-11 | Paper |
| Analysis of bounds on hybrid vector clocks | 2017-09-29 | Paper |
| Ensuring average recovery with adversarial scheduler | 2017-09-29 | Paper |
Bounded Auditable Restoration of Distributed Systems
IEEE Transactions on Computers | 2017-06-08 | Paper |
Multitolerant barrier synchronization
Information Processing Letters | 2016-05-26 | Paper |
Synthesizing bounded-time 2-phase fault recovery
Formal Aspects of Computing | 2016-01-06 | Paper |
The complexity of automated addition of fault-tolerance without explicit legitimate states
Distributed Computing | 2015-07-22 | Paper |
Resettable vector clocks
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing | 2015-03-03 | Paper |
Weakest invariant generation for automated addition of fault-tolerance
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
MR4UM: a framework for adding fault tolerance to UML state diagrams
Theoretical Computer Science | 2014-01-10 | Paper |
Facilitating the design of fault tolerance in transaction level SystemC programs
Theoretical Computer Science | 2014-01-10 | Paper |
Symbolic synthesis of masking fault-tolerant distributed programs
Distributed Computing | 2013-02-04 | Paper |
Assurance of dynamic adaptation in distributed systems
Journal of Parallel and Distributed Computing | 2012-07-26 | Paper |
Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
Theoretical Computer Science | 2011-07-22 | Paper |
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Resettable vector clocks
Journal of Parallel and Distributed Computing | 2006-05-22 | Paper |
Principles of Distributed Systems
Lecture Notes in Computer Science | 2005-08-24 | Paper |
| scientific article; zbMATH DE number 2061536 (Why is no real title available?) | 2004-03-21 | Paper |
| scientific article; zbMATH DE number 2036578 (Why is no real title available?) | 2004-02-02 | Paper |
| scientific article; zbMATH DE number 1696500 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1332673 (Why is no real title available?) | 1999-09-08 | Paper |
A token based \(k\)-resilient mutual exclusion algorithm for distributed systems
Information Processing Letters | 1994-07-18 | Paper |
