1 | -- | 4 | Ezio Bartocci, Rupak Majumdar. Introduction to the special issue on runtime verification |
5 | -- | 30 | Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia. Robust online monitoring of signal temporal logic |
31 | -- | 61 | Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann. R2U2: monitoring and diagnosis of security threats for unmanned aerial systems |
62 | -- | 86 | Dung Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller. Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles |
87 | -- | 116 | Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir. Monitorability for the Hennessy-Milner logic with recursion |
117 | -- | 153 | Ali Kassem 0001, Yliès Falcone, Pascal Lafourcade 0001. Formal analysis and offline monitoring of electronic exams |
154 | -- | 199 | Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand. Predictive runtime enforcement |
200 | -- | 265 | Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider. Verifying data- and control-oriented properties combining static and runtime verification: theory and tools |