7th International Conference on Runtime Verification
Event name
7th International Conference on Runtime Verification
Start date
23-12-2016
End date
30-12-2016
Location
Madrid
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-3 of 3 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Selyunin, Konstantin ; Nguyen, Thang ; Bartocci, Ezio ; Grosu, Radu | Applying Runtime Monitoring for Automotive Electronic Development | Konferenzbeitrag Inproceedings ![]() | 2016 | |
2 | Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Ničković, Dejan | Quantitative Monitoring of STL with Edit Distance | Konferenzbeitrag Inproceedings ![]() | 2016 | |
3 | Schumann, Johann ; Moosbrugger, Patrick ; Rozier, Kristin Y. | Runtime Analysis with R2U2: A Tool Exhibition Report | Konferenzbeitrag Inproceedings | 2016 |