Volume 41, Issue 3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 41, Issue 3

December 2012

Special isue on 'Runtime Verification'

Issue Editors:

Oleg Sokolsky,
Grigore Rosu

5 articles in this issue

Introduction to the special issue on runtime verification
Oleg Sokolsky
Grigore Roşu
EditorialNotes 05 September 2012 Pages: 233 - 235
Optimized temporal monitors for SystemC
Deian Tabakov
Kristin Y. Rozier
Moshe Y. Vardi
OriginalPaper 19 January 2012 Pages: 236 - 268
Safer asynchronous runtime monitoring using compensations
Christian Colombo
Gordon J. Pace
Patrick Abela
OriginalPaper 08 March 2012 Pages: 269 - 294
InterAspect: aspect-oriented instrumentation with GCC
Justin Seyster
Ketan Dixit
Erez Zadok
OriginalPaper 17 August 2012 Pages: 295 - 320
Efficient data race detection for async-finish parallelism
Raghavan Raman
Jisheng Zhao
Eran Yahav
OriginalPaper 13 March 2012 Pages: 321 - 347