| 2012 | Sliding between Model Checking and Runtime Verification. | Martin Leucker |
| 2012 | It's the End of the World as We Know It (And I Feel Fine). | Jim R. Larus |
| 2012 | PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors. | Ismail Kuru, Hassan Salehe Matar, Adrin Cristal, Gokcen Kestor, Osman S. Unsal |
| 2012 | Dynamic Livelock Analysis of Multi-threaded Programs. | Malay K. Ganai |
| 2012 | Incremental Runtime Verification of Probabilistic Systems. | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma |
| 2012 | ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. | Jan Fiedor, Toms Vojnar |
| 2012 | Runtime Verification and Enforcement for Android Applications with RV-Droid. | Ylis Falcone, Sebastian Currea, Mohamad Jaber |
| 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 | Certifying Solutions for Numerical Constraints. | Eva Darulova, Viktor Kuncak |
| 2012 | Fast-Forward Runtime Monitoring - An Industrial Case Study. | Christian Colombo, Gordon J. Pace |
| 2012 | Symbolic Execution. | Cristian Cadar, Koushik Sen |
| 2012 | Rewrite-Based Statistical Model Checking of WMTL. | Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen |
| 2012 | Temporal Monitors for TinyOS. | Doina Bucur |
| 2012 | Monitoring Compliance Policies over Incomplete and Disagreeing Logs. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2012 | Adaptive Runtime Verification. | Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster |
| 2012 | MapReduce for Parallel Trace Validation of LTL Properties. | Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hall |
| 2012 | Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic. | Kevin Baldor, Jianwei Niu |
| 2011 | Isolating Determinism in Multi-threaded Programs. | Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan |
| 2011 | Cooperative Concurrency for a Multicore World - (Extended Abstract). | Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan |
| 2011 | Runtime Verification of Data-Centric Properties in Service Based Systems. | Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong, Tao Huang |
| 2011 | Permission Regions for Race-Free Parallelism. | Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar |
| 2011 | Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. | Chao Wang, Malay K. Ganai |
| 2011 | Runtime Verification of Traces under Recording Uncertainty. | Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee |
| 2011 | Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. | William N. Sumner, Christian Hammer, Julian Dolby |