---
_id: '20545'
citation:
  ama: Tip F, Bodden E, eds. <i>Proceedings of the 27th ACM SIGSOFT International
    Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands,
    July 16-21, 2018</i>. ACM; 2018.
  apa: Tip, F., &#38; Bodden, E. (Eds.). (2018). <i>Proceedings of the 27th ACM SIGSOFT
    International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam,
    The Netherlands, July 16-21, 2018</i>. ACM.
  bibtex: '@book{Tip_Bodden_2018, title={Proceedings of the 27th ACM SIGSOFT International
    Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands,
    July 16-21, 2018}, publisher={ACM}, year={2018} }'
  chicago: Tip, Frank, and Eric Bodden, eds. <i>Proceedings of the 27th ACM SIGSOFT
    International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam,
    The Netherlands, July 16-21, 2018</i>. ACM, 2018.
  ieee: F. Tip and E. Bodden, Eds., <i>Proceedings of the 27th ACM SIGSOFT International
    Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands,
    July 16-21, 2018</i>. ACM, 2018.
  mla: Tip, Frank, and Eric Bodden, editors. <i>Proceedings of the 27th ACM SIGSOFT
    International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam,
    The Netherlands, July 16-21, 2018</i>. ACM, 2018.
  short: F. Tip, E. Bodden, eds., Proceedings of the 27th ACM SIGSOFT International
    Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands,
    July 16-21, 2018, ACM, 2018.
date_created: 2020-11-30T09:35:03Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
editor:
- first_name: Frank
  full_name: Tip, Frank
  last_name: Tip
- first_name: Eric
  full_name: Bodden, Eric
  last_name: Bodden
language:
- iso: eng
publisher: ACM
status: public
title: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing
  and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018
type: conference_editor
user_id: '5786'
year: '2018'
...
---
_id: '20546'
author:
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Gerking C, Schubert D, Bodden E. Model Checking the Information Flow Security
    of Real-Time Systems. In: Payer M, Rashid A, Such JM, eds. <i>Engineering Secure
    Software and Systems</i>. Springer International Publishing; 2018:27-43.'
  apa: Gerking, C., Schubert, D., &#38; Bodden, E. (2018). Model Checking the Information
    Flow Security of Real-Time Systems. In M. Payer, A. Rashid, &#38; J. M. Such (Eds.),
    <i>Engineering Secure Software and Systems</i> (pp. 27–43). Springer International
    Publishing.
  bibtex: '@inproceedings{Gerking_Schubert_Bodden_2018, place={Cham}, title={Model
    Checking the Information Flow Security of Real-Time Systems}, booktitle={Engineering
    Secure Software and Systems}, publisher={Springer International Publishing}, author={Gerking,
    Christopher and Schubert, David and Bodden, Eric}, editor={Payer, Mathias and
    Rashid, Awais and Such, Jose M.}, year={2018}, pages={27–43} }'
  chicago: 'Gerking, Christopher, David Schubert, and Eric Bodden. “Model Checking
    the Information Flow Security of Real-Time Systems.” In <i>Engineering Secure
    Software and Systems</i>, edited by Mathias Payer, Awais Rashid, and Jose M. Such,
    27–43. Cham: Springer International Publishing, 2018.'
  ieee: C. Gerking, D. Schubert, and E. Bodden, “Model Checking the Information Flow
    Security of Real-Time Systems,” in <i>Engineering Secure Software and Systems</i>,
    2018, pp. 27–43.
  mla: Gerking, Christopher, et al. “Model Checking the Information Flow Security
    of Real-Time Systems.” <i>Engineering Secure Software and Systems</i>, edited
    by Mathias Payer et al., Springer International Publishing, 2018, pp. 27–43.
  short: 'C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.),
    Engineering Secure Software and Systems, Springer International Publishing, Cham,
    2018, pp. 27–43.'
date_created: 2020-11-30T09:35:55Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
editor:
- first_name: Mathias
  full_name: Payer, Mathias
  last_name: Payer
- first_name: Awais
  full_name: Rashid, Awais
  last_name: Rashid
- first_name: Jose M.
  full_name: Such, Jose M.
  last_name: Such
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/gsb18model.pdf
page: 27-43
place: Cham
publication: Engineering Secure Software and Systems
publisher: Springer International Publishing
status: public
title: Model Checking the Information Flow Security of Real-Time Systems
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20547'
author:
- 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: 'Nguyen Quang Do L, Bodden E. Gamifying Static Analysis. In: <i>Proceedings
    of the 2018 26th ACM Joint Meeting on European Software Engineering Conference
    and Symposium on the Foundations of Software Engineering</i>. ESEC/FSE 2018. ACM;
    2018:714-718. doi:<a href="https://doi.org/10.1145/3236024.3264830">10.1145/3236024.3264830</a>'
  apa: Nguyen Quang Do, L., &#38; Bodden, E. (2018). Gamifying Static Analysis. <i>Proceedings
    of the 2018 26th ACM Joint Meeting on European Software Engineering Conference
    and Symposium on the Foundations of Software Engineering</i>, 714–718. <a href="https://doi.org/10.1145/3236024.3264830">https://doi.org/10.1145/3236024.3264830</a>
  bibtex: '@inproceedings{Nguyen Quang Do_Bodden_2018, place={New York, NY, USA},
    series={ESEC/FSE 2018}, title={Gamifying Static Analysis}, DOI={<a href="https://doi.org/10.1145/3236024.3264830">10.1145/3236024.3264830</a>},
    booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software
    Engineering Conference and Symposium on the Foundations of Software Engineering},
    publisher={ACM}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2018},
    pages={714–718}, collection={ESEC/FSE 2018} }'
  chicago: 'Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.” In
    <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering
    Conference and Symposium on the Foundations of Software Engineering</i>, 714–18.
    ESEC/FSE 2018. New York, NY, USA: ACM, 2018. <a href="https://doi.org/10.1145/3236024.3264830">https://doi.org/10.1145/3236024.3264830</a>.'
  ieee: 'L. Nguyen Quang Do and E. Bodden, “Gamifying Static Analysis,” in <i>Proceedings
    of the 2018 26th ACM Joint Meeting on European Software Engineering Conference
    and Symposium on the Foundations of Software Engineering</i>, 2018, pp. 714–718,
    doi: <a href="https://doi.org/10.1145/3236024.3264830">10.1145/3236024.3264830</a>.'
  mla: Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.” <i>Proceedings
    of the 2018 26th ACM Joint Meeting on European Software Engineering Conference
    and Symposium on the Foundations of Software Engineering</i>, ACM, 2018, pp. 714–18,
    doi:<a href="https://doi.org/10.1145/3236024.3264830">10.1145/3236024.3264830</a>.
  short: 'L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint
    Meeting on European Software Engineering Conference and Symposium on the Foundations
    of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.'
