| Publication | Date of Publication | Type |
|---|
| Decentralized LTL enforcement | 2024-12-06 | Paper |
Bounded-memory runtime enforcement with probabilistic and performance analysis
Formal Methods in System Design | 2024-06-28 | Paper |
| Opportunistic monitoring of multithreaded programs | 2023-11-24 | Paper |
Sound concurrent traces for online monitoring
Model Checking Software | 2023-10-16 | Paper |
Runtime enforcement with reordering, healing, and suppression
Software Engineering and Formal Methods | 2023-05-26 | Paper |
| Probabilistic model checking of BPMN processes at runtime | 2022-08-19 | Paper |
Runtime enforcement of timed properties using games
Formal Aspects of Computing | 2020-09-09 | 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 |
A survey of challenges for runtime verification from advanced application domains (beyond software)
Formal Methods in System Design | 2019-11-25 | Paper |
Optimal enforcement of (timed) properties with uncontrollable events
Mathematical Structures in Computer Science | 2018-12-04 | Paper |
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
Organising LTL monitors over distributed systems with a global clock
Formal Methods in System Design | 2018-02-12 | Paper |
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
Formal Aspects of Computing | 2018-01-08 | Paper |
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
Formal Aspects of Computing | 2018-01-08 | Paper |
Predictive runtime enforcement
Formal Methods in System Design | 2017-09-08 | Paper |
Formal analysis and offline monitoring of electronic exams
Formal Methods in System Design | 2017-09-08 | Paper |
Decentralised LTL monitoring
Formal Methods in System Design | 2016-11-30 | Paper |
Enforcement of (timed) properties with uncontrollable events
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
Enforcement and validation (at runtime) of various notions of opacity
Discrete Event Dynamic Systems | 2015-12-09 | Paper |
Runtime enforcement of timed properties revisited
Formal Methods in System Design | 2015-01-19 | Paper |
Quantified event automata: towards expressive and efficient runtime monitors
FM 2012: Formal Methods | 2012-11-08 | Paper |
Decentralised LTL monitoring
Lecture Notes in Computer Science | 2012-11-08 | Paper |
Runtime verification of component-based systems
Software Engineering and Formal Methods | 2011-10-28 | Paper |
Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
Formal Methods in System Design | 2011-06-30 | Paper |
