Karlheinz Friedberger
Orcid: 0000-0001-7624-654X
According to our database1,
Karlheinz Friedberger
authored at least 13 papers
between 2013 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2021
PhD thesis, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Automated Technology for Verification and Analysis, 2021
2020
Domain-independent interprocedural program analysis using block-abstraction memoization.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
2017
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
2016
Proceedings of the Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2016
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
2013
Proceedings of the Hardware and Software: Verification and Testing, 2013