Fourth International Conference on
Runtime Verification
INRIA Rennes, France
24-27 September 2013

Tutorials accepted for the main conference

Hillel Kugler. Runtime Verification and Refutation for Biological Systems
Alexandre Donzé. On Signal Temporal Logic

Tutorials accepted for the tutorial days

Steven Arzt and Siegried Rasthofer. Instrumenting Android and Java as easy as ABC
Requirements: the tutorial will include practical sessions that use a virtual machine. To install this VM the participants require a computer with a least 10GB of free disc space and 4GB of memory. For speeding up the process previously installing VMWare or VirtualBox 4.2.16 (or later, including extension packs) would be great.
Kai Lampka. With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures
Chao Wang and Lixin Li. Dynamic Analysis and Debugging of Binary Code for Security Applications
Nikolai Kosmatov and Julien Signoles. Runtime Assertion Checking with Frama-C