LEADER 05906nam 22008055 450 001 9910483856603321 005 20200701085622.0 010 $a3-319-11164-7 024 7 $a10.1007/978-3-319-11164-3 035 $a(CKB)3710000000249758 035 $a(SSID)ssj0001354281 035 $a(PQKBManifestationID)11987180 035 $a(PQKBTitleCode)TC0001354281 035 $a(PQKBWorkID)11322541 035 $a(PQKB)10147072 035 $a(DE-He213)978-3-319-11164-3 035 $a(MiAaPQ)EBC5577766 035 $a(PPN)181351838 035 $a(EXLCZ)993710000000249758 100 $a20140912d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRuntime Verification $e5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /$fedited by Borzoo Bonakdarpour, Scott A. Smolka 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XVIII, 358 p. 82 illus.) 225 1 $aProgramming and Software Engineering ;$v8734 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-11163-9 320 $aIncludes bibliographical references and index. 327 $aFirst International Competition on Software for Runtime Verification -- Monitoring and Trace Slicing -- Multiple Ways to Fail: Generalizing a Monitor?s Verdict for the Classification of Execution Traces -- Scalable Offline Monitoring -- Monitoring Systems with Extended Live Sequence Charts -- Foundations of Boolean Stream Runtime Verification -- Portable Runtime Verification with Smartphones and Optical Codes -- Robust Consistency Checking for Modern Filesystems -- Runtime Verification of Distributed and Concurrent Systems -- On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems -- Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems -- Speculative Program Parallelization with Scalable and Decentralized Runtime Verification -- Organising LTL Monitors over Distributed Systems with a Global Clock -- Dynamic Verification for Hybrid Concurrent Programming Models -- Abstraction and Mining of Traces to Explain Concurrency Bugs -- Runtime Verification of Real-Time and Embedded Systems -- Online Monitoring of Metric Temporal Logic -- On Real-Time Monitoring with Imprecise Timestamps -- ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models -- Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems -- On-Line Monitoring for Temporal Logic Robustness -- ROSRV: Runtime Verification for Robots -- Testing and Bug Finding -- Symbolic Execution Debugger (SED) -- Checking Data Structure Properties Orders of Magnitude Faster -- Dynamic Test Generation with Static Fields and Initializers -- RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties -- Inference and Learning -- Improving Dynamic Inference with Variable Dependence Graph -- The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning -- Lazy Symbolic Execution for Enhanced Learning -- Faster Statistical Model Checking by Means of Abstraction and Learning. 330 $aThis book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and  8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning. 410 0$aProgramming and Software Engineering ;$v8734 606 $aSoftware engineering 606 $aAlgorithms 606 $aComputer logic 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aAlgorithms. 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 676 $a004.0151 702 $aBonakdarpour$b Borzoo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSmolka$b Scott A$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483856603321 996 $aRuntime Verification$9772115 997 $aUNINA