LEADER 05021nam 22007215 450 001 996558471303316 005 20231001015100.0 010 $a3-031-44267-9 024 7 $a10.1007/978-3-031-44267-4 035 $a(MiAaPQ)EBC30765480 035 $a(Au-PeEL)EBL30765480 035 $a(DE-He213)978-3-031-44267-4 035 $a(PPN)272913677 035 $a(EXLCZ)9928443966200041 100 $a20231001d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRuntime Verification$b[electronic resource] $e23rd International Conference, RV 2023, Thessaloniki, Greece, October 3?6, 2023, Proceedings /$fedited by Panagiotis Katsaros, Laura Nenzi 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (494 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14245 311 08$aPrint version: Katsaros, Panagiotis Runtime Verification Cham : Springer,c2023 9783031442667 327 $aAssumption Generation for Learning-Enabled Autonomous Systems -- Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes -- Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking -- Monitoring Blackbox Implementations of Multiparty Session Protocols -- Specification Parameters for Multi-Class Classification -- General Anticipatory Monitoring for Temporal Logics on Finite Traces -- Metric First-order Temporal Logic with Complex Data Types -- Runtime Verification Prediction for Traces with Data -- Monitoring Hyperproperties With Prefix Transducers -- Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications -- Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals -- Flexible Runtime Security Enforcement with Tagged C -- Pattern Matching for Perception Streams -- Learning Monitor Ensembles for Operational Design Domains -- Monitoring Algorithmic Fairness under Partial Observations -- AMT: a Runtime Verification Tool of Video Streams -- Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM -- CCMOP: A Runtime Verification Tool for C/C++ Programs -- A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations -- eMOP: A Maven Plugin for Evolution-Aware Runtime Verification -- Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models -- Safety Monitoring for Pedestrian Detection in Adverse Conditions -- Instrumentation for RV: From Basic Monitoring to Advanced Use Cases -- Runtime Monitoring DNN-based Perception -- Monitorability for Runtime Verification -- Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. 330 $aThis book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3?6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems. Runtime verification techniques are crucial for 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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14245 606 $aSoftware engineering 606 $aMachine theory 606 $aComputer science 606 $aArtificial intelligence 606 $aAlgorithms 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aArtificial Intelligence 606 $aAlgorithms 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aAlgorithms. 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aArtificial Intelligence. 615 24$aAlgorithms. 615 24$aCompilers and Interpreters. 676 $a005.1 700 $aKatsaros$b Panagiotis$01431383 701 $aNenzi$b Laura$01431384 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996558471303316 996 $aRuntime Verification$93573701 997 $aUNISA