( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Partial Verification Results.

. ETH Zurich, Zürich, Switzerland, (2015)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/105607).

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.

Georg Wüstholz

Gisbert Wüstholz

Rolf Wüstholz

Timo Wüstholz

Annette Wüstholz

 

Другие публикации лиц с тем же именем

Fine-Grained Caching of Verification Results., и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 380-397. Springer, (2015)Compositional Verification of Smart Contracts Through Communication Abstraction., , , , , и . SAS, том 12913 из Lecture Notes in Computer Science, стр. 429-452. Springer, (2021)Guiding dynamic symbolic execution toward unverified program executions., , и . ICSE, стр. 144-155. ACM, (2016)Metamorphic testing of Datalog engines., , и . ESEC/SIGSOFT FSE, стр. 639-650. ACM, (2021)Dependency-Aware Metamorphic Testing of Datalog Engines., , и . ISSTA, стр. 236-247. ACM, (2023)Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE., , , , , и . VMCAI, том 13182 из Lecture Notes in Computer Science, стр. 425-449. Springer, (2022)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., , , и . TACAS (2), том 10206 из Lecture Notes in Computer Science, стр. 3-20. (2017)Bounded Abstract Interpretation., и . SAS, том 9837 из Lecture Notes in Computer Science, стр. 105-125. Springer, (2016)Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations., , и . SEFM, том 8702 из Lecture Notes in Computer Science, стр. 65-80. Springer, (2014)