Description
Book Synopsis.- 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.
