( en | de | ru )

 

Disambiguation of "Wüstholz, Valentin"

Author of the publication

copydeleteadd this publication to your clipboard
Fine-Grained Caching of Verification Results.

, and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 380-397. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Georg Wüstholz

Gisbert Wüstholz

Rolf Wüstholz

Annette Wüstholz

Timo Wüstholz

 

Other publications of authors with the same name

Automatically Tailoring Static Analysis to Custom Usage Scenarios., , , , and . CoRR, (2020)Specification Mining for Smart Contracts with Automatic Abstraction Tuning., , , and . CoRR, (2018)Fine-Grained Caching of Verification Results., and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 380-397. Springer, (2015)Compositional Verification of Smart Contracts Through Communication Abstraction., , , , , and . SAS, volume 12913 of Lecture Notes in Computer Science, page 429-452. Springer, (2021)Guiding dynamic symbolic execution toward unverified program executions., , and . ICSE, page 144-155. ACM, (2016)Differentially Testing Soundness and Precision of Program Analyzers., , and . CoRR, (2018)Dependency-Aware Metamorphic Testing of Datalog Engines., , and . ISSTA, page 236-247. ACM, (2023)Metamorphic testing of Datalog engines., , and . ESEC/SIGSOFT FSE, page 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).Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions., , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 3-20. (2017)