---
_id: '29847'
author:
- first_name: Markus
  full_name: Fockel, Markus
  id: '8472'
  last_name: Fockel
  orcid: 0000-0002-1269-0702
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
- first_name: Roman
  full_name: Trentinaglia, Roman
  id: '49934'
  last_name: Trentinaglia
  orcid: 0000-0001-9728-4991
- first_name: Hannes
  full_name: Schulz, Hannes
  last_name: Schulz
- first_name: Wolfgang
  full_name: Kirmair, Wolfgang
  last_name: Kirmair
citation:
  ama: 'Fockel M, Schubert D, Trentinaglia R, Schulz H, Kirmair W. Semi-automatic
    Integrated Safety and Security Analysis for Automotive Systems. In: <i>Proceedings
    of the 10th International Conference on Model-Driven Engineering and Software
    Development</i>. SCITEPRESS - Science and Technology Publications; 2022. doi:<a
    href="https://doi.org/10.5220/0010778500003119">10.5220/0010778500003119</a>'
  apa: Fockel, M., Schubert, D., Trentinaglia, R., Schulz, H., &#38; Kirmair, W. (2022).
    Semi-automatic Integrated Safety and Security Analysis for Automotive Systems.
    <i>Proceedings of the 10th International Conference on Model-Driven Engineering
    and Software Development</i>. <a href="https://doi.org/10.5220/0010778500003119">https://doi.org/10.5220/0010778500003119</a>
  bibtex: '@inproceedings{Fockel_Schubert_Trentinaglia_Schulz_Kirmair_2022, title={Semi-automatic
    Integrated Safety and Security Analysis for Automotive Systems}, DOI={<a href="https://doi.org/10.5220/0010778500003119">10.5220/0010778500003119</a>},
    booktitle={Proceedings of the 10th International Conference on Model-Driven Engineering
    and Software Development}, publisher={SCITEPRESS - Science and Technology Publications},
    author={Fockel, Markus and Schubert, David and Trentinaglia, Roman and Schulz,
    Hannes and Kirmair, Wolfgang}, year={2022} }'
  chicago: Fockel, Markus, David Schubert, Roman Trentinaglia, Hannes Schulz, and
    Wolfgang Kirmair. “Semi-Automatic Integrated Safety and Security Analysis for
    Automotive Systems.” In <i>Proceedings of the 10th International Conference on
    Model-Driven Engineering and Software Development</i>. SCITEPRESS - Science and
    Technology Publications, 2022. <a href="https://doi.org/10.5220/0010778500003119">https://doi.org/10.5220/0010778500003119</a>.
  ieee: 'M. Fockel, D. Schubert, R. Trentinaglia, H. Schulz, and W. Kirmair, “Semi-automatic
    Integrated Safety and Security Analysis for Automotive Systems,” 2022, doi: <a
    href="https://doi.org/10.5220/0010778500003119">10.5220/0010778500003119</a>.'
  mla: Fockel, Markus, et al. “Semi-Automatic Integrated Safety and Security Analysis
    for Automotive Systems.” <i>Proceedings of the 10th International Conference on
    Model-Driven Engineering and Software Development</i>, SCITEPRESS - Science and
    Technology Publications, 2022, doi:<a href="https://doi.org/10.5220/0010778500003119">10.5220/0010778500003119</a>.
  short: 'M. Fockel, D. Schubert, R. Trentinaglia, H. Schulz, W. Kirmair, in: Proceedings
    of the 10th International Conference on Model-Driven Engineering and Software
    Development, SCITEPRESS - Science and Technology Publications, 2022.'
date_created: 2022-02-15T08:07:15Z
date_updated: 2022-02-15T08:14:07Z
department:
- _id: '241'
- _id: '662'
doi: 10.5220/0010778500003119
language:
- iso: eng
publication: Proceedings of the 10th International Conference on Model-Driven Engineering
  and Software Development
publication_status: published
publisher: SCITEPRESS - Science and Technology Publications
status: public
title: Semi-automatic Integrated Safety and Security Analysis for Automotive Systems
type: conference
user_id: '49934'
year: '2022'
...
---
_id: '23526'
abstract:
- lang: eng
  text: <jats:p>Modern and flexible application-level software platforms increase
    the attack surface of connected vehicles and thereby require automotive engineers
    to adopt additional security control techniques. These techniques encompass host-based
    intrusion detection systems (HIDSs) that detect suspicious activities in application
    contexts. Such application-aware HIDSs originate in information and communications
    technology systems and have a great potential to deal with the flexible nature
    of application-level software platforms. However, the elementary characteristics
    of known application-aware HIDS approaches and thereby the implications for their
    transfer to the automotive sector are unclear. In previous work, we presented
    a systematic literature review (SLR) covering the state of the art of application-aware
    HIDS approaches. We synthesized our findings by means of a fine-grained classification
    for each approach specified through a feature model and corresponding variant
    models. These models represent the approaches’ elementary characteristics. Furthermore,
    we summarized key findings and inferred implications for the transfer of application-aware
    HIDSs to the automotive sector. In this article, we extend the previous work by
    several aspects. We adjust the quality evaluation process within the SLR to be
    able to consider high quality conference publications, which results in an extended
    final pool of publications. For supporting HIDS developers on the task of configuring
    HIDS analysis techniques based on machine learning, we report on initial results
    on the applicability of AutoML. Furthermore, we present lessons learned regarding
    the application of the feature and variant model approach for SLRs. Finally, we
    more thoroughly describe the SLR study design.</jats:p>
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, Implications for Automotive Systems, and Applicability
    of AutoML. <i>Frontiers in Computer Science</i>. 2021;3. doi:<a href="https://doi.org/10.3389/fcomp.2021.567873">10.3389/fcomp.2021.567873</a>'
  apa: 'Schubert, D., Eikerling, H., &#38; Holtmann, J. (2021). Application-Aware
    Intrusion Detection: A Systematic Literature Review, Implications for Automotive
    Systems, and Applicability of AutoML. <i>Frontiers in Computer Science</i>, <i>3</i>.
    <a href="https://doi.org/10.3389/fcomp.2021.567873">https://doi.org/10.3389/fcomp.2021.567873</a>'
  bibtex: '@article{Schubert_Eikerling_Holtmann_2021, title={Application-Aware Intrusion
    Detection: A Systematic Literature Review, Implications for Automotive Systems,
    and Applicability of AutoML}, volume={3}, DOI={<a href="https://doi.org/10.3389/fcomp.2021.567873">10.3389/fcomp.2021.567873</a>},
    journal={Frontiers in Computer Science}, publisher={Frontiers Media}, author={Schubert,
    David and Eikerling, Hendrik and Holtmann, Jörg}, year={2021} }'
  chicago: 'Schubert, David, Hendrik Eikerling, and Jörg Holtmann. “Application-Aware
    Intrusion Detection: A Systematic Literature Review, Implications for Automotive
    Systems, and Applicability of AutoML.” <i>Frontiers in Computer Science</i> 3
    (2021). <a href="https://doi.org/10.3389/fcomp.2021.567873">https://doi.org/10.3389/fcomp.2021.567873</a>.'
  ieee: 'D. Schubert, H. Eikerling, and J. Holtmann, “Application-Aware Intrusion
    Detection: A Systematic Literature Review, Implications for Automotive Systems,
    and Applicability of AutoML,” <i>Frontiers in Computer Science</i>, vol. 3, 2021.'
  mla: 'Schubert, David, et al. “Application-Aware Intrusion Detection: A Systematic
    Literature Review, Implications for Automotive Systems, and Applicability of AutoML.”
    <i>Frontiers in Computer Science</i>, vol. 3, Frontiers Media, 2021, doi:<a href="https://doi.org/10.3389/fcomp.2021.567873">10.3389/fcomp.2021.567873</a>.'
  short: D. Schubert, H. Eikerling, J. Holtmann, Frontiers in Computer Science 3 (2021).
