| Harvey: A greybox fuzzer for smart contracts V Wüstholz, M Christakis Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 206 | 2020 |
| Guiding dynamic symbolic execution toward unverified program executions M Christakis, P Müller, V Wüstholz International Conference on Software Engineering (ICSE), 144-155, 2016 | 127 | 2016 |
| The 1st verified software competition: Experience report V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ... International Symposium on Formal Methods, 154-168, 2011 | 101* | 2011 |
| The Dafny integrated development environment KRM Leino, V Wüstholz 1st Workshop on Formal Integrated Development Environment, 3-15, 2014 | 98 | 2014 |
| Collaborative verification and testing with explicit assumptions M Christakis, P Müller, V Wüstholz FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 86 | 2012 |
| Targeted greybox fuzzing with static lookahead analysis V Wüstholz, M Christakis Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 70 | 2020 |
| Perfectly parallel fairness certification of neural networks C Urban, M Christakis, V Wüstholz, F Zhang Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 69 | 2020 |
| Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions V Wüstholz, O Olivo, MJH Heule, I Dillig Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 3-20, 2017 | 69 | 2017 |
| Detecting critical bugs in SMT solvers using blackbox mutational fuzzing MN Mansur, M Christakis, V Wüstholz, F Zhang Proceedings of the 28th ACM joint meeting on European software engineering …, 2020 | 57 | 2020 |
| Differentially testing soundness and precision of program analyzers C Klinger, M Christakis, V Wüstholz Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 40 | 2019 |
| Fine-grained caching of verification results KRM Leino, V Wüstholz Computer Aided Verification (CAV), 380-397, 2015 | 40 | 2015 |
| An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer M Christakis, P Müller, V Wüstholz VMCAI 2015: Verification, Model Checking, and Abstract Interpretation, 336-354, 2014 | 36 | 2014 |
| Integrated Environment for Diagnosing Verification Errors M Christakis, KRM Leino, P Müller, V Wüstholz Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016 | 31 | 2016 |
| Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE S Wesley, M Christakis, JA Navas, R Trefler, V Wüstholz, A Gurfinkel Verification, Model Checking, and Abstract Interpretation: 23rd …, 2022 | 28 | 2022 |
| Failure-directed program trimming K Ferles, V Wüstholz, M Christakis, I Dillig Foundations of Software Engineering (FSE), 174-185, 2017 | 26 | 2017 |
| Automatically testing implementations of numerical abstract domains A Bugariu, V Wüstholz, M Christakis, P Müller Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 25 | 2018 |
| Metamorphic testing of Datalog engines MN Mansur, M Christakis, V Wüstholz Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 24 | 2021 |
| Estimating residual risk in greybox fuzzing M Böhme, D Liyanage, V Wüstholz Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 21 | 2021 |
| Semantic fault localization and suspiciousness ranking M Christakis, M Heizmann, MN Mansur, C Schilling, V Wüstholz Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 19 | 2019 |
| Raid: Randomized adversarial-input detection for neural networks HF Eniser, M Christakis, V Wüstholz arXiv preprint arXiv:2002.02776, 2020 | 16 | 2020 |
Maria ChristakisProfessor @ TU Wien InformaticsVerified email at tuwien.ac.at
