---
_id: '20529'
author:
- first_name: Marcus
  full_name: Nachtigall, Marcus
  id: '41213'
  last_name: Nachtigall
- first_name: Lisa
  full_name: Nguyen Quang Do, Lisa
  last_name: Nguyen Quang Do
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Nachtigall M, Nguyen Quang Do L, Bodden E. Explaining Static Analysis -- A
    Perspective. In: <i>1st International Workshop on Explainable Software (EXPLAIN)
    at ASE</i>. ; 2019.'
  apa: Nachtigall, M., Nguyen Quang Do, L., &#38; Bodden, E. (2019). Explaining Static
    Analysis -- A Perspective. <i>1st International Workshop on Explainable Software
    (EXPLAIN) at ASE</i>.
  bibtex: '@inproceedings{Nachtigall_Nguyen Quang Do_Bodden_2019, title={Explaining
    Static Analysis -- A Perspective}, booktitle={1st International Workshop on Explainable
    Software (EXPLAIN) at ASE}, author={Nachtigall, Marcus and Nguyen Quang Do, Lisa
    and Bodden, Eric}, year={2019} }'
  chicago: Nachtigall, Marcus, Lisa Nguyen Quang Do, and Eric Bodden. “Explaining
    Static Analysis -- A Perspective.” In <i>1st International Workshop on Explainable
    Software (EXPLAIN) at ASE</i>, 2019.
  ieee: M. Nachtigall, L. Nguyen Quang Do, and E. Bodden, “Explaining Static Analysis
    -- A Perspective,” 2019.
  mla: Nachtigall, Marcus, et al. “Explaining Static Analysis -- A Perspective.” <i>1st
    International Workshop on Explainable Software (EXPLAIN) at ASE</i>, 2019.
  short: 'M. Nachtigall, L. Nguyen Quang Do, E. Bodden, in: 1st International Workshop
    on Explainable Software (EXPLAIN) at ASE, 2019.'
date_created: 2020-11-27T10:22:38Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/nachtigall19explaining.pdf
publication: 1st International Workshop on Explainable Software (EXPLAIN) at ASE
status: public
title: Explaining Static Analysis -- A Perspective
type: conference
user_id: '5786'
year: '2019'
...
---
_id: '20531'
author:
- first_name: Linghui
  full_name: Luo, Linghui
  last_name: Luo
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Johannes
  full_name: Späth, Johannes
  last_name: Späth
citation:
  ama: 'Luo L, Bodden E, Späth J. A Qualitative Analysis of Android Taint-Analysis
    Results. In: <i>IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2019)</i>. ; 2019.'
  apa: Luo, L., Bodden, E., &#38; Späth, J. (2019). A Qualitative Analysis of Android
    Taint-Analysis Results. <i>IEEE/ACM International Conference on Automated Software
    Engineering (ASE 2019)</i>.
  bibtex: '@inproceedings{Luo_Bodden_Späth_2019, title={A Qualitative Analysis of
    Android Taint-Analysis Results}, booktitle={IEEE/ACM International Conference
    on Automated Software Engineering (ASE 2019)}, author={Luo, Linghui and Bodden,
    Eric and Späth, Johannes}, year={2019} }'
  chicago: Luo, Linghui, Eric Bodden, and Johannes Späth. “A Qualitative Analysis
    of Android Taint-Analysis Results.” In <i>IEEE/ACM International Conference on
    Automated Software Engineering (ASE 2019)</i>, 2019.
  ieee: L. Luo, E. Bodden, and J. Späth, “A Qualitative Analysis of Android Taint-Analysis
    Results,” 2019.
  mla: Luo, Linghui, et al. “A Qualitative Analysis of Android Taint-Analysis Results.”
    <i>IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)</i>,
    2019.
  short: 'L. Luo, E. Bodden, J. Späth, in: IEEE/ACM International Conference on Automated
    Software Engineering (ASE 2019), 2019.'
date_created: 2020-11-27T10:25:40Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ase19qualitative.pdf
publication: IEEE/ACM International Conference on Automated Software Engineering (ASE
  2019)
status: public
title: A Qualitative Analysis of Android Taint-Analysis Results
type: conference
user_id: '5786'
year: '2019'
...
---
_id: '20532'
author:
- first_name: Goran
  full_name: Piskachev, Goran
  last_name: Piskachev
- first_name: Lisa
  full_name: Nguyen Quang Do, Lisa
  last_name: Nguyen Quang Do
- first_name: Oshando
  full_name: Johnson, Oshando
  last_name: Johnson
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Piskachev G, Nguyen Quang Do L, Johnson O, Bodden E. SWAN_ASSIST: Semi-Automated
    Detection of Code-Specific, Security-Relevant Methods. In: <i>IEEE/ACM International
    Conference on Automated Software Engineering (ASE 2019), Tool Demo Track</i>.
    ; 2019.'
  apa: 'Piskachev, G., Nguyen Quang Do, L., Johnson, O., &#38; Bodden, E. (2019).
    SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.
    <i>IEEE/ACM International Conference on Automated Software Engineering (ASE 2019),
    Tool Demo Track</i>.'
  bibtex: '@inproceedings{Piskachev_Nguyen Quang Do_Johnson_Bodden_2019, title={SWAN_ASSIST:
    Semi-Automated Detection of Code-Specific, Security-Relevant Methods}, booktitle={IEEE/ACM
    International Conference on Automated Software Engineering (ASE 2019), Tool Demo
    Track}, author={Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando
    and Bodden, Eric}, year={2019} }'
  chicago: 'Piskachev, Goran, Lisa Nguyen Quang Do, Oshando Johnson, and Eric Bodden.
    “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.”
    In <i>IEEE/ACM International Conference on Automated Software Engineering (ASE
    2019), Tool Demo Track</i>, 2019.'
  ieee: 'G. Piskachev, L. Nguyen Quang Do, O. Johnson, and E. Bodden, “SWAN_ASSIST:
    Semi-Automated Detection of Code-Specific, Security-Relevant Methods,” 2019.'
  mla: 'Piskachev, Goran, et al. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific,
    Security-Relevant Methods.” <i>IEEE/ACM International Conference on Automated
    Software Engineering (ASE 2019), Tool Demo Track</i>, 2019.'
  short: 'G. Piskachev, L. Nguyen Quang Do, O. Johnson, E. Bodden, in: IEEE/ACM International
    Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, 2019.'
date_created: 2020-11-27T10:37:17Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ase19swanAssist.pdf
publication: IEEE/ACM International Conference on Automated Software Engineering (ASE
  2019), Tool Demo Track
status: public
title: 'SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant
  Methods'
type: conference
user_id: '5786'
year: '2019'
...
---
_id: '20533'
author:
- first_name: Stefan
  full_name: Krüger, Stefan
  last_name: Krüger
- first_name: Johannes
  full_name: Späth, Johannes
  last_name: Späth
- first_name: Karim
  full_name: Ali, Karim
  last_name: Ali
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Mira
  full_name: Mezini, Mira
  last_name: Mezini
citation:
  ama: 'Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach
    to Validating the Correct Usage of Cryptographic APIs. <i>IEEE Transactions on
    Software Engineering</i>. Published online 2019:1-1. doi:<a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a>'
  apa: 'Krüger, S., Späth, J., Ali, K., Bodden, E., &#38; Mezini, M. (2019). CrySL:
    An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
    <i>IEEE Transactions on Software Engineering</i>, 1–1. <a href="https://doi.org/10.1109/TSE.2019.2948910">https://doi.org/10.1109/TSE.2019.2948910</a>'
  bibtex: '@article{Krüger_Späth_Ali_Bodden_Mezini_2019, title={CrySL: An Extensible
    Approach to Validating the Correct Usage of Cryptographic APIs}, DOI={<a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a>},
    journal={IEEE Transactions on Software Engineering}, author={Krüger, Stefan and
    Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2019},
    pages={1–1} }'
  chicago: 'Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini.
    “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
    APIs.” <i>IEEE Transactions on Software Engineering</i>, 2019, 1–1. <a href="https://doi.org/10.1109/TSE.2019.2948910">https://doi.org/10.1109/TSE.2019.2948910</a>.'
  ieee: 'S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible
    Approach to Validating the Correct Usage of Cryptographic APIs,” <i>IEEE Transactions
    on Software Engineering</i>, pp. 1–1, 2019, doi: <a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a>.'
  mla: 'Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct
    Usage of Cryptographic APIs.” <i>IEEE Transactions on Software Engineering</i>,
    2019, pp. 1–1, doi:<a href="https://doi.org/10.1109/TSE.2019.2948910">10.1109/TSE.2019.2948910</a>.'
  short: S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software
    Engineering (2019) 1–1.
date_created: 2020-11-27T10:48:38Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1109/TSE.2019.2948910
keyword:
- Java
- Encryption
- Static analysis
- Tools
- Ciphers
- Semantics
- cryptography
- domain-specific language
- static analysis
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/tse19CrySL.pdf
page: 1-1
publication: IEEE Transactions on Software Engineering
publication_identifier:
  issn:
  - 2326-3881
status: public
title: 'CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
  APIs'
type: journal_article
user_id: '5786'
year: '2019'
...
---
_id: '20534'
author:
- first_name: Goran
  full_name: Piskachev, Goran
  last_name: Piskachev
- first_name: Lisa
  full_name: Nguyen Quang Do, Lisa
  last_name: Nguyen Quang Do
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Piskachev G, Nguyen Quang Do L, Bodden E. Codebase-Adaptive Detection of Security-Relevant
    Methods. In: <i>ACM SIGSOFT International Symposium on Software Testing and Analysis
    (ISSTA)</i>. ; 2019.'
  apa: Piskachev, G., Nguyen Quang Do, L., &#38; Bodden, E. (2019). Codebase-Adaptive
    Detection of Security-Relevant Methods. <i>ACM SIGSOFT International Symposium
    on Software Testing and Analysis (ISSTA)</i>.
  bibtex: '@inproceedings{Piskachev_Nguyen Quang Do_Bodden_2019, title={Codebase-Adaptive
    Detection of Security-Relevant Methods}, booktitle={ACM SIGSOFT International
    Symposium on Software Testing and Analysis (ISSTA)}, author={Piskachev, Goran
    and Nguyen Quang Do, Lisa and Bodden, Eric}, year={2019} }'
  chicago: Piskachev, Goran, Lisa Nguyen Quang Do, and Eric Bodden. “Codebase-Adaptive
    Detection of Security-Relevant Methods.” In <i>ACM SIGSOFT International Symposium
    on Software Testing and Analysis (ISSTA)</i>, 2019.
  ieee: G. Piskachev, L. Nguyen Quang Do, and E. Bodden, “Codebase-Adaptive Detection
    of Security-Relevant Methods,” 2019.
  mla: Piskachev, Goran, et al. “Codebase-Adaptive Detection of Security-Relevant
    Methods.” <i>ACM SIGSOFT International Symposium on Software Testing and Analysis
    (ISSTA)</i>, 2019.
  short: 'G. Piskachev, L. Nguyen Quang Do, E. Bodden, in: ACM SIGSOFT International
    Symposium on Software Testing and Analysis (ISSTA), 2019.'
date_created: 2020-11-27T10:49:33Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/issta19swan.pdf
publication: ACM SIGSOFT International Symposium on Software Testing and Analysis
  (ISSTA)
status: public
title: Codebase-Adaptive Detection of Security-Relevant Methods
type: conference
user_id: '5786'
year: '2019'
...
---
_id: '20535'
author:
- first_name: Linghui
  full_name: Luo, Linghui
  last_name: Luo
- first_name: Julian
  full_name: Dolby, Julian
  last_name: Dolby
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Luo L, Dolby J, Bodden E. MagpieBridge: A General Approach to Integrating
    Static Analyses into IDEs and Editors. In: <i>European Conference on Object-Oriented
    Programming (ECOOP)</i>. ; 2019.'
  apa: 'Luo, L., Dolby, J., &#38; Bodden, E. (2019). MagpieBridge: A General Approach
    to Integrating Static Analyses into IDEs and Editors. <i>European Conference on
    Object-Oriented Programming (ECOOP)</i>.'
  bibtex: '@inproceedings{Luo_Dolby_Bodden_2019, title={MagpieBridge: A General Approach
    to Integrating Static Analyses into IDEs and Editors}, booktitle={European Conference
    on Object-Oriented Programming (ECOOP)}, author={Luo, Linghui and Dolby, Julian
    and Bodden, Eric}, year={2019} }'
  chicago: 'Luo, Linghui, Julian Dolby, and Eric Bodden. “MagpieBridge: A General
    Approach to Integrating Static Analyses into IDEs and Editors.” In <i>European
    Conference on Object-Oriented Programming (ECOOP)</i>, 2019.'
  ieee: 'L. Luo, J. Dolby, and E. Bodden, “MagpieBridge: A General Approach to Integrating
    Static Analyses into IDEs and Editors,” 2019.'
  mla: 'Luo, Linghui, et al. “MagpieBridge: A General Approach to Integrating Static
    Analyses into IDEs and Editors.” <i>European Conference on Object-Oriented Programming
    (ECOOP)</i>, 2019.'
  short: 'L. Luo, J. Dolby, E. Bodden, in: European Conference on Object-Oriented
    Programming (ECOOP), 2019.'
