Volume 49, Issue 1-2 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 49, Issue 1-2

October 2016

Special issue on Runtime Verification 2014

Issue Editor:

Borzoo Bonakdarpour

4 articles in this issue

Abstraction and mining of traces to explain concurrency bugs
Mitra Tabaei Befrouei
Chao Wang
Georg Weissenbacher
OriginalPaper Open access 04 January 2016 Pages: 1 - 32
ModelPlex: verified runtime validation of verified cyber-physical system models
Stefan Mitsch
André Platzer
OriginalPaper Open access 18 February 2016 Pages: 33 - 74
Scalable offline monitoring of temporal specifications
David Basin
Germano Caronni
Heiko Mantel
OriginalPaper 07 March 2016 Pages: 75 - 108
Organising LTL monitors over distributed systems with a global clock
Christian Colombo
Yliès Falcone
OriginalPaper 11 May 2016 Pages: 109 - 158