( en | de | ru )

 

Disambiguierung von "Beyer, Dirk"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exchanging Verification Witnesses between Verifiers.

, , , und . Software Engineering, Volume P-267 von LNI, Seite 93-94. GI, (2017)

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.

Dirk Beyer

Dirk Beyer

Dirk Beyer

Dirk Beyer

Dirk Beyer

 

Weitere Publikationen von Autoren mit dem selben Namen

CoVeriTest: Cooperative Verifier-Based Testing., und . FASE, Volume 11424 von Lecture Notes in Computer Science, Seite 389-408. Springer, (2019)Advances in Automatic Software Testing: Test-Comp 2022.. FASE, Volume 13241 von Lecture Notes in Computer Science, Seite 321-335. Springer, (2022)Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs.. CHARME, Volume 2144 von Lecture Notes in Computer Science, Seite 86-91. Springer, (2001)Evaluation and Reproducibility of Program Analysis (Track Introduction)., , und . ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 479-481. Springer, (2014)Checking Memory Safety with Blast., , , und . FASE, Volume 3442 von Lecture Notes in Computer Science, Seite 2-18. Springer, (2005)Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework., und . CoRR, (2019)Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach., und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 144-159. Springer, (2018)Evaluating Tools for Software Verification (Track Introduction)., , und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 139-143. Springer, (2018)Shape Refinement through Explicit Heap Analysis., , , und . FASE, Volume 6013 von Lecture Notes in Computer Science, Seite 263-277. Springer, (2010)Self-Adaptive SLA-Driven Capacity Management for Internet Services., , , , , und . NOMS, Seite 557-568. IEEE, (2006)