Ausgabe 1/2017
Special issue on RV 2015
Inhalt (8 Artikel)
Robust online monitoring of signal temporal logic
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Open Access
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles
Dung Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Monitorability for the Hennessy–Milner logic with recursion
Adrian Francalanza, Luca Aceto, Anna Ingolfsdottir
Formal analysis and offline monitoring of electronic exams
Ali Kassem, Yliès Falcone, Pascal Lafourcade
Predictive runtime enforcement
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
Open Access
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider