A Pattern for Formal Verification of Properties of Large Systems. - Wolfgang Herzner; Georg Weissenbacher (EuroPLoP, 2005)

Counterexamples with Loops for Predicate Abstraction. - Daniel Kroening; Georg Weissenbacher (CAV, 2006)

Lifting Propositional Interpolants to the Word-Level. - Daniel Kroening; Georg Weissenbacher (FMCAD, 2007)

A Complete Bounded Model Checking Algorithm for Pushdown Systems. - Gérard Basler; Daniel Kroening; Georg Weissenbacher (Haifa Verification Conference, 2007)

Model checking concurrent linux device drivers. - Thomas Witkowski; Nicolas Blanc; Daniel Kroening; Georg Weissenbacher (ASE, 2007)

SAT-Based Summarization for Boolean Programs. - Gérard Basler; Daniel Kroening; Georg Weissenbacher (SPIN, 2007)

A Survey of Automated Techniques for Formal Software Verification. - Vijay Victor D'Silva; Daniel Kroening; Georg Weissenbacher (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Mutation-Based Test Case Generation for Simulink Models. - Angelo Brillout; Nannan He; Michele Mazzucchi; Daniel Kroening; Mitra Purandare; Philipp Rümmer; Georg Weissenbacher (FMCO, 2009)

An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. - Daniel Kroening; Georg Weissenbacher (Haifa Verification Conference, 2009)

Interpolant Strength. - Vijay Victor D'Silva; Daniel Kroening; Mitra Purandare; Georg Weissenbacher (VMCAI, 2010)

Verification and falsification of programs with loops using predicate abstraction. - Daniel Kroening; Georg Weissenbacher (Formal Aspects Comput., 2010)

Program analysis with interpolants. - Georg Weissenbacher (2010)

Interpolation-Based Software Verification with Wolverine. - Daniel Kroening; Georg Weissenbacher (CAV, 2011)

Post-silicon fault localisation using maximum satisfiability and backbones. - Charlie Shucheng Zhu; Georg Weissenbacher; Sharad Malik (FMCAD, 2011)

SAT-based techniques for determining backbones for post-silicon fault localisation. - Charlie Shucheng Zhu; Georg Weissenbacher; Divjyot Sethi; Sharad Malik (HLDVT, 2011)

Parallel Assertions for Architectures with Weak Memory Models. - Daniel Schwartz-Narbonne; Georg Weissenbacher; Sharad Malik (ATVA, 2012)

Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation. - Charlie Shucheng Zhu; Georg Weissenbacher; Sharad Malik (Haifa Verification Conference, 2012)

Interpolant Strength Revisited. - Georg Weissenbacher (SAT, 2012)

Wolverine: Battling Bugs with Interpolants - (Competition Contribution). - Georg Weissenbacher; Daniel Kroening; Sharad Malik (TACAS, 2012)

Boolean Satisfiability Solvers: Techniques and Extensions. - Georg Weissenbacher; Sharad Malik (Software Safety and Security, 2012)

Advanced SAT Techniques for Abstract Argumentation. - Johannes Peter Wallner; Georg Weissenbacher; Stefan Woltran (CLIMA, 2013)

Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). - Johannes Birgmeier; Aaron R. Bradley; Georg Weissenbacher (CAV, 2014)

Reduction of Resolution Refutations and Interpolants via Subsumption. - Roderick Bloem; Sharad Malik; Matthias Schlaipfer; Georg Weissenbacher (Haifa Verification Conference, 2014)

Silicon fault diagnosis using sequence interpolation with backbones. - Charlie Shucheng Zhu; Georg Weissenbacher; Sharad Malik (ICCAD, 2014)

Incremental bounded software model checking. - Henning Günther; Georg Weissenbacher (SPIN, 2014)

Boolean Satisfiability: Solvers and Extensions. - Georg Weissenbacher; Pramod Subramanyan; Sharad Malik (Software Systems Safety, 2014)

Proving Safety with Trace Automata and Bounded Model Checking. - Daniel Kroening; Matt Lewis; Georg Weissenbacher (FM, 2015)

The FMCAD 2015 Graduate Student Forum. - Georg Weissenbacher (FMCAD, 2015)

Under-approximating loops in C programs for fast counterexample detection. - Daniel Kroening; Matt Lewis; Georg Weissenbacher (Formal Methods Syst. Des., 2015)

Boolean Satisfiability Solvers and Their Applications in Model Checking. - Yakir Vizel; Georg Weissenbacher; Sharad Malik (Proc. IEEE, 2015)

