LEADER 01416nam--2200397---450- 001 990001007210203316 005 20100923104729.0 010 $a88-13-19093-X 035 $a0100721 035 $aUSA010100721 035 $a(ALEPH)000100721USA01 035 $a0100721 100 $a20020228d1995----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> tutela internazionale dei diritti del fanciullo$fa cura di Adriana Beghé Loreti 210 $apadova$cCEDAM$d1995 215 $aXIII, 463 p.$d24 cm 300 $aIn testa al front.: Istituto di diritto internazionale e comuntario, Facoltà di economia e commercio, Università degli studi di Roma. - "La Sapienza"; Servizio sociale internazionale, sezione italiana. Segue : Appendice 410 $12001 461 1$1001-------$12001 606 0 $aFanciulli$xTutela internazionale 676 $a346.0135 702 1$aBEGHÉ LORETI,$bAdriana 801 0$aIT$bsalbc$gISBD 912 $a990001007210203316 951 $aXXIII.1.H. 97 (X 20 LXXXIII 1)$b6394 G$cXXIII.1.H. 97 (X 20 LXXXIII)$d00016842 959 $aBK 969 $aGIU 979 $aPATTY$b90$c20020228$lUSA01$h1645 979 $c20020403$lUSA01$h1742 979 $aPATRY$b90$c20040406$lUSA01$h1709 979 $aRSIAV2$b90$c20100923$lUSA01$h1047 996 $aTutela internazionale dei diritti del fanciullo$9634248 997 $aUNISA LEADER 04502nam 22007335 450 001 9910983329003321 005 20251225183559.0 010 $a3-031-74234-6 024 7 $a10.1007/978-3-031-74234-7 035 $a(MiAaPQ)EBC31724785 035 $a(Au-PeEL)EBL31724785 035 $a(CKB)36338114200041 035 $a(DE-He213)978-3-031-74234-7 035 $a(EXLCZ)9936338114200041 100 $a20241011d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRuntime Verification $e24th International Conference, RV 2024, Istanbul, Turkey, October 15?17, 2024, Proceedings /$fedited by Erika Ábrahám, Houssam Abbas 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (312 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15191 311 08$a3-031-74233-8 320 $aIncludes bibliographical references and index. 327 $a -- 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15191 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.14 702 $aA?braha?m$b Erika 702 $aAbbas$b Houssam 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983329003321 996 $aRuntime Verification$9772115 997 $aUNINA