9. RV 2009: Grenoble, France

• Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce:
  Rule Systems for Runtime Verification: A Short Tutorial. 1-24
  
• Sriram K. Rajamani:
  Verification, Testing and Statistics. 25
  
• Philipp Adler, Wolfram Amme:
  Type-Separated Bytecode - Its Construction and Evaluation. 26-39
  
• Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
  Runtime Verification of Safety-Progress Properties. 40-59
  
• Bernd Finkbeiner, Lars Kuhtz:
  Monitor Circuits for LTL with Bounded and Unbounded Future. 60-75
  
• Trevor Hansen, Peter Schachte, Harald Søndergaard:
  State Joining and Splitting for the Symbolic Execution of Binaries. 76-92
  
• Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä:
  The LIME Interface Specification Language and Runtime Monitoring Tool. 93-100
  
• Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar:
  A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. 101-114
  
• Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos:
  Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. 115-131
  
• Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta:
  Runtime Verification of C Memory Safety. 132-151
  
• Stavros Tripakis:
  A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. 152-167
  
• Antonia Zhai, Guojin He, Mats Per Erik Heimdahl:
  Hardware Supported Flexible Monitoring: Early Results. 168-183
  
• Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee:
  DMaC: Distributed Monitoring and Checking. 184-201