Folgen
Hasan Ferit  Eniser
Hasan Ferit Eniser
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
97*2020
Deepfault: Fault localization for deep neural networks
HF Eniser, S Gerasimou, A Sen
International Conference on Fundamental Approaches to Software Engineering …, 2019
682019
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
362015
DeepSmartFuzzer: Reward guided test generation for deep learning
S Demir, HF Eniser, A Sen
AISafety@IJCAI 2640, 2019
242019
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
192019
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
142020
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
102022
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
102021
Virtualization of stateful services via machine learning
HF Enişer, A Sen
Software Quality Journal 28 (1), 283-306, 2020
92020
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
82022
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
Specifying and Testing -Safety Properties for Machine-Learning Models
M Christakis, HF Eniser, J Hoffmann, A Singla, V Wüstholz
arXiv preprint arXiv:2206.06054, 2022
32022
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
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
2024
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–19