[{"department":[{"_id":"66"},{"_id":"534"}],"user_id":"8447","_id":"61506","language":[{"iso":"eng"}],"publication":"Proceedings of the 3rd International Workshop on Virtual and Augmented Reality Software Engineering (VARSE) @ ASE 2025 ","type":"conference","status":"public","author":[{"last_name":"Karakaya","orcid":"https://orcid.org/0000-0001-9266-2084","id":"70410","full_name":"Karakaya, Kadiray","first_name":"Kadiray"},{"id":"40915","full_name":"Klauke, Jonas","orcid":"0000-0001-9160-9636","last_name":"Klauke","first_name":"Jonas"},{"first_name":"Enes","full_name":"Yigitbas, Enes","id":"8447","last_name":"Yigitbas","orcid":"0000-0002-5967-833X"}],"date_created":"2025-10-02T08:40:40Z","date_updated":"2026-01-15T11:45:28Z","title":"Toward Static Analysis of Immersive Attacks","citation":{"apa":"Karakaya, K., Klauke, J., &#38; Yigitbas, E. (2025). Toward Static Analysis of Immersive Attacks. <i>Proceedings of the 3rd International Workshop on Virtual and Augmented Reality Software Engineering (VARSE) @ ASE 2025 </i>.","short":"K. Karakaya, J. Klauke, E. Yigitbas, in: Proceedings of the 3rd International Workshop on Virtual and Augmented Reality Software Engineering (VARSE) @ ASE 2025 , 2025.","mla":"Karakaya, Kadiray, et al. “Toward Static Analysis of Immersive Attacks.” <i>Proceedings of the 3rd International Workshop on Virtual and Augmented Reality Software Engineering (VARSE) @ ASE 2025 </i>, 2025.","bibtex":"@inproceedings{Karakaya_Klauke_Yigitbas_2025, title={Toward Static Analysis of Immersive Attacks}, booktitle={Proceedings of the 3rd International Workshop on Virtual and Augmented Reality Software Engineering (VARSE) @ ASE 2025 }, author={Karakaya, Kadiray and Klauke, Jonas and Yigitbas, Enes}, year={2025} }","ama":"Karakaya K, Klauke J, Yigitbas E. Toward Static Analysis of Immersive Attacks. In: <i>Proceedings of the 3rd International Workshop on Virtual and Augmented Reality Software Engineering (VARSE) @ ASE 2025 </i>. ; 2025.","ieee":"K. Karakaya, J. Klauke, and E. Yigitbas, “Toward Static Analysis of Immersive Attacks,” 2025.","chicago":"Karakaya, Kadiray, Jonas Klauke, and Enes Yigitbas. “Toward Static Analysis of Immersive Attacks.” In <i>Proceedings of the 3rd International Workshop on Virtual and Augmented Reality Software Engineering (VARSE) @ ASE 2025 </i>, 2025."},"year":"2025"},{"publication_status":"published","year":"2024","citation":{"ama":"Karakaya K, Bodden E. Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. In: <i>Proceedings of the IEEE/ACM 46th International Conference on Software Engineering</i>. ACM; 2024. doi:<a href=\"https://doi.org/10.1145/3597503.3639092\">10.1145/3597503.3639092</a>","ieee":"K. Karakaya and E. Bodden, “Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems,” 2024, doi: <a href=\"https://doi.org/10.1145/3597503.3639092\">10.1145/3597503.3639092</a>.","chicago":"Karakaya, Kadiray, and Eric Bodden. “Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.” In <i>Proceedings of the IEEE/ACM 46th International Conference on Software Engineering</i>. ACM, 2024. <a href=\"https://doi.org/10.1145/3597503.3639092\">https://doi.org/10.1145/3597503.3639092</a>.","apa":"Karakaya, K., &#38; Bodden, E. (2024). Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. <i>Proceedings of the IEEE/ACM 46th International Conference on Software Engineering</i>. <a href=\"https://doi.org/10.1145/3597503.3639092\">https://doi.org/10.1145/3597503.3639092</a>","mla":"Karakaya, Kadiray, and Eric Bodden. “Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.” <i>Proceedings of the IEEE/ACM 46th International Conference on Software Engineering</i>, ACM, 2024, doi:<a href=\"https://doi.org/10.1145/3597503.3639092\">10.1145/3597503.3639092</a>.","short":"K. Karakaya, E. Bodden, in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, ACM, 2024.","bibtex":"@inproceedings{Karakaya_Bodden_2024, title={Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems}, DOI={<a href=\"https://doi.org/10.1145/3597503.3639092\">10.1145/3597503.3639092</a>}, booktitle={Proceedings of the IEEE/ACM 46th International Conference on Software Engineering}, publisher={ACM}, author={Karakaya, Kadiray and Bodden, Eric}, year={2024} }"},"date_updated":"2024-05-06T11:23:06Z","publisher":"ACM","date_created":"2024-05-06T11:20:21Z","author":[{"id":"70410","full_name":"Karakaya, Kadiray","orcid":"https://orcid.org/0000-0001-9266-2084","last_name":"Karakaya","first_name":"Kadiray"},{"first_name":"Eric","full_name":"Bodden, Eric","id":"59256","orcid":"0000-0003-3470-3647","last_name":"Bodden"}],"title":"Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems","doi":"10.1145/3597503.3639092","type":"conference","publication":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","abstract":[{"lang":"eng","text":"Previous work has shown that one can often greatly speed up static analysis by computing data flows not for every edge in the program’s control-flow graph but instead only along definition-use chains. This yields a so-called sparse static analysis. Recent work on SparseDroid has shown that specifically taint analysis can be “sparsified” with extraordinary effectiveness because the taint state of one variable does not depend on those of others. This allows one to soundly omit more flow-function computations than in the general case. In this work, we now assess whether this result carries over to the more generic setting of so-called Interprocedural Distributive Environment (IDE) problems. Opposed to taint analysis, IDE comprises distributive problems with large or even infinitely broad domains, such as typestate analysis or linear constant propagation. Specifically, this paper presents Sparse IDE, a framework that realizes sparsification for any static analysis that fits the IDE framework. We implement Sparse IDE in SparseHeros, as an extension to the popular Heros IDE solver, and evaluate its performance on real-world Java libraries by comparing it to the baseline IDE algorithm. To this end, we design, implement and evaluate a linear constant propagation analysis client on top of SparseHeros. Our experiments show that, although IDE analyses can only be sparsified with respect to symbols and not (numeric) values, Sparse IDE can nonetheless yield significantly lower runtimes and often also memory consumptions compared to the original IDE."}],"status":"public","_id":"53938","user_id":"15249","department":[{"_id":"76"}],"language":[{"iso":"eng"}]},{"citation":{"short":"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.","bibtex":"@inbook{Karakaya_Schott_Klauke_Bodden_Schmidt_Luo_He_2024, place={Cham}, title={SootUp: A Redesign of the Soot Static Analysis Framework}, DOI={<a href=\"https://doi.org/10.1007/978-3-031-57246-3_13\">10.1007/978-3-031-57246-3_13</a>}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems}, publisher={Springer Nature Switzerland}, author={Karakaya, Kadiray and Schott, Stefan and Klauke, Jonas and Bodden, Eric and Schmidt, Markus and Luo, Linghui and He, Dongjie}, year={2024} }","mla":"Karakaya, Kadiray, et al. “SootUp: A Redesign of the Soot Static Analysis Framework.” <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, Springer Nature Switzerland, 2024, doi:<a href=\"https://doi.org/10.1007/978-3-031-57246-3_13\">10.1007/978-3-031-57246-3_13</a>.","apa":"Karakaya, K., Schott, S., Klauke, J., Bodden, E., Schmidt, M., Luo, L., &#38; He, D. (2024). SootUp: A Redesign of the Soot Static Analysis Framework. In <i>Tools and Algorithms for the Construction and Analysis of Systems</i>. Springer Nature Switzerland. <a href=\"https://doi.org/10.1007/978-3-031-57246-3_13\">https://doi.org/10.1007/978-3-031-57246-3_13</a>","ieee":"K. Karakaya <i>et al.</i>, “SootUp: A Redesign of the Soot Static Analysis Framework,” in <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, Cham: Springer Nature Switzerland, 2024.","chicago":"Karakaya, Kadiray, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, and Dongjie He. “SootUp: A Redesign of the Soot Static Analysis Framework.” In <i>Tools and Algorithms for the Construction and Analysis of Systems</i>. Cham: Springer Nature Switzerland, 2024. <a href=\"https://doi.org/10.1007/978-3-031-57246-3_13\">https://doi.org/10.1007/978-3-031-57246-3_13</a>.","ama":"Karakaya K, Schott S, Klauke J, et al. SootUp: A Redesign of the Soot Static Analysis Framework. In: <i>Tools and Algorithms for the Construction and Analysis of Systems</i>. Springer Nature Switzerland; 2024. doi:<a href=\"https://doi.org/10.1007/978-3-031-57246-3_13\">10.1007/978-3-031-57246-3_13</a>"},"place":"Cham","year":"2024","publication_identifier":{"isbn":["9783031572456","9783031572463"],"issn":["0302-9743","1611-3349"]},"publication_status":"published","doi":"10.1007/978-3-031-57246-3_13","title":"SootUp: A Redesign of the Soot Static Analysis Framework","author":[{"orcid":"https://orcid.org/0000-0001-9266-2084","last_name":"Karakaya","id":"70410","full_name":"Karakaya, Kadiray","first_name":"Kadiray"},{"first_name":"Stefan","last_name":"Schott","id":"54847","full_name":"Schott, Stefan"},{"first_name":"Jonas","orcid":"0000-0001-9160-9636","last_name":"Klauke","full_name":"Klauke, Jonas","id":"40915"},{"first_name":"Eric","id":"59256","full_name":"Bodden, Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647"},{"first_name":"Markus","full_name":"Schmidt, Markus","last_name":"Schmidt"},{"last_name":"Luo","full_name":"Luo, Linghui","first_name":"Linghui"},{"full_name":"He, Dongjie","last_name":"He","first_name":"Dongjie"}],"date_created":"2024-05-06T11:29:36Z","publisher":"Springer Nature Switzerland","date_updated":"2025-11-11T14:26:52Z","status":"public","abstract":[{"lang":"eng","text":"<jats:title>Abstract</jats:title><jats:p>Since its inception two decades ago, <jats:sc>Soot</jats:sc> has become one of the most widely used open-source static analysis frameworks. Over time it has been extended with the contributions of countless researchers. Yet, at the same time, the requirements for <jats:sc>Soot</jats:sc> have changed over the years and become increasingly at odds with some of the major design decisions that underlie it. In this work, we thus present <jats:sc>SootUp</jats:sc>, a complete reimplementation of <jats:sc>Soot</jats:sc> that seeks to fulfill these requirements with a novel design, while at the same time keeping elements that <jats:sc>Soot</jats:sc> users have grown accustomed to.</jats:p>"}],"publication":"Tools and Algorithms for the Construction and Analysis of Systems","type":"book_chapter","language":[{"iso":"eng"}],"department":[{"_id":"76"}],"user_id":"477","_id":"53942","project":[{"_id":"107","name":"Reaktor: SFB 901 - Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten (Hektor) (Transferproject T3)"},{"_id":"668","name":"HEKTOR: Automatisierte Risikoanalyse unter Berücksichtigung von Open-Source-Abhängigkeiten"},{"_id":"1","name":"SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten"},{"_id":"82","name":"SFB 901; Projektbereich T: Transferprojekte des Sonderforschungsbereichs"},{"name":"SFB 901; TP T3: Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten (Hektor)","_id":"107"}]},{"year":"2023","citation":{"short":"K. Karakaya, E. Bodden, in: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, 2023.","mla":"Karakaya, Kadiray, and Eric Bodden. “Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis.” <i>2023 IEEE Conference on Software Testing, Verification and Validation (ICST)</i>, IEEE, 2023, doi:<a href=\"https://doi.org/10.1109/icst57152.2023.00036\">10.1109/icst57152.2023.00036</a>.","bibtex":"@inproceedings{Karakaya_Bodden_2023, title={Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis}, DOI={<a href=\"https://doi.org/10.1109/icst57152.2023.00036\">10.1109/icst57152.2023.00036</a>}, booktitle={2023 IEEE Conference on Software Testing, Verification and Validation (ICST)}, publisher={IEEE}, author={Karakaya, Kadiray and Bodden, Eric}, year={2023} }","apa":"Karakaya, K., &#38; Bodden, E. (2023). Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. <i>2023 IEEE Conference on Software Testing, Verification and Validation (ICST)</i>. <a href=\"https://doi.org/10.1109/icst57152.2023.00036\">https://doi.org/10.1109/icst57152.2023.00036</a>","ama":"Karakaya K, Bodden E. Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. In: <i>2023 IEEE Conference on Software Testing, Verification and Validation (ICST)</i>. IEEE; 2023. doi:<a href=\"https://doi.org/10.1109/icst57152.2023.00036\">10.1109/icst57152.2023.00036</a>","chicago":"Karakaya, Kadiray, and Eric Bodden. “Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis.” In <i>2023 IEEE Conference on Software Testing, Verification and Validation (ICST)</i>. IEEE, 2023. <a href=\"https://doi.org/10.1109/icst57152.2023.00036\">https://doi.org/10.1109/icst57152.2023.00036</a>.","ieee":"K. Karakaya and E. Bodden, “Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis,” 2023, doi: <a href=\"https://doi.org/10.1109/icst57152.2023.00036\">10.1109/icst57152.2023.00036</a>."},"publication_status":"published","title":"Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis","doi":"10.1109/icst57152.2023.00036","publisher":"IEEE","date_updated":"2025-04-07T10:10:54Z","author":[{"id":"70410","full_name":"Karakaya, Kadiray","orcid":"https://orcid.org/0000-0001-9266-2084","last_name":"Karakaya","first_name":"Kadiray"},{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"date_created":"2025-04-07T10:10:36Z","status":"public","publication":"2023 IEEE Conference on Software Testing, Verification and Validation (ICST)","type":"conference","language":[{"iso":"eng"}],"_id":"59412","department":[{"_id":"76"}],"user_id":"15249"},{"page":"95–96","citation":{"apa":"Yigitbas, E., Karakaya, K., Jovanovikj, I., &#38; Engels, G. (2022). Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces. In L. Grunske, J. Siegmund, &#38; A. Vogelsang (Eds.), <i>Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell: Vol. {P-320}</i> (pp. 95–96). Gesellschaft für Informatik e.V. <a href=\"https://doi.org/10.18420/se2022-ws-033\">https://doi.org/10.18420/se2022-ws-033</a>","short":"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.","bibtex":"@inproceedings{Yigitbas_Karakaya_Jovanovikj_Engels_2022, series={LNI}, title={Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces}, volume={{P-320}}, DOI={<a href=\"https://doi.org/10.18420/se2022-ws-033\">10.18420/se2022-ws-033</a>}, booktitle={Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell}, publisher={Gesellschaft für Informatik e.V.}, author={Yigitbas, Enes and Karakaya, Kadiray and Jovanovikj, Ivan and Engels, Gregor}, editor={Grunske, Lars and Siegmund, Janet and Vogelsang, Andreas}, year={2022}, pages={95–96}, collection={LNI} }","mla":"Yigitbas, Enes, et al. “Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces.” <i>Software Engineering 2022, Fachtagung Des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell</i>, edited by Lars Grunske et al., vol. {P-320}, Gesellschaft für Informatik e.V., 2022, pp. 95–96, doi:<a href=\"https://doi.org/10.18420/se2022-ws-033\">10.18420/se2022-ws-033</a>.","ama":"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. <i>Software Engineering 2022, Fachtagung Des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell</i>. Vol {P-320}. LNI. Gesellschaft für Informatik e.V.; 2022:95–96. doi:<a href=\"https://doi.org/10.18420/se2022-ws-033\">10.18420/se2022-ws-033</a>","chicago":"Yigitbas, Enes, Kadiray Karakaya, Ivan Jovanovikj, and Gregor Engels. “Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces.” In <i>Software Engineering 2022, Fachtagung Des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell</i>, edited by Lars Grunske, Janet Siegmund, and Andreas Vogelsang, {P-320}:95–96. LNI. Gesellschaft für Informatik e.V., 2022. <a href=\"https://doi.org/10.18420/se2022-ws-033\">https://doi.org/10.18420/se2022-ws-033</a>.","ieee":"E. Yigitbas, K. Karakaya, I. Jovanovikj, and G. Engels, “Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces,” in <i>Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell</i>, 2022, vol. {P-320}, pp. 95–96, doi: <a href=\"https://doi.org/10.18420/se2022-ws-033\">10.18420/se2022-ws-033</a>."},"year":"2022","volume":"{P-320}","author":[{"first_name":"Enes","full_name":"Yigitbas, Enes","id":"8447","last_name":"Yigitbas","orcid":"0000-0002-5967-833X"},{"first_name":"Kadiray","orcid":"https://orcid.org/0000-0001-9266-2084","last_name":"Karakaya","full_name":"Karakaya, Kadiray","id":"70410"},{"first_name":"Ivan","last_name":"Jovanovikj","full_name":"Jovanovikj, Ivan"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"date_created":"2022-02-21T10:47:51Z","date_updated":"2022-02-21T10:48:22Z","publisher":"Gesellschaft für Informatik e.V.","doi":"10.18420/se2022-ws-033","title":"Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces","publication":"Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell","type":"conference","status":"public","editor":[{"last_name":"Grunske","full_name":"Grunske, Lars","first_name":"Lars"},{"first_name":"Janet","full_name":"Siegmund, Janet","last_name":"Siegmund"},{"last_name":"Vogelsang","full_name":"Vogelsang, Andreas","first_name":"Andreas"}],"department":[{"_id":"66"},{"_id":"534"}],"user_id":"8447","series_title":"LNI","_id":"29927","language":[{"iso":"eng"}]},{"type":"conference","publication":"Proceedings of the 9th International Working Conference on Human-Centered Software Engineering (HCSE'22)","status":"public","_id":"32305","user_id":"8447","department":[{"_id":"66"},{"_id":"534"}],"language":[{"iso":"eng"}],"year":"2022","citation":{"ama":"Karakaya K, Yigitbas E, Engels G. Automated UX Evaluation for User-Centered Design of VR Interfaces. In: <i>Proceedings of the 9th International Working Conference on Human-Centered Software Engineering (HCSE’22)</i>. Springer; 2022.","chicago":"Karakaya, Kadiray, Enes Yigitbas, and Gregor Engels. “Automated UX Evaluation for User-Centered Design of VR Interfaces.” In <i>Proceedings of the 9th International Working Conference on Human-Centered Software Engineering (HCSE’22)</i>. Springer, 2022.","ieee":"K. Karakaya, E. Yigitbas, and G. Engels, “Automated UX Evaluation for User-Centered Design of VR Interfaces,” 2022.","apa":"Karakaya, K., Yigitbas, E., &#38; Engels, G. (2022). Automated UX Evaluation for User-Centered Design of VR Interfaces. <i>Proceedings of the 9th International Working Conference on Human-Centered Software Engineering (HCSE’22)</i>.","mla":"Karakaya, Kadiray, et al. “Automated UX Evaluation for User-Centered Design of VR Interfaces.” <i>Proceedings of the 9th International Working Conference on Human-Centered Software Engineering (HCSE’22)</i>, Springer, 2022.","bibtex":"@inproceedings{Karakaya_Yigitbas_Engels_2022, title={Automated UX Evaluation for User-Centered Design of VR Interfaces}, booktitle={Proceedings of the 9th International Working Conference on Human-Centered Software Engineering (HCSE’22)}, publisher={Springer}, author={Karakaya, Kadiray and Yigitbas, Enes and Engels, Gregor}, year={2022} }","short":"K. Karakaya, E. Yigitbas, G. Engels, in: Proceedings of the 9th International Working Conference on Human-Centered Software Engineering (HCSE’22), Springer, 2022."},"date_updated":"2023-02-14T10:47:15Z","publisher":"Springer","author":[{"orcid":"https://orcid.org/0000-0001-9266-2084","last_name":"Karakaya","full_name":"Karakaya, Kadiray","id":"70410","first_name":"Kadiray"},{"last_name":"Yigitbas","orcid":"0000-0002-5967-833X","id":"8447","full_name":"Yigitbas, Enes","first_name":"Enes"},{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"}],"date_created":"2022-07-01T08:01:53Z","title":"Automated UX Evaluation for User-Centered Design of VR Interfaces"},{"department":[{"_id":"66"},{"_id":"534"}],"user_id":"8447","_id":"22819","language":[{"iso":"eng"}],"publication":"2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","type":"conference","status":"public","date_created":"2021-07-27T08:34:48Z","author":[{"first_name":"Enes","orcid":"0000-0002-5967-833X","last_name":"Yigitbas","id":"8447","full_name":"Yigitbas, Enes"},{"last_name":"Karakaya","orcid":"https://orcid.org/0000-0001-9266-2084","full_name":"Karakaya, Kadiray","id":"70410","first_name":"Kadiray"},{"first_name":"Ivan","full_name":"Jovanovikj, Ivan","last_name":"Jovanovikj"},{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"}],"date_updated":"2022-01-06T06:55:42Z","doi":"10.1109/seams51251.2021.00015","title":"Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces","publication_status":"published","citation":{"ama":"Yigitbas E, Karakaya K, Jovanovikj I, Engels G. Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces. In: <i>2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)</i>. ; 2021. doi:<a href=\"https://doi.org/10.1109/seams51251.2021.00015\">10.1109/seams51251.2021.00015</a>","ieee":"E. Yigitbas, K. Karakaya, I. Jovanovikj, and G. Engels, “Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces,” in <i>2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)</i>, 2021.","chicago":"Yigitbas, Enes, Kadiray Karakaya, Ivan Jovanovikj, and Gregor Engels. “Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces.” In <i>2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)</i>, 2021. <a href=\"https://doi.org/10.1109/seams51251.2021.00015\">https://doi.org/10.1109/seams51251.2021.00015</a>.","bibtex":"@inproceedings{Yigitbas_Karakaya_Jovanovikj_Engels_2021, title={Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces}, DOI={<a href=\"https://doi.org/10.1109/seams51251.2021.00015\">10.1109/seams51251.2021.00015</a>}, booktitle={2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)}, author={Yigitbas, Enes and Karakaya, Kadiray and Jovanovikj, Ivan and Engels, Gregor}, year={2021} }","mla":"Yigitbas, Enes, et al. “Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces.” <i>2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)</i>, 2021, doi:<a href=\"https://doi.org/10.1109/seams51251.2021.00015\">10.1109/seams51251.2021.00015</a>.","short":"E. Yigitbas, K. Karakaya, I. Jovanovikj, G. Engels, in: 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021.","apa":"Yigitbas, E., Karakaya, K., Jovanovikj, I., &#38; Engels, G. (2021). Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces. In <i>2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)</i>. <a href=\"https://doi.org/10.1109/seams51251.2021.00015\">https://doi.org/10.1109/seams51251.2021.00015</a>"},"year":"2021"},{"title":"SootFX: A Static Code Feature Extraction Tool for Java and Android","author":[{"first_name":"Kadiray","last_name":"Karakaya","orcid":"https://orcid.org/0000-0001-9266-2084","full_name":"Karakaya, Kadiray","id":"70410"},{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","id":"59256","full_name":"Bodden, Eric"}],"date_created":"2022-10-20T13:09:08Z","date_updated":"2022-10-20T13:09:23Z","citation":{"mla":"Karakaya, Kadiray, and Eric Bodden. “SootFX: A Static Code Feature Extraction Tool for Java and Android.” <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>, 2021, pp. 181–186.","short":"K. Karakaya, E. Bodden, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021, pp. 181–186.","bibtex":"@inproceedings{Karakaya_Bodden_2021, title={SootFX: A Static Code Feature Extraction Tool for Java and Android}, booktitle={2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)}, author={Karakaya, Kadiray and Bodden, Eric}, year={2021}, pages={181–186} }","apa":"Karakaya, K., &#38; Bodden, E. (2021). SootFX: A Static Code Feature Extraction Tool for Java and Android. <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>, 181–186.","ama":"Karakaya K, Bodden E. SootFX: A Static Code Feature Extraction Tool for Java and Android. In: <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>. ; 2021:181–186.","ieee":"K. Karakaya and E. Bodden, “SootFX: A Static Code Feature Extraction Tool for Java and Android,” in <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>, 2021, pp. 181–186.","chicago":"Karakaya, Kadiray, and Eric Bodden. “SootFX: A Static Code Feature Extraction Tool for Java and Android.” In <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>, 181–186, 2021."},"page":"181–186","year":"2021","language":[{"iso":"eng"}],"user_id":"15249","department":[{"_id":"76"}],"_id":"33840","status":"public","type":"conference","publication":"2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)"}]