date_created: 2020-11-30T09:37:35Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1145/3236024.3264830
keyword:
- Gamification
- Integrated Environments
- Program analysis
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/db18gamifying.pdf
page: 714-718
place: New York, NY, USA
publication: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering
  Conference and Symposium on the Foundations of Software Engineering
publication_identifier:
  isbn:
  - 978-1-4503-5573-5
publisher: ACM
series_title: ESEC/FSE 2018
status: public
title: Gamifying Static Analysis
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20548'
author:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Bodden E. The Secret Sauce in Efficient and Precise Static Analysis: The Beauty
    of Distributive, Summary-based Static Analyses (and How to Master Them). In: <i>ACM
    SIGPLAN International Workshop on the State Of the Art in Java Program Analysis
    (SOAP 2018)</i>. ISSTA ’18. ACM; 2018:85-93. doi:<a href="https://doi.org/10.1145/3236454.3236500">10.1145/3236454.3236500</a>'
  apa: 'Bodden, E. (2018). The Secret Sauce in Efficient and Precise Static Analysis:
    The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them).
    <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program
    Analysis (SOAP 2018)</i>, 85–93. <a href="https://doi.org/10.1145/3236454.3236500">https://doi.org/10.1145/3236454.3236500</a>'
  bibtex: '@inproceedings{Bodden_2018, place={New York, NY, USA}, series={ISSTA ’18},
    title={The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of
    Distributive, Summary-based Static Analyses (and How to Master Them)}, DOI={<a
    href="https://doi.org/10.1145/3236454.3236500">10.1145/3236454.3236500</a>}, booktitle={ACM
    SIGPLAN International Workshop on the State Of the Art in Java Program Analysis
    (SOAP 2018)}, publisher={ACM}, author={Bodden, Eric}, year={2018}, pages={85–93},
    collection={ISSTA ’18} }'
  chicago: 'Bodden, Eric. “The Secret Sauce in Efficient and Precise Static Analysis:
    The Beauty of Distributive, Summary-Based Static Analyses (and How to Master Them).”
    In <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program
    Analysis (SOAP 2018)</i>, 85–93. ISSTA ’18. New York, NY, USA: ACM, 2018. <a href="https://doi.org/10.1145/3236454.3236500">https://doi.org/10.1145/3236454.3236500</a>.'
  ieee: 'E. Bodden, “The Secret Sauce in Efficient and Precise Static Analysis: The
    Beauty of Distributive, Summary-based Static Analyses (and How to Master Them),”
    in <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program
    Analysis (SOAP 2018)</i>, 2018, pp. 85–93, doi: <a href="https://doi.org/10.1145/3236454.3236500">10.1145/3236454.3236500</a>.'
  mla: 'Bodden, Eric. “The Secret Sauce in Efficient and Precise Static Analysis:
    The Beauty of Distributive, Summary-Based Static Analyses (and How to Master Them).”
    <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program
    Analysis (SOAP 2018)</i>, ACM, 2018, pp. 85–93, doi:<a href="https://doi.org/10.1145/3236454.3236500">10.1145/3236454.3236500</a>.'
  short: 'E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art
    in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.'
date_created: 2020-11-30T09:51:05Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1145/3236454.3236500
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/bodden18secret.pdf
page: 85-93
place: New York, NY, USA
publication: ACM SIGPLAN International Workshop on the State Of the Art in Java Program
  Analysis (SOAP 2018)
publication_identifier:
  isbn:
  - 978-1-4503-5939-9
publisher: ACM
series_title: ISSTA '18
status: public
title: 'The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive,
  Summary-based Static Analyses (and How to Master Them)'
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20549'
author:
- first_name: Johannes
  full_name: Geismann, Johannes
  id: '20063'
  last_name: Geismann
  orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Geismann J, Gerking C, Bodden E. Towards Ensuring Security by Design in Cyber-Physical
    Systems Engineering Processes. In: <i>International Conference on Software and
    System Processes (ICSSP)</i>. ; 2018.'
  apa: Geismann, J., Gerking, C., &#38; Bodden, E. (2018). Towards Ensuring Security
    by Design in Cyber-Physical Systems Engineering Processes. <i>International Conference
    on Software and System Processes (ICSSP)</i>.
  bibtex: '@inproceedings{Geismann_Gerking_Bodden_2018, title={Towards Ensuring Security
    by Design in Cyber-Physical Systems Engineering Processes}, booktitle={International
    Conference on Software and System Processes (ICSSP)}, author={Geismann, Johannes
    and Gerking, Christopher and Bodden, Eric}, year={2018} }'
  chicago: Geismann, Johannes, Christopher Gerking, and Eric Bodden. “Towards Ensuring
    Security by Design in Cyber-Physical Systems Engineering Processes.” In <i>International
    Conference on Software and System Processes (ICSSP)</i>, 2018.
  ieee: J. Geismann, C. Gerking, and E. Bodden, “Towards Ensuring Security by Design
    in Cyber-Physical Systems Engineering Processes,” 2018.
  mla: Geismann, Johannes, et al. “Towards Ensuring Security by Design in Cyber-Physical
    Systems Engineering Processes.” <i>International Conference on Software and System
    Processes (ICSSP)</i>, 2018.
  short: 'J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software
    and System Processes (ICSSP), 2018.'
date_created: 2020-11-30T09:52:21Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
keyword:
- ITSECWEBSITE
language:
- iso: eng
publication: International Conference on Software and System Processes (ICSSP)
related_material:
  link:
  - relation: confirmation
    url: http://bodden.de/pubs/ggb18towards.pdf