date_created: 2021-08-26T09:53:54Z
date_updated: 2022-01-06T06:55:56Z
department:
- _id: '241'
- _id: '662'
doi: 10.3389/fcomp.2021.567873
intvolume: '         3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.frontiersin.org/articles/10.3389/fcomp.2021.567873/full
oa: '1'
publication: Frontiers in Computer Science
publication_identifier:
  issn:
  - 2624-9898
publication_status: published
publisher: Frontiers Media
status: public
title: 'Application-Aware Intrusion Detection: A Systematic Literature Review, Implications
  for Automotive Systems, and Applicability of AutoML'
type: journal_article
user_id: '29279'
volume: 3
year: '2021'
...
---
_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: '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: '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: '41903'
author:
- first_name: M
  full_name: Reindl, M
  last_name: Reindl
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
- first_name: C
  full_name: Schimpf, C
  last_name: Schimpf
- first_name: S.F
  full_name: Covre da Silva, S.F
  last_name: Covre da Silva
- first_name: M.B
  full_name: Rota, M.B
  last_name: Rota
- first_name: H
  full_name: Huang, H
  last_name: Huang
- first_name: V
  full_name: Zwiller, V
  last_name: Zwiller
- first_name: Klaus D.
  full_name: Jöns, Klaus D.
  id: '85353'
  last_name: Jöns
- first_name: A
  full_name: Rastelli, A
  last_name: Rastelli
- first_name: R
  full_name: Trotta, R
  last_name: Trotta
citation:
  ama: Reindl M, Schubert D, Schimpf C, et al. All-photonic quantum teleportation
    using on demand solid-state quantum emitters. 2018;4(12):eaau1255.
  apa: Reindl, M., Schubert, D., Schimpf, C., Covre da Silva, S. F., Rota, M. B.,
    Huang, H., Zwiller, V., Jöns, K. D., Rastelli, A., &#38; Trotta, R. (2018). <i>All-photonic
    quantum teleportation using on demand solid-state quantum emitters</i> (Vol. 4,
    Issue 12, p. eaau1255).
  bibtex: '@article{Reindl_Schubert_Schimpf_Covre da Silva_Rota_Huang_Zwiller_Jöns_Rastelli_Trotta_2018,
    series={Science Advances}, title={All-photonic quantum teleportation using on
    demand solid-state quantum emitters}, volume={4}, number={12}, author={Reindl,
    M and Schubert, David and Schimpf, C and Covre da Silva, S.F and Rota, M.B and
    Huang, H and Zwiller, V and Jöns, Klaus D. and Rastelli, A and Trotta, R}, year={2018},
    pages={eaau1255}, collection={Science Advances} }'
  chicago: Reindl, M, David Schubert, C Schimpf, S.F Covre da Silva, M.B Rota, H Huang,
    V Zwiller, Klaus D. Jöns, A Rastelli, and R Trotta. “All-photonic quantum teleportation
    using on demand solid-state quantum emitters.” Science Advances, 2018.
  ieee: M. Reindl <i>et al.</i>, “All-photonic quantum teleportation using on demand
    solid-state quantum emitters,” vol. 4, no. 12. p. eaau1255, 2018.
  mla: Reindl, M., et al. <i>All-photonic quantum teleportation using on demand solid-state
    quantum emitters</i>. no. 12, 2018, p. eaau1255.
  short: M. Reindl, D. Schubert, C. Schimpf, S.F. Covre da Silva, M.B. Rota, H. Huang,
    V. Zwiller, K.D. Jöns, A. Rastelli, R. Trotta, 4 (2018) eaau1255.
date_created: 2023-02-08T05:04:13Z
date_updated: 2023-02-13T08:49:20Z
department:
- _id: '623'
intvolume: '         4'
issue: '12'
language:
- iso: ger
page: 'eaau1255 '
publication_status: published
series_title: Science Advances
status: public
title: All-photonic quantum teleportation using on demand solid-state quantum emitters
type: conference
user_id: '71124'
volume: 4
year: '2018'
...
---
_id: '20797'
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: Ingo
  full_name: Budde, Ingo
  id: '13693'
  last_name: Budde
  orcid: https://orcid.org/0000-0003-0124-6291
citation:
  ama: 'Gerking C, Schubert D, Budde I. Reducing the Verbosity of Imperative Model
    Refinements by using General-Purpose Language Facilities. In: Guerra E, van den
    Brand M, eds. <i>Theory and Practice of Model Transformation, 10th International
    Conference (ICMT 2017)</i>. Lecture Notes in Computer Science. Springer; 2017:19-34.'
  apa: Gerking, C., Schubert, D., &#38; Budde, I. (2017). Reducing the Verbosity of
    Imperative Model Refinements by using General-Purpose Language Facilities. In
    E. Guerra &#38; M. van den Brand (Eds.), <i>Theory and Practice of Model Transformation,
    10th International Conference (ICMT 2017)</i> (Issue 10374, pp. 19–34). Springer.
  bibtex: '@inproceedings{Gerking_Schubert_Budde_2017, place={Marburg}, series={Lecture
    Notes in Computer Science}, title={Reducing the Verbosity of Imperative Model
    Refinements by using General-Purpose Language Facilities}, number={10374}, booktitle={Theory
    and Practice of Model Transformation, 10th International Conference (ICMT 2017)},
    publisher={Springer}, author={Gerking, Christopher and Schubert, David and Budde,
    Ingo}, editor={Guerra, Esther and van den Brand, Mark}, year={2017}, pages={19–34},
    collection={Lecture Notes in Computer Science} }'
  chicago: 'Gerking, Christopher, David Schubert, and Ingo Budde. “Reducing the Verbosity
    of Imperative Model Refinements by Using General-Purpose Language Facilities.”
    In <i>Theory and Practice of Model Transformation, 10th International Conference
    (ICMT 2017)</i>, edited by Esther Guerra and Mark van den Brand, 19–34. Lecture
    Notes in Computer Science. Marburg: Springer, 2017.'
  ieee: C. Gerking, D. Schubert, and I. Budde, “Reducing the Verbosity of Imperative
    Model Refinements by using General-Purpose Language Facilities,” in <i>Theory
    and Practice of Model Transformation, 10th International Conference (ICMT 2017)</i>,
    2017, no. 10374, pp. 19–34.
  mla: Gerking, Christopher, et al. “Reducing the Verbosity of Imperative Model Refinements
    by Using General-Purpose Language Facilities.” <i>Theory and Practice of Model
    Transformation, 10th International Conference (ICMT 2017)</i>, edited by Esther
    Guerra and Mark van den Brand, no. 10374, Springer, 2017, pp. 19–34.
  short: 'C. Gerking, D. Schubert, I. Budde, in: E. Guerra, M. van den Brand (Eds.),
    Theory and Practice of Model Transformation, 10th International Conference (ICMT
    2017), Springer, Marburg, 2017, pp. 19–34.'
date_created: 2020-12-17T13:36:44Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '76'
- _id: '241'
editor:
- first_name: Esther
  full_name: Guerra, Esther
  last_name: Guerra
- first_name: Mark
  full_name: van den Brand, Mark
  last_name: van den Brand
issue: '10374'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-3-319-61473-1_2
page: 19-34
place: Marburg
publication: Theory and Practice of Model Transformation, 10th International Conference
  (ICMT 2017)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Reducing the Verbosity of Imperative Model Refinements by using General-Purpose
  Language Facilities
type: conference
user_id: '5786'
year: '2017'
...
---
_id: '20822'
abstract:
- lang: eng
  text: 'Several examples of mechatronic systems can be found nowadays in modern cars,
    production systems, and medical technology. Day by day, the number of innovative
    functionalities in such mechatronic systems is increasing. These functionalities
    are realized with complex software. Such software exhibits hard real-time, safety
    requirements. The adherence to these requirements must be thoroughly analyzed
    and verified. Moreover, to obtain a significant increment in the reliability,
    performance, and efficiency of such software, it needs to maintain the self-adaptation
    of its properties. In order to develop such systems with a high quality and within
    a short time, we need a systematic and consistent design method. For this purpose,
    the software engineering group at the University of Paderborn and the Fraunhofer
    IEM in Paderborn propose the MechatronicUML method. This method provides a comprehensive
    model-driven process support, that starts from requirements and reaches the executable
    software after passing through several design and analysis steps. This process
    improves the comprehension during development and makes complex systems manageable.
    MechatronicUML emphasizes mainly on: (1) modeling and (formal) verification of
    reconfigurable software architectures, (2) the coordination among system components
    in such architectures, and (3) the integration of discrete software events with
    the continuous behavior of control devices.'
