| 2009 | A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. Stavros Tripakis |
| 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, Tomás Vojnar |
| 2009 | Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos |
| 2009 | Hardware Supported Flexible Monitoring: Early Results. Antonia Zhai, Guojin He, Mats Per Erik Heimdahl |
| 2009 | Monitor Circuits for LTL with Bounded and Unbounded Future. Bernd Finkbeiner, Lars Kuhtz |
| 2009 | Rule Systems for Runtime Verification: A Short Tutorial. Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce |
| 2009 | Runtime Verification of C Memory Safety. Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta |
| 2009 | Runtime Verification of Safety-Progress Properties. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier |
| 2009 | Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers Saddek Bensalem, Doron A. Peled |
| 2009 | State Joining and Splitting for the Symbolic Execution of Binaries. Trevor Hansen, Peter Schachte, Harald Søndergaard |
| 2009 | The LIME Interface Specification Language and Runtime Monitoring Tool. Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä |
| 2009 | Type-Separated Bytecode - Its Construction and Evaluation. Philipp Adler, Wolfram Amme |
| 2009 | Verification, Testing and Statistics. Sriram K. Rajamani |