Karlheinz Friedberger

According to our database, Karlheinz Friedberger authored at least 25 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Reproduction Package for ATVA 2021 Article 'PJBDD: A BDD Library for Java and Multi-Threading'.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Dataset, July, 2021

Reproduction Package for CAV 2021 Article 'JavaSMT 3: Interacting with SMT Solvers in Java'.

Daniel Baier, Dirk Beyer, Karlheinz Friedberger

Dataset, May, 2021

Reproduction Package (VM) for CAV 2021 Article 'JavaSMT 3: Interacting with SMT Solvers in Java'.

Daniel Baier, Dirk Beyer, Karlheinz Friedberger

Dataset, April, 2021

Efficient software model checking with block-abstraction memoization.

Karlheinz Friedberger

PhD thesis, 2021

JavaSMT 3: Interacting with SMT Solvers in Java.

Daniel Baier, Dirk Beyer, Karlheinz Friedberger

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

PJBDD: A BDD Library for Java and Multi-Threading.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Reproduction Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Dataset, November, 2020

Reproduction Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Dataset, October, 2020

Reproduction Package for ESEC/FSE 2020 Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'.

Dirk Beyer, Karlheinz Friedberger

Dataset, June, 2020

Reproduction Package for ISoLA 2020 Article 'Violation Witnesses and Result Validation for Multi-Threaded Programs'.

Dirk Beyer, Karlheinz Friedberger

Dataset, June, 2020

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'.

Dirk Beyer, Karlheinz Friedberger

Dataset, June, 2020

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'.

Dirk Beyer, Karlheinz Friedberger

Dataset, June, 2020

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'.

Dirk Beyer, Karlheinz Friedberger

Dataset, March, 2020

Replication Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Dataset, January, 2020

Domain-independent interprocedural program analysis using block-abstraction memoization.

Dirk Beyer, Karlheinz Friedberger

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker.

Dirk Beyer, Karlheinz Friedberger

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2018

Reproduction Package for ASE 2018 Article 'Domain-Independent Multi-threaded Software Model Checking'.

Dirk Beyer, Karlheinz Friedberger

Dataset, July, 2018

Domain-independent multi-threaded software model checking.

Dirk Beyer, Karlheinz Friedberger

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.

Dirk Beyer, Karlheinz Friedberger

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

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

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

2016

A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker.

Dirk Beyer, Karlheinz Friedberger

Proceedings of the Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2016

JavaSMT: A Unified Interface for SMT Solvers in Java.

Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution).

Karlheinz Friedberger

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

2013

Domain Types: Selecting Abstractions Based on Variable Usage

Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein

CoRR, 2013

Domain Types: Abstract-Domain Selection Based on Variable Usage.

Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein

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