Karlheinz Friedberger

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