---
_id: '27130'
author:
- first_name: Vladimir I.
  full_name: Poddubnyi, Vladimir I.
  last_name: Poddubnyi
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
- first_name: Andreas
  full_name: Warkentin, Andreas
  last_name: Warkentin
- first_name: Christian
  full_name: Henke, Christian
  last_name: Henke
citation:
  ama: Poddubnyi VI, Trächtler A, Warkentin A, Henke C. Mechanical and mathematical
    model of a caterpillar drive with a triangular contour for solving problems of
    vertical dynamics of a tracked vehicle. <i>Vestnik Mashinostroeniya</i>. Published
    online 2020:26-29. doi:<a href="https://doi.org/10.36652/0042-4633-2020-12-26-29">10.36652/0042-4633-2020-12-26-29</a>
  apa: Poddubnyi, V. I., Trächtler, A., Warkentin, A., &#38; Henke, C. (2020). Mechanical
    and mathematical model of a caterpillar drive with a triangular contour for solving
    problems of vertical dynamics of a tracked vehicle. <i>Vestnik Mashinostroeniya</i>,
    26–29. <a href="https://doi.org/10.36652/0042-4633-2020-12-26-29">https://doi.org/10.36652/0042-4633-2020-12-26-29</a>
  bibtex: '@article{Poddubnyi_Trächtler_Warkentin_Henke_2020, title={Mechanical and
    mathematical model of a caterpillar drive with a triangular contour for solving
    problems of vertical dynamics of a tracked vehicle}, DOI={<a href="https://doi.org/10.36652/0042-4633-2020-12-26-29">10.36652/0042-4633-2020-12-26-29</a>},
    journal={Vestnik Mashinostroeniya}, author={Poddubnyi, Vladimir I. and Trächtler,
    Ansgar and Warkentin, Andreas and Henke, Christian}, year={2020}, pages={26–29}
    }'
  chicago: Poddubnyi, Vladimir I., Ansgar Trächtler, Andreas Warkentin, and Christian
    Henke. “Mechanical and Mathematical Model of a Caterpillar Drive with a Triangular
    Contour for Solving Problems of Vertical Dynamics of a Tracked Vehicle.” <i>Vestnik
    Mashinostroeniya</i>, 2020, 26–29. <a href="https://doi.org/10.36652/0042-4633-2020-12-26-29">https://doi.org/10.36652/0042-4633-2020-12-26-29</a>.
  ieee: 'V. I. Poddubnyi, A. Trächtler, A. Warkentin, and C. Henke, “Mechanical and
    mathematical model of a caterpillar drive with a triangular contour for solving
    problems of vertical dynamics of a tracked vehicle,” <i>Vestnik Mashinostroeniya</i>,
    pp. 26–29, 2020, doi: <a href="https://doi.org/10.36652/0042-4633-2020-12-26-29">10.36652/0042-4633-2020-12-26-29</a>.'
  mla: Poddubnyi, Vladimir I., et al. “Mechanical and Mathematical Model of a Caterpillar
    Drive with a Triangular Contour for Solving Problems of Vertical Dynamics of a
    Tracked Vehicle.” <i>Vestnik Mashinostroeniya</i>, 2020, pp. 26–29, doi:<a href="https://doi.org/10.36652/0042-4633-2020-12-26-29">10.36652/0042-4633-2020-12-26-29</a>.
  short: V.I. Poddubnyi, A. Trächtler, A. Warkentin, C. Henke, Vestnik Mashinostroeniya
    (2020) 26–29.
date_created: 2021-11-03T14:26:14Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '241'
- _id: '153'
doi: 10.36652/0042-4633-2020-12-26-29
language:
- iso: eng
page: 26-29
publication: Vestnik Mashinostroeniya
status: public
title: Mechanical and mathematical model of a caterpillar drive with a triangular
  contour for solving problems of vertical dynamics of a tracked vehicle
type: journal_article
user_id: '24876'
year: '2020'
...
---
_id: '20516'
abstract:
- lang: eng
  text: Traceability, a classic requirements engineering topic, is increasingly used
    in the context of model-based engineering. However, researchers and practitioners
    lack a concise terminology to discuss aspects of requirements traceability in
    situations in which engineers heavily rely on models and model-based engineering.
    While others have previously surveyed the domain, no one has so far provided a
    clear, unambiguous set of terms that can be used to discuss traceability in such
    a context. We therefore set out to cut a path through the jungle of terminology
    for model-based traceability, ground it in established terminology from requirements
    engineering, and derive an unambiguous set of relevant terms. We also map the
    terminology used in existing primary and secondary studies to our taxonomy to
    show differences and commonalities. The contribution of this paper is thus a terminology
    for model-based traceability that allows requirements engineers and engineers
    working with models to unambiguously discuss their joint traceability efforts.
author:
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
- first_name: Jan-Philipp
  full_name: Steghofer, Jan-Philipp
  last_name: Steghofer
- first_name: Michael
  full_name: Rath, Michael
  last_name: Rath
- first_name: David
  full_name: Schmelter, David
  id: '40982'
  last_name: Schmelter
  orcid: 0000-0001-7787-5380
citation:
  ama: 'Holtmann J, Steghofer J-P, Rath M, Schmelter D. Cutting through the Jungle:
    Disambiguating Model-based Traceability Terminology. In: <i>2020 IEEE 28th International
    Requirements Engineering Conference (RE)</i>. IEEE; 2020. doi:<a href="https://doi.org/10.1109/re48521.2020.00014">10.1109/re48521.2020.00014</a>'
  apa: 'Holtmann, J., Steghofer, J.-P., Rath, M., &#38; Schmelter, D. (2020). Cutting
    through the Jungle: Disambiguating Model-based Traceability Terminology. In <i>2020
    IEEE 28th International Requirements Engineering Conference (RE)</i>. IEEE. <a
    href="https://doi.org/10.1109/re48521.2020.00014">https://doi.org/10.1109/re48521.2020.00014</a>'
  bibtex: '@inproceedings{Holtmann_Steghofer_Rath_Schmelter_2020, title={Cutting through
    the Jungle: Disambiguating Model-based Traceability Terminology}, DOI={<a href="https://doi.org/10.1109/re48521.2020.00014">10.1109/re48521.2020.00014</a>},
    booktitle={2020 IEEE 28th International Requirements Engineering Conference (RE)},
    publisher={IEEE}, author={Holtmann, Jörg and Steghofer, Jan-Philipp and Rath,
    Michael and Schmelter, David}, year={2020} }'
  chicago: 'Holtmann, Jörg, Jan-Philipp Steghofer, Michael Rath, and David Schmelter.
    “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology.”
    In <i>2020 IEEE 28th International Requirements Engineering Conference (RE)</i>.
    IEEE, 2020. <a href="https://doi.org/10.1109/re48521.2020.00014">https://doi.org/10.1109/re48521.2020.00014</a>.'
  ieee: 'J. Holtmann, J.-P. Steghofer, M. Rath, and D. Schmelter, “Cutting through
    the Jungle: Disambiguating Model-based Traceability Terminology,” in <i>2020 IEEE
    28th International Requirements Engineering Conference (RE)</i>, 2020.'
  mla: 'Holtmann, Jörg, et al. “Cutting through the Jungle: Disambiguating Model-Based
    Traceability Terminology.” <i>2020 IEEE 28th International Requirements Engineering
    Conference (RE)</i>, IEEE, 2020, doi:<a href="https://doi.org/10.1109/re48521.2020.00014">10.1109/re48521.2020.00014</a>.'
  short: 'J. Holtmann, J.-P. Steghofer, M. Rath, D. Schmelter, in: 2020 IEEE 28th
    International Requirements Engineering Conference (RE), IEEE, 2020.'
