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
Haifa Verification Conference, 262-278, 2013
292013
JavaSMT: A unified interface for SMT solvers in Java
EG Karpenkov, K Friedberger, D Beyer
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2016
212016
CPA-BAM-BnB: Block-abstraction memoization and region-based memory models for predicate abstractions
P Andrianov, K Friedberger, M Mandrykin, V Mutilin, A Volkov
International Conference on Tools and Algorithms for the Construction and …, 2017
202017
CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis
K Friedberger
International Conference on Tools and Algorithms for the Construction and …, 2016
102016
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
D Beyer, K Friedberger
MEMICS 2016, 2016
62016
Domain-independent multi-threaded software model checking
D Beyer, K Friedberger
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
42018
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
32013
Violation witnesses and result validation for multi-threaded programs
D Beyer, K Friedberger
International Symposium on Leveraging Applications of Formal Methods, 449-470, 2020
22020
In-place vs. copy-on-write CEGAR refinement for block summarization with caching
D Beyer, K Friedberger
International Symposium on Leveraging Applications of Formal Methods, 197-215, 2018
22018
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
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
2020
Ein typbasierter Ansatz zur Kombination verschiedener Verifikationstechniken
K Friedberger
2012
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–16