Georg Weissenbacher

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Verifying Global Two-Safety Properties in Neural Networks with Confidence.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

A Formalization of Heisenbugs and Their Causes.

[BibT_eX]

[DOI]

Sarah Sallinger

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2021

Mutation testing with hyperproperties.

[BibT_eX]

[DOI]

Andreas Fellner

Softw. Syst. Model., 2021

Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017.

[BibT_eX]

[DOI]

Daryl Stewart

Formal Methods Syst. Des., 2021

Rely-guarantee bound analysis of parameterized concurrent shared-memory programs.

[BibT_eX]

[DOI]

Thomas Pani

Formal Methods Syst. Des., 2021

Preface of the special issue on the conference on computer-aided verification 2018.

[BibT_eX]

[DOI]

Hana Chockler

Formal Methods Syst. Des., 2021

Bounded Model Checking of Speculative Non-Interference.

[BibT_eX]

[DOI]

Emmanuel Pescosta

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

Model Checking AUTOSAR Components with CBMC.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Extracting safe thread schedules from incomplete model checking results.

[BibT_eX]

[DOI]

Patrick Metzler

Neeraj Suri

Int. J. Softw. Tools Technol. Transf., 2020

Language Inclusion for Finite Prime Event Structures.

[BibT_eX]

[DOI]

Andreas Fellner

Thorsten Tarrach

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

RAT Elimination.

[BibT_eX]

[DOI]

Adrián Rebola-Pardo

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Thread-modular Counter Abstraction for Parameterized Program Safety.

[BibT_eX]

[DOI]

Thomas Pani

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Model-Based Diagnosis with Multiple Observations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Randomized testing of distributed systems with probabilistic guarantees.

[BibT_eX]

[DOI]

Burcu Kulahcioglu Ozkan

Rupak Majumdar

Filip Niksic

Proc. ACM Program. Lang., 2018

Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms.

[BibT_eX]

[DOI]

Thomas Pani

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

A Separation Logic with Data: Small Models and Automation.

[BibT_eX]

[DOI]

Jens Katelaan

Dejan Jovanovic

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Preface of the Special Issue in Memoriam Helmut Veith.

[BibT_eX]

[DOI]

Georg Gottlob

Thomas A. Henzinger

Formal Methods Syst. Des., 2017

Dynamic Reductions for Model Checking Concurrent Software.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs.

[BibT_eX]

[DOI]

Matthias Schlaipfer

J. Autom. Reason., 2016

Abstraction and mining of traces to explain concurrency bugs.

[BibT_eX]

[DOI]

Chao Wang

Formal Methods Syst. Des., 2016

Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution).

[BibT_eX]

[DOI]

Henning Günther

Alfons Laarman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Error Invariants for Concurrent Traces.

[BibT_eX]

[DOI]

Andreas Holzer

Daniel Schwartz-Narbonne

Thomas Wies

Proceedings of the FM 2016: Formal Methods, 2016

2015

Boolean Satisfiability Solvers and Their Applications in Model Checking.

[BibT_eX]

[DOI]

Yakir Vizel

Proc. IEEE, 2015

Under-approximating loops in C programs for fast counterexample detection.

[BibT_eX]

[DOI]

Matt Lewis

Formal Methods Syst. Des., 2015

The FMCAD 2015 Graduate Student Forum.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Proving Safety with Trace Automata and Bounded Model Checking.

[BibT_eX]

[DOI]

Matt Lewis

Proceedings of the FM 2015: Formal Methods, 2015

2014

Boolean Satisfiability: Solvers and Extensions.

[BibT_eX]

[DOI]

Pramod Subramanyan

Proceedings of the Software Systems Safety, 2014

Incremental bounded software model checking.

[BibT_eX]

[DOI]

Henning Günther

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Silicon fault diagnosis using sequence interpolation with backbones.

[BibT_eX]

[DOI]

Charlie Shucheng Zhu

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Reduction of Resolution Refutations and Interpolants via Subsumption.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2014

Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR).

[BibT_eX]

[DOI]

Johannes Birgmeier

Aaron R. Bradley

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Advanced SAT Techniques for Abstract Argumentation.

[BibT_eX]

[DOI]

Johannes Peter Wallner

Stefan Woltran

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

Boolean Satisfiability Solvers: Techniques and Extensions.

[BibT_eX]

[DOI]

Proceedings of the Software Safety and Security - Tools for Analysis and Verification, 2012

Wolverine: Battling Bugs with Interpolants - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Interpolant Strength Revisited.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation.

[BibT_eX]

[DOI]

Charlie Shucheng Zhu

Proceedings of the Hardware and Software: Verification and Testing, 2012

Parallel Assertions for Architectures with Weak Memory Models.

[BibT_eX]

[DOI]

Daniel Schwartz-Narbonne

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

SAT-based techniques for determining backbones for post-silicon fault localisation.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

Post-silicon fault localisation using maximum satisfiability and backbones.

[BibT_eX]

[DOI]

Charlie Shucheng Zhu

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Interpolation-Based Software Verification with Wolverine.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Program analysis with interpolants.

[BibT_eX]

[DOI]

PhD thesis, 2010

Verification and falsification of programs with loops using predicate abstraction.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

Interpolant Strength.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

2009

An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2009

Mutation-Based Test Case Generation for Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

A Survey of Automated Techniques for Formal Software Verification.

[BibT_eX]

[DOI]

Vijay Victor D'Silva

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2007

SAT-Based Summarization for Boolean Programs.

[BibT_eX]

[DOI]

Gérard Basler

Proceedings of the Model Checking Software, 2007

Model checking concurrent linux device drivers.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

A Complete Bounded Model Checking Algorithm for Pushdown Systems.

[BibT_eX]

[DOI]

Gérard Basler

Proceedings of the Hardware and Software: Verification and Testing, 2007

Lifting Propositional Interpolants to the Word-Level.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Counterexamples with Loops for Predicate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

A Pattern for Formal Verification of Properties of Large Systems.

[BibT_eX]

Wolfgang Herzner