date_created: 2020-11-26T10:14:24Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '241'
- _id: '662'
doi: 10.1109/re48521.2020.00014
language:
- iso: eng
publication: 2020 IEEE 28th International Requirements Engineering Conference (RE)
publication_identifier:
  isbn:
  - '9781728174389'
publication_status: published
publisher: IEEE
status: public
title: 'Cutting through the Jungle: Disambiguating Model-based Traceability Terminology'
type: conference
user_id: '40982'
year: '2020'
...
---
_id: '20518'
author:
- first_name: Thorsten
  full_name: Koch, Thorsten
  id: '13616'
  last_name: Koch
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Koch T, Dziwok S, Holtmann J, Bodden E. Scenario-based Specification of Security
    Protocols and Transformation to Security Model Checkers. In: <i>ACM/IEEE 23rd
    International Conference on Model Driven Engineering Languages and Systems (MODELS
    ’20)</i>. ACM; 2020. doi:<a href="https://doi.org/10.1145/3365438.3410946">10.1145/3365438.3410946</a>'
  apa: Koch, T., Dziwok, S., Holtmann, J., &#38; Bodden, E. (2020). Scenario-based
    Specification of Security Protocols and Transformation to Security Model Checkers.
    <i>ACM/IEEE 23rd International Conference on Model Driven Engineering Languages
    and Systems (MODELS ’20)</i>. <a href="https://doi.org/10.1145/3365438.3410946">https://doi.org/10.1145/3365438.3410946</a>
  bibtex: '@inproceedings{Koch_Dziwok_Holtmann_Bodden_2020, title={Scenario-based
    Specification of Security Protocols and Transformation to Security Model Checkers},
    DOI={<a href="https://doi.org/10.1145/3365438.3410946">10.1145/3365438.3410946</a>},
    booktitle={ACM/IEEE 23rd International Conference on Model Driven Engineering
    Languages and Systems (MODELS ’20)}, publisher={ACM}, author={Koch, Thorsten and
    Dziwok, Stefan and Holtmann, Jörg and Bodden, Eric}, year={2020} }'
  chicago: Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “Scenario-Based
    Specification of Security Protocols and Transformation to Security Model Checkers.”
    In <i>ACM/IEEE 23rd International Conference on Model Driven Engineering Languages
    and Systems (MODELS ’20)</i>. ACM, 2020. <a href="https://doi.org/10.1145/3365438.3410946">https://doi.org/10.1145/3365438.3410946</a>.
  ieee: 'T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification
    of Security Protocols and Transformation to Security Model Checkers,” 2020, doi:
    <a href="https://doi.org/10.1145/3365438.3410946">10.1145/3365438.3410946</a>.'
  mla: Koch, Thorsten, et al. “Scenario-Based Specification of Security Protocols
    and Transformation to Security Model Checkers.” <i>ACM/IEEE 23rd International
    Conference on Model Driven Engineering Languages and Systems (MODELS ’20)</i>,
    ACM, 2020, doi:<a href="https://doi.org/10.1145/3365438.3410946">10.1145/3365438.3410946</a>.
  short: 'T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International
    Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM,
    2020.'
date_created: 2020-11-26T10:19:54Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.1145/3365438.3410946
language:
- iso: eng
publication: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages
  and Systems (MODELS ’20)
publisher: ACM
status: public
title: Scenario-based Specification of Security Protocols and Transformation to Security
  Model Checkers
type: conference
user_id: '5786'
year: '2020'
...
---
_id: '22969'
author:
- first_name: Stefan
  full_name: Schütz, Stefan
  last_name: Schütz
- first_name: Arne Thorsten
  full_name: Rüting, Arne Thorsten
  last_name: Rüting
- first_name: Christian
  full_name: Henke, Christian
  last_name: Henke
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
citation:
  ama: 'Schütz S, Rüting AT, Henke C, Trächtler A. Echtzeitfähige Planung optimierter
    Trajektorien für sensorgeführte, kinematisch redundante Mechanismen auf einer
    Industriesteuerung. In: <i>Entwurf Komplexer Automatisierungssysteme (EKA)</i>.
    ; 2020.'
  apa: Schütz, S., Rüting, A. T., Henke, C., &#38; Trächtler, A. (2020). Echtzeitfähige
    Planung optimierter Trajektorien für sensorgeführte, kinematisch redundante Mechanismen
    auf einer Industriesteuerung. In <i>Entwurf komplexer Automatisierungssysteme
    (EKA)</i>.
  bibtex: '@inproceedings{Schütz_Rüting_Henke_Trächtler_2020, title={Echtzeitfähige
    Planung optimierter Trajektorien für sensorgeführte, kinematisch redundante Mechanismen
    auf einer Industriesteuerung}, booktitle={Entwurf komplexer Automatisierungssysteme
    (EKA)}, author={Schütz, Stefan and Rüting, Arne Thorsten and Henke, Christian
    and Trächtler, Ansgar}, year={2020} }'
  chicago: Schütz, Stefan, Arne Thorsten Rüting, Christian Henke, and Ansgar Trächtler.
    “Echtzeitfähige Planung Optimierter Trajektorien Für Sensorgeführte, Kinematisch
    Redundante Mechanismen Auf Einer Industriesteuerung.” In <i>Entwurf Komplexer
    Automatisierungssysteme (EKA)</i>, 2020.
  ieee: S. Schütz, A. T. Rüting, C. Henke, and A. Trächtler, “Echtzeitfähige Planung
    optimierter Trajektorien für sensorgeführte, kinematisch redundante Mechanismen
    auf einer Industriesteuerung,” in <i>Entwurf komplexer Automatisierungssysteme
    (EKA)</i>, 2020.
  mla: Schütz, Stefan, et al. “Echtzeitfähige Planung Optimierter Trajektorien Für
    Sensorgeführte, Kinematisch Redundante Mechanismen Auf Einer Industriesteuerung.”
    <i>Entwurf Komplexer Automatisierungssysteme (EKA)</i>, 2020.
  short: 'S. Schütz, A.T. Rüting, C. Henke, A. Trächtler, in: Entwurf Komplexer Automatisierungssysteme
    (EKA), 2020.'
date_created: 2021-08-09T05:16:55Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
language:
- iso: eng
publication: Entwurf komplexer Automatisierungssysteme (EKA)
status: public
title: Echtzeitfähige Planung optimierter Trajektorien für sensorgeführte, kinematisch
  redundante Mechanismen auf einer Industriesteuerung
type: conference
user_id: '24876'
year: '2020'
...
---
_id: '23375'
author:
- first_name: Lars
  full_name: Hermerschmidt, Lars
  last_name: Hermerschmidt
- first_name: Andreas
  full_name: Straub, Andreas
  last_name: Straub
- first_name: Goran
  full_name: Piskachev, Goran
  last_name: Piskachev
citation:
  ama: 'Hermerschmidt L, Straub A, Piskachev G. Language-agnostic Injection Detection.
    In: <i>2020 IEEE Security and Privacy Workshops (SPW)</i>. ; 2020. doi:<a href="https://doi.org/10.1109/spw50608.2020.00060">10.1109/spw50608.2020.00060</a>'
  apa: Hermerschmidt, L., Straub, A., &#38; Piskachev, G. (2020). Language-agnostic
    Injection Detection. In <i>2020 IEEE Security and Privacy Workshops (SPW)</i>.
    <a href="https://doi.org/10.1109/spw50608.2020.00060">https://doi.org/10.1109/spw50608.2020.00060</a>
  bibtex: '@inproceedings{Hermerschmidt_Straub_Piskachev_2020, title={Language-agnostic
    Injection Detection}, DOI={<a href="https://doi.org/10.1109/spw50608.2020.00060">10.1109/spw50608.2020.00060</a>},
    booktitle={2020 IEEE Security and Privacy Workshops (SPW)}, author={Hermerschmidt,
    Lars and Straub, Andreas and Piskachev, Goran}, year={2020} }'
  chicago: Hermerschmidt, Lars, Andreas Straub, and Goran Piskachev. “Language-Agnostic
    Injection Detection.” In <i>2020 IEEE Security and Privacy Workshops (SPW)</i>,
    2020. <a href="https://doi.org/10.1109/spw50608.2020.00060">https://doi.org/10.1109/spw50608.2020.00060</a>.
  ieee: L. Hermerschmidt, A. Straub, and G. Piskachev, “Language-agnostic Injection
    Detection,” in <i>2020 IEEE Security and Privacy Workshops (SPW)</i>, 2020.
  mla: Hermerschmidt, Lars, et al. “Language-Agnostic Injection Detection.” <i>2020
    IEEE Security and Privacy Workshops (SPW)</i>, 2020, doi:<a href="https://doi.org/10.1109/spw50608.2020.00060">10.1109/spw50608.2020.00060</a>.
  short: 'L. Hermerschmidt, A. Straub, G. Piskachev, in: 2020 IEEE Security and Privacy
    Workshops (SPW), 2020.'
date_created: 2021-08-09T12:02:01Z
date_updated: 2022-01-06T06:55:50Z
department:
- _id: '241'
doi: 10.1109/spw50608.2020.00060
language:
- iso: eng
publication: 2020 IEEE Security and Privacy Workshops (SPW)
publication_status: published
status: public
title: Language-agnostic Injection Detection
type: conference
user_id: '41936'
year: '2020'
...
---
_id: '23376'
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
  last_name: Bodden
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>2019 34th IEEE/ACM
    International Conference on Automated Software Engineering (ASE)</i>. ; 2020.
    doi:<a href="https://doi.org/10.1109/ase.2019.00110">10.1109/ase.2019.00110</a>'
  apa: 'Piskachev, G., Nguyen Quang Do, L., Johnson, O., &#38; Bodden, E. (2020).
    SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.
    <i>2019 34th IEEE/ACM International Conference on Automated Software Engineering
    (ASE)</i>. <a href="https://doi.org/10.1109/ase.2019.00110">https://doi.org/10.1109/ase.2019.00110</a>'
  bibtex: '@inproceedings{Piskachev_Nguyen Quang Do_Johnson_Bodden_2020, title={SWAN_ASSIST:
    Semi-Automated Detection of Code-Specific, Security-Relevant Methods}, DOI={<a
    href="https://doi.org/10.1109/ase.2019.00110">10.1109/ase.2019.00110</a>}, booktitle={2019
    34th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
    author={Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden,
    Eric}, year={2020} }'
  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>2019 34th IEEE/ACM International Conference on Automated Software Engineering
    (ASE)</i>, 2020. <a href="https://doi.org/10.1109/ase.2019.00110">https://doi.org/10.1109/ase.2019.00110</a>.'
  ieee: 'G. Piskachev, L. Nguyen Quang Do, O. Johnson, and E. Bodden, “SWAN_ASSIST:
    Semi-Automated Detection of Code-Specific, Security-Relevant Methods,” 2020, doi:
    <a href="https://doi.org/10.1109/ase.2019.00110">10.1109/ase.2019.00110</a>.'
  mla: 'Piskachev, Goran, et al. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific,
    Security-Relevant Methods.” <i>2019 34th IEEE/ACM International Conference on
    Automated Software Engineering (ASE)</i>, 2020, doi:<a href="https://doi.org/10.1109/ase.2019.00110">10.1109/ase.2019.00110</a>.'
  short: 'G. Piskachev, L. Nguyen Quang Do, O. Johnson, E. Bodden, in: 2019 34th IEEE/ACM
    International Conference on Automated Software Engineering (ASE), 2020.'
date_created: 2021-08-09T12:03:30Z
date_updated: 2022-01-06T06:55:50Z
department:
- _id: '241'
- _id: '662'
- _id: '76'
doi: 10.1109/ase.2019.00110
language:
- iso: eng
publication: 2019 34th IEEE/ACM International Conference on Automated Software Engineering
  (ASE)
publication_status: published
status: public
title: 'SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant
  Methods'
type: conference
user_id: '5786'
year: '2020'
...
---
_id: '23377'
author:
- first_name: Goran
  full_name: Piskachev, Goran
  last_name: Piskachev
- first_name: Tobias
  full_name: Petrasch, Tobias
  last_name: Petrasch
- first_name: Johannes
  full_name: Späth, Johannes
  last_name: Späth
- first_name: Eric
  full_name: Bodden, Eric
  last_name: Bodden
citation:
  ama: 'Piskachev G, Petrasch T, Späth J, Bodden E. AuthCheck: Program-State Analysis
    for Access-Control Vulnerabilities. In: <i>Lecture Notes in Computer Science</i>.
    ; 2020. doi:<a href="https://doi.org/10.1007/978-3-030-54997-8_34">10.1007/978-3-030-54997-8_34</a>'
  apa: 'Piskachev, G., Petrasch, T., Späth, J., &#38; Bodden, E. (2020). AuthCheck:
    Program-State Analysis for Access-Control Vulnerabilities. In <i>Lecture Notes
    in Computer Science</i>. <a href="https://doi.org/10.1007/978-3-030-54997-8_34">https://doi.org/10.1007/978-3-030-54997-8_34</a>'
  bibtex: '@inbook{Piskachev_Petrasch_Späth_Bodden_2020, place={Cham}, title={AuthCheck:
    Program-State Analysis for Access-Control Vulnerabilities}, DOI={<a href="https://doi.org/10.1007/978-3-030-54997-8_34">10.1007/978-3-030-54997-8_34</a>},
    booktitle={Lecture Notes in Computer Science}, author={Piskachev, Goran and Petrasch,
    Tobias and Späth, Johannes and Bodden, Eric}, year={2020} }'
  chicago: 'Piskachev, Goran, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck:
    Program-State Analysis for Access-Control Vulnerabilities.” In <i>Lecture Notes
    in Computer Science</i>. Cham, 2020. <a href="https://doi.org/10.1007/978-3-030-54997-8_34">https://doi.org/10.1007/978-3-030-54997-8_34</a>.'
  ieee: 'G. Piskachev, T. Petrasch, J. Späth, and E. Bodden, “AuthCheck: Program-State
    Analysis for Access-Control Vulnerabilities,” in <i>Lecture Notes in Computer
    Science</i>, Cham, 2020.'
  mla: 'Piskachev, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control
    Vulnerabilities.” <i>Lecture Notes in Computer Science</i>, 2020, doi:<a href="https://doi.org/10.1007/978-3-030-54997-8_34">10.1007/978-3-030-54997-8_34</a>.'
  short: 'G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: Lecture Notes in Computer
    Science, Cham, 2020.'
