Runtime Verification

.- Runtime Monitoring of Distributed Cyber-Physical Systems Without a Global Clock.
.- mstlo: Efficient Online Monitoring of Signal Temporal Logic.
.- GoCDR: Making Go concurrency bugs reproducible.
.- Adaptive Probabilistic Shielding by Learning MDPs for Safe Reinforcement Learning.
.- Logical Compression: Source Coding for Distributed Temporal Logic Monitoring.
.- Monitoring under uncertainty with DisTL.
.- DSRV: Reconfigurable Stream Runtime Verification With Context Transfers.
.- Knowledge-driven Stream Monitor Synthesis.
.- A Benchmarking Infrastructure for Offline Monitors.
.- Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring.
.- Modelling and Analysis under Uncertainty in STARK.
.- Two Ways to See the Future: Combining Prediction and Future-Offset Accesses in RTLola.
.- FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness.
.- Quantitative Refinement of Objectives: Runtime Consultants and Path Planning.
.- Predictive Runtime Verification for Clinical Event Monitoring.
.- Runtime Compliance Verification for AI Agents.
.- Scenario-Based Compositional Statistical Model Checking for Safety Specifications.
.- Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic.
.- Extending RTLola with External Data Queries.
.- Quantitative Monitoring of Semantic Regular Expressions with Oracle-Defined Trace Predicates.
.- Periscope: Extending the Scope of Pre-Silicon Assertion-Based Verification with Runtime Monitor Feedback.
.- Monitoring Hyperproperties over Observed and Constructed Traces.
.- Defense-in-Depth Runtime Safety in Move.
.- Online Monitoring and Verification of Dynamic System Performance Properties in MTLfp.
.- STL-Witness: Signal Generation from STL Specifications.
.- tidySTL: Exposing Implicit Semantics in STL Evaluation.    
.- From ODD to Runtime Monitors: ODD-Based Scenario Generation and Coverage Assessment.
.- Monitoring LLM Conversations with First-Order Temporal Logic.
.- Shielding for Higher-Order Safety.
.- Synchronous Observers Revisited for Runtime Verification of Lustre Using STL.
.- GoCCT– a common platform for controlled concurrency testing in Go.
.- mstlo: An Online STL Monitoring Library for Rust and Python.
.- DejaVuGuard: Runtime Verification of LLM Conversations.