the 11th Haifa Verification Conference (HVC)

View Statistics Email Alert RSS Feed

Description

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
Haifa, Israel
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Bogomolov, Sergiy ; Schilling, Christian ; Bartocci, Ezio ; Batt, Gregory ; Kong, Hui ; Grosu, Radu Abstraction-Based Parameter Synthesis for Multiaffine SystemsKonferenzbeitrag Inproceedings 2015
2Rajarshi, Ray ; Amit, Gurung ; Binayak, Das ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu XSpeed: Accelerating Reachability Analysis on Multi-core ProcessorsKonferenzbeitrag Inproceedings Nov-2015

 
OSZAR »