date_created: 2021-08-09T12:05:09Z
date_updated: 2022-01-06T06:55:50Z
department:
- _id: '241'
- _id: '662'
- _id: '76'
doi: 10.1007/978-3-030-54997-8_34
language:
- iso: eng
place: Cham
publication: Lecture Notes in Computer Science
publication_identifier:
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: 'AuthCheck: Program-State Analysis for Access-Control Vulnerabilities'
type: book_chapter
user_id: '5786'
year: '2020'
...
---
_id: '21931'
author:
- first_name: Thorsten
  full_name: Koch, Thorsten
  id: '13616'
  last_name: Koch
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
- first_name: Masud
  full_name: Fazal-Baqaie, Masud
  last_name: Fazal-Baqaie
- first_name: Hubert
  full_name: Runschke, Hubert
  last_name: Runschke
citation:
  ama: 'Koch T, Meyer M, Fazal-Baqaie M, Runschke H. Softwareentwicklung wie am Fliessband.
    In: Felderer M, Hasselbring W, Rabiser R, Jung R, eds. <i>Software Engineering
    2020 (SE 2020)</i>. Lecture Notes in Informatics (LNI). Gesellschaft für Informatik
    e.V.; 2020. doi:<a href="https://doi.org/10.18420/SE2020\_58">10.18420/SE2020\_58</a>'
  apa: Koch, T., Meyer, M., Fazal-Baqaie, M., &#38; Runschke, H. (2020). Softwareentwicklung
    wie am Fliessband. In M. Felderer, W. Hasselbring, R. Rabiser, &#38; R. Jung (Eds.),
    <i>Software Engineering 2020 (SE 2020)</i>. Gesellschaft für Informatik e.V. <a
    href="https://doi.org/10.18420/SE2020\_58">https://doi.org/10.18420/SE2020\_58</a>
  bibtex: '@inproceedings{Koch_Meyer_Fazal-Baqaie_Runschke_2020, series={Lecture Notes
    in Informatics (LNI)}, title={Softwareentwicklung wie am Fliessband}, DOI={<a
    href="https://doi.org/10.18420/SE2020\_58">10.18420/SE2020\_58</a>}, booktitle={Software
    Engineering 2020 (SE 2020)}, publisher={Gesellschaft für Informatik e.V.}, author={Koch,
    Thorsten and Meyer, Matthias and Fazal-Baqaie, Masud and Runschke, Hubert}, editor={Felderer,
    Michael and Hasselbring, Wilhelm and Rabiser, Rick and Jung, ReinerEditors}, year={2020},
    collection={Lecture Notes in Informatics (LNI)} }'
  chicago: Koch, Thorsten, Matthias Meyer, Masud Fazal-Baqaie, and Hubert Runschke.
    “Softwareentwicklung Wie Am Fliessband.” In <i>Software Engineering 2020 (SE 2020)</i>,
    edited by Michael Felderer, Wilhelm Hasselbring, Rick Rabiser, and Reiner Jung.
    Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V., 2020. <a
    href="https://doi.org/10.18420/SE2020\_58">https://doi.org/10.18420/SE2020\_58</a>.
  ieee: T. Koch, M. Meyer, M. Fazal-Baqaie, and H. Runschke, “Softwareentwicklung
    wie am Fliessband,” in <i>Software Engineering 2020 (SE 2020)</i>, 2020.
  mla: Koch, Thorsten, et al. “Softwareentwicklung Wie Am Fliessband.” <i>Software
    Engineering 2020 (SE 2020)</i>, edited by Michael Felderer et al., Gesellschaft
    für Informatik e.V., 2020, doi:<a href="https://doi.org/10.18420/SE2020\_58">10.18420/SE2020\_58</a>.
  short: 'T. Koch, M. Meyer, M. Fazal-Baqaie, H. Runschke, in: M. Felderer, W. Hasselbring,
    R. Rabiser, R. Jung (Eds.), Software Engineering 2020 (SE 2020), Gesellschaft
    für Informatik e.V., 2020.'
date_created: 2021-04-30T11:15:13Z
date_updated: 2022-01-06T06:55:19Z
department:
- _id: '241'
- _id: '662'
doi: 10.18420/SE2020\_58
editor:
- first_name: Michael
  full_name: Felderer, Michael
  last_name: Felderer
- first_name: Wilhelm
  full_name: Hasselbring, Wilhelm
  last_name: Hasselbring
- first_name: Rick
  full_name: Rabiser, Rick
  last_name: Rabiser
- first_name: Reiner
  full_name: Jung, Reiner
  last_name: Jung
language:
- iso: eng
publication: Software Engineering 2020 (SE 2020)
publisher: Gesellschaft für Informatik e.V.
series_title: Lecture Notes in Informatics (LNI)
status: public
title: Softwareentwicklung wie am Fliessband
type: conference
user_id: '13616'
year: '2020'
...
---
_id: '42068'
author:
- first_name: Alexander
  full_name: Gense, Alexander
  last_name: Gense
citation:
  ama: Gense A. <i>Mechatronischer Entwurf eines geregelten Federungssystems für mittelschwere
    gepanzerte Kettenfahrzeuge</i>.; 2020.
  apa: Gense, A. (2020). <i>Mechatronischer Entwurf eines geregelten Federungssystems
    für mittelschwere gepanzerte Kettenfahrzeuge</i>.
  bibtex: '@book{Gense_2020, title={Mechatronischer Entwurf eines geregelten Federungssystems
    für mittelschwere gepanzerte Kettenfahrzeuge}, author={Gense, Alexander}, year={2020}
    }'
  chicago: Gense, Alexander. <i>Mechatronischer Entwurf eines geregelten Federungssystems
    für mittelschwere gepanzerte Kettenfahrzeuge</i>, 2020.
  ieee: A. Gense, <i>Mechatronischer Entwurf eines geregelten Federungssystems für
    mittelschwere gepanzerte Kettenfahrzeuge</i>. 2020.
  mla: Gense, Alexander. <i>Mechatronischer Entwurf eines geregelten Federungssystems
    für mittelschwere gepanzerte Kettenfahrzeuge</i>. 2020.
  short: A. Gense, Mechatronischer Entwurf eines geregelten Federungssystems für mittelschwere
    gepanzerte Kettenfahrzeuge, 2020.
date_created: 2023-02-14T10:53:20Z
date_updated: 2023-02-15T11:14:49Z
department:
- _id: '153'
- _id: '241'
language:
- iso: ger
main_file_link:
- open_access: '1'
  url: https://digital.ub.uni-paderborn.de/urn/urn:nbn:de:hbz:466:2-38177
oa: '1'
publication_status: published
status: public
supervisor:
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
title: Mechatronischer Entwurf eines geregelten Federungssystems für mittelschwere
  gepanzerte Kettenfahrzeuge
type: dissertation
user_id: '82875'
year: '2020'
...
---
_id: '42067'
author:
- first_name: Fabian
  full_name: Bertelsmeier, Fabian
  last_name: Bertelsmeier
