Runtime Verification

.- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dynamically. .- Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs. .- A ROS Adapter for RTLola. .- DynSRV: Dynamically Updated Properties for Stream Runtime Verification. .- Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter. .- Alignment Monitoring. .- Instrumenting Runtime Enforcement. .- Active Monitoring with RTLola: A Specification-Guided Scheduling Approach. .- The Power of Reframing: Using LLMs in Synthesizing RV Monitors. .- Conformal Safety Shielding for Imperfect-Perception Agents. .- Extended Timed Regular Expressions. .- Monitoring Distributed Systems based on Partial Order Executions with Global States. .- Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation. .- CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-Series. .- Monitoring Progress and Failure in Autonomous Robot Navigation: A Case Study. .- Conformal Predictive Monitoring for Multi-Modal Scenarios. .- Runtime Verification for LTL in Stochastic Systems. .- A Practical Approach to Runtime Verification. .- Hyper pattern matching. .- Monitoring Hypernode Logic Over Infinite Domains. .- A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems. .- Statistical Runtime Verification for LLMs via Robustness Estimation. .- ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis. .- Runtime Consultants.