Skip to main content
Top

Formal Methods in System Design

Issue 3/2019

Special issue on ' Runtime Verification 2017'

Content (6 Articles)

Open Access

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

Open Access

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

Open Access S.I.: Runtime Verification 2017

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

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner