( en | de | ru )

 

Disambiguierung von "Friedberger, Karlheinz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.

, und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 197-215. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Joseph Friedberger

Walter Friedberger

Markus Friedberger

Alois Friedberger

Karlheinz Erb

 

Weitere Publikationen von Autoren mit dem selben Namen

JavaSMT 3: Interacting with SMT Solvers in Java., , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 195-208. Springer, (2021)Domain-independent multi-threaded software model checking., und . ASE, Seite 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., und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 197-215. Springer, (2018)Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker., und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 449-470. Springer, (2020)PJBDD: A BDD Library for Java and Multi-Threading., , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 144-149. Springer, (2021)CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution).. TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 912-915. Springer, (2016)JavaSMT: A Unified Interface for SMT Solvers in Java., , und . VSTTE, Volume 9971 von Lecture Notes in Computer Science, Seite 139-148. (2016)CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution)., , , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 355-359. (2017)Domain-independent interprocedural program analysis using block-abstraction memoization., und . ESEC/SIGSOFT FSE, Seite 50-62. ACM, (2020)