Regular Papers
Predicate Monitoring in Distributed Cyber-physical Systems
Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs
Into the Unknown: Active Monitoring of Neural Networks
Monitoring with Verified Guarantees
On the Interpretation and Monitoring of Timed Deontic Logics
Efficient Black-Box Checking via Model Checking with Strengthened Specifications
Neural Predictive Monitoring under Partial Observability
A Compositional Framework for Quantitative Online Monitoring over Continuous-time Signals
Nested Monitors: Monitors as Expressions to Build Monitors
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs
Assumption-Based Runtime Veri cation of Infinite-State Systems
Short Papers and Tool Papers
Differential Monitoring
Ortac: Runtime Assertion Checking for OCaml (tool paper)
Gaussian-based runtime detection of out-of-distribution inputs for neural networks
Parallel and Multi-Objective Falsification with Scenic and VerifAI
A Theoretical Framework for Understanding the Relationship between Log Parsing and Anomaly Detection
Specification and Runtime Verification of Temporal Assessments in Simulink
PerceMon: Online Monitoring for Perception Systems
Tutorial Paper
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance.