Karlheinz Friedberger

13 papers A* 1A 1B 1Journal 1Unranked 8

Year	Rank	Type	Title / 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

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski