| 2011 | Internal versus External DSLs for Trace Analysis - (Extended Abstract). | Howard Barringer, Klaus Havelund |
| 2011 | Parametric Identification of Temporal Properties. | Eugene Asarin, Alexandre Donz, Oded Maler, Dejan Nickovic |
| 2011 | CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2010 | WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. | Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li |
| 2010 | Low-Overhead Bug Fingerprinting for Fast Debugging. | Cristian Zamfir, George Candea |
| 2010 | Runtime Verification of Stochastic, Faulty Systems. | Cristina M. Wilcox, Brian C. Williams |
| 2010 | Optimized temporal monitors for SystemC. | Deian Tabakov, Moshe Y. Vardi |
| 2010 | Runtime Verification for Software Transactional Memories. | Vasu Singh |
| 2010 | Run-Time Verification of Optimistic Concurrency. | Ali Sezgin, Serdar Tasiran, Kivan Muslu, Shaz Qadeer |
| 2010 | Aspect-Oriented Instrumentation with GCC. | Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok |
| 2010 | Runtime Analysis and Instrumentation for Securing Software. | R. Sekar |
| 2010 | Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper). | Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel |
| 2010 | Efficient Data Race Detection for Async-Finish Parallelism. | Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav |
| 2010 | StealthWorks: Emulating Memory Errors. | Musfiq Rahman, Bruce R. Childers, Sangyeun Cho |
| 2010 | Copilot: A Hard Real-Time Runtime Monitor. | Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller |
| 2010 | Visual Debugging for Stream Processing Applications. | Wim De Pauw, Mihai Letia, Bugra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer, Daby M. Sow |
| 2010 | Contracts for Scala. | Martin Odersky |
| 2010 | Runtime Verification with the RV System. | Patrick O'Neil Meredith, Grigore Rosu |
| 2010 | Statistical Model Checking: An Overview. | Axel Legay, Benot Delahaye, Saddek Bensalem |
| 2010 | Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects. | Johan Kraft, Anders Wall, Holger M. Kienle |
| 2010 | Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. | Etienne Kneuss, Philippe Suter, Viktor Kuncak |
| 2010 | Reducing Configurations to Monitor in a Software Product Line. | Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid |
| 2010 | Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. | Sylvain Hall, Roger Villemaire |
| 2010 | Causality Analysis in Contract Violation. | Gregor Gler, Daniel Le Mtayer, Jean-Baptiste Raclet |
| 2010 | Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. | Malay K. Ganai, Chao Wang |