Buch, Englisch, 531 Seiten, Format (B × H): 155 mm x 235 mm
26th International Conference, RV 2026, Kingston, ON, Canada, October 6–9, 2026, Proceedings
Buch, Englisch, 531 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-41159-4
Verlag: Springer
This book constitutes the refereed proceedings of the 26th International Conference on Runtime Verification, RV 2026, held in Kingston, ON, Canada, during October 6–9, 2026.
The 9 regular papers, 5 short papers, 4 tool papers, 1 tutorial paper, 1 benchmark paper and 3 tool showcase papers included in this book were carefully reviewed and selected from 65 submissions. They focus on topics in Runtime Verification including online and offline monitoring of formal specifications, shielding intelligent systems, quantitative verdict domains, as well as related research into AI safety and out-of-distribution detection. Runtime verification techniques have gained increasing acceptance as means to achieve system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Compiler
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Algorithmen & Datenstrukturen
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
Weitere Infos & Material
.- 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.
