Browsing Weissenbacher, Georg
Showing results 1 to 3 of 3
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Tabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg | Abstraction and mining of traces to explain concurrency bugs | Article Artikel   | 2016 |
 | Bloem, Roderick ; Malik, Sharad ; Schlaipfer, Matthias ; Weissenbacher, Georg | Reduction of Resolution Refutations and Interpolants via Subsumption | Inproceedings Konferenzbeitrag | 2014 |
 | Günther, Henning ; Laarman, Alfons ; Weissenbacher, Georg | Vienna Verification Tool: IC3 for Parallel Software | Inproceedings Konferenzbeitrag | 2016 |