( en | de | ru )

 

Disambiguierung von "Beyer, Dirk"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CCVisu: automatic visual software decomposition.

. ICSE Companion, Seite 967-968. ACM, (2008)978-1-60558-079-1.

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

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)Self-Adaptive SLA-Driven Capacity Management for Internet Services., , , , , und . NOMS, Seite 557-568. IEEE, (2006)Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework., und . CoRR, (2019)TestCov: Robust Test-Suite Execution and Coverage Measurement., und . ASE, Seite 1074-1077. IEEE, (2019)Reliable Benchmarking: Requirements and Solutions, , und . International Journal on Software Tools for Technology Transfer, 21 (1): 1--29 (01.02.2019)Domain-independent multi-threaded software model checking., und . ASE, Seite 634-644. ACM, (2018)Automatic Verification of C and Java Programs: SV-COMP 2019.. TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 133-155. Springer, (2019)The Static Analyzer Frama-C in SV-COMP (Competition Contribution)., und . TACAS (2), Volume 13244 von Lecture Notes in Computer Science, Seite 429-434. Springer, (2022)Competition on Software Verification and Witness Validation: SV-COMP 2023.. TACAS (2), Volume 13994 von Lecture Notes in Computer Science, Seite 495-522. Springer, (2023)