date_created: 2020-11-27T10:50:07Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ldb19magpiebridge.pdf
publication: European Conference on Object-Oriented Programming (ECOOP)
status: public
title: 'MagpieBridge: A General Approach to Integrating Static Analyses into IDEs
  and Editors'
type: conference
user_id: '5786'
year: '2019'
...
---
_id: '20536'
author:
- first_name: Johannes
  full_name: Späth, Johannes
  last_name: Späth
citation:
  ama: Späth J. <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>.
    Universität Paderborn; 2019.
  apa: Späth, J. (2019). <i>Synchronized Pushdown Systems for Pointer and Data-Flow
    Analysis</i>. Universität Paderborn.
  bibtex: '@book{Späth_2019, title={Synchronized Pushdown Systems for Pointer and
    Data-Flow Analysis}, publisher={Universität Paderborn}, author={Späth, Johannes},
    year={2019} }'
  chicago: Späth, Johannes. <i>Synchronized Pushdown Systems for Pointer and Data-Flow
    Analysis</i>. Universität Paderborn, 2019.
  ieee: J. Späth, <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>.
    Universität Paderborn, 2019.
  mla: Späth, Johannes. <i>Synchronized Pushdown Systems for Pointer and Data-Flow
    Analysis</i>. Universität Paderborn, 2019.
  short: J. Späth, Synchronized Pushdown Systems for Pointer and Data-Flow Analysis,
    Universität Paderborn, 2019.
date_created: 2020-11-27T10:50:55Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/phdSpaeth.pdf
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
title: Synchronized Pushdown Systems for Pointer and Data-Flow Analysis
type: dissertation
user_id: '5786'
year: '2019'
...
---
_id: '20537'
author:
- first_name: Goran
  full_name: Piskachev, Goran
  last_name: Piskachev
- first_name: Lisa
  full_name: Nguyen, Lisa
  last_name: Nguyen
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: Piskachev G, Nguyen L, Bodden E. <i>Codebase-Adaptive Detection of Security-Relevant
    Methods</i>.; 2019.
  apa: Piskachev, G., Nguyen, L., &#38; Bodden, E. (2019). <i>Codebase-Adaptive Detection
    of Security-Relevant Methods</i>.
  bibtex: '@book{Piskachev_Nguyen_Bodden_2019, title={Codebase-Adaptive Detection
    of Security-Relevant Methods}, author={Piskachev, Goran and Nguyen, Lisa and Bodden,
    Eric}, year={2019} }'
  chicago: Piskachev, Goran, Lisa Nguyen, and Eric Bodden. <i>Codebase-Adaptive Detection
    of Security-Relevant Methods</i>, 2019.
  ieee: G. Piskachev, L. Nguyen, and E. Bodden, <i>Codebase-Adaptive Detection of
    Security-Relevant Methods</i>. 2019.
  mla: Piskachev, Goran, et al. <i>Codebase-Adaptive Detection of Security-Relevant
    Methods</i>. 2019.
  short: G. Piskachev, L. Nguyen, E. Bodden, Codebase-Adaptive Detection of Security-Relevant
    Methods, 2019.
date_created: 2020-11-27T10:51:53Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
status: public
title: Codebase-Adaptive Detection of Security-Relevant Methods
type: report
user_id: '5786'
year: '2019'
...
---
_id: '20538'
author:
- first_name: Sigmund
  full_name: Albert Gorski Iii, Sigmund
  last_name: Albert Gorski Iii
- first_name: Benjamin
  full_name: Andow, Benjamin
  last_name: Andow
- first_name: Adwait
  full_name: Nadkarni, Adwait
  last_name: Nadkarni
- first_name: Sunil
  full_name: Manandhar, Sunil
  last_name: Manandhar
- first_name: William
  full_name: Enck, William
  last_name: Enck
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Alexandre
  full_name: Bartel, Alexandre
  last_name: Bartel
citation:
  ama: 'Albert Gorski Iii S, Andow B, Nadkarni A, et al. ACMiner: Extraction and Analysis
    of Authorization Checks in Android’s Middleware. In: <i>ACM Conference on Data
    and Application Security and Privacy (CODASPY 2019)</i>. ; 2019.'
  apa: 'Albert Gorski Iii, S., Andow, B., Nadkarni, A., Manandhar, S., Enck, W., Bodden,
    E., &#38; Bartel, A. (2019). ACMiner: Extraction and Analysis of Authorization
    Checks in Android’s Middleware. <i>ACM Conference on Data and Application Security
    and Privacy (CODASPY 2019)</i>.'
  bibtex: '@inproceedings{Albert Gorski Iii_Andow_Nadkarni_Manandhar_Enck_Bodden_Bartel_2019,
    title={ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware},
    booktitle={ACM Conference on Data and Application Security and Privacy (CODASPY
    2019)}, author={Albert Gorski Iii, Sigmund and Andow, Benjamin and Nadkarni, Adwait
    and Manandhar, Sunil and Enck, William and Bodden, Eric and Bartel, Alexandre},
    year={2019} }'
  chicago: 'Albert Gorski Iii, Sigmund, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar,
    William Enck, Eric Bodden, and Alexandre Bartel. “ACMiner: Extraction and Analysis
    of Authorization Checks in Android’s Middleware.” In <i>ACM Conference on Data
    and Application Security and Privacy (CODASPY 2019)</i>, 2019.'
  ieee: 'S. Albert Gorski Iii <i>et al.</i>, “ACMiner: Extraction and Analysis of
    Authorization Checks in Android’s Middleware,” 2019.'
  mla: 'Albert Gorski Iii, Sigmund, et al. “ACMiner: Extraction and Analysis of Authorization
    Checks in Android’s Middleware.” <i>ACM Conference on Data and Application Security
    and Privacy (CODASPY 2019)</i>, 2019.'
  short: 'S. Albert Gorski Iii, B. Andow, A. Nadkarni, S. Manandhar, W. Enck, E. Bodden,
    A. Bartel, in: ACM Conference on Data and Application Security and Privacy (CODASPY
    2019), 2019.'
date_created: 2020-11-27T10:52:59Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
keyword:
- ITSECWEBSITE
- CROSSING
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/gan19acminer.pdf
publication: ACM Conference on Data and Application Security and Privacy (CODASPY
  2019)
status: public
title: 'ACMiner: Extraction and Analysis of Authorization Checks in Android''s Middleware'
type: conference
user_id: '5786'
year: '2019'
...
---
_id: '20539'
author:
- first_name: Johannes
  full_name: Späth, Johannes
  last_name: Späth
