Æȷοì
Hasan Ferit  Eniser
Hasan Ferit Eniser
mpi-sws.orgÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
662019
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
232019
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–19