| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Sallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian | A Formalization of Heisenbugs and Their Causes | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 2 | | Rebola Pardo, Adrian | Even Shorter Proofs Without New Variables | Inproceedings Konferenzbeitrag | 2023 |
| 3 | | Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Niksic, Filip ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg | Randomized testing of distributed systems with probabilistic guarantees | Artikel Article | 2018 |
| 4 | | Fellner, Andreas ; Krenn, Willibald ; Schlick, Rupert ; Tarrach, Thorsten ; Weissenbacher, Georg | Model-based, mutation-driven test case generation via heuristic-guided branching search | Konferenzbeitrag Inproceedings | 2017 |
| 5 | | Günther, Henning ; Laarman, Alfons ; Sokolova, Ana ; Weissenbacher, Georg | Dynamic Reductions for Model Checking Concurrent Software | Konferenzbeitrag Inproceedings | 2017 |
| 6 | | Weissenbacher, Georg | Interpolation algorithms and their applications in model checking | Präsentation Presentation | 2016 |
| 7 | | Vizel, Yakir ; Weissenbacher, Georg ; Malik, Sharad | Boolean Satisfiability Solvers and Their Applications in Model Checking | Artikel Article | 2015 |
| 8 | | Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg | Under-approximating loops in C programs for fast counterexample detection | Artikel Article | 2015 |
| 9 | | Günther, Henning ; Weissenbacher, Georg | Incremental bounded software model checking | Konferenzbeitrag Inproceedings | 2014 |
| 10 | | Tabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg | Abstraction and Mining of Traces to Explain Concurrency Bugs | Konferenzbeitrag Inproceedings | 2014 |
| 11 | | Zhu, Charlie Shucheng ; Weissenbacher, Georg ; Malik, Sharad | Silicon fault diagnosis using sequence interpolation with backbones | Konferenzbeitrag Inproceedings | 2014 |
| 12 | | Laarman, Alfons ; Wijs, Anton | Partial-Order Reduction for Multi-core LTL Model Checking | Konferenzbeitrag Inproceedings | 2014 |
| 13 | | Leue, Stefan ; Befrouei, Mitra Tabaei | Mining Sequential Patterns to Explain Concurrent Counterexamples | Konferenzbeitrag Inproceedings | 2013 |
| 14 | | Kroening, Daniel ; Lewis, Matt ; Weissenbacher, Georg | Under-Approximating Loops in C Programs for Fast Counterexample Detection | Konferenzbeitrag Inproceedings | 2013 |
| 15 | | Schwartz-Narbonne, Daniel ; Weissenbacher, Georg ; Malik, Sharad | Parallel Assertions for Architectures with Weak Memory Models | Konferenzbeitrag Inproceedings | 2012 |