Karlheinz Friedberger

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 10

Top Topics

Modulo Theories

Domain Independent

Top Venues

Publications

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner
PJBDD: A BDD Library for Java and Multi-Threading. ATVA (2021)
Daniel Baier, Dirk Beyer, Karlheinz Friedberger
JavaSMT 3: Interacting with SMT Solvers in Java. CAV (2) (2021)
Dirk Beyer, Karlheinz Friedberger
Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker. ISoLA (1) (2020)
Dirk Beyer, Karlheinz Friedberger
Domain-independent interprocedural program analysis using block-abstraction memoization. ESEC/SIGSOFT FSE (2020)
Dirk Beyer, Karlheinz Friedberger
Domain-independent multi-threaded software model checking. ASE (2018)
Dirk Beyer, Karlheinz Friedberger
In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. ISoLA (2) (2018)
Pavel S. Andrianov, Karlheinz Friedberger, Mikhail U. Mandrykin, Vadim S. Mutilin, Anton Volkov
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). TACAS (2) (2017)
Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer
JavaSMT: A Unified Interface for SMT Solvers in Java. VSTTE (2016)
Dirk Beyer, Karlheinz Friedberger
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. MEMICS (2016)
Karlheinz Friedberger
CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution). TACAS (2016)
Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein
Domain Types: Abstract-Domain Selection Based on Variable Usage. Haifa Verification Conference (2013)
Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein
Domain Types: Selecting Abstractions Based on Variable Usage CoRR (2013)