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.
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.
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
.- 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.
.- 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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826