Ausgabe 1/2018
Special Issue on Runtime Verification 2016
Inhalt (7 Artikel)
On the complexity of monitoring Orchids signatures, and recurrence equations
Jean Goubault-Larrecq, Jean-Philippe Lachance
Wireless protocol validation under uncertainty
Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen
Inferring event stream abstractions
Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister
Open Access
Quantitative monitoring of STL with edit distance
Stefan Jakšić, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Ničković
Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems
Carlos Moreno, Sebastian Fischmeister