Runtime Verification

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.