Issue 3/2019
Special issue on ' Runtime Verification 2017'
Content (6 Articles)
A survey of challenges for runtime verification from advanced application domains (beyond software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Monitoring hyperproperties
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
TeLEx: learning signal temporal logic from positive examples using tightness metric
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
Annotation guided collection of context-sensitive parallel execution profiles
Zachary Benavides, Keval Vora, Rajiv Gupta, Xiangyu Zhang
Probabilistic black-box reachability checking (extended version)
Bernhard K. Aichernig, Martin Tappler
Almost event-rate independent monitoring
David Basin, Bhargav Nagaraja Bhatt, Srđan Krstić, Dmitriy Traytel