Runtime Verification, Kartoniert / Broschiert
Runtime Verification
- 25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings
(soweit verfügbar beim Lieferanten)
- Herausgeber:
- Bettina Könighofer, Hazem Torfah
- Verlag:
- Springer, 09/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032054340
- Artikelnummer:
- 12395733
- Umfang:
- 536 Seiten
- Gewicht:
- 803 g
- Maße:
- 235 x 155 mm
- Stärke:
- 29 mm
- Erscheinungstermin:
- 14.9.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
.- 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.
