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
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Selyunin, Konstantin ; Nguyen, Thang ; Bartocci, Ezio ; Grosu, Radu Applying Runtime Monitoring for Automotive Electronic DevelopmentKonferenzbeitrag Inproceedings 2016
2Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Ničković, Dejan Quantitative Monitoring of STL with Edit DistanceKonferenzbeitrag Inproceedings 2016
3Schumann, Johann ; Moosbrugger, Patrick ; Rozier, Kristin Y. Runtime Analysis with R2U2: A Tool Exhibition ReportKonferenzbeitrag Inproceedings2016