the 11th Haifa Verification Conference (HVC)
Event name
the 11th Haifa Verification Conference (HVC)
Event type
Event for scientific audience
Start date
17-11-2015
End date
19-11-2015
Location
Haifa, Israel
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bogomolov, Sergiy ; Schilling, Christian ; Bartocci, Ezio ; Batt, Gregory ; Kong, Hui ; Grosu, Radu | Abstraction-Based Parameter Synthesis for Multiaffine Systems | Konferenzbeitrag Inproceedings  | 2015 | |
| 2 | Rajarshi, Ray ; Amit, Gurung ; Binayak, Das ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Piterman, Nir | XSpeed: Accelerating Reachability Analysis on Multi-core Processors | Konferenzbeitrag Inproceedings | Nov-2015 |