Introduction to the special section on runtime verification Oleg SokolskyKlaus HavelundInsup Lee Introduction 29 November 2011 Pages: 243 - 247
An overview of the MOP runtime verification framework Patrick O’Neil MeredithDongyun JinGrigore Roşu Runtime Verification 23 April 2011 Pages: 249 - 289
Runtime verification of concurrency-specific correctness criteria Shaz QadeerSerdar Tasiran Runtime Verification 14 August 2011 Pages: 291 - 305
The Clara framework for hybrid typestate analysis Eric BoddenLaurie Hendren Runtime Verification 05 December 2010 Pages: 307 - 326
Software monitoring with controllable overhead Xiaowan HuangJustin SeysterErez Zadok Runtime Verification 29 December 2010 Pages: 327 - 347
What can you verify and enforce at runtime? Yliès FalconeJean-Claude FernandezLaurent Mounier Runtime Verification 21 April 2011 Pages: 349 - 382