Kadiray Karakaya

Secure Software Engineering / Heinz Nixdorf Institut

Member - Research Associate

Office Address:
Fürstenallee 11
33102 Paderborn
Room:
F1.116

Publications

Latest Publications

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
K. Karakaya, E. Bodden, in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, ACM, 2024.
SootUp: A Redesign of the Soot Static Analysis Framework
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.
Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces
E. Yigitbas, K. Karakaya, I. Jovanovikj, G. Engels, in: L. Grunske, J. Siegmund, A. Vogelsang (Eds.), Software Engineering 2022, Fachtagung Des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell, Gesellschaft für Informatik e.V., 2022, pp. 95–96.
Automated UX Evaluation for User-Centered Design of VR Interfaces
K. Karakaya, E. Yigitbas, G. Engels, in: Proceedings of the 9th International Working Conference on Human-Centered Software Engineering (HCSE’22), Springer, 2022.
Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces
E. Yigitbas, K. Karakaya, I. Jovanovikj, G. Engels, in: 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021.
Show all publications