Karlheinz Friedberger

According to our database1, Karlheinz Friedberger authored at least 10 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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
Domain-independent multi-threaded software model checking.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.
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
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker.
Proceedings of the Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2016

JavaSMT: A Unified Interface for SMT Solvers in Java.
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
Domain Types: Selecting Abstractions Based on Variable Usage
CoRR, 2013

Domain Types: Abstract-Domain Selection Based on Variable Usage.
Proceedings of the Hardware and Software: Verification and Testing, 2013


  Loading...