citation:
  ama: Bertelsmeier F. <i>Produkttolerante Automation zellenbasierter Fertigungssysteme</i>.;
    2020.
  apa: Bertelsmeier, F. (2020). <i>Produkttolerante Automation zellenbasierter Fertigungssysteme</i>.
  bibtex: '@book{Bertelsmeier_2020, title={Produkttolerante Automation zellenbasierter
    Fertigungssysteme}, author={Bertelsmeier, Fabian}, year={2020} }'
  chicago: Bertelsmeier, Fabian. <i>Produkttolerante Automation zellenbasierter Fertigungssysteme</i>,
    2020.
  ieee: F. Bertelsmeier, <i>Produkttolerante Automation zellenbasierter Fertigungssysteme</i>.
    2020.
  mla: Bertelsmeier, Fabian. <i>Produkttolerante Automation zellenbasierter Fertigungssysteme</i>.
    2020.
  short: F. Bertelsmeier, Produkttolerante Automation zellenbasierter Fertigungssysteme,
    2020.
date_created: 2023-02-14T10:51:40Z
date_updated: 2023-02-15T10:30:24Z
department:
- _id: '153'
- _id: '241'
language:
- iso: ger
main_file_link:
- open_access: '1'
  url: https://digital.ub.uni-paderborn.de/doi/10.17619/UNIPB/1-890
oa: '1'
publication_status: published
status: public
supervisor:
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
title: Produkttolerante Automation zellenbasierter Fertigungssysteme
type: dissertation
user_id: '82875'
year: '2020'
...
---
_id: '22965'
author:
- first_name: Julian
  full_name: Rozo Vasquez, Julian
  last_name: Rozo Vasquez
- first_name: Bahman
  full_name: Arian, Bahman
  id: '36287'
  last_name: Arian
- first_name: Markus
  full_name: Riepold, Markus
  last_name: Riepold
- first_name: Werner
  full_name: Homberg, Werner
  id: '233'
  last_name: Homberg
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
- first_name: Frank
  full_name: Walther, Frank
  last_name: Walther
citation:
  ama: 'Rozo Vasquez J, Arian B, Riepold M, Homberg W, Trächtler A, Walther F. Microstructural
    investigation on phase transformation during flow forming of the metastable austenite
    AISI 304 . In: <i> 54. Metallographie-Tagung</i>. ; 2020:75-81.'
  apa: Rozo Vasquez, J., Arian, B., Riepold, M., Homberg, W., Trächtler, A., &#38;
    Walther, F. (2020). Microstructural investigation on phase transformation during
    flow forming of the metastable austenite AISI 304 . <i> 54. Metallographie-Tagung</i>,
    75–81.
  bibtex: '@inproceedings{Rozo Vasquez_Arian_Riepold_Homberg_Trächtler_Walther_2020,
    title={Microstructural investigation on phase transformation during flow forming
    of the metastable austenite AISI 304 }, booktitle={ 54. Metallographie-Tagung},
    author={Rozo Vasquez, Julian and Arian, Bahman and Riepold, Markus and Homberg,
    Werner and Trächtler, Ansgar and Walther, Frank}, year={2020}, pages={75–81} }'
  chicago: Rozo Vasquez, Julian, Bahman Arian, Markus Riepold, Werner Homberg, Ansgar
    Trächtler, and Frank Walther. “Microstructural Investigation on Phase Transformation
    during Flow Forming of the Metastable Austenite AISI 304 .” In <i> 54. Metallographie-Tagung</i>,
    75–81, 2020.
  ieee: J. Rozo Vasquez, B. Arian, M. Riepold, W. Homberg, A. Trächtler, and F. Walther,
    “Microstructural investigation on phase transformation during flow forming of
    the metastable austenite AISI 304 ,” in <i> 54. Metallographie-Tagung</i>, 2020,
    pp. 75–81.
  mla: Rozo Vasquez, Julian, et al. “Microstructural Investigation on Phase Transformation
    during Flow Forming of the Metastable Austenite AISI 304 .” <i> 54. Metallographie-Tagung</i>,
    2020, pp. 75–81.
  short: 'J. Rozo Vasquez, B. Arian, M. Riepold, W. Homberg, A. Trächtler, F. Walther,
    in:  54. Metallographie-Tagung, 2020, pp. 75–81.'
date_created: 2021-08-09T05:16:50Z
date_updated: 2023-05-02T08:20:55Z
department:
- _id: '153'
- _id: '241'
- _id: '156'
language:
- iso: eng
page: 75-81
publication: ' 54. Metallographie-Tagung'
quality_controlled: '1'
status: public
title: 'Microstructural investigation on phase transformation during flow forming
  of the metastable austenite AISI 304 '
type: conference
user_id: '36287'
year: '2020'
...
---
_id: '20347'
author:
- first_name: Faruk
  full_name: Pasic, Faruk
  id: '49576'
  last_name: Pasic
- first_name: Benedict
  full_name: Wohlers, Benedict
  id: '53786'
  last_name: Wohlers
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Matthias
  full_name: Becker, Matthias
  id: '4870'
  last_name: Becker
  orcid: https://orcid.org/0000-0003-2465-9347
- first_name: Matthias
  full_name: Heinrich, Matthias
  last_name: Heinrich
citation:
  ama: 'Pasic F, Wohlers B, Dziwok S, Becker M, Heinrich M. A KPI-based Condition
    Monitoring System for the Beer Brewing Process. In: <i>2019 24th IEEE International
    Conference on Emerging Technologies and Factory Automation (ETFA)</i>. ; 2019:1469-1472.'
  apa: Pasic, F., Wohlers, B., Dziwok, S., Becker, M., &#38; Heinrich, M. (2019).
    A KPI-based Condition Monitoring System for the Beer Brewing Process. <i>2019
    24th IEEE International Conference on Emerging Technologies and Factory Automation
    (ETFA)</i>, 1469–1472.
  bibtex: '@inproceedings{Pasic_Wohlers_Dziwok_Becker_Heinrich_2019, title={A KPI-based
    Condition Monitoring System for the Beer Brewing Process}, booktitle={2019 24th
    IEEE International Conference on Emerging Technologies and Factory Automation
    (ETFA)}, author={Pasic, Faruk and Wohlers, Benedict and Dziwok, Stefan and Becker,
    Matthias and Heinrich, Matthias}, year={2019}, pages={1469–1472} }'
  chicago: Pasic, Faruk, Benedict Wohlers, Stefan Dziwok, Matthias Becker, and Matthias
    Heinrich. “A KPI-Based Condition Monitoring System for the Beer Brewing Process.”
    In <i>2019 24th IEEE International Conference on Emerging Technologies and Factory
    Automation (ETFA)</i>, 1469–72, 2019.
  ieee: F. Pasic, B. Wohlers, S. Dziwok, M. Becker, and M. Heinrich, “A KPI-based
    Condition Monitoring System for the Beer Brewing Process,” in <i>2019 24th IEEE
    International Conference on Emerging Technologies and Factory Automation (ETFA)</i>,
    2019, pp. 1469–1472.
  mla: Pasic, Faruk, et al. “A KPI-Based Condition Monitoring System for the Beer
    Brewing Process.” <i>2019 24th IEEE International Conference on Emerging Technologies
    and Factory Automation (ETFA)</i>, 2019, pp. 1469–72.
  short: 'F. Pasic, B. Wohlers, S. Dziwok, M. Becker, M. Heinrich, in: 2019 24th IEEE
    International Conference on Emerging Technologies and Factory Automation (ETFA),
    2019, pp. 1469–1472.'
