| 2013 | A Causality Analysis Framework for Component-Based Real-Time Systems. Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee |
| 2013 | A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. Mickaël Delahaye, Nikolai Kosmatov |
| 2013 | A Lesson on Runtime Assertion Checking with Frama-C. Nikolai Kosmatov, Julien Signoles |
| 2013 | A Scala DSL for Rete-Based Runtime Verification. Klaus Havelund |
| 2013 | A Witnessing Compiler: A Proof of Concept. Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck |
| 2013 | Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores. Vineeth Mekkat, Anup Holey, Antonia Zhai |
| 2013 | An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. Nikolai Kosmatov, Guillaume Petiot, Julien Signoles |
| 2013 | Distributed Finite-State Runtime Monitoring with Aggregated Events. Kevin Falzon, Eric Bodden, Rahul Purandare |
| 2013 | Dynamic Analysis and Debugging of Binary Code for Security Applications. Lixin Li, Chao Wang |
| 2013 | Efficient Model to Query and Visualize the System States Extracted from Trace Data. Alexandre Montplaisir, Naser Ezzati-Jivan, Florian Wininger, Michel R. Dagenais |
| 2013 | Executing Specifications Using Synthesis and Constraint Solving. Viktor Kuncak, Etienne Kneuss, Philippe Suter |
| 2013 | From Propositional to First-Order Monitoring. Andreas Bauer, Jan-Christoph Küster, Gil Vegliach |
| 2013 | Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. Normann Decker, Martin Leucker, Daniel Thoma |
| 2013 | Informative Types and Effects for Hybrid Migration Control. Ana Almeida Matos, Jan Cederquist |
| 2013 | Instrumenting Android and Java Applications as Easy as abc. Steven Arzt, Siegfried Rasthofer, Eric Bodden |
| 2013 | Monitoring of Temporal First-Order Properties with Aggregations. David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2013 | On Signal Temporal Logic. Alexandre Donzé |
| 2013 | Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. Chengsong Wang, Zhenbang Chen, Xiaoguang Mao |
| 2013 | Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda |
| 2013 | Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2013 | Repair Abstractions for More Efficient Data Structure Repair. Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid |
| 2013 | Right-Universality of Visibly Pushdown Automata. Véronique Bruyère, Marc Ducobu, Olivier Gauwin |
| 2013 | Runtime Monitoring of Temporal Logic Properties in a Platform Game. Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé |
| 2013 | Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings Axel Legay, Saddek Bensalem |
| 2013 | Runtime Verification and Refutation for Biological Systems. Hillel Kugler |
| 2013 | Runtime Verification with Particle Filtering. Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu |
| 2013 | SMock - A Test Platform for Monitoring Tools. Christian Colombo, Ruth Mizzi, Gordon J. Pace |
| 2013 | SPY: Local Verification of Global Protocols. Rumyana Neykova, Nobuko Yoshida, Raymond Hu |
| 2013 | Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). Adrian Francalanza, Aldrin Seychell |
| 2013 | To Run What No One Has Run Before: Executing an Intermediate Verification Language. Nadia Polikarpova, Carlo A. Furia, Scott West |
| 2013 | Towards a Generic Non-intrusive Fault Detection Framework. Jukka Julku, Mika Rautila |
| 2013 | With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. Kai Lampka |