Issue 1-2/2016
Special issue on Runtime Verification 2014
Content (4 Articles)
Open Access
Abstraction and mining of traces to explain concurrency bugs
Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
Open Access
ModelPlex: verified runtime validation of verified cyber-physical system models
Stefan Mitsch, André Platzer
Scalable offline monitoring of temporal specifications
David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke, Heiko Mantel
Organising LTL monitors over distributed systems with a global clock
Christian Colombo, Yliès Falcone