1. Introduction to the special section on runtime verification

   • Oleg Sokolsky
   • Klaus Havelund
   • Insup Lee

   Introduction 29 November 2011 Pages: 243 - 247

2. An overview of the MOP runtime verification framework

   • Patrick O’Neil Meredith
   • Dongyun Jin
   • Grigore Roşu

   Runtime Verification 23 April 2011 Pages: 249 - 289

3. Runtime verification of concurrency-specific correctness criteria

   • Shaz Qadeer
   • Serdar Tasiran

   Runtime Verification 14 August 2011 Pages: 291 - 305

4. The Clara framework for hybrid typestate analysis

   • Eric Bodden
   • Laurie Hendren

   Runtime Verification 05 December 2010 Pages: 307 - 326

5. Software monitoring with controllable overhead

   • Xiaowan Huang
   • Justin Seyster
   • Erez Zadok

   Runtime Verification 29 December 2010 Pages: 327 - 347

6. What can you verify and enforce at runtime?

   • Yliès Falcone
   • Jean-Claude Fernandez
   • Laurent Mounier

   Runtime Verification 21 April 2011 Pages: 349 - 382