- first_name: Karim
  full_name: Ali, Karim
  last_name: Ali
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: Späth J, Ali K, Bodden E. Context-, Flow-, and Field-sensitive Data-flow Analysis
    Using Synchronized Pushdown Systems. <i>Proceedings of the ACM SIGPLAN Symposium
    on Principles of Programming Languages</i>. 2019;3(POPL):48:1-48:29. doi:<a href="https://doi.org/10.1145/3290361">10.1145/3290361</a>
  apa: Späth, J., Ali, K., &#38; Bodden, E. (2019). Context-, Flow-, and Field-sensitive
    Data-flow Analysis Using Synchronized Pushdown Systems. <i>Proceedings of the
    ACM SIGPLAN Symposium on Principles of Programming Languages</i>, <i>3</i>(POPL),
    48:1-48:29. <a href="https://doi.org/10.1145/3290361">https://doi.org/10.1145/3290361</a>
  bibtex: '@article{Späth_Ali_Bodden_2019, title={Context-, Flow-, and Field-sensitive
    Data-flow Analysis Using Synchronized Pushdown Systems}, volume={3}, DOI={<a href="https://doi.org/10.1145/3290361">10.1145/3290361</a>},
    number={POPL}, journal={Proceedings of the ACM SIGPLAN Symposium on Principles
    of Programming Languages}, publisher={ACM}, author={Späth, Johannes and Ali, Karim
    and Bodden, Eric}, year={2019}, pages={48:1-48:29} }'
  chicago: 'Späth, Johannes, Karim Ali, and Eric Bodden. “Context-, Flow-, and Field-Sensitive
    Data-Flow Analysis Using Synchronized Pushdown Systems.” <i>Proceedings of the
    ACM SIGPLAN Symposium on Principles of Programming Languages</i> 3, no. POPL (2019):
    48:1-48:29. <a href="https://doi.org/10.1145/3290361">https://doi.org/10.1145/3290361</a>.'
  ieee: 'J. Späth, K. Ali, and E. Bodden, “Context-, Flow-, and Field-sensitive Data-flow
    Analysis Using Synchronized Pushdown Systems,” <i>Proceedings of the ACM SIGPLAN
    Symposium on Principles of Programming Languages</i>, vol. 3, no. POPL, p. 48:1-48:29,
    2019, doi: <a href="https://doi.org/10.1145/3290361">10.1145/3290361</a>.'
  mla: Späth, Johannes, et al. “Context-, Flow-, and Field-Sensitive Data-Flow Analysis
    Using Synchronized Pushdown Systems.” <i>Proceedings of the ACM SIGPLAN Symposium
    on Principles of Programming Languages</i>, vol. 3, no. POPL, ACM, 2019, p. 48:1-48:29,
    doi:<a href="https://doi.org/10.1145/3290361">10.1145/3290361</a>.
  short: J. Späth, K. Ali, E. Bodden, Proceedings of the ACM SIGPLAN Symposium on
    Principles of Programming Languages 3 (2019) 48:1-48:29.
date_created: 2020-11-27T10:53:57Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1145/3290361
intvolume: '         3'
issue: POPL
keyword:
- ATTRACT
- ITSECWEBSITE
- CROSSING
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/sab19context.pdf
page: 48:1-48:29
publication: Proceedings of the ACM SIGPLAN Symposium on Principles of Programming
  Languages
publication_identifier:
  issn:
  - 2475-1421
publisher: ACM
status: public
title: Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized
  Pushdown Systems
type: journal_article
user_id: '5786'
volume: 3
year: '2019'
...
---
_id: '20759'
author:
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
citation:
  ama: 'Gerking C, Schubert D. Component-Based Refinement and Verification of Information-Flow
    Security Policies for Cyber-Physical Microservice Architectures. In: <i>International
    Conference on Software Architecture (ICSA 2019)</i>. ; 2019.'
  apa: Gerking, C., &#38; Schubert, D. (2019). Component-Based Refinement and Verification
    of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.
    <i>International Conference on Software Architecture (ICSA 2019)</i>.
  bibtex: '@inproceedings{Gerking_Schubert_2019, title={Component-Based Refinement
    and Verification of Information-Flow Security Policies for Cyber-Physical Microservice
    Architectures}, booktitle={International Conference on Software Architecture (ICSA
    2019)}, author={Gerking, Christopher and Schubert, David}, year={2019} }'
  chicago: Gerking, Christopher, and David Schubert. “Component-Based Refinement and
    Verification of Information-Flow Security Policies for Cyber-Physical Microservice
    Architectures.” In <i>International Conference on Software Architecture (ICSA
    2019)</i>, 2019.
  ieee: C. Gerking and D. Schubert, “Component-Based Refinement and Verification of
    Information-Flow Security Policies for Cyber-Physical Microservice Architectures,”
    2019.
  mla: Gerking, Christopher, and David Schubert. “Component-Based Refinement and Verification
    of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.”
    <i>International Conference on Software Architecture (ICSA 2019)</i>, 2019.
  short: 'C. Gerking, D. Schubert, in: International Conference on Software Architecture
    (ICSA 2019), 2019.'
date_created: 2020-12-16T14:03:44Z
date_updated: 2022-01-06T06:54:36Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publication: International Conference on Software Architecture (ICSA 2019)
status: public
title: Component-Based Refinement and Verification of Information-Flow Security Policies
  for Cyber-Physical Microservice Architectures
type: conference
user_id: '5786'
year: '2019'
...
---
_id: '18018'
abstract:
- lang: eng
  text: |-
    A common statistical task lies in showing asymptotic normality of certain
    statistics. In many of these situations, classical textbook results on weak
    convergence theory suffice for the problem at hand. However, there are quite
    some scenarios where stronger results are needed in order to establish an
    asymptotic normal approximation uniformly over a family of probability
    measures. In this note we collect some results in this direction. We restrict
    ourselves to weak convergence in $\mathbb R^d$ with continuous limit measures.
author:
- first_name: Viktor
  full_name: Bengs, Viktor
  last_name: Bengs
- first_name: Hajo
  full_name: Holzmann, Hajo
  last_name: Holzmann
citation:
  ama: Bengs V, Holzmann H. Uniform approximation in classical weak convergence theory.
    <i>arXiv:190309864</i>. 2019.
  apa: Bengs, V., &#38; Holzmann, H. (2019). Uniform approximation in classical weak
    convergence theory. <i>ArXiv:1903.09864</i>.
  bibtex: '@article{Bengs_Holzmann_2019, title={Uniform approximation in classical
    weak convergence theory}, journal={arXiv:1903.09864}, author={Bengs, Viktor and
    Holzmann, Hajo}, year={2019} }'
  chicago: Bengs, Viktor, and Hajo Holzmann. “Uniform Approximation in Classical Weak
    Convergence Theory.” <i>ArXiv:1903.09864</i>, 2019.
  ieee: V. Bengs and H. Holzmann, “Uniform approximation in classical weak convergence
    theory,” <i>arXiv:1903.09864</i>. 2019.
  mla: Bengs, Viktor, and Hajo Holzmann. “Uniform Approximation in Classical Weak
    Convergence Theory.” <i>ArXiv:1903.09864</i>, 2019.
  short: V. Bengs, H. Holzmann, ArXiv:1903.09864 (2019).