date_created: 2020-11-13T08:34:51Z
date_updated: 2022-01-06T06:54:26Z
department:
- _id: '241'
language:
- iso: eng
page: 1469-1472
publication: 2019 24th IEEE International Conference on Emerging Technologies and
  Factory Automation (ETFA)
status: public
title: A KPI-based Condition Monitoring System for the Beer Brewing Process
type: conference
user_id: '14931'
year: '2019'
...
---
_id: '20528'
author:
- first_name: Goran
  full_name: Piskachev, Goran
  last_name: Piskachev
- first_name: Tobias
  full_name: Petrasch, Tobias
  last_name: Petrasch
- first_name: Johannes
  full_name: Späth, Johannes
  last_name: Späth
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Piskachev G, Petrasch T, Späth J, Bodden E. AuthCheck: Program-state Analysis
    for Access-control Vulnerabilities. In: <i>10th Workshop on Tools for Automatic
    Program Analysis (TAPAS)</i>. ; 2019.'
  apa: 'Piskachev, G., Petrasch, T., Späth, J., &#38; Bodden, E. (2019). AuthCheck:
    Program-state Analysis for Access-control Vulnerabilities. <i>10th Workshop on
    Tools for Automatic Program Analysis (TAPAS)</i>.'
  bibtex: '@inproceedings{Piskachev_Petrasch_Späth_Bodden_2019, title={AuthCheck:
    Program-state Analysis for Access-control Vulnerabilities}, booktitle={10th Workshop
    on Tools for Automatic Program Analysis (TAPAS)}, author={Piskachev, Goran and
    Petrasch, Tobias and Späth, Johannes and Bodden, Eric}, year={2019} }'
  chicago: 'Piskachev, Goran, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck:
    Program-State Analysis for Access-Control Vulnerabilities.” In <i>10th Workshop
    on Tools for Automatic Program Analysis (TAPAS)</i>, 2019.'
  ieee: 'G. Piskachev, T. Petrasch, J. Späth, and E. Bodden, “AuthCheck: Program-state
    Analysis for Access-control Vulnerabilities,” 2019.'
  mla: 'Piskachev, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control
    Vulnerabilities.” <i>10th Workshop on Tools for Automatic Program Analysis (TAPAS)</i>,
    2019.'
  short: 'G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: 10th Workshop on Tools
    for Automatic Program Analysis (TAPAS), 2019.'
date_created: 2020-11-27T10:21:19Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/piskachev19authcheck.pdf
publication: 10th Workshop on Tools for Automatic Program Analysis (TAPAS)
status: public
title: 'AuthCheck: Program-state Analysis for Access-control Vulnerabilities'
type: conference
user_id: '5786'
year: '2019'
...
---
_id: '20757'
author:
- first_name: Masud
  full_name: Fazal-Baqaie, Masud
  last_name: Fazal-Baqaie
- first_name: Jan-Niclas
  full_name: Strüwer, Jan-Niclas
  last_name: Strüwer
- first_name: David
  full_name: Schmelter, David
  id: '40982'
  last_name: Schmelter
  orcid: 0000-0001-7787-5380
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
citation:
  ama: 'Fazal-Baqaie M, Strüwer J-N, Schmelter D, Dziwok S. Coaching on the Job bei
    Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege
    modernisierter IT-Anwendungen. In: Mikusz M, ed. <i>Projektmanagement Und Vorgehensmodelle
    2019 (PVM 2019)</i>. Lecture Notes in Informatics (LNI); 2019.'
  apa: Fazal-Baqaie, M., Strüwer, J.-N., Schmelter, D., &#38; Dziwok, S. (2019). Coaching
    on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen
    zur Weiterpflege modernisierter IT-Anwendungen. In M. Mikusz (Ed.), <i>Projektmanagement
    und Vorgehensmodelle 2019 (PVM 2019)</i>. Lecture Notes in Informatics (LNI).
  bibtex: '@inproceedings{Fazal-Baqaie_Strüwer_Schmelter_Dziwok_2019, title={Coaching
    on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen
    zur Weiterpflege modernisierter IT-Anwendungen}, booktitle={Projektmanagement
    und Vorgehensmodelle 2019 (PVM 2019)}, publisher={Lecture Notes in Informatics
    (LNI)}, author={Fazal-Baqaie, Masud and Strüwer, Jan-Niclas and Schmelter, David
    and Dziwok, Stefan}, editor={Mikusz, Martin}, year={2019} }'
  chicago: Fazal-Baqaie, Masud, Jan-Niclas Strüwer, David Schmelter, and Stefan Dziwok.
    “Coaching on the Job Bei Unternehmen Des Maschinen- Und Anlagenbaus - Wissenslücken
    Schließen Zur Weiterpflege Modernisierter IT-Anwendungen.” In <i>Projektmanagement
    Und Vorgehensmodelle 2019 (PVM 2019)</i>, edited by Martin Mikusz. Lecture Notes
    in Informatics (LNI), 2019.
  ieee: M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, and S. Dziwok, “Coaching on
    the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen
    zur Weiterpflege modernisierter IT-Anwendungen,” in <i>Projektmanagement und Vorgehensmodelle
    2019 (PVM 2019)</i>, 2019.
  mla: Fazal-Baqaie, Masud, et al. “Coaching on the Job Bei Unternehmen Des Maschinen-
    Und Anlagenbaus - Wissenslücken Schließen Zur Weiterpflege Modernisierter IT-Anwendungen.”
    <i>Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019)</i>, edited by Martin
    Mikusz, Lecture Notes in Informatics (LNI), 2019.
  short: 'M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, S. Dziwok, in: M. Mikusz (Ed.),
    Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), Lecture Notes in Informatics
    (LNI), 2019.'
date_created: 2020-12-16T13:51:04Z
date_updated: 2022-01-06T06:54:36Z
department:
- _id: '241'
- _id: '662'
editor:
- first_name: Martin
  full_name: Mikusz, Martin
  last_name: Mikusz
language:
- iso: eng
publication: Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)
publisher: Lecture Notes in Informatics (LNI)
status: public
title: Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken
  schließen zur Weiterpflege modernisierter IT-Anwendungen
type: conference
user_id: '3901'
year: '2019'
...
---
_id: '20758'
author:
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
citation:
  ama: Holtmann J. <i>Improvement of Software Requirements Quality Based on Systems
    Engineering</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität
    Paderborn; 2019.
  apa: Holtmann, J. (2019). <i>Improvement of Software Requirements Quality based
    on Systems Engineering</i>. Fakultät für Elektrotechnik, Informatik und Mathematik,
    Universität Paderborn.
  bibtex: '@book{Holtmann_2019, title={Improvement of Software Requirements Quality
    based on Systems Engineering}, publisher={Fakultät für Elektrotechnik, Informatik
    und Mathematik, Universität Paderborn}, author={Holtmann, Jörg}, year={2019} }'
  chicago: Holtmann, Jörg. <i>Improvement of Software Requirements Quality Based on
    Systems Engineering</i>. Fakultät für Elektrotechnik, Informatik und Mathematik,
    Universität Paderborn, 2019.
  ieee: J. Holtmann, <i>Improvement of Software Requirements Quality based on Systems
    Engineering</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität
    Paderborn, 2019.
  mla: Holtmann, Jörg. <i>Improvement of Software Requirements Quality Based on Systems
    Engineering</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität
    Paderborn, 2019.
  short: J. Holtmann, Improvement of Software Requirements Quality Based on Systems
    Engineering, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität
    Paderborn, 2019.
