Volume 51, Issue 1

August 2017

Special issue on RV 2015

Issue Editors:

8 articles in this issue

Introduction to the special issue on runtime verification
Ezio Bartocci
Rupak Majumdar
OriginalPaper 18 July 2017 Pages: 1 - 4
Robust online monitoring of signal temporal logic
Jyotirmoy V. Deshmukh
Alexandre Donzé
Sanjit A. Seshia
OriginalPaper 27 July 2017 Pages: 5 - 30
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
Patrick Moosbrugger
Kristin Y. Rozier
Johann Schumann
OriginalPaper Open access 12 April 2017 Pages: 31 - 61
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles
Dung Phan
Junxing Yang
Scott D. Stoller
OriginalPaper 05 January 2017 Pages: 62 - 86
Monitorability for the Hennessy–Milner logic with recursion
Adrian Francalanza
Luca Aceto
Anna Ingolfsdottir
OriginalPaper 24 March 2017 Pages: 87 - 116
Formal analysis and offline monitoring of electronic exams
Ali Kassem
Yliès Falcone
Pascal Lafourcade
OriginalPaper 01 June 2017 Pages: 117 - 153
Predictive runtime enforcement
Srinivas Pinisetty
Viorel Preoteasa
Hervé Marchand
OriginalPaper 23 February 2017 Pages: 154 - 199
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
Wolfgang Ahrendt
Jesús Mauricio Chimento
Gerardo Schneider
OriginalPaper Open access 04 April 2017 Pages: 200 - 265

Search