| Publication | Date of Publication | Type |
|---|
| Distributed runtime verification under partial synchrony | 2026-03-31 | Paper |
Gray-box runtime enforcement of hyperproperties
Acta Informatica | 2025-08-22 | Paper |
| Parameter synthesis for probabilistic hyperproperties | 2025-02-20 | Paper |
Runtime verification of partially-synchronous distributed system
Formal Methods in System Design | 2025-01-13 | Paper |
| Introducing asynchronicity to probabilistic hyperproperties | 2024-05-29 | Paper |
| Gray-box monitoring of hyperproperties | 2024-03-14 | Paper |
Finite-word hyperlanguages
Information and Computation | 2024-02-02 | Paper |
| Bounded model checking for asynchronous hyperproperties | 2023-12-13 | Paper |
| Efficient loop conditions for bounded model checking hyperproperties | 2023-12-13 | Paper |
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Decentralized Asynchronous Crash-resilient Runtime Verification
Journal of the ACM | 2023-04-27 | Paper |
Probabilistic Hyperproperties with Nondeterminism
1517.68218 | 2022-12-22 | Paper |
Model checking hyperproperties for Markov decision processes
Information and Computation | 2022-12-08 | Paper |
ASSESS: a tool for automated synthesis of distributed self-stabilizing algorithms
Lecture Notes in Computer Science | 2022-11-04 | Paper |
| HyperPCTL model checking by probabilistic decomposition | 2022-08-19 | Paper |
| Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings | 2022-07-21 | Paper |
Gray-box monitoring of hyperproperties with an application to privacy
Formal Methods in System Design | 2022-06-20 | Paper |
Synthesizing optimal bias in randomized self-stabilization
Distributed Computing | 2022-04-01 | Paper |
A temporal logic for asynchronous hyperproperties
(available as arXiv preprint) | 2022-03-25 | Paper |
Finite-word hyperlanguages
(available as arXiv preprint) | 2021-10-04 | Paper |
Bounded model checking for hyperproperties
(available as arXiv preprint) | 2021-08-04 | Paper |
Rewriting-based runtime verification for alternation-free HyperLTL
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Program Repair for Hyperproperties
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Parameterized synthesis of self-stabilizing protocols in symmetric networks
Acta Informatica | 2020-03-06 | Paper |
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols
Lecture Notes in Computer Science | 2020-01-14 | Paper |
| Decentralized asynchronous crash-resilient runtime verification | 2018-03-21 | Paper |
Automated synthesis of distributed self-stabilizing protocols
(available as arXiv preprint) | 2018-02-20 | Paper |
Synthesizing bounded-time 2-phase fault recovery
Formal Aspects of Computing | 2016-01-06 | Paper |
Runtime verification with minimal intrusion through parallelism
Formal Methods in System Design | 2015-10-30 | Paper |
Abstract Model Repair
Logical Methods in Computer Science | 2015-10-29 | Paper |
The complexity of automated addition of fault-tolerance without explicit legitimate states
Distributed Computing | 2015-07-22 | Paper |
Time-triggered runtime verification
Formal Methods in System Design | 2014-06-30 | Paper |
Symbolic synthesis of masking fault-tolerant distributed programs
Distributed Computing | 2013-02-04 | Paper |
A framework for automated distributed implementation of component-based models
Distributed Computing | 2013-02-04 | Paper |
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