date_created: 2020-08-17T12:10:55Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
publication: arXiv:1903.09864
status: public
title: Uniform approximation in classical weak convergence theory
type: preprint
user_id: '76599'
year: '2019'
...
---
_id: '22708'
author:
- first_name: Daniel
  full_name: Eckelt, Daniel
  last_name: Eckelt
- first_name: Ronny
  full_name: Bismark, Ronny
  last_name: Bismark
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
- first_name: Maximilian
  full_name: Frank, Maximilian
  last_name: Frank
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Jannik
  full_name: Reinhold, Jannik
  id: '33669'
  last_name: Reinhold
citation:
  ama: 'Eckelt D, Bismark R, Dumitrescu R, Frank M, Gausemeier J, Reinhold J. Strategische
    Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen.
    In: Gausemeier J, Bauer W, Dumitrescu R, Heinz Nixdorf Institut, eds. <i>Vorausschau
    und Technologieplanung</i>. Vol 390. Heinz Nixdorf Institut. ; 2019:535-555.'
  apa: Eckelt, D., Bismark, R., Dumitrescu, R., Frank, M., Gausemeier, J., &#38; Reinhold,
    J. (2019). Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes
    Fahren von morgen. In J. Gausemeier, W. Bauer, R. Dumitrescu, &#38; Heinz Nixdorf
    Institut (Eds.), <i>Vorausschau und Technologieplanung</i> (Vol. 390, pp. 535–555).
  bibtex: '@inproceedings{Eckelt_Bismark_Dumitrescu_Frank_Gausemeier_Reinhold_2019,
    series={Heinz Nixdorf Institut}, title={Strategische Planung des Wertschöpfungsbeitrags
    von HELLA für automatisiertes Fahren von morgen}, volume={390}, booktitle={Vorausschau
    und Technologieplanung}, author={Eckelt, Daniel and Bismark, Ronny and Dumitrescu,
    Roman and Frank, Maximilian and Gausemeier, Jürgen and Reinhold, Jannik}, editor={Gausemeier,
    Jürgen and Bauer, Wilhelm and Dumitrescu, Roman and Heinz Nixdorf InstitutEditors},
    year={2019}, pages={535–555}, collection={Heinz Nixdorf Institut} }'
  chicago: Eckelt, Daniel, Ronny Bismark, Roman Dumitrescu, Maximilian Frank, Jürgen
    Gausemeier, and Jannik Reinhold. “Strategische Planung des Wertschöpfungsbeitrags
    von HELLA für automatisiertes Fahren von morgen.” In <i>Vorausschau und Technologieplanung</i>,
    edited by Jürgen Gausemeier, Wilhelm Bauer, Roman Dumitrescu, and Heinz Nixdorf
    Institut, 390:535–55. Heinz Nixdorf Institut, 2019.
  ieee: D. Eckelt, R. Bismark, R. Dumitrescu, M. Frank, J. Gausemeier, and J. Reinhold,
    “Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes
    Fahren von morgen,” in <i>Vorausschau und Technologieplanung</i>, 2019, vol. 390,
    pp. 535–555.
  mla: Eckelt, Daniel, et al. “Strategische Planung des Wertschöpfungsbeitrags von
    HELLA für automatisiertes Fahren von morgen.” <i>Vorausschau und Technologieplanung</i>,
    edited by Jürgen Gausemeier et al., vol. 390, 2019, pp. 535–55.
  short: 'D. Eckelt, R. Bismark, R. Dumitrescu, M. Frank, J. Gausemeier, J. Reinhold,
    in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), Vorausschau
    und Technologieplanung, 2019, pp. 535–555.'
corporate_editor:
- Heinz Nixdorf Institut
date_created: 2021-07-12T12:36:07Z
date_updated: 2022-01-06T06:55:39Z
department:
- _id: '563'
editor:
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Wilhelm
  full_name: Bauer, Wilhelm
  last_name: Bauer
- first_name: Roman
  full_name: Dumitrescu, Roman
  last_name: Dumitrescu
intvolume: '       390'
language:
- iso: ger
page: 535-555
publication: Vorausschau und Technologieplanung
series_title: Heinz Nixdorf Institut
status: public
title: Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes
  Fahren von morgen
type: conference
user_id: '21240'
volume: 390
year: '2019'
...
---
_id: '22709'
author:
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
- first_name: Sergej
  full_name: Japs, Sergej
  last_name: Japs
- first_name: Lydia
  full_name: Kaiser, Lydia
  last_name: Kaiser
- first_name: Rik
  full_name: Rasor, Rik
  last_name: Rasor
citation:
  ama: 'Dumitrescu R, Japs S, Kaiser L, Rasor R. Model Checking of Integratively Designed
    Product and Production Systems. In: <i>TdSE 2019</i>. Garching; 2019.'
  apa: Dumitrescu, R., Japs, S., Kaiser, L., &#38; Rasor, R. (2019). Model Checking
    of Integratively Designed Product and Production Systems. In <i>TdSE 2019</i>.
    Garching.
  bibtex: '@inproceedings{Dumitrescu_Japs_Kaiser_Rasor_2019, place={Garching}, title={Model
    Checking of Integratively Designed Product and Production Systems}, booktitle={TdSE
    2019}, author={Dumitrescu, Roman and Japs, Sergej and Kaiser, Lydia and Rasor,
    Rik}, year={2019} }'
  chicago: Dumitrescu, Roman, Sergej Japs, Lydia Kaiser, and Rik Rasor. “Model Checking
    of Integratively Designed Product and Production Systems.” In <i>TdSE 2019</i>.
    Garching, 2019.
  ieee: R. Dumitrescu, S. Japs, L. Kaiser, and R. Rasor, “Model Checking of Integratively
    Designed Product and Production Systems,” in <i>TdSE 2019</i>, 2019.
  mla: Dumitrescu, Roman, et al. “Model Checking of Integratively Designed Product
    and Production Systems.” <i>TdSE 2019</i>, 2019.
  short: 'R. Dumitrescu, S. Japs, L. Kaiser, R. Rasor, in: TdSE 2019, Garching, 2019.'
date_created: 2021-07-12T12:44:13Z
date_updated: 2022-01-06T06:55:39Z
department:
- _id: '563'
language:
- iso: eng
place: Garching
publication: TdSE 2019
status: public
title: Model Checking of Integratively Designed Product and Production Systems
type: conference
user_id: '21240'
year: '2019'
...
---
_id: '22710'
author:
- first_name: Alexander
  full_name: Albers, Alexander
  last_name: Albers
- first_name: Kai Fabian
  full_name: Ellermann, Kai Fabian
  last_name: Ellermann