date_created: 2020-12-16T14:02:11Z
date_updated: 2022-01-06T06:54:36Z
department:
- _id: '241'
language:
- iso: eng
publisher: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn
status: public
title: Improvement of Software Requirements Quality based on Systems Engineering
type: dissertation
user_id: '15249'
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: '20760'
author:
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
- first_name: Hendrik
  full_name: Eikerling, Hendrik
  id: '29279'
  last_name: Eikerling
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
citation:
  ama: 'Schubert D, Eikerling H, Holtmann J. Application-aware Intrusion Detection:
    A Systematic Literature Review and Implications for Automotive Systems. In: <i>17th
    Escar Europe : Embedded Security in Cars</i>. Ruhr-University Bochum, University
    Library; 2019.'
  apa: 'Schubert, D., Eikerling, H., &#38; Holtmann, J. (2019). Application-aware
    Intrusion Detection: A Systematic Literature Review and Implications for Automotive
    Systems. In <i>17th escar Europe : embedded security in cars</i>. Ruhr-University
    Bochum, University Library.'
  bibtex: '@inbook{Schubert_Eikerling_Holtmann_2019, title={Application-aware Intrusion
    Detection: A Systematic Literature Review and Implications for Automotive Systems},
    booktitle={17th escar Europe : embedded security in cars}, publisher={Ruhr-University
    Bochum, University Library}, author={Schubert, David and Eikerling, Hendrik and
    Holtmann, Jörg}, year={2019} }'
  chicago: 'Schubert, David, Hendrik Eikerling, and Jörg Holtmann. “Application-Aware
    Intrusion Detection: A Systematic Literature Review and Implications for Automotive
    Systems.” In <i>17th Escar Europe : Embedded Security in Cars</i>. Ruhr-University
    Bochum, University Library, 2019.'
  ieee: 'D. Schubert, H. Eikerling, and J. Holtmann, “Application-aware Intrusion
    Detection: A Systematic Literature Review and Implications for Automotive Systems,”
    in <i>17th escar Europe : embedded security in cars</i>, Ruhr-University Bochum,
    University Library, 2019.'
  mla: 'Schubert, David, et al. “Application-Aware Intrusion Detection: A Systematic
    Literature Review and Implications for Automotive Systems.” <i>17th Escar Europe :
    Embedded Security in Cars</i>, Ruhr-University Bochum, University Library, 2019.'
  short: 'D. Schubert, H. Eikerling, J. Holtmann, in: 17th Escar Europe : Embedded
    Security in Cars, Ruhr-University Bochum, University Library, 2019.'
date_created: 2020-12-16T14:05:10Z
date_updated: 2022-01-06T06:54:36Z
department:
- _id: '241'
language:
- iso: eng
publication: '17th escar Europe : embedded security in cars'
publisher: Ruhr-University Bochum, University Library
status: public
title: 'Application-aware Intrusion Detection: A Systematic Literature Review and
  Implications for Automotive Systems'
type: book_chapter
user_id: '9106'
year: '2019'
...
---
_id: '20761'
abstract:
- lang: eng
  text: 'The processes for manufacturing and operating modern technical products require
    expertise in multiple disciplines like mechanical engineer-ing, electrical engineering,
    and software engineering. Assessing the current condition and quality of these
    processes and the machines in-volved is challenging due to the inherent complexity
    of the products and the required expertise in multiple engineering domains. Globaliza-tion
    and increasing competition make it necessary to reduce production costs while
    at the same time ensuring high throughput and product quality. Without the ability
    to precisely assess the condition and quality of production processes and involved
    machines, taking action to steer these metrics is nearly impossible and results
    in unnecessary high production costs. In our previous publications, we introduced
    the concept of Key Performance Indicators (KPIs) for mechatronic systems as a
    concept to assess the condition and quality of products and production processes
    in a graspable yet substantial and efficient way. In this paper, we further refine
    our KPI concepts und evaluate them for two different use cases: we apply our KPI
    concept to a manufacturing process in the mechatronic system domain and an operation
    process in the food production domain. We provide detailed insights in how we
    applied our concepts within these domains and report about lessons learned. In
    addition, we provide a business case estimation for our soft-ware solution that
    assesses the KPIs of our food production domain example.'
author:
- first_name: Benedict
  full_name: Wohlers, Benedict
  id: '53786'
  last_name: Wohlers
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Faruk
  full_name: Pasic, Faruk
  id: '49576'
  last_name: Pasic
- first_name: Andre
  full_name: Lipsmeier, Andre
  last_name: Lipsmeier
- first_name: Matthias
  full_name: Becker, Matthias
  id: '4870'
  last_name: Becker
  orcid: https://orcid.org/0000-0003-2465-9347
citation:
  ama: Wohlers B, Dziwok S, Pasic F, Lipsmeier A, Becker M. Monitoring and Control
    of Production Processes based on Key Performance Indicators for Mechatronic Systems.
    <i>International Journal of Production Economics</i>. 2019.
  apa: Wohlers, B., Dziwok, S., Pasic, F., Lipsmeier, A., &#38; Becker, M. (2019).
    Monitoring and Control of Production Processes based on Key Performance Indicators
    for Mechatronic Systems. <i>International Journal of Production Economics</i>.
  bibtex: '@article{Wohlers_Dziwok_Pasic_Lipsmeier_Becker_2019, title={Monitoring
    and Control of Production Processes based on Key Performance Indicators for Mechatronic
    Systems}, journal={International Journal of Production Economics}, author={Wohlers,
    Benedict and Dziwok, Stefan and Pasic, Faruk and Lipsmeier, Andre and Becker,
    Matthias}, year={2019} }'
  chicago: Wohlers, Benedict, Stefan Dziwok, Faruk Pasic, Andre Lipsmeier, and Matthias
    Becker. “Monitoring and Control of Production Processes Based on Key Performance
    Indicators for Mechatronic Systems.” <i>International Journal of Production Economics</i>,
    2019.
  ieee: B. Wohlers, S. Dziwok, F. Pasic, A. Lipsmeier, and M. Becker, “Monitoring
    and Control of Production Processes based on Key Performance Indicators for Mechatronic
    Systems,” <i>International Journal of Production Economics</i>, 2019.
  mla: Wohlers, Benedict, et al. “Monitoring and Control of Production Processes Based
    on Key Performance Indicators for Mechatronic Systems.” <i>International Journal
    of Production Economics</i>, 2019.
  short: B. Wohlers, S. Dziwok, F. Pasic, A. Lipsmeier, M. Becker, International Journal
    of Production Economics (2019).
date_created: 2020-12-16T14:06:20Z
date_updated: 2022-01-06T06:54:36Z
department:
- _id: '241'
language:
- iso: eng
publication: International Journal of Production Economics
status: public
title: Monitoring and Control of Production Processes based on Key Performance Indicators
  for Mechatronic Systems
