| 2014 | Abstraction and Mining of Traces to Explain Concurrency Bugs. Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher |
| 2014 | Checking Data Structure Properties Orders of Magnitude Faster. Emmanouil Koukoutos, Viktor Kuncak |
| 2014 | Dynamic Test Generation with Static Fields and Initializers. Maria Christakis, Patrick Emmisberger, Peter Müller |
| 2014 | Dynamic Verification for Hybrid Concurrent Programming Models. Erdal Mutlu, Vladimir Gajinov, Adrián Cristal, Serdar Tasiran, Osman S. Unsal |
| 2014 | Faster Statistical Model Checking by Means of Abstraction and Learning. Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2014 | First International Competition on Software for Runtime Verification. Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone |
| 2014 | Foundations of Boolean Stream Runtime Verification. Laura Bozzelli, César Sánchez |
| 2014 | Improving Dynamic Inference with Variable Dependence Graph. Anand Yeolekar |
| 2014 | Lazy Symbolic Execution for Enhanced Learning. Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali |
| 2014 | ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. Stefan Mitsch, André Platzer |
| 2014 | Monitoring Systems with Extended Live Sequence Charts. Ming Chai, Bernd-Holger Schlingloff |
| 2014 | Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé |
| 2014 | On Real-Time Monitoring with Imprecise Timestamps. David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2014 | On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems. Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers |
| 2014 | On-Line Monitoring for Temporal Logic Robustness. Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
| 2014 | Online Monitoring of Metric Temporal Logic. Hsi-Ming Ho, Joël Ouaknine, James Worrell |
| 2014 | Organising LTL Monitors over Distributed Systems with a Global Clock. Christian Colombo, Yliès Falcone |
| 2014 | Portable Runtime Verification with Smartphones and Optical Codes. Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé |
| 2014 | ROSRV: Runtime Verification for Robots. Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu |
| 2014 | RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu |
| 2014 | Robust Consistency Checking for Modern Filesystems. Kuei Sun, Daniel Fryer, Dai Qin, Angela Demke Brown, Ashvin Goel |
| 2014 | Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems. Johannes Geist, Kristin Y. Rozier, Johann Schumann |
| 2014 | Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings Borzoo Bonakdarpour, Scott A. Smolka |
| 2014 | Scalable Offline Monitoring. David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel |
| 2014 | Speculative Program Parallelization with Scalable and Decentralized Runtime Verification. Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamaño, Willy Wolff, Alexandra Jimborean, Philippe Clauss |
| 2014 | Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems. Jiannan Zhai, Nigamanth Sridhar, Jason O. Hallstrom |
| 2014 | Symbolic Execution Debugger (SED). Martin Hentschel, Richard Bubel, Reiner Hähnle |
| 2014 | The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. Malte Isberner, Falk Howar, Bernhard Steffen |
| 2014 | Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A. Clemens Ballarin |