author:
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: Goran
  full_name: Piskachev, Goran
  id: '41936'
  last_name: Piskachev
  orcid: 0000-0003-4424-5838
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
- first_name: Sebastian
  full_name: Thiele, Sebastian
  last_name: Thiele
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
citation:
  ama: 'Dziwok S, Pohlmann U, Piskachev G, Schubert D, Thiele S, Gerking C. <i>The
    MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>.;
    2016.'
  apa: 'Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., &#38; Gerking,
    C. (2016). <i>The MechatronicUML Design Method: Process and Language for Platform-Independent
    Modeling</i>.'
  bibtex: '@book{Dziwok_Pohlmann_Piskachev_Schubert_Thiele_Gerking_2016, place={Zukunftsmeile
    1, 33102 Paderborn, Germany}, title={The MechatronicUML Design Method: Process
    and Language for Platform-Independent Modeling}, author={Dziwok, Stefan and Pohlmann,
    Uwe and Piskachev, Goran and Schubert, David and Thiele, Sebastian and Gerking,
    Christopher}, year={2016} }'
  chicago: 'Dziwok, Stefan, Uwe Pohlmann, Goran Piskachev, David Schubert, Sebastian
    Thiele, and Christopher Gerking. <i>The MechatronicUML Design Method: Process
    and Language for Platform-Independent Modeling</i>. Zukunftsmeile 1, 33102 Paderborn,
    Germany, 2016.'
  ieee: 'S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, and C. Gerking,
    <i>The MechatronicUML Design Method: Process and Language for Platform-Independent
    Modeling</i>. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.'
  mla: 'Dziwok, Stefan, et al. <i>The MechatronicUML Design Method: Process and Language
    for Platform-Independent Modeling</i>. 2016.'
  short: 'S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking,
    The MechatronicUML Design Method: Process and Language for Platform-Independent
    Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.'
date_created: 2020-12-22T09:24:42Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
place: Zukunftsmeile 1, 33102 Paderborn, Germany
status: public
title: 'The MechatronicUML Design Method: Process and Language for Platform-Independent
  Modeling'
type: report
user_id: '5786'
year: '2016'
...
---
_id: '20826'
abstract:
- lang: eng
  text: "The development of today’s technical products (e.g., in automation) is characterized
    by high customer expectations regarding the product individualization, which causes
    a wide range of product variants. Original equipment manufacturers (OEMs) can
    apply classical approaches from product line engineering, like feature modeling,
    to cope with the variability and the induced development complexity. Our tool
    support for feature models integrates a variety of feature model extensions like
    feature attributes and properties, logical constraints between features and feature
    properties, and the distinction between features and feature realizations. Furthermore,
    technical products have geometrical dimensions. The OEM specifies Computer Aided
    Design (CAD) models to consider these geometric dimensions and to virtually layout
    particular product variants. Geometric assembly constraints specify how parts
    of the product can be arranged in a CAD model. However, a potential product customer
    cannot configure an individual product variant and virtually layout this variant
    in the same software tool since the respective information stems from different
    sources. In order to cope with this problem, we present in this paper an extension
    of our tool support for feature models to specify geometric assembly constraints.
    Based on the proposed extension, we outline our research roadmap to consider these
    constraints in an online shop of an e-commerce system, in which a potential customer
    shall be able to configure a product variant and to virtually layout it according
    to the assembly constraints.\r\n"
author:
- first_name: Thorsten
  full_name: Koch, Thorsten
  id: '13616'
  last_name: Koch
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
- first_name: Timo
  full_name: Lindemann, Timo
  last_name: Lindemann
