Foundations of Runtime Monitoring through the Lens of Concurrency Theory
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.
Authors
- Duncan Paul Attard (ORCID: https://orcid.org/0000-0002-2448-5394)
- Anna Ingólfsdóttir (ORCID: https://orcid.org/0000-0001-8362-3075)
- Léo Exibard (ORCID: https://orcid.org/0000-0003-0318-1217)
- Luca Aceto (ORCID: https://orcid.org/0000-0001-8554-6907)
- Jana Wagemaker (ORCID: https://orcid.org/0000-0002-8616-3905)
- Antonis Achilleos (ORCID: https://orcid.org/0000-0002-1314-333X)
- Elli Anastasiadi (ORCID: https://orcid.org/0000-0001-7526-9256)
- Adrian Francalanza
- Daniele Gorla
- Karollina Lehtinen
Publication Details
- Journal
- IRIS Research product catalog (Sapienza University of Rome)
- Published
- 2026-01-01
- Primary Topic
- Advanced Software Engineering Methodologies
- Type
- article
- Field-Weighted Citation Impact
- 0.00