( en | de | ru )

 

Disambiguation of "Friedberger, Karlheinz"

Author of the publication

copydeleteadd this publication to your clipboard
JavaSMT 3: Interacting with SMT Solvers in Java.

, , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 195-208. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Joseph Friedberger

Walter Friedberger

Markus Friedberger

Alois Friedberger

Karlheinz Schoher

 

Other publications of authors with the same name

JavaSMT 3: Interacting with SMT Solvers in Java., , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 195-208. Springer, (2021)Domain-independent multi-threaded software model checking., and . ASE, page 634-644. ACM, (2018)Efficient software model checking with block-abstraction memoization.. Ludwig Maximilian University of Munich, Germany, (2021)In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching., and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 197-215. Springer, (2018)Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker., and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 449-470. Springer, (2020)PJBDD: A BDD Library for Java and Multi-Threading., , and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 144-149. Springer, (2021)CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution).. TACAS, volume 9636 of Lecture Notes in Computer Science, page 912-915. Springer, (2016)JavaSMT: A Unified Interface for SMT Solvers in Java., , and . VSTTE, volume 9971 of Lecture Notes in Computer Science, page 139-148. (2016)Domain-independent interprocedural program analysis using block-abstraction memoization., and . ESEC/SIGSOFT FSE, page 50-62. ACM, (2020)CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution)., , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 355-359. (2017)