default search action

combined dblp search
author search
venue search
publication search

ask others

Valentin Wüstholz

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EniserWC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EniserWC24
Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis:
Automatically Testing Functional Properties of Code Translation Models. AAAI 2024: 21055-21062
[c29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/WesleyCNTWG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/WesleyCNTWG24
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Inductive Predicate Synthesis Modulo Programs. ECOOP 2024: 43:1-43:30
[i15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-08455
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-08455
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Inductive Predicate Synthesis Modulo Programs (Extended). CoRR abs/2407.08455 (2024)
2023
[c28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ChristakisE0SW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChristakisE0SW23
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz:
Specifying and Testing k-Safety Properties for Machine-Learning Models. IJCAI 2023: 4748-4757
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MansurWC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MansurWC23
Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis:
Dependency-Aware Metamorphic Testing of Datalog Engines. ISSTA 2023: 236-247
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/OunjaiWC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/OunjaiWC23
Jiradet Ounjai, Valentin Wüstholz, Maria Christakis:
Green Fuzzer Benchmarking. ISSTA 2023: 1396-1406
[i14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-12813
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-12813
Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis:
Automatically Testing Functional Properties of Code Translation Models. CoRR abs/2309.12813 (2023)
2022
[c25]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/SteinmetzFEFGHH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/SteinmetzFEFGHH22
Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Jörg Hoffmann:
Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS 2022: 353-361
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/EniserGW0C22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/EniserGW0C22
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis:
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. ISSTA 2022: 52-63
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/WesleyCNTWG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/WesleyCNTWG22
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. VMCAI 2022: 425-449
[i13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-06054
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-06054
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz:
Specifying and Testing k-Safety Properties for Machine-Learning Models. CoRR abs/2206.06054 (2022)
2021
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChristakisEHHKL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChristakisEHHKL21
Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz:
Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) 2021: 201-224
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MansurMCNW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MansurMCNW20
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz:
Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. CAV (2) 2021: 777-800
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/WesleyCNTWG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/WesleyCNTWG21
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Compositional Verification of Smart Contracts Through Communication Abstraction. SAS 2021: 429-452
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BohmeLW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BohmeLW21
Marcel Böhme, Danushka Liyanage, Valentin Wüstholz:
Estimating residual risk in greybox fuzzing. ESEC/SIGSOFT FSE 2021: 230-241
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MansurCW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MansurCW21
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz:
Metamorphic testing of Datalog engines. ESEC/SIGSOFT FSE 2021: 639-650
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-08583
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-08583
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). CoRR abs/2107.08583 (2021)
2020
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/UrbanCWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/UrbanCWZ20
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Perfectly parallel fairness certification of neural networks. Proc. ACM Program. Lang. 4(OOPSLA): 185:1-185:30 (2020)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WustholzC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WustholzC20
Valentin Wüstholz, Maria Christakis:
Targeted greybox fuzzing with static lookahead analysis. ICSE 2020: 789-800
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MansurCWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MansurCWZ20
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. ESEC/SIGSOFT FSE 2020: 701-712
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WustholzC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WustholzC20
Valentin Wüstholz, Maria Christakis:
Harvey: a greybox fuzzer for smart contracts. ESEC/SIGSOFT FSE 2020: 1398-1409
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2002-02776
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-02776
Hasan Ferit Eniser, Maria Christakis, Valentin Wüstholz:
RAID: Randomized Adversarial-Input Detection for Neural Networks. CoRR abs/2002.02776 (2020)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-05934
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-05934
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. CoRR abs/2004.05934 (2020)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2009-13860
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-13860
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz:
Automatically Tailoring Static Analysis to Custom Usage Scenarios. CoRR abs/2009.13860 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/KlingerCW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KlingerCW19
Christian Klinger, Maria Christakis, Valentin Wüstholz:
Differentially testing soundness and precision of program analyzers. ISSTA 2019: 239-250
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChristakisHMSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChristakisHMSW19
Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz:
Semantic Fault Localization and Suspiciousness Ranking. TACAS (1) 2019: 226-243
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-06944
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-06944
Valentin Wüstholz, Maria Christakis:
Harvey: A Greybox Fuzzer for Smart Contracts. CoRR abs/1905.06944 (2019)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-07147
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-07147
Valentin Wüstholz, Maria Christakis:
Targeted Greybox Fuzzing with Static Lookahead Analysis. CoRR abs/1905.07147 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1912-02499
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-02499
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Perfectly Parallel Fairness Certification of Neural Networks. CoRR abs/1912.02499 (2019)
2018
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BugariuWC018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BugariuWC018
Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller:
Automatically testing implementations of numerical abstract domains. ASE 2018: 768-778
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-07822
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-07822
Florentin Guth, Valentin Wüstholz, Maria Christakis, Peter Müller:
Specification Mining for Smart Contracts with Automatic Abstraction Tuning. CoRR abs/1807.07822 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-07875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-07875
Valentin Wüstholz, Maria Christakis:
Learning Inputs in Greybox Fuzzing. CoRR abs/1807.07875 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-05033
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-05033
Christian Klinger, Maria Christakis, Valentin Wüstholz:
Differentially Testing Soundness and Precision of Program Analyzers. CoRR abs/1812.05033 (2018)
2017
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/FerlesWCD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/FerlesWCD17
Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig:
Failure-directed program trimming. ESEC/SIGSOFT FSE 2017: 174-185
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/WustholzOHD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/WustholzOHD17
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig:
Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions. TACAS (2) 2017: 3-20
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/WustholzOHD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WustholzOHD17
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig:
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version). CoRR abs/1701.04045 (2017)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FerlesWCD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FerlesWCD17
Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig:
Failure-Directed Program Trimming (Extended Version). CoRR abs/1706.04468 (2017)
2016
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Christakis0W16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Christakis0W16
Maria Christakis, Peter Müller, Valentin Wüstholz:
Guiding dynamic symbolic execution toward unverified program executions. ICSE 2016: 144-155
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChristakisW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChristakisW16
Maria Christakis, Valentin Wüstholz:
Bounded Abstract Interpretation. SAS 2016: 105-125
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChristakisL0W16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChristakisL0W16
Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz:
Integrated Environment for Diagnosing Verification Errors. TACAS 2016: 424-441
2015
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Wustholz15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Wustholz15
Valentin Wüstholz:
Partial Verification Results. ETH Zurich, Zürich, Switzerland, 2015
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LeinoW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LeinoW15
K. Rustan M. Leino, Valentin Wüstholz:
Fine-Grained Caching of Verification Results. CAV (1) 2015: 380-397
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Christakis0W15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Christakis0W15
Maria Christakis, Peter Müller, Valentin Wüstholz:
An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. VMCAI 2015: 336-354
2014
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ChristakisMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ChristakisMW14
Maria Christakis, Peter Müller, Valentin Wüstholz:
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. SEFM 2014: 65-80
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LeinoW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LeinoW14
K. Rustan M. Leino, Valentin Wüstholz:
The Dafny Integrated Development Environment. F-IDE 2014: 3-15
2012
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ChristakisMW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ChristakisMW12
Maria Christakis, Peter Müller, Valentin Wüstholz:
Collaborative Verification and Testing with Explicit Assumptions. FM 2012: 132-146
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß:
The 1st Verified Software Competition: Experience Report. FM 2011: 154-168

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.