|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Erika Ábrahám , Houssam AbbasPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 2025 ed. Volume: 15191 ISBN: 9783031742330ISBN 10: 3031742338 Pages: 304 Publication Date: 12 October 2024 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Not yet available This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release. Table of Contents.- 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |