|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Correnson, Arthur ; Nießen, Tobias ; Finkbeiner, Bernd ; Weissenbacher, Georg | Symbolic execution for refuting ∀∃ hyperproperties | Article Artikel    | Dec-2025 |
| 2 |  | AL-Zu'bi, Mai ; Weissenbacher, Georg | Statistical Profiling of Micro-Architectural Traces and Machine Learning for Spectre Detection: A Systematic Evaluation | Inproceedings Konferenzbeitrag | 10-Jun-2024 |
| 3 |  | Heisinger, Simone ; Heisinger, Maximilian ; Rebola-Pardo, Adrian ; Seidl, Martina | Quantifier Shifting for Quantified Boolean Formulas Revisited | Inproceedings Konferenzbeitrag | 2024 |
| 4 |  | Sallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian | A Formalization of Heisenbugs and Their Causes | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 5 | | Rebola Pardo, Adrian | Even Shorter Proofs Without New Variables | Inproceedings Konferenzbeitrag | 2023 |
| 6 | | Rebola Pardo, Adrian | Interpolants and Interference | Inproceedings Konferenzbeitrag | Aug-2022 |
| 7 | | Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Niksic, Filip ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg | Randomized testing of distributed systems with probabilistic guarantees | Artikel Article | 2018 |
| 8 | | 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 |
| 9 | | Günther, Henning ; Laarman, Alfons ; Sokolova, Ana ; Weissenbacher, Georg | Dynamic Reductions for Model Checking Concurrent Software | Konferenzbeitrag Inproceedings | 2017 |
| 10 | | Weissenbacher, Georg | Interpolation algorithms and their applications in model checking | Präsentation Presentation | 2016 |
| 11 | | Vizel, Yakir ; Weissenbacher, Georg ; Malik, Sharad | Boolean Satisfiability Solvers and Their Applications in Model Checking | Artikel Article | 2015 |
| 12 | | Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg | Under-approximating loops in C programs for fast counterexample detection | Artikel Article | 2015 |
| 13 | | Laarman, Alfons ; Wijs, Anton | Partial-Order Reduction for Multi-core LTL Model Checking | Konferenzbeitrag Inproceedings | 2014 |
| 14 | | Zhu, Charlie Shucheng ; Weissenbacher, Georg ; Malik, Sharad | Silicon fault diagnosis using sequence interpolation with backbones | Konferenzbeitrag Inproceedings | 2014 |
| 15 | | Tabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg | Abstraction and Mining of Traces to Explain Concurrency Bugs | Konferenzbeitrag Inproceedings | 2014 |
| 16 | | Günther, Henning ; Weissenbacher, Georg | Incremental bounded software model checking | Konferenzbeitrag Inproceedings | 2014 |
| 17 | | Leue, Stefan ; Befrouei, Mitra Tabaei | Mining Sequential Patterns to Explain Concurrent Counterexamples | Konferenzbeitrag Inproceedings | 1-Jan-2013 |
| 18 | | Kroening, Daniel ; Lewis, Matt ; Weissenbacher, Georg | Under-Approximating Loops in C Programs for Fast Counterexample Detection | Konferenzbeitrag Inproceedings | 2013 |
| 19 | | Schwartz-Narbonne, Daniel ; Weissenbacher, Georg ; Malik, Sharad | Parallel Assertions for Architectures with Weak Memory Models | Konferenzbeitrag Inproceedings | 2012 |
