Volume 46, Issue 3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 46, Issue 3

June 2015

Special issue on Runtime Verification 2013

Issue Editor:

Axel Legay

5 articles in this issue

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
Romain Demangeon
Kohei Honda
Nobuko Yoshida
OriginalPaper 19 November 2014 Pages: 197 - 225
Synthesising correct concurrent runtime monitors
Adrian Francalanza
Aldrin Seychell
OriginalPaper 20 November 2014 Pages: 226 - 261
Monitoring of temporal first-order properties with aggregations
David Basin
Felix Klaedtke
Eugen Zălinescu
OriginalPaper 31 January 2015 Pages: 262 - 285
The ins and outs of first-order runtime verification
Andreas Bauer
Jan-Christoph Küster
Gil Vegliach
OriginalPaper 19 March 2015 Pages: 286 - 316
Runtime verification with minimal intrusion through parallelism
Shay Berkovich
Borzoo Bonakdarpour
Sebastian Fischmeister
OriginalPaper 29 May 2015 Pages: 317 - 348