Foundations of Runtime Monitoring through the Lens of Concurrency Theory

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Daniele Gorla, Anna Ingólfsdóttir, Karoliina Lehtinen, Jana Wagemaker, The Concurrency Column by Marino Miculan and Nobuko Yoshida

Abstract


This article surveys some of the work on the theoretical foundations of runtime monitoring carried out by various subsets of its authors over the last decade. It focuses on runtime monitoring of classic regular properties, of data-dependent properties and of hyperproperties. The paper also highlights the research philosophy guiding those studies, and the role that classic notions and techniques from concurrency theory have played in them.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.