RV 2015, the 6th International Conference on Runtime Verification
Event name
RV 2015, the 6th International Conference on Runtime Verification
Start date
22-09-2015
End date
25-09-2015
Location
Vienna
Country
Austria
Event format Veranstaltungsformat
On Site
Date issued
Results 1-3 of 3 (Search time: 0.003 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Phan, Dung ; Yang, Junxing ; Ratasich, Denise ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment | Konferenzbeitrag Inproceedings  | 2015 | |
| 2 | Weissenbacher, Georg ; Bartocci, Ezio ; Majumdar, Rupak | Explaining Heisenbugs | Konferenzbeitrag Inproceedings | 2015 | |
| 3 | Schumann, Johann ; Moosbrugger, Patrick ; Rozier, Kristin Y. | R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems | Konferenzbeitrag Inproceedings | 2015 |