Temporal logic motion planning using POMDPs with parity objectives: case study paper. - María Svorenová; Martin Chmelik; Kevin Leahy 001; Hasan Ferit Eniser; Krishnendu Chatterjee; Ivana Cerná; Calin Belta (HSCC, 2015)

Otomatik Sanal Servis Olusturma(Automatic Virtual Service Creation). - Hasan Ferit Eniser; Alper Sen 001; Suleyman Olcay Polat (UYMS, 2017)

Testing service oriented architectures using stateful service visualization via machine learning. - Hasan Ferit Eniser; Alper Sen 001 (AST@ICSE, 2018)

Fancymock: creating virtual services from transactions. - Hasan Ferit Eniser; Alper Sen 001; Suleyman Olcay Polat (SAC, 2018)

DeepFault: Fault Localization for Deep Neural Networks. - Hasan Ferit Eniser; Simos Gerasimou; Alper Sen 001 (FASE, 2019)

Phish-Hook: Detecting Phishing Certificates Using Certificate Transparency Logs. - Edona Fasllija; Hasan Ferit Eniser; Bernd Prünster (SecureComm (2), 2019)

Importance-driven deep learning system testing. - Simos Gerasimou; Hasan Ferit Eniser; Alper Sen 001; Alper Çakan (ICSE, 2020)

DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning. - Samet Demir; Hasan Ferit Eniser; Alper Sen 001 (AISafety@IJCAI, 2020)

RAID: Randomized Adversarial-Input Detection for Neural Networks. - Hasan Ferit Eniser; Maria Christakis; Valentin Wüstholz (CoRR, 2020)

Virtualization of stateful services via machine learning. - Hasan Ferit Eniser; Alper Sen 001 (Softw. Qual. J., 2020)

Automated Safety Verification of Programs Invoking Neural Networks. - Maria Christakis; Hasan Ferit Eniser; Holger Hermanns; Jörg Hoffmann 001; Yugesh Kothari; Jianlin Li; Jorge A. Navas; Valentin Wüstholz (CAV (1), 2021)

Debugging a Policy: Automatic Action-Policy Testing in AI Planning. - Marcel Steinmetz; Daniel Fiser; Hasan Ferit Eniser; Patrick Ferber; Timo P. Gros; Philippe Heim; Daniel Höller; Xandra Schuler; Valentin Wüstholz; Maria Christakis; Jörg Hoffmann 001 (ICAPS, 2022)

Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. - Hasan Ferit Eniser; Timo P. Gros; Valentin Wüstholz; Jörg Hoffmann 001; Maria Christakis (ISSTA, 2022)

Specifying and Testing k-Safety Properties for Machine-Learning Models. - Maria Christakis; Hasan Ferit Eniser; Jörg Hoffmann 001; Adish Singla; Valentin Wüstholz (IJCAI, 2023)

Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks. - Alperen Tercan; Ahana Ghosh; Hasan Ferit Eniser; Maria Christakis; Adish Singla (CoRR, 2023)

Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). - Marcel Böhme; Maria Christakis; Rohan Padhye; Kostya Serebryany; Andreas Zeller; Hasan Ferit Eniser (Dagstuhl Reports, 2023)

Automatically Testing Functional Properties of Code Translation Models. - Hasan Ferit Eniser; Valentin Wüstholz; Maria Christakis (AAAI, 2024)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. - Hasan Ferit Eniser; Hanliang Zhang; Cristina David; Meng Wang 002; Maria Christakis; Brandon Paulsen; Joey Dodds; Daniel Kroening (CoRR, 2024)