Volume 27, Issue 3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 27, Issue 3

November 2005

Special Issue on Selected Papers from the Second International Workshop on Runtime Verification Held in Copenhagen, July 2002 (RV'02)

Issue Editors:

Klaus Havelund,
Grigore Rosu

6 articles in this issue

Foreword
Klaus Havelund
Grigore Roşu
BriefCommunication Pages: 211 - 212
Network Event Recognition
Karthikeyan Bhargavan
Carl A. Gunter
OriginalPaper Pages: 213 - 251
Collecting Statistics Over Runtime Executions
Bernd Finkbeiner
Sriram Sankaranarayanan
Henny B. Sipma
OriginalPaper Pages: 253 - 274
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation
Murat Karaorman
Parker Abercrombie
OriginalPaper Pages: 275 - 312
Using Static Analysis to Reduce Dynamic Analysis Overhead
Suan Hsi Yong
Susan Horwitz
OriginalPaper Pages: 313 - 334
Translation and Run-Time Validation of Loop Transformations
Lenore Zuck
Amir Pnueli
Ying Hu
OriginalPaper Pages: 335 - 360