Kadiray Karakaya
Secure Software Engineering / Heinz Nixdorf Institut
kadiray.karakaya@uni-paderborn.deID
6 Publications
2024 | Conference Paper | LibreCat-ID: 53938
Karakaya K, Bodden E. Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. ACM; 2024. doi:10.1145/3597503.3639092
LibreCat
| DOI
2024 | Book Chapter | LibreCat-ID: 53942
Karakaya K, Schott S, Klauke J, et al. SootUp: A Redesign of the Soot Static Analysis Framework. In: Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland; 2024. doi:10.1007/978-3-031-57246-3_13
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29927
Yigitbas E, Karakaya K, Jovanovikj I, Engels G. Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces. In: Grunske L, Siegmund J, Vogelsang A, eds. Software Engineering 2022, Fachtagung Des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell. Vol {P-320}. LNI. Gesellschaft für Informatik e.V.; 2022:95–96. doi:10.18420/se2022-ws-033
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32305
Karakaya K, Yigitbas E, Engels G. Automated UX Evaluation for User-Centered Design of VR Interfaces. In: Proceedings of the 9th International Working Conference on Human-Centered Software Engineering (HCSE’22). Springer; 2022.
LibreCat
2021 | Conference Paper | LibreCat-ID: 22819
Yigitbas E, Karakaya K, Jovanovikj I, Engels G. Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces. In: 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). ; 2021. doi:10.1109/seams51251.2021.00015
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 33840
Karakaya K, Bodden E. SootFX: A Static Code Feature Extraction Tool for Java and Android. In: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM). ; 2021:181–186.
LibreCat
6 Publications
2024 | Conference Paper | LibreCat-ID: 53938
Karakaya K, Bodden E. Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. ACM; 2024. doi:10.1145/3597503.3639092
LibreCat
| DOI
2024 | Book Chapter | LibreCat-ID: 53942
Karakaya K, Schott S, Klauke J, et al. SootUp: A Redesign of the Soot Static Analysis Framework. In: Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland; 2024. doi:10.1007/978-3-031-57246-3_13
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29927
Yigitbas E, Karakaya K, Jovanovikj I, Engels G. Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces. In: Grunske L, Siegmund J, Vogelsang A, eds. Software Engineering 2022, Fachtagung Des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell. Vol {P-320}. LNI. Gesellschaft für Informatik e.V.; 2022:95–96. doi:10.18420/se2022-ws-033
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32305
Karakaya K, Yigitbas E, Engels G. Automated UX Evaluation for User-Centered Design of VR Interfaces. In: Proceedings of the 9th International Working Conference on Human-Centered Software Engineering (HCSE’22). Springer; 2022.
LibreCat
2021 | Conference Paper | LibreCat-ID: 22819
Yigitbas E, Karakaya K, Jovanovikj I, Engels G. Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces. In: 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). ; 2021. doi:10.1109/seams51251.2021.00015
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 33840
Karakaya K, Bodden E. SootFX: A Static Code Feature Extraction Tool for Java and Android. In: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM). ; 2021:181–186.
LibreCat