Browsing by Author 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 |