- first_name: Arno
  full_name: Kühn, Arno
  last_name: Kühn
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
citation:
  ama: 'Albers A, Ellermann KF, Kühn A, Dumitrescu R. Entwicklung einer Suchstrategie
    für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik. In:
    Gausemeier J, Bauer W, Dumitrescu R, Heinz Nixdorf Institut, eds. <i>15. Symposium
    Für Vorausschau Und Technologieplanung</i>. Vol 390. Berlin; 2019:277-291.'
  apa: Albers, A., Ellermann, K. F., Kühn, A., &#38; Dumitrescu, R. (2019). Entwicklung
    einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der
    Antriebstechnik. In J. Gausemeier, W. Bauer, R. Dumitrescu, &#38; Heinz Nixdorf
    Institut (Eds.), <i>15. Symposium für Vorausschau und Technologieplanung</i> (Vol.
    390, pp. 277–291). Berlin.
  bibtex: '@inproceedings{Albers_Ellermann_Kühn_Dumitrescu_2019, place={Berlin}, title={Entwicklung
    einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der
    Antriebstechnik}, volume={390}, booktitle={15. Symposium für Vorausschau und Technologieplanung},
    author={Albers, Alexander and Ellermann, Kai Fabian and Kühn, Arno and Dumitrescu,
    Roman}, editor={Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman and
    Heinz Nixdorf InstitutEditors}, year={2019}, pages={277–291} }'
  chicago: Albers, Alexander, Kai Fabian Ellermann, Arno Kühn, and Roman Dumitrescu.
    “Entwicklung Einer Suchstrategie Für Ein Medienbasiertes Technologiesanning Am
    Beispiel Der Antriebstechnik.” In <i>15. Symposium Für Vorausschau Und Technologieplanung</i>,
    edited by Jürgen Gausemeier, Wilhelm Bauer, Roman Dumitrescu, and Heinz Nixdorf
    Institut, 390:277–91. Berlin, 2019.
  ieee: A. Albers, K. F. Ellermann, A. Kühn, and R. Dumitrescu, “Entwicklung einer
    Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik,”
    in <i>15. Symposium für Vorausschau und Technologieplanung</i>, 2019, vol. 390,
    pp. 277–291.
  mla: Albers, Alexander, et al. “Entwicklung Einer Suchstrategie Für Ein Medienbasiertes
    Technologiesanning Am Beispiel Der Antriebstechnik.” <i>15. Symposium Für Vorausschau
    Und Technologieplanung</i>, edited by Jürgen Gausemeier et al., vol. 390, 2019,
    pp. 277–91.
  short: 'A. Albers, K.F. Ellermann, A. Kühn, R. Dumitrescu, in: J. Gausemeier, W.
    Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), 15. Symposium Für Vorausschau
    Und Technologieplanung, Berlin, 2019, pp. 277–291.'
corporate_editor:
- Heinz Nixdorf Institut
date_created: 2021-07-12T12:50:33Z
date_updated: 2022-01-06T06:55:39Z
department:
- _id: '563'
editor:
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Wilhelm
  full_name: Bauer, Wilhelm
  last_name: Bauer
- first_name: Roman
  full_name: Dumitrescu, Roman
  last_name: Dumitrescu
intvolume: '       390'
language:
- iso: eng
page: 277-291
place: Berlin
publication: 15. Symposium für Vorausschau und Technologieplanung
status: public
title: Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning
  am Beispiel der Antriebstechnik
type: conference
user_id: '21240'
volume: 390
year: '2019'
...
---
_id: '22712'
author:
- first_name: Marvin
  full_name: Drewel, Marvin
  last_name: Drewel
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Mareen
  full_name: Vaßholz, Mareen
  last_name: Vaßholz
- first_name: Nils
  full_name: Homburg, Nils
  last_name: Homburg
citation:
  ama: 'Drewel M, Gausemeier J, Vaßholz M, Homburg N. Einstieg in die Plattformökonomie.
    In: Gausemeier J, Bauer W, Dumitrescu R, Heinz Nixdorf Institut, eds. <i>Symposium
    Für Vorausschau Und Technologieplanung</i>. Vol 15. ; 2019.'
  apa: Drewel, M., Gausemeier, J., Vaßholz, M., &#38; Homburg, N. (2019). Einstieg
    in die Plattformökonomie. In J. Gausemeier, W. Bauer, R. Dumitrescu, &#38; Heinz
    Nixdorf Institut (Eds.), <i>Symposium für Vorausschau und Technologieplanung</i>
    (Vol. 15).
  bibtex: '@inproceedings{Drewel_Gausemeier_Vaßholz_Homburg_2019, title={Einstieg
    in die Plattformökonomie}, volume={15}, booktitle={Symposium für Vorausschau und
    Technologieplanung}, author={Drewel, Marvin and Gausemeier, Jürgen and Vaßholz,
    Mareen and Homburg, Nils}, editor={Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu,
    Roman and Heinz Nixdorf InstitutEditors}, year={2019} }'
  chicago: Drewel, Marvin, Jürgen Gausemeier, Mareen Vaßholz, and Nils Homburg. “Einstieg
    in Die Plattformökonomie.” In <i>Symposium Für Vorausschau Und Technologieplanung</i>,
    edited by Jürgen Gausemeier, Wilhelm Bauer, Roman Dumitrescu, and Heinz Nixdorf
    Institut, Vol. 15, 2019.
  ieee: M. Drewel, J. Gausemeier, M. Vaßholz, and N. Homburg, “Einstieg in die Plattformökonomie,”
    in <i>Symposium für Vorausschau und Technologieplanung</i>, 2019, vol. 15.
  mla: Drewel, Marvin, et al. “Einstieg in Die Plattformökonomie.” <i>Symposium Für
    Vorausschau Und Technologieplanung</i>, edited by Jürgen Gausemeier et al., vol.
    15, 2019.
  short: 'M. Drewel, J. Gausemeier, M. Vaßholz, N. Homburg, in: J. Gausemeier, W.
    Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), Symposium Für Vorausschau
    Und Technologieplanung, 2019.'
corporate_editor:
- Heinz Nixdorf Institut
date_created: 2021-07-13T07:53:43Z
date_updated: 2022-01-06T06:55:39Z
department:
- _id: '563'
editor:
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Wilhelm
  full_name: Bauer, Wilhelm
  last_name: Bauer
- first_name: Roman
  full_name: Dumitrescu, Roman
  last_name: Dumitrescu
intvolume: '        15'
language:
- iso: eng
publication: Symposium für Vorausschau und Technologieplanung
status: public
title: Einstieg in die Plattformökonomie
type: conference
user_id: '21240'
volume: 15
year: '2019'
...
---
_id: '22714'
author:
- first_name: Christoph
  full_name: Pierenkemper, Christoph
  last_name: Pierenkemper
