A Calculus for Concurrent and Sequential Programming (abstract)

Algorithms for Monitoring Hyperproperties (abstract)

Robustness of Specifications and its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo (abstract)

Stream-based Monitors for Real-time Properties (abstract)

On the Runtime Enforcement of Timed Properties (abstract)

Stream-based Monitors for Real-time Properties (abstract)

On the Runtime Enforcement of Timed Properties (abstract)

Can we Verify GDPR Compliance? (abstract)

Shape Expressions for Specifying and Extracting Signal Features (abstract)

An Extension of LTL with Rules and its Application to Runtime Verification (abstract)

A Formally Verified Monitor for Metric First-Order Temporal Logic (abstract)

Explaining Violations of Properties in Control-Flow Temporal Logic (abstract)

AllenRV: an Extensible Monitor for Multiple Complex Specifications with High Reactivity (abstract)

NuRV: a nuXmv Extension for Runtime Verification (abstract)

Timescales: A Benchmark Generator for Metric Temporal Logic (abstract)

Comparing Controlled System Synthesis and Suppression Enforcement (abstract)

Reactive Control Meets Runtime Verification: A Case Study of Navigation (abstract)

Challenges and Opportunities in Design and Operation of Intelligent Cyber-Physical Systems (abstract)

Monitorability Over Unreliable Channels (abstract)

Assumption-Based Runtime Verification with Partial Observability and Resets (abstract)

Runtime Verification For Timed Event Streams With Partial Information (abstract)

Decentralized Stream Runtime Verification (abstract)

A Retrospective Look at the Monitoring and Checking (MaC) Framework (abstract)

Towards Verified Artificial Intelligence: A Run-Time Verification Perspective (abstract)

Efficient Detection and Quantification of Timing Leaks with Neural Networks (abstract)

Neural Predictive Monitoring (abstract)

Accelerated Learning of Predictive Runtime Monitors for Rare Failure (abstract)

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs (abstract)

FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation (abstract)

Overhead-Aware Deployment of Runtime Monitors (abstract)