Volume 54, Issue 3

November 2019

Special issue on ' Runtime Verification 2017'

Issue Editors:

6 articles in this issue

A survey of challenges for runtime verification from advanced application domains (beyond software)
César Sánchez
Gerardo Schneider
Alexander Weiss
OriginalPaper Open access 11 November 2019 Pages: 279 - 335
Monitoring hyperproperties
Bernd Finkbeiner
Christopher Hahn
Leander Tentrup
OriginalPaper Open access 25 June 2019 Pages: 336 - 363
TeLEx: learning signal temporal logic from positive examples using tightness metric
Susmit Jha
Ashish Tiwari
Natarajan Shankar
OriginalPaper 23 January 2019 Pages: 364 - 387
Annotation guided collection of context-sensitive parallel execution profiles
Zachary Benavides
Keval Vora
Xiangyu Zhang
OriginalPaper 09 October 2019 Pages: 388 - 415
Probabilistic black-box reachability checking (extended version)
Bernhard K. Aichernig
Martin Tappler
S.I.: Runtime Verification 2017 Open access 21 May 2019 Pages: 416 - 448
Almost event-rate independent monitoring
David Basin
Bhargav Nagaraja Bhatt
Dmitriy Traytel
OriginalPaper 06 February 2019 Pages: 449 - 478

Search