- first_name: Jannik
  full_name: Reinhold, Jannik
  id: '33669'
  last_name: Reinhold
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
citation:
  ama: Pierenkemper C, Reinhold J, Dumitrescu R, Gausemeier J. Erfolg versprechende
    Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen.
    <i>Industrie 4.0 Management</i>. 2019:30-34.
  apa: Pierenkemper, C., Reinhold, J., Dumitrescu, R., &#38; Gausemeier, J. (2019).
    Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung
    zukünftiger Umfeldentwicklungen. <i>Industrie 4.0 Management</i>, pp. 30–34.
  bibtex: '@article{Pierenkemper_Reinhold_Dumitrescu_Gausemeier_2019, title={Erfolg
    versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger
    Umfeldentwicklungen}, volume={5}, journal={Industrie 4.0 Management}, author={Pierenkemper,
    Christoph and Reinhold, Jannik and Dumitrescu, Roman and Gausemeier, Jürgen},
    year={2019}, pages={30–34} }'
  chicago: Pierenkemper, Christoph, Jannik Reinhold, Roman Dumitrescu, and Jürgen
    Gausemeier. “Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter
    Berücksichtigung zukünftiger Umfeldentwicklungen.” <i>Industrie 4.0 Management</i>,
    2019.
  ieee: C. Pierenkemper, J. Reinhold, R. Dumitrescu, and J. Gausemeier, “Erfolg versprechende
    Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen,”
    <i>Industrie 4.0 Management</i>, vol. 5, pp. 30–34, 2019.
  mla: Pierenkemper, Christoph, et al. “Erfolg versprechende Industrie 4.0-Zielposition
    - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen.” <i>Industrie
    4.0 Management</i>, vol. 5, 2019, pp. 30–34.
  short: C. Pierenkemper, J. Reinhold, R. Dumitrescu, J. Gausemeier, Industrie 4.0
    Management 5 (2019) 30–34.
date_created: 2021-07-13T08:01:00Z
date_updated: 2022-01-06T06:55:39Z
department:
- _id: '563'
intvolume: '         5'
language:
- iso: ger
main_file_link:
- url: https://www.researchgate.net/publication/336273262_Erfolg_versprechende_Industrie_40-Zielposition
page: 30-34
publication: Industrie 4.0 Management
publication_date: 2019-10-10
status: public
title: Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung
  zukünftiger Umfeldentwicklungen
type: newspaper_article
user_id: '21240'
volume: 5
year: '2019'
...
---
_id: '22716'
author:
- first_name: Fabio
  full_name: Wortmann, Fabio
  last_name: Wortmann
- first_name: Robert
  full_name: Joppen, Robert
  last_name: Joppen
- first_name: Marvin
  full_name: Drewel, Marvin
  last_name: Drewel
- first_name: Arno
  full_name: Kühn, Arno
  last_name: Kühn
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
citation:
  ama: 'Wortmann F, Joppen R, Drewel M, Kühn A, Dumitrescu R. Developing and Evaluating
    Concepts for a Digital Platform. In: Jain K, Sangle S, Gupta R, Persis J, Mukundan
    R, eds. <i>IAMOT 2019 – Proceedings of the 28th International Association for
    Management of Technology Conference, Apr. 2019 International Association for Management
    of Technology (IAMOT), IAMOT</i>. ; 2019.'
  apa: Wortmann, F., Joppen, R., Drewel, M., Kühn, A., &#38; Dumitrescu, R. (2019).
    Developing and Evaluating Concepts for a Digital Platform. In K. Jain, S. Sangle,
    R. Gupta, J. Persis, &#38; R. Mukundan (Eds.), <i>IAMOT 2019 – Proceedings of
    the 28th International Association for Management of Technology Conference, Apr.
    2019 International Association for Management of Technology (IAMOT), IAMOT</i>.
  bibtex: '@inproceedings{Wortmann_Joppen_Drewel_Kühn_Dumitrescu_2019, title={Developing
    and Evaluating Concepts for a Digital Platform}, booktitle={IAMOT 2019 – Proceedings
    of the 28th International Association for Management of Technology Conference,
    Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT},
    author={Wortmann, Fabio and Joppen, Robert and Drewel, Marvin and Kühn, Arno and
    Dumitrescu, Roman}, editor={Jain, K. and Sangle, S. and Gupta, R. and Persis,
    J. and Mukundan, R.Editors}, year={2019} }'
  chicago: Wortmann, Fabio, Robert Joppen, Marvin Drewel, Arno Kühn, and Roman Dumitrescu.
    “Developing and Evaluating Concepts for a Digital Platform.” In <i>IAMOT 2019
    – Proceedings of the 28th International Association for Management of Technology
    Conference, Apr. 2019 International Association for Management of Technology (IAMOT),
    IAMOT</i>, edited by K. Jain, S. Sangle, R. Gupta, J. Persis, and R. Mukundan,
    2019.
  ieee: F. Wortmann, R. Joppen, M. Drewel, A. Kühn, and R. Dumitrescu, “Developing
    and Evaluating Concepts for a Digital Platform,” in <i>IAMOT 2019 – Proceedings
    of the 28th International Association for Management of Technology Conference,
    Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT</i>,
    2019.
  mla: Wortmann, Fabio, et al. “Developing and Evaluating Concepts for a Digital Platform.”
    <i>IAMOT 2019 – Proceedings of the 28th International Association for Management
    of Technology Conference, Apr. 2019 International Association for Management of
    Technology (IAMOT), IAMOT</i>, edited by K. Jain et al., 2019.
  short: 'F. Wortmann, R. Joppen, M. Drewel, A. Kühn, R. Dumitrescu, in: K. Jain,
    S. Sangle, R. Gupta, J. Persis, R. Mukundan (Eds.), IAMOT 2019 – Proceedings of
    the 28th International Association for Management of Technology Conference, Apr.
    2019 International Association for Management of Technology (IAMOT), IAMOT, 2019.'
date_created: 2021-07-13T08:27:51Z
date_updated: 2022-01-06T06:55:39Z
department:
- _id: '563'
editor:
- first_name: K.
  full_name: Jain, K.
  last_name: Jain
- first_name: S.
  full_name: Sangle, S.
  last_name: Sangle
- first_name: R.
  full_name: Gupta, R.
  last_name: Gupta
- first_name: J.
  full_name: Persis, J.
  last_name: Persis
- first_name: R.
  full_name: Mukundan, R.
  last_name: Mukundan
language:
- iso: eng
publication: IAMOT 2019 – Proceedings of the 28th International Association for Management
  of Technology Conference, Apr. 2019 International Association for Management of
  Technology (IAMOT), IAMOT
