Proc. of RV 2020: the 20th International Conference on Runtime Verification

Event name
Proc. of RV 2020: the 20th International Conference on Runtime Verification
 
Event type
Event for scientific audience
 
Start date
06-10-2020
End date
09-10-2020
 
Location
Los Angeles
Country
United States
 
Event format Veranstaltungsformat
Online

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Visconti, Ennio Monitoring Spatio-Temporal Properties (Invited Tutorial)Konferenzbeitrag Inproceedings2020
2Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal PropertiesKonferenzbeitrag Inproceedings 2020
3Zapridou, Eleni ; Bartocci, Ezio ; Katsaros, Panagiotis Runtime Verification of Autonomous Driving Systems in CARLAKonferenzbeitrag Inproceedings 2020