type: journal_article
user_id: '3901'
year: '2019'
...
---
_id: '22805'
author:
- first_name: Markus
  full_name: Fockel, Markus
  id: '8472'
  last_name: Fockel
  orcid: 0000-0002-1269-0702
- first_name: Sven
  full_name: Merschjohann, Sven
  id: '11394'
  last_name: Merschjohann
- first_name: Masud
  full_name: Fazal-Baqaie, Masud
  last_name: Fazal-Baqaie
- first_name: Torsten
  full_name: Förder, Torsten
  last_name: Förder
- first_name: Stefan
  full_name: Hausmann, Stefan
  last_name: Hausmann
- first_name: Boris
  full_name: Waldeck, Boris
  last_name: Waldeck
citation:
  ama: 'Fockel M, Merschjohann S, Fazal-Baqaie M, Förder T, Hausmann S, Waldeck B.
    Designing and Integrating IEC 62443 Compliant Threat Analysis. In: <i>European
    System, Software &#38; Service Process Improvement &#38; Innovation Conference
    (EuroSPI 2019)</i>. Vol 1060. Communications in Computer and Information Science.
    ; 2019. doi:<a href="https://doi.org/10.1007/978-3-030-28005-5_5">10.1007/978-3-030-28005-5_5</a>'
  apa: Fockel, M., Merschjohann, S., Fazal-Baqaie, M., Förder, T., Hausmann, S., &#38;
    Waldeck, B. (2019). Designing and Integrating IEC 62443 Compliant Threat Analysis.
    In <i>European System, Software &#38; Service Process Improvement &#38; Innovation
    Conference (EuroSPI 2019)</i> (Vol. 1060). Edinburgh, UK. <a href="https://doi.org/10.1007/978-3-030-28005-5_5">https://doi.org/10.1007/978-3-030-28005-5_5</a>
  bibtex: '@inproceedings{Fockel_Merschjohann_Fazal-Baqaie_Förder_Hausmann_Waldeck_2019,
    series={Communications in Computer and Information Science}, title={Designing
    and Integrating IEC 62443 Compliant Threat Analysis}, volume={1060}, DOI={<a href="https://doi.org/10.1007/978-3-030-28005-5_5">10.1007/978-3-030-28005-5_5</a>},
    booktitle={European System, Software &#38; Service Process Improvement &#38; Innovation
    Conference (EuroSPI 2019)}, author={Fockel, Markus and Merschjohann, Sven and
    Fazal-Baqaie, Masud and Förder, Torsten and Hausmann, Stefan and Waldeck, Boris},
    year={2019}, collection={Communications in Computer and Information Science} }'
  chicago: Fockel, Markus, Sven Merschjohann, Masud Fazal-Baqaie, Torsten Förder,
    Stefan Hausmann, and Boris Waldeck. “Designing and Integrating IEC 62443 Compliant
    Threat Analysis.” In <i>European System, Software &#38; Service Process Improvement
    &#38; Innovation Conference (EuroSPI 2019)</i>, Vol. 1060. Communications in Computer
    and Information Science, 2019. <a href="https://doi.org/10.1007/978-3-030-28005-5_5">https://doi.org/10.1007/978-3-030-28005-5_5</a>.
  ieee: M. Fockel, S. Merschjohann, M. Fazal-Baqaie, T. Förder, S. Hausmann, and B.
    Waldeck, “Designing and Integrating IEC 62443 Compliant Threat Analysis,” in <i>European
    System, Software &#38; Service Process Improvement &#38; Innovation Conference
    (EuroSPI 2019)</i>, Edinburgh, UK, 2019, vol. 1060.
  mla: Fockel, Markus, et al. “Designing and Integrating IEC 62443 Compliant Threat
    Analysis.” <i>European System, Software &#38; Service Process Improvement &#38;
    Innovation Conference (EuroSPI 2019)</i>, vol. 1060, 2019, doi:<a href="https://doi.org/10.1007/978-3-030-28005-5_5">10.1007/978-3-030-28005-5_5</a>.
  short: 'M. Fockel, S. Merschjohann, M. Fazal-Baqaie, T. Förder, S. Hausmann, B.
    Waldeck, in: European System, Software &#38; Service Process Improvement &#38;
    Innovation Conference (EuroSPI 2019), 2019.'
conference:
  location: Edinburgh, UK
  name: European System, Software & Service Process Improvement & Innovation Conference
    (EuroSPI 2019)
date_created: 2021-07-23T14:09:56Z
date_updated: 2022-01-06T06:55:41Z
department:
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-030-28005-5_5
intvolume: '      1060'
language:
- iso: eng
publication: European System, Software & Service Process Improvement & Innovation
  Conference (EuroSPI 2019)
publication_identifier:
  issn:
  - 1865-0929
  - 1865-0937
publication_status: published
series_title: Communications in Computer and Information Science
status: public
title: Designing and Integrating IEC 62443 Compliant Threat Analysis
type: conference
user_id: '8472'
volume: 1060
year: '2019'
...
---
_id: '22975'
author:
- first_name: Manuel
  full_name: Gräler, Manuel
  last_name: Gräler
- first_name: Astrid
  full_name: Wallow, Astrid
  last_name: Wallow
- first_name: Christian
  full_name: Henke, Christian
  last_name: Henke
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
citation:
  ama: 'Gräler M, Wallow A, Henke C, Trächtler A. Assisted setup of forming processes:
    architecture for the integration of non-adjustable disturbances. <i>Procedia CIRP</i>.
    2019;81:1348–1353.'
  apa: 'Gräler, M., Wallow, A., Henke, C., &#38; Trächtler, A. (2019). Assisted setup
    of forming processes: architecture for the integration of non-adjustable disturbances.
    <i>Procedia CIRP</i>, <i>81</i>, 1348–1353.'
  bibtex: '@article{Gräler_Wallow_Henke_Trächtler_2019, title={Assisted setup of forming
    processes: architecture for the integration of non-adjustable disturbances}, volume={81},
    journal={Procedia CIRP}, author={Gräler, Manuel and Wallow, Astrid and Henke,
    Christian and Trächtler, Ansgar}, year={2019}, pages={1348–1353} }'
  chicago: 'Gräler, Manuel, Astrid Wallow, Christian Henke, and Ansgar Trächtler.
    “Assisted Setup of Forming Processes: Architecture for the Integration of Non-Adjustable
    Disturbances.” <i>Procedia CIRP</i> 81 (2019): 1348–1353.'
  ieee: 'M. Gräler, A. Wallow, C. Henke, and A. Trächtler, “Assisted setup of forming
    processes: architecture for the integration of non-adjustable disturbances,” <i>Procedia
    CIRP</i>, vol. 81, pp. 1348–1353, 2019.'
  mla: 'Gräler, Manuel, et al. “Assisted Setup of Forming Processes: Architecture
    for the Integration of Non-Adjustable Disturbances.” <i>Procedia CIRP</i>, vol.
    81, 2019, pp. 1348–1353.'
  short: M. Gräler, A. Wallow, C. Henke, A. Trächtler, Procedia CIRP 81 (2019) 1348–1353.
date_created: 2021-08-09T05:21:47Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
intvolume: '        81'
language:
- iso: eng
page: 1348–1353
publication: Procedia CIRP
status: public
title: 'Assisted setup of forming processes: architecture for the integration of non-adjustable
  disturbances'
type: journal_article
user_id: '24876'
volume: 81
year: '2019'
...
