1 | -- | 5 | Yliès Falcone, César Sánchez. Introduction to the special issue on runtime verification |
6 | -- | 32 | Jean Goubault-Larrecq, Jean-Philippe Lachance. On the complexity of monitoring Orchids signatures, and recurrence equations |
33 | -- | 53 | Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen. Wireless protocol validation under uncertainty |
54 | -- | 82 | Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister. Inferring event stream abstractions |
83 | -- | 112 | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic. Quantitative monitoring of STL with edit distance |
113 | -- | 137 | Carlos Moreno 0002, Sebastian Fischmeister. Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems |
138 | -- | 163 | Grigore Rosu. Finite-trace linear temporal logic: coinductive completeness |