Volume 14, Issue 3 | International Journal on Software Tools for Technology Transfer

Search all International Journal on Software Tools for Technology Transfer articles

Volume 14, Issue 3

June 2012

Runtime Verification

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Introduction to the special section on runtime verification
Oleg Sokolsky
Klaus Havelund
Insup Lee
Introduction 29 November 2011 Pages: 243 - 247
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
Runtime verification of concurrency-specific correctness criteria
Shaz Qadeer
Serdar Tasiran
Runtime Verification 14 August 2011 Pages: 291 - 305
The Clara framework for hybrid typestate analysis
Eric Bodden
Laurie Hendren
Runtime Verification 05 December 2010 Pages: 307 - 326
Software monitoring with controllable overhead
Xiaowan Huang
Justin Seyster
Erez Zadok
Runtime Verification 29 December 2010 Pages: 327 - 347
What can you verify and enforce at runtime?
Yliès Falcone
Jean-Claude Fernandez
Laurent Mounier
Runtime Verification 21 April 2011 Pages: 349 - 382