Proc. of RV 2020: the 20th International Conference on Runtime Verification
Event name
Proc. of RV 2020: the 20th International Conference on Runtime Verification
Start date
06-10-2020
End date
09-10-2020
Location
Los Angeles, CA (Virtual)
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Visconti, Ennio | Monitoring Spatio-Temporal Properties (Invited Tutorial) | Konferenzbeitrag Inproceedings | 2020 | |
| 2 | Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone ; Nenzi, Laura | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties | Konferenzbeitrag Inproceedings | 2020 | |
| 3 | Zapridou, Eleni ; Bartocci, Ezio ; Katsaros, Panagiotis | Runtime Verification of Autonomous Driving Systems in CARLA | Konferenzbeitrag Inproceedings | 2020 |