279 | -- | 335 | César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss. A survey of challenges for runtime verification from advanced application domains (beyond software) |
336 | -- | 363 | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup. Monitoring hyperproperties |
364 | -- | 387 | Susmit Jha, Ashish Tiwari 0001, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar. TeLEx: learning signal temporal logic from positive examples using tightness metric |
388 | -- | 415 | Zachary Benavides, Keval Vora, Rajiv Gupta 0001, Xiangyu Zhang 0001. Annotation guided collection of context-sensitive parallel execution profiles |
416 | -- | 448 | Bernhard K. Aichernig, Martin Tappler. Probabilistic black-box reachability checking (extended version) |
449 | -- | 478 | David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel. Almost event-rate independent monitoring |