| Publication | Date of Publication | Type |
|---|
| The best a monitor can do (edit) | 2026-03-23 | Paper |
| Centralized vs decentralized monitors for hyperproperties | 2026-02-10 | Paper |
Centralized vs. decentralized monitors for hyperproperties
ACM Transactions on Computational Logic | 2026-01-07 | Paper |
Complexity results for modal logic with recursion via translations and tableaux
Logical Methods in Computer Science | 2024-09-04 | Paper |
| An Operational Guide to Monitorability | 2024-03-14 | Paper |
Session fidelity for \textsf{ElixirST}: a session-based type system for Elixir modules
Electronic Proceedings in Theoretical Computer Science | 2024-03-01 | Paper |
Testing equivalence vs. runtime monitoring
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Complexity through translations for modal logic with recursion
(available as arXiv preprint) | 2024-02-08 | Paper |
| Complexity through translations for modal logic with recursion | 2024-02-08 | Paper |
On first-order runtime enforcement of branching-time properties
Acta Informatica | 2023-11-21 | Paper |
ElixirST: a session-based type system for Elixir modules
Journal of Logical and Algebraic Methods in Programming | 2023-09-25 | Paper |
On probabilistic monitorability
Lecture Notes in Computer Science | 2023-08-10 | Paper |
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Logical Methods in Computer Science | 2023-03-22 | Paper |
Monitoring hyperproperties with circuits
(available as arXiv preprint) | 2022-08-19 | Paper |
| On bidirectional runtime enforcement | 2022-03-21 | Paper |
A theory of monitors
Information and Computation | 2021-11-25 | Paper |
On runtime enforcement via suppressions
(available as arXiv preprint) | 2021-08-04 | Paper |
Behavioural types for memory and method safety in a core object-oriented language
(available as arXiv preprint) | 2021-07-08 | Paper |
Computer says no: verdict explainability for runtime monitors using a local proof system
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
| Uniqueness typing for resource management in message-passing concurrency | 2021-02-09 | Paper |
| Monitoring for silent actions | 2020-11-25 | Paper |
| Consistently-detecting monitors | 2020-05-27 | Paper |
The complexity of identifying characteristic formulae
Journal of Logical and Algebraic Methods in Programming | 2020-04-15 | Paper |
Determinizing monitors for HML with recursion
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
A survey of challenges for runtime verification from advanced application domains (beyond software)
Formal Methods in System Design | 2019-11-25 | Paper |
An LTL proof system for runtime verification
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
| A framework for parameterized monitorability | 2018-07-17 | Paper |
Monitorability for the Hennessy-Milner logic with recursion
Formal Methods in System Design | 2017-09-08 | Paper |
| On the complexity of determinizing monitors | 2017-08-22 | Paper |
A theory of monitors (extended abstract)
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Synthesising correct concurrent runtime monitors
Formal Methods in System Design | 2015-10-30 | Paper |
Uniqueness typing for resource management in message-passing concurrency
Journal Of Logic And Computation | 2015-01-12 | Paper |
Compositional reasoning for explicit resource management in channel-based concurrency
Logical Methods in Computer Science | 2014-07-31 | Paper |
Distributed system contract monitoring
The Journal of Logic and Algebraic Programming | 2014-02-25 | Paper |
Permission-based separation logic for message-passing concurrency
Logical Methods in Computer Science | 2012-04-02 | Paper |
Universe Types for Topology and Encapsulation
Formal Methods for Components and Objects | 2009-02-12 | Paper |
A theory of system behaviour in the presence of node and link failure
Information and Computation | 2008-08-22 | Paper |
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
Programming Languages and Systems | 2007-09-04 | Paper |
A theory for observational fault tolerance
The Journal of Logic and Algebraic Programming | 2007-08-23 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
