Runtime Verification

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

AvErika Ábrahám,Houssam Abbas

Häftad, Engelska, 2024

Del i serien Lecture Notes in Computer Science

634 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2024-10-12
Mått:155 x 235 x 18 mm
Vikt:487 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:304
Förlag:Springer International Publishing AG
ISBN:9783031742330

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

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