status: public
title: Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20550'
author:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Bodden E. Self-adaptive Static Analysis. In: <i>Proceedings of the 40th International
    Conference on Software Engineering: New Ideas and Emerging Results</i>. ICSE-NIER
    ’18. ACM; 2018:45-48. doi:<a href="https://doi.org/10.1145/3183399.3183401">10.1145/3183399.3183401</a>'
  apa: 'Bodden, E. (2018). Self-adaptive Static Analysis. <i>Proceedings of the 40th
    International Conference on Software Engineering: New Ideas and Emerging Results</i>,
    45–48. <a href="https://doi.org/10.1145/3183399.3183401">https://doi.org/10.1145/3183399.3183401</a>'
  bibtex: '@inproceedings{Bodden_2018, place={New York, NY, USA}, series={ICSE-NIER
    ’18}, title={Self-adaptive Static Analysis}, DOI={<a href="https://doi.org/10.1145/3183399.3183401">10.1145/3183399.3183401</a>},
    booktitle={Proceedings of the 40th International Conference on Software Engineering:
    New Ideas and Emerging Results}, publisher={ACM}, author={Bodden, Eric}, year={2018},
    pages={45–48}, collection={ICSE-NIER ’18} }'
  chicago: 'Bodden, Eric. “Self-Adaptive Static Analysis.” In <i>Proceedings of the
    40th International Conference on Software Engineering: New Ideas and Emerging
    Results</i>, 45–48. ICSE-NIER ’18. New York, NY, USA: ACM, 2018. <a href="https://doi.org/10.1145/3183399.3183401">https://doi.org/10.1145/3183399.3183401</a>.'
  ieee: 'E. Bodden, “Self-adaptive Static Analysis,” in <i>Proceedings of the 40th
    International Conference on Software Engineering: New Ideas and Emerging Results</i>,
    2018, pp. 45–48, doi: <a href="https://doi.org/10.1145/3183399.3183401">10.1145/3183399.3183401</a>.'
  mla: 'Bodden, Eric. “Self-Adaptive Static Analysis.” <i>Proceedings of the 40th
    International Conference on Software Engineering: New Ideas and Emerging Results</i>,
    ACM, 2018, pp. 45–48, doi:<a href="https://doi.org/10.1145/3183399.3183401">10.1145/3183399.3183401</a>.'
  short: 'E. Bodden, in: Proceedings of the 40th International Conference on Software
    Engineering: New Ideas and Emerging Results, ACM, New York, NY, USA, 2018, pp.
    45–48.'
date_created: 2020-11-30T09:54:33Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1145/3183399.3183401
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
page: 45-48
place: New York, NY, USA
publication: 'Proceedings of the 40th International Conference on Software Engineering:
  New Ideas and Emerging Results'
publication_identifier:
  isbn:
  - 978-1-4503-5662-6
publisher: ACM
related_material:
  link:
  - relation: confirmation
    url: http://bodden.de/pubs/bodden18selfadaptive.pdf
series_title: ICSE-NIER '18
status: public
title: Self-adaptive Static Analysis
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20551'
author:
- first_name: Lisa
  full_name: Nguyen Quang Do, Lisa
  last_name: Nguyen Quang Do
- first_name: Stefan
  full_name: Krüger, Stefan
  last_name: Krüger
- first_name: Patrick
  full_name: Hill, Patrick
  last_name: Hill
- 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: 'Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. VISUFLOW, a Debugging
    Environment for Static Analyses. In: <i>International Conference for Software
    Engineering (ICSE), Tool Demonstrations Track</i>. ; 2018.'
  apa: Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., &#38; Bodden, E. (2018).
    VISUFLOW, a Debugging Environment for Static Analyses. <i>International Conference
    for Software Engineering (ICSE), Tool Demonstrations Track</i>.
  bibtex: '@inproceedings{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={VISUFLOW,
    a Debugging Environment for Static Analyses}, booktitle={International Conference
    for Software Engineering (ICSE), Tool Demonstrations Track}, author={Nguyen Quang
    Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric},
    year={2018} }'
  chicago: Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric
    Bodden. “VISUFLOW, a Debugging Environment for Static Analyses.” In <i>International
    Conference for Software Engineering (ICSE), Tool Demonstrations Track</i>, 2018.
  ieee: L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “VISUFLOW,
    a Debugging Environment for Static Analyses,” 2018.
  mla: Nguyen Quang Do, Lisa, et al. “VISUFLOW, a Debugging Environment for Static
    Analyses.” <i>International Conference for Software Engineering (ICSE), Tool Demonstrations
    Track</i>, 2018.
  short: 'L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, in: International
    Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.'
date_created: 2020-11-30T09:55:20Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/dkh+18visuflow.pdf
publication: International Conference for Software Engineering (ICSE), Tool Demonstrations
  Track
status: public
title: VISUFLOW, a Debugging Environment for Static Analyses
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20779'
abstract:
- lang: eng
  text: Der hohe Grad an Innovation in mechatronischen Systemen führt zu sogenannten
    Cyber-Physical Systems (CPS). Diese haben eine komplexe Funktionalität und Kommunikation.
    Wie sicherheitskritisch solche Systeme sind, wird durch sogenannte Sicherheits-Integritätslevel
    (SIL) kategorisiert, die durch Normen wie der ISO 26262 definiert werden. Ein
    bestimmter SIL beschreibt nicht nur die Höhe des Gefährdungsrisikos, sondern diktiert
    auch den erforderlichen Grad an Sorgfalt bei der Entwicklung des Systems. Ein
    hoher SIL erfordert die Anwendung von Safety-Maßnahmen mit einem hohen Sorgfaltsgrad
    in allen Phasen der Entwicklung und impliziert daher einen hohen Safety-Aufwand.
    SIL-Tailoring ist ein Mittel um den Safety-Aufwand zu reduzieren, indem man Subsystemen
    geringere SILs zuordnet, falls sie von kritischeren Subsystemen getrennt sind
    oder redundante Safety-Anforderungen erfüllen. Um den nötigen Safety-Aufwand zu
    planen, sollten Möglichkeiten für SIL-Tailoring so früh wie möglich identifiziert
    werden - d.h. bereits in der Anforderungsanalyse. Durch die Komplexität von CPS,
    ist es schwierig valide SIL-Tailorings zu finden. Die Validität von SIL-Tailorings
    muss durch Analyse von Fehlerpropagierungspfaden geprüft und durch Argumente im
    Safety Case begründet werden. Der Beitrag dieser Dissertation ist ein systematischer,
    tool-unterstützter SIL-Tailoring-Prozess, der im Safety Requirements Engineering
    angewendet wird. Der Prozess nutzt eine modell-basierte, formale Anforderungsspezifikation
    und stellt einen Katalog von Anforderungsmustern bereit. Basierend auf diesen
    Anforderungen werden Fehlerpropagierungsmodelle generiert und Subsystemen automatisch
    SILs zugeordnet. Das minimiert den Sicherheitsanalyseaufwand. Aus den generierten
    Ergebnissen wird automatisch ein Safety Case mit Argumenten für die SIL-Tailoring-Validität
    abgeleitet.
author:
- first_name: Markus
  full_name: Fockel, Markus
  id: '8472'
  last_name: Fockel
  orcid: 0000-0002-1269-0702
