---
_id: '61506'
author:
- first_name: Kadiray
  full_name: Karakaya, Kadiray
  id: '70410'
  last_name: Karakaya
  orcid: https://orcid.org/0000-0001-9266-2084
- first_name: Jonas
  full_name: Klauke, Jonas
  id: '40915'
  last_name: Klauke
  orcid: 0000-0001-9160-9636
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
citation:
  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.'
  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>.
  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} }'
  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.
  ieee: K. Karakaya, J. Klauke, and E. Yigitbas, “Toward Static Analysis of Immersive
    Attacks,” 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.
  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.'
date_created: 2025-10-02T08:40:40Z
date_updated: 2026-01-15T11:45:28Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
publication: 'Proceedings of the 3rd International Workshop on Virtual and Augmented
  Reality Software Engineering (VARSE) @ ASE 2025 '
status: public
title: Toward Static Analysis of Immersive Attacks
type: conference
user_id: '8447'
year: '2025'
...
---
_id: '53938'
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.
author:
- first_name: Kadiray
  full_name: Karakaya, Kadiray
  id: '70410'
  last_name: Karakaya
  orcid: https://orcid.org/0000-0001-9266-2084
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
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>'
  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>
  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}
    }'
  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>.
  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>.'
  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.'
date_created: 2024-05-06T11:20:21Z
date_updated: 2024-05-06T11:23:06Z
department:
- _id: '76'
doi: 10.1145/3597503.3639092
language:
- iso: eng
publication: Proceedings of the IEEE/ACM 46th International Conference on Software
  Engineering
publication_status: published
publisher: ACM
status: public
title: Symbol-Specific Sparsification of Interprocedural Distributive Environment
  Problems
type: conference
user_id: '15249'
year: '2024'
...
---
_id: '53942'
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>
author:
- first_name: Kadiray
  full_name: Karakaya, Kadiray
  id: '70410'
  last_name: Karakaya
  orcid: https://orcid.org/0000-0001-9266-2084
- first_name: Stefan
  full_name: Schott, Stefan
  id: '54847'
  last_name: Schott
- first_name: Jonas
  full_name: Klauke, Jonas
  id: '40915'
  last_name: Klauke
  orcid: 0000-0001-9160-9636
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Markus
  full_name: Schmidt, Markus
  last_name: Schmidt
- first_name: Linghui
  full_name: Luo, Linghui
  last_name: Luo
- first_name: Dongjie
  full_name: He, Dongjie
  last_name: He
citation:
  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>'
  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>'
  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} }'
  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>.'
  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.'
  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>.'
  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.'
date_created: 2024-05-06T11:29:36Z
date_updated: 2025-11-11T14:26:52Z
department:
- _id: '76'
doi: 10.1007/978-3-031-57246-3_13
language:
- iso: eng
place: Cham
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'
- _id: '107'
  name: 'SFB 901; TP T3: Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten
    (Hektor)'
publication: Tools and Algorithms for the Construction and Analysis of Systems
publication_identifier:
  isbn:
  - '9783031572456'
  - '9783031572463'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer Nature Switzerland
status: public
title: 'SootUp: A Redesign of the Soot Static Analysis Framework'
type: book_chapter
user_id: '477'
year: '2024'
...
---
_id: '59412'
author:
- first_name: Kadiray
  full_name: Karakaya, Kadiray
  id: '70410'
  last_name: Karakaya
  orcid: https://orcid.org/0000-0001-9266-2084
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  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>'
  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>
  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}
    }'
  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>.'
  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>.
  short: 'K. Karakaya, E. Bodden, in: 2023 IEEE Conference on Software Testing, Verification
    and Validation (ICST), IEEE, 2023.'
date_created: 2025-04-07T10:10:36Z
date_updated: 2025-04-07T10:10:54Z
department:
- _id: '76'
doi: 10.1109/icst57152.2023.00036
language:
- iso: eng
publication: 2023 IEEE Conference on Software Testing, Verification and Validation
  (ICST)
publication_status: published
publisher: IEEE
status: public
title: Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis
type: conference
user_id: '15249'
year: '2023'
...
---
_id: '29927'
author:
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
- first_name: Kadiray
  full_name: Karakaya, Kadiray
  id: '70410'
  last_name: Karakaya
  orcid: https://orcid.org/0000-0001-9266-2084
- first_name: Ivan
  full_name: Jovanovikj, Ivan
  last_name: Jovanovikj
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  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>'
  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>'
  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} }'
  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>.'
  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>.
  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.'
date_created: 2022-02-21T10:47:51Z
date_updated: 2022-02-21T10:48:22Z
department:
- _id: '66'
- _id: '534'
doi: 10.18420/se2022-ws-033
editor:
- first_name: Lars
  full_name: Grunske, Lars
  last_name: Grunske
- first_name: Janet
  full_name: Siegmund, Janet
  last_name: Siegmund
- first_name: Andreas
  full_name: Vogelsang, Andreas
  last_name: Vogelsang
language:
- iso: eng
page: 95–96
publication: Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik,
  21.-25. Februar 2022, Virtuell
publisher: Gesellschaft für Informatik e.V.
series_title: LNI
status: public
title: Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces
type: conference
user_id: '8447'
volume: '{P-320}'
year: '2022'
...
---
_id: '32305'
author:
- first_name: Kadiray
  full_name: Karakaya, Kadiray
  id: '70410'
  last_name: Karakaya
  orcid: https://orcid.org/0000-0001-9266-2084
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
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.'
  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>.
  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} }'
  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.
  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.
  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_created: 2022-07-01T08:01:53Z
date_updated: 2023-02-14T10:47:15Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
publication: Proceedings of the 9th International Working Conference on Human-Centered
  Software Engineering (HCSE'22)
publisher: Springer
status: public
title: Automated UX Evaluation for User-Centered Design of VR Interfaces
type: conference
user_id: '8447'
year: '2022'
...
---
_id: '22819'
author:
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
- first_name: Kadiray
  full_name: Karakaya, Kadiray
  id: '70410'
  last_name: Karakaya
  orcid: https://orcid.org/0000-0001-9266-2084
- first_name: Ivan
  full_name: Jovanovikj, Ivan
  last_name: Jovanovikj
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
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>'
  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>
  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} }'
  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>.
  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.
  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.'
date_created: 2021-07-27T08:34:48Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '66'
- _id: '534'
doi: 10.1109/seams51251.2021.00015
language:
- iso: eng
publication: 2021 International Symposium on Software Engineering for Adaptive and
  Self-Managing Systems (SEAMS)
publication_status: published
status: public
title: Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces
type: conference
user_id: '8447'
year: '2021'
...
---
_id: '33840'
author:
- first_name: Kadiray
  full_name: Karakaya, Kadiray
  id: '70410'
  last_name: Karakaya
  orcid: https://orcid.org/0000-0001-9266-2084
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  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.'
  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.'
  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} }'
  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.'
  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.'
  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.'
date_created: 2022-10-20T13:09:08Z
date_updated: 2022-10-20T13:09:23Z
department:
- _id: '76'
language:
- iso: eng
page: 181–186
publication: 2021 IEEE 21st International Working Conference on Source Code Analysis
  and Manipulation (SCAM)
status: public
title: 'SootFX: A Static Code Feature Extraction Tool for Java and Android'
type: conference
user_id: '15249'
year: '2021'
...