Follow
Friedberger Karlheinz
Friedberger Karlheinz
Verified email at lmu.de
Title
Cited by
Cited by
Year
Domain types: Abstract-domain selection based on variable usage
S Apel, D Beyer, K Friedberger, F Raimondi, A von Rhein
Hardware and Software: Verification and Testing: 9th International Haifa …, 2013
342013
JavaSMT: A unified interface for SMT solvers in Java
EG Karpenkov, K Friedberger, D Beyer
Verified Software. Theories, Tools, and Experiments: 8th International …, 2016
322016
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions: (Competition Contribution)
P Andrianov, K Friedberger, M Mandrykin, V Mutilin, A Volkov
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
292017
JavaSMT 3: Interacting with SMT solvers in Java
D Baier, D Beyer, K Friedberger
International Conference on Computer Aided Verification, 195-208, 2021
142021
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
D Beyer, K Friedberger
MEMICS 2016, 2016
142016
Violation Witnesses and Result Validation for Multi-Threaded Programs: Implementation and Evaluation with CPAchecker
D Beyer, K Friedberger
International Symposium on Leveraging Applications of Formal Methods, 449-470, 2020
132020
CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis: (Competition Contribution)
K Friedberger
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
132016
Domain-independent multi-threaded software model checking
D Beyer, K Friedberger
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
72018
PJBDD: a BDD library for Java and multi-threading
D Beyer, K Friedberger, S Holzner
Automated Technology for Verification and Analysis: 19th International …, 2021
52021
Domain-independent interprocedural program analysis using block-abstraction memoization
D Beyer, K Friedberger
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
52020
Domain types: Selecting abstractions based on variable usage
S Apel, D Beyer, K Friedberger, F Raimondi, A von Rhein
arXiv preprint arXiv:1305.6640, 2013
42013
In-place vs. copy-on-write CEGAR refinement for block summarization with caching
D Beyer, K Friedberger
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
32018
Block-Abstraction Memoization as an Approach to Verify Recursive Procedures
K Friedberger, IS Apel
Master’s thesis, Chair of Software Systems, University of Passau, 2015
12015
Efficient software model checking with block-abstraction memoization
K Friedberger
lmu, 2021
2021
Ein typbasierter Ansatz zur Kombination verschiedener Verifikationstechniken
K Friedberger
2012
PJBDD
D Beyer, K Friedberger, S Holzner
Automated Technology for Verification and Analysis, 144, 0
Implementation and Evaluation of Backwards Analyses in the Software-Verification Framework CPAchecker
A Kreppel, D Beyer, K Friedberger
Proc. ISoLA 2018, c Springer
D Beyer, K Friedberger
Block-AbstractionMemoizationwithCEGAR (In-Place vs. Copy-On-Write Refinement)
K Friedberger
CPAchecker for Reachability, Memory Safety, Overflows, Concurrency, and Termination
M Dangl, K Friedberger
The system can't perform the operation now. Try again later.
Articles 1–20