status: public
title: Developing and Evaluating Concepts for a Digital Platform
type: conference
user_id: '21240'
year: '2019'
...
---
_id: '22717'
abstract:
- lang: eng
  text: 'Today''s manufacturing industry is confronted with fundamental changes in
    value creation. The tension between the two megatrends of digitization and servitization
    leads to new hybrid market offerings, so-called smart services. Corresponding
    value networks fundamentally differ from traditional ones. Developing smart services
    requires new competences in young disciplines, while their provision requires
    new internal and external organizational structures or processes. To strengthen
    their competitive position, manufacturing companies need to adapt their value
    networks. However, the highly complex transformation of value crea-tion especially
    challenges small and medium-sized companies due to limited competences and resources.
    They must consider opening their boundaries and collaborating with partners. In
    this paper, we introduce a basic framework for planning smart services and present
    a methodology for competence-based plan-ning of value networks for smart services
    in three phases: Smart service analysis, competence analysis and value creation
    planning. The methodology is explained by an example from tooling machine industry.'
author:
- first_name: Jannik
  full_name: Reinhold, Jannik
  id: '33669'
  last_name: Reinhold
- first_name: Maximilian
  full_name: Frank, Maximilian
  last_name: Frank
- first_name: Christian
  full_name: Koldewey, Christian
  id: '43136'
  last_name: Koldewey
  orcid: https://orcid.org/0000-0001-7992-6399
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
citation:
  ama: 'Reinhold J, Frank M, Koldewey C, Dumitrescu R, Gausemeier J. Competence-based
    Planning of Value Networks for Smart Services. In: International Society for Professional
    Innovation Management (ISPIM), ed. <i>Proceedings of the ISPIM Connects</i>. ;
    2019.'
  apa: Reinhold, J., Frank, M., Koldewey, C., Dumitrescu, R., &#38; Gausemeier, J.
    (2019). Competence-based Planning of Value Networks for Smart Services. In International
    Society for Professional Innovation Management (ISPIM) (Ed.), <i>Proceedings of
    the ISPIM Connects</i>.
  bibtex: '@inproceedings{Reinhold_Frank_Koldewey_Dumitrescu_Gausemeier_2019, title={Competence-based
    Planning of Value Networks for Smart Services}, booktitle={Proceedings of the
    ISPIM Connects}, author={Reinhold, Jannik and Frank, Maximilian and Koldewey,
    Christian and Dumitrescu, Roman and Gausemeier, Jürgen}, editor={International
    Society for Professional Innovation Management (ISPIM)Editor}, year={2019} }'
  chicago: Reinhold, Jannik, Maximilian Frank, Christian Koldewey, Roman Dumitrescu,
    and Jürgen Gausemeier. “Competence-Based Planning of Value Networks for Smart
    Services.” In <i>Proceedings of the ISPIM Connects</i>, edited by International
    Society for Professional Innovation Management (ISPIM), 2019.
  ieee: J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, and J. Gausemeier, “Competence-based
    Planning of Value Networks for Smart Services,” in <i>Proceedings of the ISPIM
    Connects</i>, 2019.
  mla: Reinhold, Jannik, et al. “Competence-Based Planning of Value Networks for Smart
    Services.” <i>Proceedings of the ISPIM Connects</i>, edited by International Society
    for Professional Innovation Management (ISPIM), 2019.
  short: 'J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, J. Gausemeier, in: International
    Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the
    ISPIM Connects, 2019.'
corporate_editor:
- International Society for Professional Innovation Management (ISPIM)
date_created: 2021-07-13T09:22:42Z
date_updated: 2022-01-06T06:55:39Z
department:
- _id: '563'
language:
- iso: eng
publication: Proceedings of the ISPIM Connects
status: public
title: Competence-based Planning of Value Networks for Smart Services
type: conference
user_id: '21240'
year: '2019'
...
---
_id: '22721'
author:
- first_name: Michael
  full_name: Bansmann, Michael
  last_name: Bansmann
- first_name: Marc
  full_name: Foullois, Marc
  last_name: Foullois
- first_name: Daniel
  full_name: Roeltgen, Daniel
  last_name: Roeltgen
- first_name: Lars
  full_name: Wöste, Lars
  last_name: Wöste
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
citation:
  ama: 'Bansmann M, Foullois M, Roeltgen D, Wöste L, Dumitrescu R. Reference Architecture
    and Classification of technology-induced Scenarios of Digitized Work. In: <i>
    28th IAMOT International Conference of the International Association for Management
    of Technology, Mumbai, Indien</i>. ; 2019.'
  apa: Bansmann, M., Foullois, M., Roeltgen, D., Wöste, L., &#38; Dumitrescu, R. (2019).
    Reference Architecture and Classification of technology-induced Scenarios of Digitized
    Work. In <i> 28th IAMOT International Conference of the International Association
    for Management of Technology, Mumbai, Indien</i>.
  bibtex: '@inproceedings{Bansmann_Foullois_Roeltgen_Wöste_Dumitrescu_2019, title={Reference
    Architecture and Classification of technology-induced Scenarios of Digitized Work},
    booktitle={ 28th IAMOT International Conference of the International Association
    for Management of Technology, Mumbai, Indien}, author={Bansmann, Michael and Foullois,
    Marc and Roeltgen, Daniel and Wöste, Lars and Dumitrescu, Roman}, year={2019}
    }'
  chicago: Bansmann, Michael, Marc Foullois, Daniel Roeltgen, Lars Wöste, and Roman
    Dumitrescu. “Reference Architecture and Classification of Technology-Induced Scenarios
    of Digitized Work.” In <i> 28th IAMOT International Conference of the International
    Association for Management of Technology, Mumbai, Indien</i>, 2019.
  ieee: M. Bansmann, M. Foullois, D. Roeltgen, L. Wöste, and R. Dumitrescu, “Reference
    Architecture and Classification of technology-induced Scenarios of Digitized Work,”
    in <i> 28th IAMOT International Conference of the International Association for
    Management of Technology, Mumbai, Indien</i>, 2019.
  mla: Bansmann, Michael, et al. “Reference Architecture and Classification of Technology-Induced
    Scenarios of Digitized Work.” <i> 28th IAMOT International Conference of the International
    Association for Management of Technology, Mumbai, Indien</i>, 2019.
  short: 'M. Bansmann, M. Foullois, D. Roeltgen, L. Wöste, R. Dumitrescu, in:  28th
    IAMOT International Conference of the International Association for Management
    of Technology, Mumbai, Indien, 2019.'
date_created: 2021-07-13T10:43:17Z
date_updated: 2022-01-06T06:55:39Z
department:
- _id: '563'
language:
- iso: eng
publication: ' 28th IAMOT International Conference of the International Association
  for Management of Technology, Mumbai, Indien'
status: public
title: Reference Architecture and Classification of technology-induced Scenarios of
  Digitized Work
type: conference
user_id: '21240'
year: '2019'
...