- 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.