citation:
  ama: Fockel M. <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät
    für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2018. doi:<a
    href="https://doi.org/10.17619/UNIPB/1-490">10.17619/UNIPB/1-490</a>
  apa: Fockel, M. (2018). <i>Safety Requirements Engineering for Early SIL Tailoring</i>.
    Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn.
    <a href="https://doi.org/10.17619/UNIPB/1-490">https://doi.org/10.17619/UNIPB/1-490</a>
  bibtex: '@book{Fockel_2018, title={Safety Requirements Engineering for Early SIL
    Tailoring}, DOI={<a href="https://doi.org/10.17619/UNIPB/1-490">10.17619/UNIPB/1-490</a>},
    publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität
    Paderborn}, author={Fockel, Markus}, year={2018} }'
  chicago: Fockel, Markus. <i>Safety Requirements Engineering for Early SIL Tailoring</i>.
    Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
    2018. <a href="https://doi.org/10.17619/UNIPB/1-490">https://doi.org/10.17619/UNIPB/1-490</a>.
  ieee: M. Fockel, <i>Safety Requirements Engineering for Early SIL Tailoring</i>.
    Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
    2018.
  mla: Fockel, Markus. <i>Safety Requirements Engineering for Early SIL Tailoring</i>.
    Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
    2018, doi:<a href="https://doi.org/10.17619/UNIPB/1-490">10.17619/UNIPB/1-490</a>.
  short: M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät
    für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
date_created: 2020-12-17T11:59:05Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.17619/UNIPB/1-490
language:
- iso: eng
publisher: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn
status: public
supervisor:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
title: Safety Requirements Engineering for Early SIL Tailoring
type: dissertation
user_id: '5786'
year: '2018'
...
---
_id: '20781'
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. Towards Preserving Information Flow Security on Architectural
    Composition of Cyber-Physical Systems. In: <i>European Conference on Software
    Architecture (ECSA 2018)</i>. Lecture Notes in Computer Science. Springer; 2018:147-155.
    doi:<a href="https://doi.org/10.1007/978-3-030-00761-4_10">10.1007/978-3-030-00761-4_10</a>'
  apa: Gerking, C., &#38; Schubert, D. (2018). Towards Preserving Information Flow
    Security on Architectural Composition of Cyber-Physical Systems. <i>European Conference
    on Software Architecture (ECSA 2018)</i>, <i>11048</i>, 147–155. <a href="https://doi.org/10.1007/978-3-030-00761-4_10">https://doi.org/10.1007/978-3-030-00761-4_10</a>
  bibtex: '@inproceedings{Gerking_Schubert_2018, series={Lecture Notes in Computer
    Science}, title={Towards Preserving Information Flow Security on Architectural
    Composition of Cyber-Physical Systems}, DOI={<a href="https://doi.org/10.1007/978-3-030-00761-4_10">10.1007/978-3-030-00761-4_10</a>},
    number={11048}, booktitle={European Conference on Software Architecture (ECSA
    2018)}, publisher={Springer}, author={Gerking, Christopher and Schubert, David},
    year={2018}, pages={147–155}, collection={Lecture Notes in Computer Science} }'
  chicago: Gerking, Christopher, and David Schubert. “Towards Preserving Information
    Flow Security on Architectural Composition of Cyber-Physical Systems.” In <i>European
    Conference on Software Architecture (ECSA 2018)</i>, 147–55. Lecture Notes in
    Computer Science. Springer, 2018. <a href="https://doi.org/10.1007/978-3-030-00761-4_10">https://doi.org/10.1007/978-3-030-00761-4_10</a>.
  ieee: 'C. Gerking and D. Schubert, “Towards Preserving Information Flow Security
    on Architectural Composition of Cyber-Physical Systems,” in <i>European Conference
    on Software Architecture (ECSA 2018)</i>, 2018, no. 11048, pp. 147–155, doi: <a
    href="https://doi.org/10.1007/978-3-030-00761-4_10">10.1007/978-3-030-00761-4_10</a>.'
  mla: Gerking, Christopher, and David Schubert. “Towards Preserving Information Flow
    Security on Architectural Composition of Cyber-Physical Systems.” <i>European
    Conference on Software Architecture (ECSA 2018)</i>, no. 11048, Springer, 2018,
    pp. 147–55, doi:<a href="https://doi.org/10.1007/978-3-030-00761-4_10">10.1007/978-3-030-00761-4_10</a>.
  short: 'C. Gerking, D. Schubert, in: European Conference on Software Architecture
    (ECSA 2018), Springer, 2018, pp. 147–155.'
date_created: 2020-12-17T12:02:20Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
doi: 10.1007/978-3-030-00761-4_10
issue: '11048'
language:
- iso: eng
page: 147-155
publication: European Conference on Software Architecture (ECSA 2018)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Towards Preserving Information Flow Security on Architectural Composition of
  Cyber-Physical Systems
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20784'
author:
- first_name: Johannes
  full_name: Geismann, Johannes
  id: '20063'
  last_name: Geismann
  orcid: https://orcid.org/0000-0003-2015-2047
citation:
  ama: 'Geismann J. Traceable Threat Modeling for Safety-critical Systems. In: <i>IEEE
    International Conference on Software Architecture Companion (ICSA-C 2018) </i>.
    IEEE; 2018:41-42. doi:<a href="https://doi.org/10.1109/ICSA-C.2018.00017">10.1109/ICSA-C.2018.00017</a>'
  apa: Geismann, J. (2018). Traceable Threat Modeling for Safety-critical Systems.
    <i>IEEE International Conference on Software Architecture Companion (ICSA-C 2018)
    </i>, 41–42. <a href="https://doi.org/10.1109/ICSA-C.2018.00017">https://doi.org/10.1109/ICSA-C.2018.00017</a>
  bibtex: '@inproceedings{Geismann_2018, title={Traceable Threat Modeling for Safety-critical
    Systems}, DOI={<a href="https://doi.org/10.1109/ICSA-C.2018.00017">10.1109/ICSA-C.2018.00017</a>},
    booktitle={IEEE International Conference on Software Architecture Companion (ICSA-C
    2018) }, publisher={IEEE}, author={Geismann, Johannes}, year={2018}, pages={41–42}
    }'
  chicago: Geismann, Johannes. “Traceable Threat Modeling for Safety-Critical Systems.”
    In <i>IEEE International Conference on Software Architecture Companion (ICSA-C
    2018) </i>, 41–42. IEEE, 2018. <a href="https://doi.org/10.1109/ICSA-C.2018.00017">https://doi.org/10.1109/ICSA-C.2018.00017</a>.
  ieee: 'J. Geismann, “Traceable Threat Modeling for Safety-critical Systems,” in
    <i>IEEE International Conference on Software Architecture Companion (ICSA-C 2018)
    </i>, 2018, pp. 41–42, doi: <a href="https://doi.org/10.1109/ICSA-C.2018.00017">10.1109/ICSA-C.2018.00017</a>.'
  mla: Geismann, Johannes. “Traceable Threat Modeling for Safety-Critical Systems.”
    <i>IEEE International Conference on Software Architecture Companion (ICSA-C 2018)
    </i>, IEEE, 2018, pp. 41–42, doi:<a href="https://doi.org/10.1109/ICSA-C.2018.00017">10.1109/ICSA-C.2018.00017</a>.
  short: 'J. Geismann, in: IEEE International Conference on Software Architecture
    Companion (ICSA-C 2018) , IEEE, 2018, pp. 41–42.'
date_created: 2020-12-17T12:06:35Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
doi: 10.1109/ICSA-C.2018.00017
language:
- iso: eng
page: 41-42
publication: 'IEEE International Conference on Software Architecture Companion (ICSA-C
  2018) '
publisher: IEEE
status: public
title: Traceable Threat Modeling for Safety-critical Systems
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20785'
abstract:
- lang: eng
  text: "Cyber-physical Systems are distributed, embedded systems that interact with
    their physical environment. Typically, these systems consist of several Electronic
    Control Units using multiple processing cores for the execution. Many systems
    are applied in safety-critical contexts and have to fulfill hard real-time requirements.
    The model-driven engineering paradigm enables system developers to consider all
    requirements in a systematical manner. In the software design phase, they prove
    the fulfillment of the requirements using model checking. When deploying the software
    to the executing platform, one important task is to ensure that the runtime scheduling
    does not violate the verified requirements by neglecting the model checking assumptions.
    Current model-driven approaches do not consider the problem of deriving feasible
    execution schedules for embedded multi-core platforms respecting hard real-time
    requirements. This paper extends the previous work on providing an approach for
    a semi-automatic synthesis of behavioral models into a deterministic real-time
    scheduling. We add an approach for the partitioning and mapping development tasks.
    This extended approach enables the utilization of parallel resources within a
    single ECU considering the verification assumptions by extending the open tool
    platform App4mc. We evaluate our approach using an example of a distributed automotive
    system with hard real-time requirements specified with the MechatronicUML method.\r\n"
author:
- first_name: Johannes
  full_name: Geismann, Johannes
  id: '20063'
  last_name: Geismann
  orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Robert
  full_name: Höttger, Robert
  last_name: Höttger
- first_name: Lukas
  full_name: Krawczyk, Lukas
  last_name: Krawczyk
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: David
  full_name: Schmelter, David
  id: '40982'
  last_name: Schmelter
  orcid: 0000-0001-7787-5380
citation:
  ama: 'Geismann J, Höttger R, Krawczyk L, Pohlmann U, Schmelter D. Automated Synthesis
    of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In: Pires LF,
    Hammoudi S, Selic B, eds. <i>Model-Driven Engineering and Software Development</i>.
    Vol 1. Springer International Publishing; 2018:72-93. doi:<a href="https://doi.org/10.1007/978-3-319-94764-8_4">10.1007/978-3-319-94764-8_4</a>'
  apa: Geismann, J., Höttger, R., Krawczyk, L., Pohlmann, U., &#38; Schmelter, D.
    (2018). Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core
    Systems. In L. F. Pires, S. Hammoudi, &#38; B. Selic (Eds.), <i>Model-Driven Engineering
    and Software Development</i> (Vol. 1, pp. 72–93). Springer International Publishing.
    <a href="https://doi.org/10.1007/978-3-319-94764-8_4">https://doi.org/10.1007/978-3-319-94764-8_4</a>
  bibtex: '@inproceedings{Geismann_Höttger_Krawczyk_Pohlmann_Schmelter_2018, place={Cham},
    title={Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core
    Systems}, volume={1}, DOI={<a href="https://doi.org/10.1007/978-3-319-94764-8_4">10.1007/978-3-319-94764-8_4</a>},
    booktitle={Model-Driven Engineering and Software Development}, publisher={Springer
    International Publishing}, author={Geismann, Johannes and Höttger, Robert and
    Krawczyk, Lukas and Pohlmann, Uwe and Schmelter, David}, editor={Pires, Luís Ferreira
    and Hammoudi, Slimane and Selic, Bran}, year={2018}, pages={72–93} }'
  chicago: 'Geismann, Johannes, Robert Höttger, Lukas Krawczyk, Uwe Pohlmann, and
    David Schmelter. “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical
    Multi-Core Systems.” In <i>Model-Driven Engineering and Software Development</i>,
    edited by Luís Ferreira Pires, Slimane Hammoudi, and Bran Selic, 1:72–93. Cham:
    Springer International Publishing, 2018. <a href="https://doi.org/10.1007/978-3-319-94764-8_4">https://doi.org/10.1007/978-3-319-94764-8_4</a>.'
  ieee: 'J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, and D. Schmelter, “Automated
    Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems,” in
    <i>Model-Driven Engineering and Software Development</i>, 2018, vol. 1, pp. 72–93,
    doi: <a href="https://doi.org/10.1007/978-3-319-94764-8_4">10.1007/978-3-319-94764-8_4</a>.'
  mla: Geismann, Johannes, et al. “Automated Synthesis of a Real-Time Scheduling for
    Cyber-Physical Multi-Core Systems.” <i>Model-Driven Engineering and Software Development</i>,
    edited by Luís Ferreira Pires et al., vol. 1, Springer International Publishing,
    2018, pp. 72–93, doi:<a href="https://doi.org/10.1007/978-3-319-94764-8_4">10.1007/978-3-319-94764-8_4</a>.
  short: 'J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, D. Schmelter, in: L.F.
    Pires, S. Hammoudi, B. Selic (Eds.), Model-Driven Engineering and Software Development,
    Springer International Publishing, Cham, 2018, pp. 72–93.'
date_created: 2020-12-17T12:07:52Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-319-94764-8_4
editor:
- first_name: Luís Ferreira
  full_name: Pires, Luís Ferreira
  last_name: Pires
- first_name: Slimane
  full_name: Hammoudi, Slimane
  last_name: Hammoudi
- first_name: Bran
  full_name: Selic, Bran
  last_name: Selic
intvolume: '         1'
language:
- iso: eng
page: 72-93
place: Cham
publication: Model-Driven Engineering and Software Development
publisher: Springer International Publishing
status: public
title: Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core
  Systems
type: conference
user_id: '5786'
volume: 1
year: '2018'
...
---
_id: '20789'
author:
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
citation:
  ama: Pohlmann U. <i>A Model-Driven Software Construction Approach for Cyber-Physical
    Systems</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2018.
  apa: Pohlmann, U. (2018). <i>A Model-driven Software Construction Approach for Cyber-physical
    Systems</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
  bibtex: '@book{Pohlmann_2018, title={A Model-driven Software Construction Approach
    for Cyber-physical Systems}, publisher={Universität Paderborn, Heinz Nixdorf Institut,
    Softwaretechnik}, author={Pohlmann, Uwe}, year={2018} }'
  chicago: Pohlmann, Uwe. <i>A Model-Driven Software Construction Approach for Cyber-Physical
    Systems</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2018.
  ieee: U. Pohlmann, <i>A Model-driven Software Construction Approach for Cyber-physical
    Systems</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2018.
  mla: Pohlmann, Uwe. <i>A Model-Driven Software Construction Approach for Cyber-Physical
    Systems</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2018.
  short: U. Pohlmann, A Model-Driven Software Construction Approach for Cyber-Physical
    Systems, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2018.
