( en | de | ru )

 

Disambiguierung von "Wüstholz, Valentin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integrated Environment for Diagnosing Verification Errors.

, , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 424-441. Springer, (2016)

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.

Georg Wüstholz

Gisbert Wüstholz

Rolf Wüstholz

Timo Wüstholz

Annette Wüstholz

 

Weitere Publikationen von Autoren mit dem selben Namen

Fine-Grained Caching of Verification Results., und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 380-397. Springer, (2015)Compositional Verification of Smart Contracts Through Communication Abstraction., , , , , und . SAS, Volume 12913 von Lecture Notes in Computer Science, Seite 429-452. Springer, (2021)Guiding dynamic symbolic execution toward unverified program executions., , und . ICSE, Seite 144-155. ACM, (2016)Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions., , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 3-20. (2017)Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE., , , , , und . VMCAI, Volume 13182 von Lecture Notes in Computer Science, Seite 425-449. Springer, (2022)Dependency-Aware Metamorphic Testing of Datalog Engines., , und . ISSTA, Seite 236-247. ACM, (2023)Metamorphic testing of Datalog engines., , und . ESEC/SIGSOFT FSE, Seite 639-650. ACM, (2021)Partial Verification Results.. ETH Zurich, Zürich, Switzerland, (2015)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/105607).Bounded Abstract Interpretation., und . SAS, Volume 9837 von Lecture Notes in Computer Science, Seite 105-125. Springer, (2016)Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations., , und . SEFM, Volume 8702 von Lecture Notes in Computer Science, Seite 65-80. Springer, (2014)