Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings /: 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. (2015)

• Record Type: Book
• Other Titles: RV 2015
• Further Information: Note: Ezio Bartocci, Rupak Majumdar (eds.).
• Editors: (Computer scientist), Bartocci, Ezio; Majumdar, Rupak
• Other Names: RV (Conference), 6th
• Contents: Invited Papers -- Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification -- Twenty Years of Dynamic Software Model Checking -- Explaining Heisenbugs -- Regular Papers -- Qualitative and Quantitative Monitoring of Spatio-Temporal Properties -- Runtime Adaptation for Actor Systems -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System -- Monitoring Electronic Exams -- Monitoring Real Android Malware -- Time-triggered Runtime Verification of Component-Based Multi-core Systems -- Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining -- Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment -- From First-Order Temporal Logic to Parametric Trace Slicing -- R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems -- A Hybrid Approach to Causality Analysis -- Short Papers -- Statistical Model Checking of Distributed Adaptive Real-Time Software -- Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources -- Runtime Verification for Hybrid Analysis Tools -- Suggesting Edits to Explain Failing Traces -- Tool Papers -- StaRVOOrS -- A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool chain for Timed Property Enforcement during eXecution -- Tutorial Papers -- Machine Learning Methods in Statistical Model Checking and System Design -- Tutorial -- RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial -- LearnLib Tutorial -- An Open Source Java Library for Active Automata Learning -- Monitoring and Measuring Hybrid Behaviors -- A Tutorial -- Software Competitions -- Second International Competition on Runtime Verification CRV 2015 -- Rigorous Examination of Reactive Systems: The RERS challenge 2015.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (xiv, 396 pages), illustrations
• Subjects: 005.1/4; Computer science; Computer software -- Verification -- Congresses; Formal methods (Computer science) -- Congresses; Computer software -- Testing -- Congresses; Computer software -- Testing; Computer software -- Verification; Formal methods (Computer science); Computers -- Programming -- Algorithms; Computers -- Programming -- General; Computers -- Programming Languages -- General; Mathematics -- Logic; Algorithms & data structures; Computer programming / software development; Programming & scripting languages: general; Mathematical theory of computation; Software engineering; Computer software; Logic design; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319238203; 3319238205; 3319238191; 9783319238197
• Related ISBNs: 9783319238197
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 22, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.