Domain Types: Abstract-Domain Selection Based on Variable Usage. - Sven Apel; Dirk Beyer 001; Karlheinz Friedberger; Franco Raimondi; Alexander von Rhein (Haifa Verification Conference, 2013)

Domain Types: Selecting Abstractions Based on Variable Usage - Sven Apel; Dirk Beyer 001; Karlheinz Friedberger; Franco Raimondi; Alexander von Rhein (CoRR, 2013)

CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution). - Karlheinz Friedberger (TACAS, 2016)

JavaSMT: A Unified Interface for SMT Solvers in Java. - Egor George Karpenkov; Karlheinz Friedberger; Dirk Beyer 001 (VSTTE, 2016)

A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. - Dirk Beyer 001; Karlheinz Friedberger (MEMICS, 2016)

CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). - Pavel S. Andrianov; Karlheinz Friedberger; Mikhail U. Mandrykin; Vadim S. Mutilin; Anton Volkov (TACAS (2), 2017)

In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. - Dirk Beyer 001; Karlheinz Friedberger (ISoLA (2), 2018)

Domain-independent multi-threaded software model checking. - Dirk Beyer 001; Karlheinz Friedberger (ASE, 2018)

Reproduction Package for ASE 2018 Article 'Domain-Independent Multi-threaded Software Model Checking'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2018)

Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker. - Dirk Beyer 001; Karlheinz Friedberger (ISoLA (1), 2020)

Domain-independent interprocedural program analysis using block-abstraction memoization. - Dirk Beyer 001; Karlheinz Friedberger (ESEC/SIGSOFT FSE, 2020)

Replication Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'. - Dirk Beyer 001; Karlheinz Friedberger; Stephan Holzner (Zenodo, 2020)

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2020)

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2020)

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2020)

Reproduction Package for ISoLA 2020 Article 'Violation Witnesses and Result Validation for Multi-Threaded Programs'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2020)

Reproduction Package for ESEC/FSE 2020 Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2020)

Reproduction Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'. - Dirk Beyer 001; Karlheinz Friedberger; Stephan Holzner (Zenodo, 2020)

Reproduction Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'. - Dirk Beyer 001; Karlheinz Friedberger; Stephan Holzner (Zenodo, 2020)

PJBDD: A BDD Library for Java and Multi-Threading. - Dirk Beyer 001; Karlheinz Friedberger; Stephan Holzner (ATVA, 2021)

JavaSMT 3: Interacting with SMT Solvers in Java. - Daniel Baier; Dirk Beyer 001; Karlheinz Friedberger (CAV (2), 2021)

Efficient software model checking with block-abstraction memoization. - Karlheinz Friedberger (2021)

Reproduction Package (VM) for CAV 2021 Article 'JavaSMT 3: Interacting with SMT Solvers in Java'. - Daniel Baier; Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2021)

Reproduction Package for CAV 2021 Article 'JavaSMT 3: Interacting with SMT Solvers in Java'. - Daniel Baier; Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2021)

Reproduction Package for ATVA 2021 Article 'PJBDD: A BDD Library for Java and Multi-Threading'. - Dirk Beyer 001; Karlheinz Friedberger; Stephan Holzner (Zenodo, 2021)