date_created: 2020-12-17T12:18:36Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
language:
- iso: eng
publisher: Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik
status: public
title: A Model-driven Software Construction Approach for Cyber-physical Systems
type: dissertation
user_id: '5786'
year: '2018'
...
---
_id: '20839'
author:
- first_name: Torsten
  full_name: Brinda, Torsten
  last_name: Brinda
- first_name: Ira
  full_name: Diethelm, Ira
  last_name: Diethelm
- first_name: Lutz
  full_name: Hellmig, Lutz
  last_name: Hellmig
- first_name: Johannes
  full_name: Magenheim, Johannes
  last_name: Magenheim
- first_name: Ralf
  full_name: Romeike, Ralf
  last_name: Romeike
- first_name: Ulrik
  full_name: Schroeder, Ulrik
  last_name: Schroeder
citation:
  ama: 'Brinda T, Diethelm I, Hellmig L, Magenheim J, Romeike R, Schroeder U. Kritische
    Entgegnung auf die Studie “Zur Relevanz informatischer Bildung in der Schule für
    den Erwerb computer- bzw. informationsbezogener Kompetenzen.” <i>MedienPädagogik:
    Zeitschrift für Theorie und Praxis der Medienbildung</i>. 2018;33(Didaktik der
    Informatik):1-10. doi:<a href="https://doi.org/10.21240/mpaed/33/2018.10.29.X">10.21240/mpaed/33/2018.10.29.X</a>'
  apa: 'Brinda, T., Diethelm, I., Hellmig, L., Magenheim, J., Romeike, R., &#38; Schroeder,
    U. (2018). Kritische Entgegnung auf die Studie “Zur Relevanz informatischer Bildung
    in der Schule für den Erwerb computer- bzw. informationsbezogener Kompetenzen.”
    <i>MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung</i>,
    <i>33</i>(Didaktik der Informatik), 1–10. <a href="https://doi.org/10.21240/mpaed/33/2018.10.29.X">https://doi.org/10.21240/mpaed/33/2018.10.29.X</a>'
  bibtex: '@article{Brinda_Diethelm_Hellmig_Magenheim_Romeike_Schroeder_2018, title={Kritische
    Entgegnung auf die Studie “Zur Relevanz informatischer Bildung in der Schule für
    den Erwerb computer- bzw. informationsbezogener Kompetenzen”}, volume={33}, DOI={<a
    href="https://doi.org/10.21240/mpaed/33/2018.10.29.X">10.21240/mpaed/33/2018.10.29.X</a>},
    number={Didaktik der Informatik}, journal={MedienPädagogik: Zeitschrift für Theorie
    und Praxis der Medienbildung}, author={Brinda, Torsten and Diethelm, Ira and Hellmig,
    Lutz and Magenheim, Johannes and Romeike, Ralf and Schroeder, Ulrik}, year={2018},
    pages={1–10} }'
  chicago: 'Brinda, Torsten, Ira Diethelm, Lutz Hellmig, Johannes Magenheim, Ralf
    Romeike, and Ulrik Schroeder. “Kritische Entgegnung auf die Studie ‘Zur Relevanz
    informatischer Bildung in der Schule für den Erwerb computer- bzw. informationsbezogener
    Kompetenzen.’” <i>MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung</i>
    33, no. Didaktik der Informatik (2018): 1–10. <a href="https://doi.org/10.21240/mpaed/33/2018.10.29.X">https://doi.org/10.21240/mpaed/33/2018.10.29.X</a>.'
  ieee: 'T. Brinda, I. Diethelm, L. Hellmig, J. Magenheim, R. Romeike, and U. Schroeder,
    “Kritische Entgegnung auf die Studie ‘Zur Relevanz informatischer Bildung in der
    Schule für den Erwerb computer- bzw. informationsbezogener Kompetenzen,’” <i>MedienPädagogik:
    Zeitschrift für Theorie und Praxis der Medienbildung</i>, vol. 33, no. Didaktik
    der Informatik, pp. 1–10, 2018.'
  mla: 'Brinda, Torsten, et al. “Kritische Entgegnung auf die Studie ‘Zur Relevanz
    informatischer Bildung in der Schule für den Erwerb computer- bzw. informationsbezogener
    Kompetenzen.’” <i>MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung</i>,
    vol. 33, no. Didaktik der Informatik, 2018, pp. 1–10, doi:<a href="https://doi.org/10.21240/mpaed/33/2018.10.29.X">10.21240/mpaed/33/2018.10.29.X</a>.'
  short: 'T. Brinda, I. Diethelm, L. Hellmig, J. Magenheim, R. Romeike, U. Schroeder,
    MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 33 (2018)
    1–10.'
date_created: 2020-12-23T09:08:57Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '67'
doi: 10.21240/mpaed/33/2018.10.29.X
intvolume: '        33'
issue: Didaktik der Informatik
language:
- iso: ger
page: 1-10
publication: 'MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung'
status: public
title: Kritische Entgegnung auf die Studie "Zur Relevanz informatischer Bildung in
  der Schule für den Erwerb computer- bzw. informationsbezogener Kompetenzen"
type: journal_article
user_id: '21145'
volume: 33
year: '2018'
...
---
_id: '1796'
author:
- first_name: Joshua
  full_name: J. Daymude, Joshua
  last_name: J. Daymude
- first_name: Zahra
  full_name: Derakhshandeh, Zahra
  last_name: Derakhshandeh
- first_name: Robert
  full_name: Gmyr, Robert
  last_name: Gmyr
- first_name: Alexandra
  full_name: Porter, Alexandra
  last_name: Porter
- first_name: Andrea
  full_name: W. Richa, Andrea
  last_name: W. Richa
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Thim Frederik
  full_name: Strothmann, Thim Frederik
  id: '11319'
  last_name: Strothmann
