( en | de | ru )

 

Disambiguierung von "Friedberger, Karlheinz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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 Schnieber

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Domain-independent multi-threaded software model checking., und . ASE, Seite 634-644. ACM, (2018)JavaSMT 3: Interacting with SMT Solvers in Java., , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 195-208. Springer, (2021)Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'., und . (März 2020)Reproduction Package for ATVA 2021 Article 'PJBDD: A BDD Library for Java and Multi-Threading'., , und . (Juli 2021)Efficient software model checking with block-abstraction memoization.. Ludwig Maximilian University of Munich, Germany, (2021)Replication Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'., , und . (Januar 2020)Reproduction Package for CAV 2021 Article 'JavaSMT 3: Interacting with SMT Solvers in Java'., , und . (Mai 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)