| 2013 | Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers Shaz Qadeer, Serdar Tasiran |
| 2012 | ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. Jan Fiedor, Tomás Vojnar |
| 2012 | Adaptive Runtime Verification. Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster |
| 2012 | BabelTrace: A Collection of Transducers for Trace Validation. Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet |
| 2012 | Certifying Solutions for Numerical Constraints. Eva Darulova, Viktor Kuncak |
| 2012 | Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation. Benjamin D. Rodes, Anh Nguyen-Tuong, Jason Hiser, John C. Knight, Michele Co, Jack W. Davidson |
| 2012 | Detecting Unread Memory Using Dynamic Binary Translation. Jon Eyolfson, Patrick Lam |
| 2012 | Dynamic Analyses for Data-Race Detection. John Erickson, Stephen N. Freund, Madanlal Musuvathi |
| 2012 | Dynamic Livelock Analysis of Multi-threaded Programs. Malay K. Ganai |
| 2012 | Fast-Forward Runtime Monitoring - An Industrial Case Study. Christian Colombo, Gordon J. Pace |
| 2012 | From Runtime Verification to Runtime Intervention and Adaptation. Martin C. Rinard |
| 2012 | Incremental Runtime Verification of Probabilistic Systems. Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma |
| 2012 | It's the End of the World as We Know It (And I Feel Fine). Jim R. Larus |
| 2012 | Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications. Giovanni Vigna |
| 2012 | MapReduce for Parallel Trace Validation of LTL Properties. Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé |
| 2012 | Maximal Causal Models for Sequentially Consistent Systems. Traian-Florin Serbanuta, Feng Chen, Grigore Rosu |
| 2012 | Monitoring Compliance Policies over Incomplete and Disagreeing Logs. David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2012 | Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic. Kevin Baldor, Jianwei Niu |
| 2012 | PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors. Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor, Osman S. Unsal |
| 2012 | Path-Aware Time-Triggered Runtime Verification. Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2012 | Profiling Field Initialisation in Java. Stephen Nelson, David J. Pearce, James Noble |
| 2012 | Quantitative Trace Analysis Using Extended Timing Diagrams. Andreas Richter, Klaus Kabitzsch |
| 2012 | Real-Time Runtime Verification on Chip. Thomas Reinbacher, Matthias Függer, Jörg Brauer |
| 2012 | Rewrite-Based Statistical Model Checking of WMTL. Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen |
| 2012 | Runtime Enforcement of Timed Properties. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo |
| 2012 | Runtime Verification and Enforcement for Android Applications with RV-Droid. Yliès Falcone, Sebastian Currea, Mohamad Jaber |
| 2012 | Scalable Dynamic Partial Order Reduction. Jirí Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey |
| 2012 | Sliding between Model Checking and Runtime Verification. Martin Leucker |
| 2012 | Sparse Coding for Specification Mining and Error Localization. Wenchao Li, Sanjit A. Seshia |
| 2012 | Symbolic Execution. Cristian Cadar, Koushik Sen |
| 2012 | Temporal Monitors for TinyOS. Doina Bucur |