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

Accepted Papers

Kevin Falzon, Eric Bodden and Rahul Purandare. Efficient Distributed Finite-State Runtime Monitoring with Aggregated Events
Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour and Sebastian Fischmeister. Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques
Christian Colombo, Ruth Mizzi and Gordon Pace. SMock --- A Test Platform for Monitoring Tools
Véronique Bruyère, Marc Ducobu and Olivier Gauwin. u-Universality of Visibly Pushdown Automata
Adrian Francalanza and Aldrin Seychell. Synthesising Correct Concurrent Runtime Monitors (Extended Abstract)
Nikolai Kosmatov, Guillaume Petiot and Julien Signoles. An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs
Andreas Bauer, Jan-Christoph Kuester and Gil Vegliach. From propositional to first-order monitoring
Nadia Polikarpova, Carlo A. Furia and Scott West. To Run What No One Has Run Before
Chengsong Wang, Zhenbang Chen and Xiaoguang Mao. Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations
Kenan Kalajdzic, Ezio Bartocci, Scott Smolka, Scott Stoller and Radu Grosu. Runtime Verification with Particle Filtering
David Basin, Felix Klaedtke, Srdjan Marinovic and Eugen Zalinescu. Monitoring of Temporal First-order Properties with Aggregations
Shaohui Wang, Anaheed Ayoub, Baek-Gyu Kim, Gregor Goessler, Oleg Sokolsky and Insup Lee. A Causality Analysis Framework for Component-based Real-time Systems
Razieh Nokhbeh Zaeem, Muhammad Zubair Malik and Sarfraz Khurshid. Repair Abstractions for More Efficient Data Structure Repair
Vineeth Mekkat, Anup Holey and Antonia Zhai. Accelerating Data Race Detection Utilizing On-chip Data-parallel Cores
Ana Almeida Matos and Jan Cederquist. Informative Types and Effects for Hybrid Migration Control
Rumyana Neykova, Nobuko Yoshida and Raymond Hu. SPY: Local Verification of Global Protocols
Raymond Hu, Rumyana Neykova, Nobuko Yoshida and Romain Demangeon. Practical interruptible conversations: Distributed dynamic verification with session types and Python
Mickaël Delahaye and Nikolai Kosmatov. A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools
Martin Leucker, Normann Decker and Daniel Thoma. Impartiality and Anticipation for Monitoring of Visibly Context-free Properties
Alexandre Montplaisir, Naser Ezzati, Florian Wininger and Michel Dagenais. Efficient Model to Query and Visualize the System States Extracted from Trace Data
Klaus Havelund. A Scala DSL for Rete-based Runtime Verification
Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé and Sylvain Hallé. Runtime Monitoring of Temporal Logic Properties in a Platform Video Game
Jukka Julku and Mika Rautila. Towards a generic non-intrusive fault detection framework
Kedar Namjoshi, Giacomo Tagliabue and Lenore Zuck. A Witnessing Compiler: A Proof of Concept