On first-order runtime enforcement of branching-time properties

A theory of monitors

(2021) Adrian Francalanza   INFORMATION AND COMPUTATION

An operational guide to monitorability with applications to regular properties

(2021) Luca Aceto et al.   Software and Systems Modeling

Comparing controlled system synthesis and suppression enforcement

(2021) Luca Aceto et al.   International Journal on Software Tools for Technology Transfer

Determinizing monitors for HML with recursion

(2020) Luca Aceto et al.   Journal of Logical and Algebraic Methods in Programming

Computer says no: Verdict explainability for runtime monitors using a local proof system

(2020) Adrian Francalanza et al.   Journal of Logical and Algebraic Methods in Programming

Shield synthesis

(2017) Bettina Könighofer et al.   FORMAL METHODS IN SYSTEM DESIGN

Monitorability for the Hennessy–Milner logic with recursion

(2017) Adrian Francalanza et al.   FORMAL METHODS IN SYSTEM DESIGN

Monitoring networks through multiparty session types

(2017) Laura Bocchi et al.   THEORETICAL COMPUTER SCIENCE

Maximally permissive controlled system synthesis for non-determinism and modal logic

(2016) A. C. van Hulst et al.   DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS

Self-adaptation and secure information flow in multiparty communications

(2016) Ilaria Castellani et al.   FORMAL ASPECTS OF COMPUTING

Modeling runtime enforcement with mandatory results automata

(2014) Egor Dolzhenko et al.   International Journal of Information Security

Streaming transducers for algorithmic verification of single-pass list-processing programs

(2011) Rajeev Alur et al.   ACM SIGPLAN NOTICES

Runtime enforcement monitors: composition, synthesis, and enforcement abilities

(2011) Yliès Falcone et al.   FORMAL METHODS IN SYSTEM DESIGN

What can you verify and enforce at runtime?

(2011) Yliès Falcone et al.   International Journal on Software Tools for Technology Transfer