citation:
  ama: 'Koch T, Holtmann J, Schubert D, Lindemann T. Towards Feature-based Product
    Line Engineering of Technical Systems. In: Trächtler A, Denkena B, Thoben K-D,
    eds. <i>3rd International Conference on System-Integrated Intelligence: New Challenges
    for Product and Production Engineering (SysInt 2016)</i>. Elsevier; 2016:447-454.
    doi:<a href="https://doi.org/10.1016/j.protcy.2016.08.057">10.1016/j.protcy.2016.08.057</a>'
  apa: 'Koch, T., Holtmann, J., Schubert, D., &#38; Lindemann, T. (2016). Towards
    Feature-based Product Line Engineering of Technical Systems. In A. Trächtler,
    B. Denkena, &#38; K.-D. Thoben (Eds.), <i>3rd International Conference on System-integrated
    Intelligence: New Challenges for Product and Production Engineering (SysInt 2016)</i>
    (pp. 447–454). Elsevier. <a href="https://doi.org/10.1016/j.protcy.2016.08.057">https://doi.org/10.1016/j.protcy.2016.08.057</a>'
  bibtex: '@inproceedings{Koch_Holtmann_Schubert_Lindemann_2016, title={Towards Feature-based
    Product Line Engineering of Technical Systems}, DOI={<a href="https://doi.org/10.1016/j.protcy.2016.08.057">10.1016/j.protcy.2016.08.057</a>},
    booktitle={3rd International Conference on System-integrated Intelligence: New
    Challenges for Product and Production Engineering (SysInt 2016)}, publisher={Elsevier},
    author={Koch, Thorsten and Holtmann, Jörg and Schubert, David and Lindemann, Timo},
    editor={Trächtler, Ansgar and Denkena, Berend and Thoben, Klaus-DieterEditors},
    year={2016}, pages={447–454} }'
  chicago: 'Koch, Thorsten, Jörg Holtmann, David Schubert, and Timo Lindemann. “Towards
    Feature-Based Product Line Engineering of Technical Systems.” In <i>3rd International
    Conference on System-Integrated Intelligence: New Challenges for Product and Production
    Engineering (SysInt 2016)</i>, edited by Ansgar Trächtler, Berend Denkena, and
    Klaus-Dieter Thoben, 447–54. Elsevier, 2016. <a href="https://doi.org/10.1016/j.protcy.2016.08.057">https://doi.org/10.1016/j.protcy.2016.08.057</a>.'
  ieee: 'T. Koch, J. Holtmann, D. Schubert, and T. Lindemann, “Towards Feature-based
    Product Line Engineering of Technical Systems,” in <i>3rd International Conference
    on System-integrated Intelligence: New Challenges for Product and Production Engineering
    (SysInt 2016)</i>, 2016, pp. 447–454.'
  mla: 'Koch, Thorsten, et al. “Towards Feature-Based Product Line Engineering of
    Technical Systems.” <i>3rd International Conference on System-Integrated Intelligence:
    New Challenges for Product and Production Engineering (SysInt 2016)</i>, edited
    by Ansgar Trächtler et al., Elsevier, 2016, pp. 447–54, doi:<a href="https://doi.org/10.1016/j.protcy.2016.08.057">10.1016/j.protcy.2016.08.057</a>.'
  short: 'T. Koch, J. Holtmann, D. Schubert, T. Lindemann, in: A. Trächtler, B. Denkena,
    K.-D. Thoben (Eds.), 3rd International Conference on System-Integrated Intelligence:
    New Challenges for Product and Production Engineering (SysInt 2016), Elsevier,
    2016, pp. 447–454.'
date_created: 2020-12-22T09:33:36Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '241'
- _id: '662'
doi: 10.1016/j.protcy.2016.08.057
editor:
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  last_name: Trächtler
- first_name: Berend
  full_name: Denkena, Berend
  last_name: Denkena
- first_name: Klaus-Dieter
  full_name: Thoben, Klaus-Dieter
  last_name: Thoben
language:
- iso: eng
page: 447-454
publication: '3rd International Conference on System-integrated Intelligence: New
  Challenges for Product and Production Engineering (SysInt 2016)'