citation:
  ama: J. Daymude J, Derakhshandeh Z, Gmyr R, et al. On the runtime of universal coating
    for programmable matter. <i>Natural Computing</i>. 2018;(1):81--96. doi:<a href="https://doi.org/10.1007/s11047-017-9658-6">10.1007/s11047-017-9658-6</a>
  apa: J. Daymude, J., Derakhshandeh, Z., Gmyr, R., Porter, A., W. Richa, A., Scheideler,
    C., &#38; Strothmann, T. F. (2018). On the runtime of universal coating for programmable
    matter. <i>Natural Computing</i>, (1), 81--96. <a href="https://doi.org/10.1007/s11047-017-9658-6">https://doi.org/10.1007/s11047-017-9658-6</a>
  bibtex: '@article{J. Daymude_Derakhshandeh_Gmyr_Porter_W. Richa_Scheideler_Strothmann_2018,
    title={On the runtime of universal coating for programmable matter}, DOI={<a href="https://doi.org/10.1007/s11047-017-9658-6">10.1007/s11047-017-9658-6</a>},
    number={1}, journal={Natural Computing}, author={J. Daymude, Joshua and Derakhshandeh,
    Zahra and Gmyr, Robert and Porter, Alexandra and W. Richa, Andrea and Scheideler,
    Christian and Strothmann, Thim Frederik}, year={2018}, pages={81--96} }'
  chicago: 'J. Daymude, Joshua, Zahra Derakhshandeh, Robert Gmyr, Alexandra Porter,
    Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “On the Runtime
    of Universal Coating for Programmable Matter.” <i>Natural Computing</i>, no. 1
    (2018): 81--96. <a href="https://doi.org/10.1007/s11047-017-9658-6">https://doi.org/10.1007/s11047-017-9658-6</a>.'
  ieee: J. J. Daymude <i>et al.</i>, “On the runtime of universal coating for programmable
    matter,” <i>Natural Computing</i>, no. 1, pp. 81--96, 2018.
  mla: J. Daymude, Joshua, et al. “On the Runtime of Universal Coating for Programmable
    Matter.” <i>Natural Computing</i>, no. 1, 2018, pp. 81--96, doi:<a href="https://doi.org/10.1007/s11047-017-9658-6">10.1007/s11047-017-9658-6</a>.
  short: J. J. Daymude, Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler,
    T.F. Strothmann, Natural Computing (2018) 81--96.
date_created: 2018-03-27T06:23:58Z
date_updated: 2022-01-06T06:53:24Z
department:
- _id: '79'
- _id: '66'
doi: 10.1007/s11047-017-9658-6
issue: '1'
language:
- iso: eng
page: 81--96
publication: Natural Computing
status: public
title: On the runtime of universal coating for programmable matter
type: journal_article
user_id: '11319'
year: '2018'
...
---
_id: '18030'
author:
- first_name: N.
  full_name: N., N.
  last_name: N.
citation:
  ama: N. N. <i>Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List
    Und Build-Multilist Mit Systemverlassenden Knoten</i>. Universität Paderborn;
    2018.
  apa: N., N. (2018). <i>Monotone Suchbarkeit bei den selbststabilisierenden Protokollen
    Build-List und Build-Multilist mit systemverlassenden Knoten</i>. Universität
    Paderborn.
  bibtex: '@book{N._2018, title={Monotone Suchbarkeit bei den selbststabilisierenden
    Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten}, publisher={Universität
    Paderborn}, author={N., N.}, year={2018} }'
  chicago: N., N. <i>Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen
    Build-List Und Build-Multilist Mit Systemverlassenden Knoten</i>. Universität
    Paderborn, 2018.
  ieee: N. N., <i>Monotone Suchbarkeit bei den selbststabilisierenden Protokollen
    Build-List und Build-Multilist mit systemverlassenden Knoten</i>. Universität
    Paderborn, 2018.
  mla: N., N. <i>Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List
    Und Build-Multilist Mit Systemverlassenden Knoten</i>. Universität Paderborn,
    2018.
  short: N. N., Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List
    Und Build-Multilist Mit Systemverlassenden Knoten, Universität Paderborn, 2018.
date_created: 2020-08-18T08:44:22Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '2'
  name: SFB 901 - Project Area A
- _id: '5'
  name: SFB 901 - Subproject A1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List
  und Build-Multilist mit systemverlassenden Knoten
type: bachelorsthesis
user_id: '477'
year: '2018'
...
---
_id: '18031'
author:
- first_name: N.
  full_name: N., N.
  last_name: N.
citation:
  ama: N. N. <i>Gathering Strategien Für Mobile Roboterschwärme Im Gitternetz</i>.;
    2018.
  apa: N., N. (2018). <i>Gathering Strategien für mobile Roboterschwärme im Gitternetz</i>.
  bibtex: '@book{N._2018, title={Gathering Strategien für mobile Roboterschwärme im
    Gitternetz}, author={N., N.}, year={2018} }'
  chicago: N., N. <i>Gathering Strategien Für Mobile Roboterschwärme Im Gitternetz</i>,
    2018.
  ieee: N. N., <i>Gathering Strategien für mobile Roboterschwärme im Gitternetz</i>.
    2018.
  mla: N., N. <i>Gathering Strategien Für Mobile Roboterschwärme Im Gitternetz</i>.
    2018.
  short: N. N., Gathering Strategien Für Mobile Roboterschwärme Im Gitternetz, 2018.
date_created: 2020-08-18T08:45:09Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Gathering Strategien für mobile Roboterschwärme im Gitternetz
type: bachelorsthesis
user_id: '15504'
year: '2018'
...
---
_id: '18032'
author:
- first_name: N.
  full_name: N., N.
  last_name: N.
citation:
  ama: N. N. <i>Decontaminating Planar Regions with Finite Automaton Robots and Tiles</i>.;
    2018.
  apa: N., N. (2018). <i>Decontaminating Planar Regions with Finite Automaton Robots
    and Tiles</i>.
  bibtex: '@book{N._2018, title={Decontaminating Planar Regions with Finite Automaton
    Robots and Tiles}, author={N., N.}, year={2018} }'
  chicago: N., N. <i>Decontaminating Planar Regions with Finite Automaton Robots and
    Tiles</i>, 2018.
  ieee: N. N., <i>Decontaminating Planar Regions with Finite Automaton Robots and
    Tiles</i>. 2018.
  mla: N., N. <i>Decontaminating Planar Regions with Finite Automaton Robots and Tiles</i>.
    2018.
  short: N. N., Decontaminating Planar Regions with Finite Automaton Robots and Tiles,
    2018.
date_created: 2020-08-18T08:45:53Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Decontaminating Planar Regions with Finite Automaton Robots and Tiles
type: bachelorsthesis
user_id: '15504'
year: '2018'
...
---
_id: '18033'
author:
- first_name: Robin
  full_name: Wulfes, Robin
  last_name: Wulfes
