Karlheinz Friedberger

Most-cited papers

1. JavaSMT: A Unified Interface for SMT Solvers in Java

   Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer

   2016Verified Software: Theories, Tools, Experiments30 citations

   Semantic Scholar

   Save

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

   Sven Apel, Dirk Beyer, Karlheinz Friedberger, F. Raimondi +1 more

   2013Haifa Verification Conference29 citations

   Semantic Scholar

   Save

3. CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution)

   Pavel S. Andrianov, Karlheinz Friedberger, M. Mandrykin, V. Mutilin +1 more

   2017International Conference on Tools and Algorithms for Construction and Analysis of Systems22 citations

   Semantic Scholar

   Save

4. JavaSMT 3: Interacting with SMT Solvers in Java

   D. Baier, Dirk Beyer, Karlheinz Friedberger

   2021International Conference on Computer Aided Verification19 citations Open access

   Semantic Scholar

   Save

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

   Dirk Beyer, Karlheinz Friedberger

   2016Doctoral Workshop on Mathematical and Engineering Methods in Computer Science13 citations Open access

   Semantic Scholar

   Save

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

   D. Beyer, Karlheinz Friedberger

   2020Leveraging Applications of Formal Methods11 citations Open access

   Semantic Scholar

   Save

7. Domain-Independent Multi-threaded Software Model Checking

   Dirk Beyer, Karlheinz Friedberger

   2018International Conference on Automated Software Engineering11 citations

   Semantic Scholar

   Save

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

   Karlheinz Friedberger

   2016International Conference on Tools and Algorithms for Construction and Analysis of Systems11 citations

   Semantic Scholar

   Save

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

   Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

   2021Automated Technology for Verification and Analysis6 citations

   Semantic Scholar

   Save

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

    Dirk Beyer, Karlheinz Friedberger

    2018Leveraging Applications of Formal Methods4 citations

    Semantic Scholar

    Save

11. Domain Types: Selecting Abstractions Based on Variable Usage

    Sven Apel, Dirk Beyer, Karlheinz Friedberger, F. Raimondi +1 more

    2013arXiv.org4 citations

    Semantic Scholar

    Save

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

    D. Beyer, Karlheinz Friedberger

    2020ESEC/SIGSOFT FSE3 citations Open access

    Semantic Scholar

    Save

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

    D. Baier, Dirk Beyer, Karlheinz Friedberger

    20211 citations

    Semantic Scholar

    Save

14. Efficient software model checking with block-abstraction memoization

    Karlheinz Friedberger

    20210 citations

    Semantic Scholar

    Save

15. Design and Implementation of a Cluster Based Approach for Software Verification

    Institut Für Informatik, Karlheinz Friedberger, P. Beyer

    20200 citations

    Semantic Scholar

    Save