publisher: Elsevier
status: public
title: Towards Feature-based Product Line Engineering of Technical Systems
type: conference
user_id: '13616'
year: '2016'
...
---
_id: '20830'
author:
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
- first_name: Christian
  full_name: Heinzemann, Christian
  last_name: Heinzemann
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
citation:
  ama: 'Schubert D, Heinzemann C, Gerking C. Towards Safe Execution of Reconfigurations
    in Cyber-Physical Systems. In: <i>Proceedings of the 19th International ACM Sigsoft
    Symposium on Component-Based Software Engineering</i>. ACM; 2016.'
  apa: Schubert, D., Heinzemann, C., &#38; Gerking, C. (2016). Towards Safe Execution
    of Reconfigurations in Cyber-Physical Systems. <i>Proceedings of the 19th International
    ACM Sigsoft Symposium on Component-Based Software Engineering</i>.
  bibtex: '@inproceedings{Schubert_Heinzemann_Gerking_2016, title={Towards Safe Execution
    of Reconfigurations in Cyber-Physical Systems}, booktitle={Proceedings of the
    19th international ACM Sigsoft symposium on component-based software engineering},
    publisher={ACM}, author={Schubert, David and Heinzemann, Christian and Gerking,
    Christopher}, year={2016} }'
  chicago: Schubert, David, Christian Heinzemann, and Christopher Gerking. “Towards
    Safe Execution of Reconfigurations in Cyber-Physical Systems.” In <i>Proceedings
    of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>.
    ACM, 2016.
  ieee: D. Schubert, C. Heinzemann, and C. Gerking, “Towards Safe Execution of Reconfigurations
    in Cyber-Physical Systems,” 2016.
  mla: Schubert, David, et al. “Towards Safe Execution of Reconfigurations in Cyber-Physical
    Systems.” <i>Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based
    Software Engineering</i>, ACM, 2016.
  short: 'D. Schubert, C. Heinzemann, C. Gerking, in: Proceedings of the 19th International
    ACM Sigsoft Symposium on Component-Based Software Engineering, ACM, 2016.'
date_created: 2020-12-22T09:41:56Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publication: Proceedings of the 19th international ACM Sigsoft symposium on component-based
  software engineering
publisher: ACM
status: public
title: Towards Safe Execution of Reconfigurations in Cyber-Physical Systems
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20977'
author:
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: Jan
  full_name: Bobolz, Jan
  last_name: Bobolz
- first_name: Mike
  full_name: Czech, Mike
  last_name: Czech
- first_name: Andreas Peter
  full_name: Dann, Andreas Peter
  last_name: Dann
- first_name: Johannes
  full_name: Geismann, Johannes
  last_name: Geismann
- first_name: Marcus
  full_name: Hüwe, Marcus
  id: '13606'
  last_name: Hüwe
- first_name: Arthur
  full_name: Krieger, Arthur
  last_name: Krieger
- first_name: Goran
  full_name: Piskachev, Goran
  last_name: Piskachev
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
- first_name: Rebekka
  full_name: Wohlrab, Rebekka
  last_name: Wohlrab
citation:
  ama: Schäfer W, Dziwok S, Pohlmann U, et al. <i>Seminar Theses of the Project Group
    Cybertron</i>.; 2015.
  apa: Schäfer, W., Dziwok, S., Pohlmann, U., Bobolz, J., Czech, M., Dann, A. P.,
    Geismann, J., Hüwe, M., Krieger, A., Piskachev, G., Schubert, D., &#38; Wohlrab,
    R. (2015). <i>Seminar Theses of the Project Group Cybertron</i>.
  bibtex: '@book{Schäfer_Dziwok_Pohlmann_Bobolz_Czech_Dann_Geismann_Hüwe_Krieger_Piskachev_et
    al._2015, title={Seminar Theses of the Project Group Cybertron}, author={Schäfer,
    Wilhelm and Dziwok, Stefan and Pohlmann, Uwe and Bobolz, Jan and Czech, Mike and
    Dann, Andreas Peter and Geismann, Johannes and Hüwe, Marcus and Krieger, Arthur
    and Piskachev, Goran and et al.}, year={2015} }'
  chicago: Schäfer, Wilhelm, Stefan Dziwok, Uwe Pohlmann, Jan Bobolz, Mike Czech,
    Andreas Peter Dann, Johannes Geismann, et al. <i>Seminar Theses of the Project
    Group Cybertron</i>, 2015.
  ieee: W. Schäfer <i>et al.</i>, <i>Seminar Theses of the Project Group Cybertron</i>.
    2015.
  mla: Schäfer, Wilhelm, et al. <i>Seminar Theses of the Project Group Cybertron</i>.
    2015.
  short: W. Schäfer, S. Dziwok, U. Pohlmann, J. Bobolz, M. Czech, A.P. Dann, J. Geismann,
    M. Hüwe, A. Krieger, G. Piskachev, D. Schubert, R. Wohlrab, Seminar Theses of
    the Project Group Cybertron, 2015.
date_created: 2021-01-13T13:21:34Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
status: public
title: Seminar Theses of the Project Group Cybertron
type: report
user_id: '5786'
year: '2015'
...
---
_id: '20832'
author:
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: Jan
  full_name: Bobolz, Jan
  id: '27207'
  last_name: Bobolz
- first_name: Mike
  full_name: Czech, Mike
  last_name: Czech
- first_name: Andreas Peter
  full_name: Dann, Andreas Peter
  id: '26886'
  last_name: Dann
- first_name: Johannes
  full_name: Geismann, Johannes
  id: '20063'
  last_name: Geismann
  orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Marcus
  full_name: Hüwe, Marcus
  id: '13606'
  last_name: Hüwe
- first_name: Arthur
  full_name: Krieger, Arthur
  last_name: Krieger
- first_name: Goran
  full_name: Piskachev, Goran
  id: '41936'
  last_name: Piskachev
  orcid: 0000-0003-4424-5838
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
- first_name: Rebekka
  full_name: Wohlrab, Rebekka
  last_name: Wohlrab
citation:
  ama: Schäfer W, Dziwok S, Pohlmann U, et al. <i>Seminar Theses of the Project Group
    Cybertron</i>.; 2015.
  apa: Schäfer, W., Dziwok, S., Pohlmann, U., Bobolz, J., Czech, M., Dann, A. P.,
    Geismann, J., Hüwe, M., Krieger, A., Piskachev, G., Schubert, D., &#38; Wohlrab,
    R. (2015). <i>Seminar Theses of the Project Group Cybertron</i>.
  bibtex: '@book{Schäfer_Dziwok_Pohlmann_Bobolz_Czech_Dann_Geismann_Hüwe_Krieger_Piskachev_et
    al._2015, title={Seminar Theses of the Project Group Cybertron}, author={Schäfer,
    Wilhelm and Dziwok, Stefan and Pohlmann, Uwe and Bobolz, Jan and Czech, Mike and
    Dann, Andreas Peter and Geismann, Johannes and Hüwe, Marcus and Krieger, Arthur
    and Piskachev, Goran and et al.}, year={2015} }'
  chicago: Schäfer, Wilhelm, Stefan Dziwok, Uwe Pohlmann, Jan Bobolz, Mike Czech,
    Andreas Peter Dann, Johannes Geismann, et al. <i>Seminar Theses of the Project
    Group Cybertron</i>, 2015.
  ieee: W. Schäfer <i>et al.</i>, <i>Seminar Theses of the Project Group Cybertron</i>.
    2015.
  mla: Schäfer, Wilhelm, et al. <i>Seminar Theses of the Project Group Cybertron</i>.
    2015.
  short: W. Schäfer, S. Dziwok, U. Pohlmann, J. Bobolz, M. Czech, A.P. Dann, J. Geismann,
    M. Hüwe, A. Krieger, G. Piskachev, D. Schubert, R. Wohlrab, Seminar Theses of
    the Project Group Cybertron, 2015.
date_created: 2020-12-22T10:03:05Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
language:
- iso: eng
status: public
title: Seminar Theses of the Project Group Cybertron
type: report
user_id: '5786'
year: '2015'
...
