The study of monitorability asks what type of properties can be verified at runtime. Many definitions of monitorability exist in the literature, and they are not all in agreement. I am part of a collaboration which aims to reconcile these different approaches in order to build a solid theoretical foundations for defining the correctness of runtime monitors.
-
An Operational Guide to Monitorability SEFM 2019 with L. Aceto, A. Achilleos, A. Francalanza and A. Ingólfsdóttir
-
Adventures in monitorability: From branching time to linear time an back again. POPL 2019 with L Aceto, A. Achilleos, A. Francalanza, A. Ingólfsdóttir
-
The cost of monitoring alone. From Reactive Systems to Cyber-Physical Systems (LNCS) 2019 with L Aceto, A. Achilleos, A. Francalanza, A. Ingólfsdóttir
-
Testing Equivalence vs Runtime Monitoring Models, Languages, and Tools for Concurrent and Distributed Programming (LNCS) 2019 with L. Aceto, A. Achilleos, A. Francalanza, A. Ingólfsdóttir