MarQ: Monitoring at Runtime with QEA
Abstract elided by the publisher.
Related papers
- Aspect-Oriented Runtime Monitor Certification TACAS 2012
- Runtime Monitoring with Union-Find Structures TACAS 2016
- Temporal Mode-Checking for Runtime Monitoring of Privacy Policies CAV 2014
- A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring ECOOP 2007
- Runtime Monitoring with Recovery of the SENT Communication Protocol CAV 2017
- Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning VMCAI 2025
- Automated Translation of Natural Language Requirements to Runtime Monitors TACAS 2022
- Partially Evaluating Finite-State Runtime Monitors Ahead of Time TOPLAS 2012