| 2010 | Formally Efficient Program Instrumentation. | Boris Feigin, Alan Mycroft |
| 2010 | You Should Better Enforce Than Verify. | Ylis Falcone |
| 2010 | Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? | Matthew B. Dwyer, Rahul Purandare, Suzette Person |
| 2010 | Recovery Tasks: An Automated Approach to Failure Recovery. | Brian Demsky, Jin Zhou, William Montaz |
| 2010 | Compensation-Aware Runtime Monitoring. | Christian Colombo, Gordon J. Pace, Patrick Abela |
| 2010 | LarvaStat: Monitoring of Statistical Properties. | Christian Colombo, Andrew Gauci, Gordon J. Pace |
| 2010 | Checking the Correspondence between UML Models and Implementation. | Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit |
| 2010 | Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. | Eric Bodden, Patrick Lam, Laurie J. Hendren |
| 2010 | Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. | Eric Bodden, Patrick Lam |
| 2010 | Behavior Abstraction in Malware Analysis. | Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion |
| 2010 | Verification of an AFDX Infrastructure Using Simulations and Probabilities. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Delahaye, Axel Legay, Emmanuel Sifakis |
| 2010 | Code Contracts for .NET: Runtime Verification and So Much More. | Mike Barnett |
| 2010 | Run-Time Verification of Networked Software. | Cyrille Valentin Artho |
| 2010 | A Tool Which Mines Partial Execution Traces to Improve Static Analysis. | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
| 2010 | ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. | Djihed Afifi, David E. Rydeheard, Howard Barringer |
| 2010 | Automatic Requirement Extraction from Test Cases. | Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico |
| 2010 | A Meta-Aspect Protocol for Developing Dynamic Analyses. | Michael Achenbach, Klaus Ostermann |
| 2009 | Untitled record | Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee |
| 2009 | Hardware Supported Flexible Monitoring: Early Results. | Antonia Zhai, Guojin He, Mats Per Erik Heimdahl |
| 2009 | A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. | Stavros Tripakis |
| 2009 | Runtime Verification of C Memory Safety. | Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta |
| 2009 | Verification, Testing and Statistics. | Sriram K. Rajamani |
| 2009 | Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. | Isabel Nunes, Antnia Lopes, Vasco Thudichum Vasconcelos |
| 2009 | A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. | Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Toms Vojnar |
| 2009 | The LIME Interface Specification Language and Runtime Monitoring Tool. | Kari Khknen, Jani Lampinen, Keijo Heljanko, Ilkka Niemel |