Error Invariants for Concurrent Traces. - Andreas Holzer; Daniel Schwartz-Narbonne; Mitra Tabaei Befrouei; Georg Weissenbacher; Thomas Wies (FM, 2016)

Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). - Henning Günther; Alfons Laarman; Georg Weissenbacher (TACAS, 2016)

Abstraction and mining of traces to explain concurrency bugs. - Mitra Tabaei Befrouei; Chao Wang 001; Georg Weissenbacher (Formal Methods Syst. Des., 2016)

Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs. - Matthias Schlaipfer; Georg Weissenbacher (J. Autom. Reason., 2016)

Dynamic Reductions for Model Checking Concurrent Software. - Henning Günther; Alfons Laarman; Ana Sokolova; Georg Weissenbacher (VMCAI, 2017)

Preface of the Special Issue in Memoriam Helmut Veith. - Georg Gottlob; Thomas A. Henzinger; Georg Weissenbacher (Formal Methods Syst. Des., 2017)

A Separation Logic with Data: Small Models and Automation. - Jens Katelaan; Dejan Jovanovic; Georg Weissenbacher (IJCAR, 2018)

Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms. - Thomas Pani; Georg Weissenbacher; Florian Zuleger (FMCAD, 2018)

Randomized testing of distributed systems with probabilistic guarantees. - Burcu Kulahcioglu Ozkan; Rupak Majumdar; Filip Niksic; Mitra Tabaei Befrouei; Georg Weissenbacher (Proc. ACM Program. Lang., 2018)

Model-Based Diagnosis with Multiple Observations. - Alexey Ignatiev; António Morgado 001; Georg Weissenbacher; João Marques-Silva 001 (IJCAI, 2019)

Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. - Andreas Fellner; Willibald Krenn; Rupert Schlick; Thorsten Tarrach; Georg Weissenbacher (ACM Trans. Embed. Comput. Syst., 2019)

Thread-modular Counter Abstraction for Parameterized Program Safety. - Thomas Pani; Georg Weissenbacher; Florian Zuleger (FMCAD, 2020)

RAT Elimination. - Adrián Rebola-Pardo; Georg Weissenbacher (LPAR, 2020)

Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness. - Matthias Schlaipfer; Friedrich Slivovsky; Georg Weissenbacher; Florian Zuleger (SAT, 2020)

Language Inclusion for Finite Prime Event Structures. - Andreas Fellner; Thorsten Tarrach; Georg Weissenbacher (VMCAI, 2020)

Extracting safe thread schedules from incomplete model checking results. - Patrick Metzler; Neeraj Suri; Georg Weissenbacher (Int. J. Softw. Tools Technol. Transf., 2020)

Model Checking AUTOSAR Components with CBMC. - Timothee Durand; Katalin Fazekas; Georg Weissenbacher; Jakob Zwirchmayr (FMCAD, 2021)

Bounded Model Checking of Speculative Non-Interference. - Emmanuel Pescosta; Georg Weissenbacher; Florian Zuleger (ICCAD, 2021)

Preface of the special issue on the conference on computer-aided verification 2018. - Hana Chockler; Georg Weissenbacher (Formal Methods Syst. Des., 2021)

Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. - Thomas Pani; Georg Weissenbacher; Florian Zuleger (Formal Methods Syst. Des., 2021)

Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017. - Daryl Stewart; Georg Weissenbacher (Formal Methods Syst. Des., 2021)

Mutation testing with hyperproperties. - Andreas Fellner; Mitra Tabaei Befrouei; Georg Weissenbacher (Softw. Syst. Model., 2021)

A Formalization of Heisenbugs and Their Causes. - Sarah Sallinger; Georg Weissenbacher; Florian Zuleger (SEFM, 2023)

Verifying Global Two-Safety Properties in Neural Networks with Confidence. - Anagha Athavale; Ezio Bartocci; Maria Christakis; Matteo Maffei; Dejan Nickovic; Georg Weissenbacher (CAV (2), 2024)

Statistical Profiling of Micro-Architectural Traces and Machine Learning for Spectre Detection: A Systematic Evaluation. - Mai Al-Zu'bi; Georg Weissenbacher (DATE, 2024)

Differential Property Monitoring for Backdoor Detection. - Otto Brechelmacher; Dejan Nickovic; Tobias Nießen; Sarah Sallinger; Georg Weissenbacher (ICFEM, 2024)

Finding ∀∃ Hyperbugs using Symbolic Execution. - Arthur Correnson; Tobias Nießen; Bernd Finkbeiner; Georg Weissenbacher (Proc. ACM Program. Lang., 2024)

Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification. - Thomas Pani; Georg Weissenbacher; Florian Zuleger (Formal Methods Syst. Des., 2024)