citation:
  ama: Wulfes R. <i>Load-Balanced Routing in Hybriden Kommunikationsnetzwerken</i>.
    Universität Paderborn; 2018.
  apa: Wulfes, R. (2018). <i>Load-Balanced Routing in Hybriden Kommunikationsnetzwerken</i>.
    Universität Paderborn.
  bibtex: '@book{Wulfes_2018, title={Load-Balanced Routing in Hybriden Kommunikationsnetzwerken},
    publisher={Universität Paderborn}, author={Wulfes, Robin}, year={2018} }'
  chicago: Wulfes, Robin. <i>Load-Balanced Routing in Hybriden Kommunikationsnetzwerken</i>.
    Universität Paderborn, 2018.
  ieee: R. Wulfes, <i>Load-Balanced Routing in Hybriden Kommunikationsnetzwerken</i>.
    Universität Paderborn, 2018.
  mla: Wulfes, Robin. <i>Load-Balanced Routing in Hybriden Kommunikationsnetzwerken</i>.
    Universität Paderborn, 2018.
  short: R. Wulfes, Load-Balanced Routing in Hybriden Kommunikationsnetzwerken, Universität
    Paderborn, 2018.
date_created: 2020-08-18T08:46:50Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '2'
  name: SFB 901 - Project Area A
- _id: '5'
  name: SFB 901 - Subproject A1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Load-Balanced Routing in Hybriden Kommunikationsnetzwerken
type: bachelorsthesis
user_id: '477'
year: '2018'
...
---
_id: '22750'
author:
- first_name: Christian
  full_name: Koldewey, Christian
  id: '43136'
  last_name: Koldewey
  orcid: https://orcid.org/0000-0001-7992-6399
- first_name: Julian
  full_name: Echterfeld, Julian
  last_name: Echterfeld
- first_name: Meikel
  full_name: Reilender, Meikel
  last_name: Reilender
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
citation:
  ama: 'Koldewey C, Echterfeld J, Reilender M, Gausemeier J. Business Model Portfolio
    Planning for Smart Services. In: International Society for Professional Innovation
    Management (ISPIM), ed. <i>Proceedings of the ISPIM Connects</i>. ; 2018.'
  apa: Koldewey, C., Echterfeld, J., Reilender, M., &#38; Gausemeier, J. (2018). Business
    Model Portfolio Planning for Smart Services. In International Society for Professional
    Innovation Management (ISPIM) (Ed.), <i>Proceedings of the ISPIM connects</i>.
  bibtex: '@inproceedings{Koldewey_Echterfeld_Reilender_Gausemeier_2018, title={Business
    Model Portfolio Planning for Smart Services}, booktitle={Proceedings of the ISPIM
    connects}, author={Koldewey, Christian and Echterfeld, Julian and Reilender, Meikel
    and Gausemeier, Jürgen}, editor={International Society for Professional Innovation
    Management (ISPIM)Editor}, year={2018} }'
  chicago: Koldewey, Christian, Julian Echterfeld, Meikel Reilender, and Jürgen Gausemeier.
    “Business Model Portfolio Planning for Smart Services.” In <i>Proceedings of the
    ISPIM Connects</i>, edited by International Society for Professional Innovation
    Management (ISPIM), 2018.
  ieee: C. Koldewey, J. Echterfeld, M. Reilender, and J. Gausemeier, “Business Model
    Portfolio Planning for Smart Services,” in <i>Proceedings of the ISPIM connects</i>,
    2018.
  mla: Koldewey, Christian, et al. “Business Model Portfolio Planning for Smart Services.”
    <i>Proceedings of the ISPIM Connects</i>, edited by International Society for
    Professional Innovation Management (ISPIM), 2018.
  short: 'C. Koldewey, J. Echterfeld, M. Reilender, J. Gausemeier, in: International
    Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the
    ISPIM Connects, 2018.'
corporate_editor:
- International Society for Professional Innovation Management (ISPIM)
date_created: 2021-07-15T11:40:44Z
date_updated: 2022-01-06T06:55:39Z
department:
- _id: '563'
language:
- iso: eng
publication: Proceedings of the ISPIM connects
status: public
title: Business Model Portfolio Planning for Smart Services
type: conference
user_id: '21240'
year: '2018'
...
---
_id: '22751'
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: Christian
  full_name: Koldewey, Christian
  id: '43136'
  last_name: Koldewey
  orcid: https://orcid.org/0000-0001-7992-6399
- first_name: Leon
  full_name: Özcan, Leon
  id: '45137'
  last_name: Özcan
citation:
  ama: 'Drewel M, Gausemeier J, Koldewey C, Özcan L. Pattern based development of
    digital platforms. In: International Society for Professional Innovation Management
    (ISPIM), ed. <i>Proceedings of the 2018 ISPIM Connects</i>. ISPIM Connects; 2018.'
  apa: Drewel, M., Gausemeier, J., Koldewey, C., &#38; Özcan, L. (2018). Pattern based
    development of digital platforms. In International Society for Professional Innovation
    Management (ISPIM) (Ed.), <i>Proceedings of the 2018 ISPIM Connects</i>. ISPIM
    Connects.
  bibtex: '@inproceedings{Drewel_Gausemeier_Koldewey_Özcan_2018, title={Pattern based
    development of digital platforms}, booktitle={Proceedings of the 2018 ISPIM Connects},
    publisher={ISPIM Connects}, author={Drewel, Marvin and Gausemeier, Jürgen and
    Koldewey, Christian and Özcan, Leon}, editor={International Society for Professional
    Innovation Management (ISPIM)Editor}, year={2018} }'
  chicago: Drewel, Marvin, Jürgen Gausemeier, Christian Koldewey, and Leon Özcan.
    “Pattern Based Development of Digital Platforms.” In <i>Proceedings of the 2018
    ISPIM Connects</i>, edited by International Society for Professional Innovation
    Management (ISPIM). ISPIM Connects, 2018.
  ieee: M. Drewel, J. Gausemeier, C. Koldewey, and L. Özcan, “Pattern based development
    of digital platforms,” in <i>Proceedings of the 2018 ISPIM Connects</i>, 2018.
  mla: Drewel, Marvin, et al. “Pattern Based Development of Digital Platforms.” <i>Proceedings
    of the 2018 ISPIM Connects</i>, edited by International Society for Professional
    Innovation Management (ISPIM), ISPIM Connects, 2018.
  short: 'M. Drewel, J. Gausemeier, C. Koldewey, L. Özcan, in: International Society
    for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the 2018
    ISPIM Connects, ISPIM Connects, 2018.'
corporate_editor:
- International Society for Professional Innovation Management (ISPIM)
date_created: 2021-07-15T11:54:31Z
date_updated: 2022-01-06T06:55:39Z
department:
- _id: '563'
language:
- iso: eng
publication: Proceedings of the 2018 ISPIM Connects
publisher: ISPIM Connects
status: public
title: Pattern based development of digital platforms
type: conference
user_id: '21240'
year: '2018'
...