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

Abbas / Ábrahám

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15¿17, 2024, Proceedings

Medium: Buch
ISBN: 978-3-031-74233-0
Verlag: Springer Nature Switzerland
Erscheinungstermin: 12.10.2024
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Ü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 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.

The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.

Produkteigenschaften

  • Artikelnummer: 9783031742330
  • Medium: Buch
  • ISBN: 978-3-031-74233-0
  • Verlag: Springer Nature Switzerland
  • Erscheinungstermin: 12.10.2024
  • Sprache(n): Englisch
  • Auflage: 2025
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert, Paperback
  • Gewicht: 487 g
  • Seiten: 304
  • Format (B x H x T): 155 x 235 x 18 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

.- Invited Paper.
.- Distributed Runtime Verification with Imperfect Monitors: Challenges and Opportunities.
.- Cyber-physical Systems.
.- A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study.
.- Stream-based Monitoring under Measurement Noise.
.- Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS.
.- Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.
.- Sampling-based and Gradient-based Efficient Scenario Generation.
.- HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems.
.- Temporal Logics.
.- faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties.
.- Efficient Online Monitoring for Dynamic Metric Temporal Logic.
.- TimelyMon: A Streaming Parallel First-Order Monitor.
.- Specification and Visualization.
.- Adding State to Stream Runtime Verification.
.- The Complexity of Data-Free Nfer.
.- RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring.
.- Deep Neural Networks.
.- Case Study: Runtime Safety Verification of Neural Network Controlled System.
.- Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces.
.- Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study.
.- Distributed Systems.
.- Distributed Monitoring of Timed Properties.
.- Towards Efficient Runtime Veri ed Linearizable Algorithms.
.- Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.