Our special issue on Runtime Verification is released in Formal Methods in System Design, a Springer journal.
The special issue is composed of the following papers (selected from the best papers of RV’16) :
- Introduction to the special issue on runtime verification
Yliès Falcone, César Sánchez
Pages 1-5 - On the complexity of monitoring Orchids signatures, and recurrence equations
Jean Goubault-Larrecq, Jean-Philippe Lachance
Pages 6-32 - Wireless protocol validation under uncertainty
Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra
Pages 33-53 - Inferring event stream abstractions
Sean Kauffman, Klaus Havelund, Rajeev Joshi
Pages 54-82 - Quantitative monitoring of STL with edit distance
Stefan Jakšic, Ezio Bartocci, Radu Grosu, Thang Nguyen
Pages 83-112 - Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems
Carlos Moreno, Sebastian Fischmeister
Pages 113-137 - Finite-trace linear temporal logic: coinductive completeness
Grigore Rosu
Pages 138-163
We thank the authors of all submitted papers, the members of the Program Committee of RV 2016, and the reviewers of this special issue for their exhaustive reviews and evaluations. We appreciated the support of the editorial team of Formal Methods in System Design.
