Volume 53, Issue 1

August 2018

Special Issue on Runtime Verification 2016

Issue Editors:

7 articles in this issue

Introduction to the special issue on runtime verification
Yliès Falcone
César Sánchez
EditorialNotes 21 June 2018 Pages: 1 - 5
On the complexity of monitoring Orchids signatures, and recurrence equations
Jean Goubault-Larrecq
Jean-Philippe Lachance
OriginalPaper 28 October 2017 Pages: 6 - 32
Wireless protocol validation under uncertainty
Jinghao Shi
Shuvendu K. Lahiri
Geoffrey Challen
OriginalPaper 27 November 2017 Pages: 33 - 53
Inferring event stream abstractions
Sean Kauffman
Klaus Havelund
Sebastian Fischmeister
OriginalPaper 27 February 2018 Pages: 54 - 82
Quantitative monitoring of STL with edit distance
Stefan Jakšić
Ezio Bartocci
Dejan Ničković
OriginalPaper Open access 27 March 2018 Pages: 83 - 112
Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems
Carlos Moreno
Sebastian Fischmeister
OriginalPaper 19 September 2017 Pages: 113 - 137
Finite-trace linear temporal logic: coinductive completeness
Grigore Roşu
OriginalPaper 26 June 2018 Pages: 138 - 163

Search