Cover image for Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Title:
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Author:
Bartocci, Ezio. editor.
ISBN:
9783319238203
Edition:
1st ed. 2015.
Physical Description:
XIX, 432 p. 133 illus. online resource.
Series:
Programming and Software Engineering, 9333
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.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 519135-1001 XX(519135.1)
Searching...

On Order