| Publication | Date of Publication | Type |
|---|
| Efficient reactive synthesis using mode decomposition | 2024-09-13 | Paper |
| Expressiveness and decidability of temporal logics for asynchronous hyperproperties | 2024-08-13 | Paper |
Realizability modulo theories
Journal of Logical and Algebraic Methods in Programming | 2024-06-25 | Paper |
| Gray-box monitoring of hyperproperties | 2024-03-14 | Paper |
Verifying hyperliveness
Computer Aided Verification | 2024-02-16 | Paper |
| Boolean abstractions for realizability modulo theories | 2024-02-01 | Paper |
Runtime verification of real-time event streams using the tool HStriver
Formal Methods in System Design | 2024-01-08 | Paper |
| Bounded model checking for asynchronous hyperproperties | 2023-12-13 | Paper |
| Efficient loop conditions for bounded model checking hyperproperties | 2023-12-13 | Paper |
Multi–stage process for chemotherapy scheduling and effective capacity determination
International Transactions in Operational Research | 2023-09-29 | Paper |
Tableaux for realizability of safety specifications
Formal Methods | 2023-08-17 | Paper |
Symbolic runtime verification for monitoring under uncertainties and assumptions
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
Gray-box monitoring of hyperproperties with an application to privacy
Formal Methods in System Design | 2022-06-20 | Paper |
A temporal logic for asynchronous hyperproperties
(available as arXiv preprint) | 2022-03-25 | Paper |
Bounded model checking for hyperproperties
(available as arXiv preprint) | 2021-08-04 | Paper |
Declarative stream runtime verification (hLola)
(available as arXiv preprint) | 2021-07-08 | Paper |
Timed epistemic knowledge bases for social networks
(available as arXiv preprint) | 2021-05-04 | Paper |
A survey of challenges for runtime verification from advanced application domains (beyond software)
Formal Methods in System Design | 2019-11-25 | Paper |
| Algorithms for model checking HyperLTL and HyperCTL\(^*\) | 2018-03-01 | Paper |
Visibly linear temporal logic
Journal of Automated Reasoning | 2018-02-02 | Paper |
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
Annals of Mathematics and Artificial Intelligence | 2017-10-13 | Paper |
| Visibly rational expressions | 2017-01-26 | Paper |
Foundations of Boolean stream runtime verification
Theoretical Computer Science | 2016-05-02 | Paper |
Formal verification of skiplists with arbitrary many levels
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Parametrized invariance for infinite state processes
Acta Informatica | 2015-09-11 | Paper |
Visibly linear temporal logic
Automated Reasoning | 2014-09-26 | Paper |
Visibly rational expressions
Acta Informatica | 2014-06-12 | Paper |
How to translate efficiently extensions of temporal logics into alternating automata
Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
Regular linear temporal logic with past
Lecture Notes in Computer Science | 2010-01-14 | Paper |
Regular Linear Temporal Logic
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
The Reaction Algebra: A Formal Language for Event Correlation
Pillars of Computer Science | 2008-03-25 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
