| 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 | 29 | 2013 |
| 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 | 21 | 2016 |
| 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 | 20 | 2017 |
| CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis K Friedberger International Conference on Tools and Algorithms for the Construction and …, 2016 | 10 | 2016 |
| A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker D Beyer, K Friedberger MEMICS 2016, 2016 | 6 | 2016 |
| Domain-independent multi-threaded software model checking D Beyer, K Friedberger Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 4 | 2018 |
| 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 | 3 | 2013 |
| Violation witnesses and result validation for multi-threaded programs D Beyer, K Friedberger International Symposium on Leveraging Applications of Formal Methods, 449-470, 2020 | 2 | 2020 |
| 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 | 2 | 2018 |
| 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 | 1 | 2015 |
| 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 | | |
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
