Name Card

Full name Familienname, Vorname
Eniser, Hasan Ferit
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eniser, Hasan Ferit ; Wüstholz, Valentin ; Christaki, Maria Automatically Testing Functional Properties of Code Translation ModelsReport Bericht7-Sep-2023
2Tercan-2023-Synthesizing a Progression of Subtasks for Block-Based Visual...-vor.pdf.jpgTercan, Alperen ; Ghosh, Ahana ; Eniser, Hasan Ferit ; Christaki, Maria ; Singla, Adish Synthesizing a Progression of Subtasks for Block-Based Visual Programming TasksReport Bericht 2023
3Böhme, Marcel ; Christaki, Maria ; Padhye, Rohan ; Serebryany, Kostya ; Zeller, Andreas ; Eniser, Hasan Ferit Software Bug Detection: Challenges and SynergiesReport Bericht2023
4Christakis-2023-Specifying and Testing k-Safety Properties for Machine-Le...-vor.pdf.jpgChristaki, Maria ; Eniser, Hasan Ferit ; Hoffmann, Jörg ; Singla, Adish ; Wüstholz, Valentin Specifying and Testing k-Safety Properties for Machine-Learning ModelsInproceedings Konferenzbeitrag 2023