| 2014 | Monitoring Systems with Extended Live Sequence Charts. | Ming Chai, Bernd-Holger Schlingloff |
| 2014 | Foundations of Boolean Stream Runtime Verification. | Laura Bozzelli, Csar Snchez |
| 2014 | Abstraction and Mining of Traces to Explain Concurrency Bugs. | Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher |
| 2014 | On Real-Time Monitoring with Imprecise Timestamps. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2014 | Scalable Offline Monitoring. | David A. Basin, Germano Caronni, Sarah Ereth, Mats Harvan, Felix Klaedtke, Heiko Mantel |
| 2014 | First International Competition on Software for Runtime Verification. | Ezio Bartocci, Borzoo Bonakdarpour, Ylis Falcone |
| 2014 | Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A. | Clemens Ballarin |
| 2013 | Repair Abstractions for More Efficient Data Structure Repair. | Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid |
| 2013 | Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. | Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2013 | Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. | Chengsong Wang, Zhenbang Chen, Xiaoguang Mao |
| 2013 | A Causality Analysis Framework for Component-Based Real-Time Systems. | Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gler, Oleg Sokolsky, Insup Lee |
| 2013 | Runtime Monitoring of Temporal Logic Properties in a Platform Game. | Simon Varvaressos, Dominic Vaillancourt, Sbastien Gaboury, Alexandre Blondin Mass, Sylvain Hall |
| 2013 | To Run What No One Has Run Before: Executing an Intermediate Verification Language. | Nadia Polikarpova, Carlo A. Furia, Scott West |
| 2013 | SPY: Local Verification of Global Protocols. | Rumyana Neykova, Nobuko Yoshida, Raymond Hu |
| 2013 | A Witnessing Compiler: A Proof of Concept. | Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck |
| 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 | Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores. | Vineeth Mekkat, Anup Holey, Antonia Zhai |
| 2013 | Informative Types and Effects for Hybrid Migration Control. | Ana Almeida Matos, Jan Cederquist |
| 2013 | Dynamic Analysis and Debugging of Binary Code for Security Applications. | Lixin Li, Chao Wang |
| 2013 | With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. | Kai Lampka |
| 2013 | Executing Specifications Using Synthesis and Constraint Solving. | Viktor Kuncak, Etienne Kneuss, Philippe Suter |
| 2013 | Runtime Verification and Refutation for Biological Systems. | Hillel Kugler |
| 2013 | A Lesson on Runtime Assertion Checking with Frama-C. | Nikolai Kosmatov, Julien Signoles |
| 2013 | An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. | Nikolai Kosmatov, Guillaume Petiot, Julien Signoles |
| 2013 | Runtime Verification with Particle Filtering. | Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu |