Folgen
Hasan Ferit Eniser
Hasan Ferit Eniser
MPI-SWS
Bestätigte E-Mail-Adresse bei mpi-sws.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
115*2020
Deepfault: Fault localization for deep neural networks
HF Eniser, S Gerasimou, A Sen
International Conference on Fundamental Approaches to Software Engineering …, 2019
822019
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
372015
DeepSmartFuzzer: Reward guided test generation for deep learning
S Demir, HF Eniser, A Sen
AISafety@IJCAI 2640, 2019
262019
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
202019
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
172018
Raid: Randomized adversarial-input detection for neural networks
HF Eniser, M Christakis, V Wüstholz
arXiv preprint arXiv:2002.02776, 2020
162020
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
122022
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
122021
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
92022
Virtualization of stateful services via machine learning
HF Enişer, A Sen
Software Quality Journal 28 (1), 283-306, 2020
92020
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
52023
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
HF Eniser, H Zhang, C David, M Wang, B Paulsen, J Dodds, D Kroening
arXiv preprint arXiv:2405.11514, 2024
42024
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
42018
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
22024
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
22023
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
2023
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
Otomatik Sanal Servis Olusturma
HF Eniser, A Sen, SO Polat
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20