fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Kauffman / Pedrielli

Runtime Verification

26th International Conference, RV 2026, Kingston, ON, Canada, October 6–9, 2026, Proceedings

Medium: Buch
ISBN: 978-3-032-41159-4
Verlag: Springer
Erscheinungstermin: 14.11.2026
Jetzt vorbestellen
vorbestellbar, Erscheinungstermin ca. November 2026
Auf die Merkliste Drucken
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

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.

Produkteigenschaften

  • Artikelnummer: 9783032411594
  • Medium: Buch
  • ISBN: 978-3-032-41159-4
  • Verlag: Springer
  • Erscheinungstermin: 14.11.2026
  • Sprache(n): Englisch
  • Auflage: Erscheinungsjahr 2026
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert
  • Seiten: 531
  • Format (B x H): 155 x 235 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

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