| 2026 | CAV | Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations. | Sarah Sallinger, Lukas Graussam, Georg Weissenbacher, Florian Zuleger, Alexey Ignatiev |
| 2024 | CAV | Verifying Global Two-Safety Properties in Neural Networks with Confidence. | Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher |
| 2024 | DATE | Statistical Profiling of Micro-Architectural Traces and Machine Learning for Spectre Detection: A Systematic Evaluation. | Mai Al-Zu'bi, Georg Weissenbacher |
| 2024 | ICFEM | Differential Property Monitoring for Backdoor Detection. | Otto Brechelmacher, Dejan Nickovic, Tobias Nieen, Sarah Sallinger, Georg Weissenbacher |
| 2023 | SEFM | A Formalization of Heisenbugs and Their Causes. | Sarah Sallinger, Georg Weissenbacher, Florian Zuleger |
| 2021 | FMCAD | Model Checking AUTOSAR Components with CBMC. | Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr |
| 2021 | ICCAD | Bounded Model Checking of Speculative Non-Interference. | Emmanuel Pescosta, Georg Weissenbacher, Florian Zuleger |
| 2020 | FMCAD | Thread-modular Counter Abstraction for Parameterized Program Safety. | Thomas Pani, Georg Weissenbacher, Florian Zuleger |
| 2020 | LPAR | RAT Elimination. | Adrin Rebola-Pardo, Georg Weissenbacher |
| 2020 | SAT | Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness. | Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger |
| 2020 | VMCAI | Language Inclusion for Finite Prime Event Structures. | Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher |
| 2019 | IJCAI | Model-Based Diagnosis with Multiple Observations. | Alexey Ignatiev, Antnio Morgado, Georg Weissenbacher, Joo Marques-Silva |
| 2019 | SEFM | Mutation Testing with Hyperproperties. | Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher |
| 2018 | CADE | A Separation Logic with Data: Small Models and Automation. | Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher |
| 2018 | FMCAD | Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms. | Thomas Pani, Georg Weissenbacher, Florian Zuleger |
| 2017 | MEMOCODE | Model-based, mutation-driven test case generation via heuristic-guided branching search. | Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher |
| 2017 | VMCAI | Dynamic Reductions for Model Checking Concurrent Software. | Henning Gnther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher |
| 2016 | FM | Error Invariants for Concurrent Traces. | Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies |
| 2016 | TACAS | Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). | Henning Gnther, Alfons Laarman, Georg Weissenbacher |
| 2015 | FM | Proving Safety with Trace Automata and Bounded Model Checking. | Daniel Kroening, Matt Lewis, Georg Weissenbacher |
| 2015 | FMCAD | The FMCAD 2015 Graduate Student Forum. | Georg Weissenbacher |
| 2014 | CAV | Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). | Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher |
| 2014 | ICCAD | Silicon fault diagnosis using sequence interpolation with backbones. | Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik |
| 2014 | RV | Abstraction and Mining of Traces to Explain Concurrency Bugs. | Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher |
| 2013 | CAV | Under-Approximating Loops in C Programs for Fast Counterexample Detection. | Daniel Kroening, Matt Lewis, Georg Weissenbacher |
| 2012 | ATVA | Parallel Assertions for Architectures with Weak Memory Models. | Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik |
| 2012 | SAT | Interpolant Strength Revisited. | Georg Weissenbacher |
| 2012 | TACAS | Wolverine: Battling Bugs with Interpolants - (Competition Contribution). | Georg Weissenbacher, Daniel Kroening, Sharad Malik |
| 2011 | CAV | Interpolation-Based Software Verification with Wolverine. | Daniel Kroening, Georg Weissenbacher |
| 2011 | FMCAD | Post-silicon fault localisation using maximum satisfiability and backbones. | Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik |
| 2010 | VMCAI | Interpolant Strength. | Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher |
| 2007 | FMCAD | Lifting Propositional Interpolants to the Word-Level. | Daniel Kroening, Georg Weissenbacher |
| 2006 | CAV | Counterexamples with Loops for Predicate Abstraction. | Daniel Kroening, Georg Weissenbacher |
| 2005 | EuroPLop | A Pattern for Formal Verification of Properties of Large Systems. | Wolfgang Herzner, Georg Weissenbacher |