| Importance-driven deep learning system testing S Gerasimou, HF Eniser, A Sen, A Cakan Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 128* | 2020 |
| Deepfault: Fault localization for deep neural networks HF Eniser, S Gerasimou, A Sen International Conference on Fundamental Approaches to Software Engineering …, 2019 | 93 | 2019 |
| Temporal logic motion planning using POMDPs with parity objectives: Case study paper M Svoreňová, M Chmelík, K Leahy, HF Eniser, K Chatterjee, I Černá, ... Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 37 | 2015 |
| DeepSmartFuzzer: Reward guided test generation for deep learning S Demir, HF Eniser, A Sen AISafety@IJCAI 2640, 2019 | 30 | 2019 |
| Phish-Hook: Detecting phishing certificates using certificate transparency logs E Fasllija, HF Enişer, B Prünster Security and Privacy in Communication Networks: 15th EAI International …, 2019 | 22 | 2019 |
| Towards translating real-world code with LLMs: A study of translating to Rust HF Eniser, H Zhang, C David, M Wang, M Christakis, B Paulsen, J Dodds, ... arXiv preprint arXiv:2405.11514, 2024 | 18 | 2024 |
| Raid: Randomized adversarial-input detection for neural networks HF Eniser, M Christakis, V Wüstholz arXiv preprint arXiv:2002.02776, 2020 | 18 | 2020 |
| Testing service oriented architectures using stateful service visualization via machine learning HF Enişer, A Sen Proceedings of the 13th International Workshop on Automation of Software …, 2018 | 17 | 2018 |
| Automated safety verification of programs invoking neural networks M Christakis, HF Eniser, H Hermanns, J Hoffmann, Y Kothari, J Li, ... Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 15 | 2021 |
| Metamorphic relations via relaxations: An approach to obtain oracles for action-policy testing HF Eniser, TP Gros, V Wüstholz, J Hoffmann, M Christakis Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 14 | 2022 |
| Debugging a policy: Automatic action-policy testing in AI planning M Steinmetz, D Fišer, HF Eniser, P Ferber, TP Gros, P Heim, D Höller, ... Proceedings of the International Conference on Automated Planning and …, 2022 | 9 | 2022 |
| Virtualization of stateful services via machine learning HF Enişer, A Sen Software Quality Journal 28 (1), 283-306, 2020 | 9 | 2020 |
| Specifying and Testing -Safety Properties for Machine-Learning Models M Christakis, HF Eniser, J Hoffmann, A Singla, V Wüstholz Proceedings of the Thirty-Second International Joint Conference on …, 2023 | 7 | 2023 |
| Fancymock: creating virtual services from transactions HF Eniser, A Sen, SO Polat Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1576-1578, 2018 | 4 | 2018 |
| Automatically Testing Functional Properties of Code Translation Models HF Eniser, V Wüstholz, M Christakis Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21055 …, 2024 | 3 | 2024 |
| Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks A Tercan, A Ghosh, HF Eniser, M Christakis, A Singla arXiv preprint arXiv:2305.17518, 2023 | 2 | 2023 |
| Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131) M Böhme, M Christakis, R Padhye, K Serebryany, A Zeller, HF Eniser Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | 1 | 2023 |
| Service virtualization using recorded interactions HF Enişer Thesis (MS)-Bogazici University. Institute for Graduate Studies in Science …, 2017 | | 2017 |
| Durumsal Servislerin Sanallastırılması HF Eniser, A Sen | | |
| Çekişme Temelli Ortam Erişimi Algoritmaları Dilim Atama İhtimalleri Karşılaştırması HF Enişer, İ Demirkol | | |
Maria ChristakisProfessor @ TU Wien InformaticsVerified email at tuwien.ac.at
