---
_id: '20794'
abstract:
- lang: eng
  text: Cyber-physische Systeme (CPSs) sind die nächste Generation von eingebetteten
    Systemen, die fortwährend ihre Zusammenarbeit koordinieren, um anspruchsvolle
    Funktionen zu erfüllen. Die Koordination zwischen ihnen kann in Software mittels
    asynchroner Nachrichtenkommunikation realisiert werden. Um die funktionale Korrektheit
    der Software zu gewährleisten, ist aufgrund der Kritikalität dieser Systeme eine
    formale Verifikation wie z.B. Model Checking notwendig. Die Eingabesprache eines
    Model Checkers unterstützt jedoch domänenspezifische Aspekte wie asynchrone Kommunikation
    nicht direkt, wodurch diese vom Softwareingenieur mittels zahlreicher Modellelemente
    spezifiziert werden müssen. Dies ist hochgradig komplex und somit fehleranfällig.
    Im Rahmen dieser Arbeit wird eine modellgetriebene Methode zur domänenspezifischen
    Spezifikation und vollautomatischen Verifikation der nachrichtenbasierten Koordination
    von CPSs präsentiert. Mit Hilfe dieser Methode kann der Softwareingenieur die
    Koordination kompakt modellieren und muss nicht länger verstehen, wie seine Spezifikation
    auf der Ebene des Model Checkers ausgedrückt wird. Insgesamt wird die Komplexität
    für den Softwareingenieur somit deutlich handhabbarer. Bezüglich der Spezifikation
    einer solchen Koordination definiert die Arbeit eine domänenspezifische Sprache
    namens Real-Time Coordination Protocols (RTCPs). Darüber hinaus wird eine domänenspezifische
    Sprache zur Spezifikation von Verifikationseigenschaften eingeführt und Entwurfsmuster
    für RTCPs präsentiert, um die Anzahl der Modellierungsfehler zu senken.
author:
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
citation:
  ama: Dziwok S. <i>Specification and Verification for Real-Time Coordination Protocols
    of Cyber-Physical Systems</i>. Paderborn University; 2017.
  apa: Dziwok, S. (2017). <i>Specification and Verification for Real-Time Coordination
    Protocols of Cyber-physical Systems</i>. Paderborn University.
  bibtex: '@book{Dziwok_2017, title={Specification and Verification for Real-Time
    Coordination Protocols of Cyber-physical Systems}, publisher={Paderborn University},
    author={Dziwok, Stefan}, year={2017} }'
  chicago: Dziwok, Stefan. <i>Specification and Verification for Real-Time Coordination
    Protocols of Cyber-Physical Systems</i>. Paderborn University, 2017.
  ieee: S. Dziwok, <i>Specification and Verification for Real-Time Coordination Protocols
    of Cyber-physical Systems</i>. Paderborn University, 2017.
  mla: Dziwok, Stefan. <i>Specification and Verification for Real-Time Coordination
    Protocols of Cyber-Physical Systems</i>. Paderborn University, 2017.
  short: S. Dziwok, Specification and Verification for Real-Time Coordination Protocols
    of Cyber-Physical Systems, Paderborn University, 2017.
date_created: 2020-12-17T13:32:52Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publisher: Paderborn University
status: public
title: Specification and Verification for Real-Time Coordination Protocols of Cyber-physical
  Systems
type: dissertation
user_id: '5786'
year: '2017'
...
---
_id: '20795'
abstract:
- lang: eng
  text: Distributed, software-intensive systems such as fully automated cars have
    to handle various situations employing message-based coordination. The growing
    complexity of such systems results in an increasing difficulty to achieve a high
    quality of the systems’ requirements specifications, particularly w.r.t. the realizability
    of the specifications. Scenario-based requirements engineering addresses the message-based
    coordination of such systems and enables, if underpinned with formal languages,
    automatic requirements validation techniques for proving the realizability of
    a requirements specification. However, formal requirements modeling languages
    require a deep knowledge of requirements engineers and typically require many
    manual iterations until they find a realizable specification. In order to support
    requirements engineers in the stepwise development of scenario-based requirements
    specifications, we propose to evolve a high-quality specification from a (presumably
    unrealizable) manually created specification employing an evolutionary algorithm.
    In this paper, we show our results on automatically evolving new assumptions on
    the systems’ environment behavior that guarantee a realizable requirements specification.
    Based on this contribution, we outline our research roadmap toward our long-term
    goal of automatically supporting requirements engineers in finding high-quality
    requirements specifications.
author:
- first_name: David
  full_name: Schmelter, David
  id: '40982'
  last_name: Schmelter
  orcid: 0000-0001-7787-5380
- first_name: Joel
  full_name: Greenyer, Joel
  last_name: Greenyer
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
citation:
  ama: 'Schmelter D, Greenyer J, Holtmann J. Toward Learning Realizable Scenario-based,
    Formal Requirements Specifications. In: <i>4th International Workshop on Artificial
    Intelligence for Requirements Engineering (AIRE)</i>. Lisbon, Portugal: IEEE;
    2017. doi:<a href="https://doi.org/10.1109/REW.2017.14">10.1109/REW.2017.14</a>'
  apa: 'Schmelter, D., Greenyer, J., &#38; Holtmann, J. (2017). Toward Learning Realizable
    Scenario-based, Formal Requirements Specifications. In <i>4th International Workshop
    on Artificial Intelligence for Requirements Engineering (AIRE)</i>. Lisbon, Portugal:
    IEEE. <a href="https://doi.org/10.1109/REW.2017.14">https://doi.org/10.1109/REW.2017.14</a>'
  bibtex: '@inproceedings{Schmelter_Greenyer_Holtmann_2017, place={Lisbon, Portugal},
    title={Toward Learning Realizable Scenario-based, Formal Requirements Specifications},
    DOI={<a href="https://doi.org/10.1109/REW.2017.14">10.1109/REW.2017.14</a>}, booktitle={4th
    International Workshop on Artificial Intelligence for Requirements Engineering
    (AIRE)}, publisher={IEEE}, author={Schmelter, David and Greenyer, Joel and Holtmann,
    Jörg}, year={2017} }'
  chicago: 'Schmelter, David, Joel Greenyer, and Jörg Holtmann. “Toward Learning Realizable
    Scenario-Based, Formal Requirements Specifications.” In <i>4th International Workshop
    on Artificial Intelligence for Requirements Engineering (AIRE)</i>. Lisbon, Portugal:
    IEEE, 2017. <a href="https://doi.org/10.1109/REW.2017.14">https://doi.org/10.1109/REW.2017.14</a>.'
  ieee: D. Schmelter, J. Greenyer, and J. Holtmann, “Toward Learning Realizable Scenario-based,
    Formal Requirements Specifications,” in <i>4th International Workshop on Artificial
    Intelligence for Requirements Engineering (AIRE)</i>, 2017.
  mla: Schmelter, David, et al. “Toward Learning Realizable Scenario-Based, Formal
    Requirements Specifications.” <i>4th International Workshop on Artificial Intelligence
    for Requirements Engineering (AIRE)</i>, IEEE, 2017, doi:<a href="https://doi.org/10.1109/REW.2017.14">10.1109/REW.2017.14</a>.
  short: 'D. Schmelter, J. Greenyer, J. Holtmann, in: 4th International Workshop on
    Artificial Intelligence for Requirements Engineering (AIRE), IEEE, Lisbon, Portugal,
    2017.'
date_created: 2020-12-17T13:34:07Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
doi: 10.1109/REW.2017.14
language:
- iso: eng
place: Lisbon, Portugal
publication: 4th International Workshop on Artificial Intelligence for Requirements
  Engineering (AIRE)
publisher: IEEE
status: public
title: Toward Learning Realizable Scenario-based, Formal Requirements Specifications
type: conference
user_id: '40982'
year: '2017'
...
---
_id: '20796'
author:
- first_name: Benedict
  full_name: Wohlers, Benedict
  id: '53786'
  last_name: Wohlers
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Christian
  full_name: Bremer, Christian
  last_name: Bremer
- first_name: David
  full_name: Schmelter, David
  id: '40982'
  last_name: Schmelter
  orcid: 0000-0001-7787-5380
- first_name: Wadim
  full_name: Lorenz, Wadim
  last_name: Lorenz
citation:
  ama: 'Wohlers B, Dziwok S, Bremer C, Schmelter D, Lorenz W. Improving the Product
    Control of Mechatronic Systems Using Key Performance Indicators. In: <i>Proceedings
    of the 24th International Conference on Production Research (ICPR)</i>. DEStech
    Publications, Inc.; 2017.'
  apa: Wohlers, B., Dziwok, S., Bremer, C., Schmelter, D., &#38; Lorenz, W. (2017).
    Improving the Product Control of Mechatronic Systems Using Key Performance Indicators.
    In <i>Proceedings of the 24th International Conference on Production Research
    (ICPR)</i>. DEStech Publications, Inc.
  bibtex: '@inproceedings{Wohlers_Dziwok_Bremer_Schmelter_Lorenz_2017, title={Improving
    the Product Control of Mechatronic Systems Using Key Performance Indicators},
    booktitle={Proceedings of the 24th International Conference on Production Research
    (ICPR)}, publisher={DEStech Publications, Inc.}, author={Wohlers, Benedict and
    Dziwok, Stefan and Bremer, Christian and Schmelter, David and Lorenz, Wadim},
    year={2017} }'
  chicago: Wohlers, Benedict, Stefan Dziwok, Christian Bremer, David Schmelter, and
    Wadim Lorenz. “Improving the Product Control of Mechatronic Systems Using Key
    Performance Indicators.” In <i>Proceedings of the 24th International Conference
    on Production Research (ICPR)</i>. DEStech Publications, Inc., 2017.
  ieee: B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, and W. Lorenz, “Improving
    the Product Control of Mechatronic Systems Using Key Performance Indicators,”
    in <i>Proceedings of the 24th International Conference on Production Research
    (ICPR)</i>, 2017.
  mla: Wohlers, Benedict, et al. “Improving the Product Control of Mechatronic Systems
    Using Key Performance Indicators.” <i>Proceedings of the 24th International Conference
    on Production Research (ICPR)</i>, DEStech Publications, Inc., 2017.
  short: 'B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, W. Lorenz, in: Proceedings
    of the 24th International Conference on Production Research (ICPR), DEStech Publications,
    Inc., 2017.'
date_created: 2020-12-17T13:35:17Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: Proceedings of the 24th International Conference on Production Research
  (ICPR)
publisher: DEStech Publications, Inc.
status: public
title: Improving the Product Control of Mechatronic Systems Using Key Performance
  Indicators
type: conference
user_id: '40982'
year: '2017'
...
---
_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: '20798'
abstract:
- lang: eng
  text: "Moderne und Automatisierungs- und Produktionssysteme speichern viele schützenswerte
    Daten wie zum Beispiel Produktionsmengen oder Verfahrenseinstellungen. Sie werden
    von speicherprogrammierbaren Steuerungen (SPS) gesteuert. Eine SPS bietet eine
    Vielzahl von Netzwerk-/Datenschnittstellen. Insbesondere Schnittstellen zum Internet
    ermöglichen neue Funktionalitäten, sind aber auch mögliche Angriffspunkte. Neben
    einer Netzwerktrennung durch Firewalls sollte zusätzlich programmatisch unterbunden
    werden, dass auf kritische/sensible Daten direkt oder indirekt über einen kritischen,
    unerwünschten Datenfluss zugegriffen werden kann. Bereits während der Entwicklung
    einer Anlage kann der Steuerungscode mittels statischer Programmanalyse untersucht
    werden. Die unabhängige Analyse von einzelnen Programmen reicht aber bei vernetzten
    Anlagen nicht aus, da sich der kritische Datenfluss erst aus der Kombination von
    Programm- und Netzwerkverhalten ergeben kann. Deshalb stellen wir in diesem Beitrag
    erste Ideen für eine verteilte statische Analyse der Steuerungssoftware einer
    vernetzten Industrieanlage vor, welche es ermöglicht den Datenfluss der gesamten
    vernetzten Anlage zu betrachten. Hierdurch wird es möglich zu beurteilen, ob kritische/sensible
    Daten die vernetzte Anlage verlassen oder ob diese manipuliert werden können.\r\n"
author:
- first_name: Faezeh
  full_name: Ghassemi, Faezeh
  last_name: Ghassemi
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: Claudia
  full_name: Priesterjahn, Claudia
  last_name: Priesterjahn
citation:
  ama: Ghassemi F, Meyer M, Pohlmann U, Priesterjahn C. Verteilte statische Analyse
    zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs-
    und Produktionssysteme. 2017.
  apa: Ghassemi, F., Meyer, M., Pohlmann, U., &#38; Priesterjahn, C. (2017). Verteilte
    statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte
    Automatisierungs- und Produktionssysteme.
  bibtex: '@article{Ghassemi_Meyer_Pohlmann_Priesterjahn_2017, title={Verteilte statische
    Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs-
    und Produktionssysteme}, author={Ghassemi, Faezeh and Meyer, Matthias and Pohlmann,
    Uwe and Priesterjahn, Claudia}, year={2017} }'
  chicago: Ghassemi, Faezeh, Matthias Meyer, Uwe Pohlmann, and Claudia Priesterjahn.
    “Verteilte Statische Analyse Zur Identifikation von Kritischen Datenflüssen Für
    Vernetzte Automatisierungs- Und Produktionssysteme,” 2017.
  ieee: F. Ghassemi, M. Meyer, U. Pohlmann, and C. Priesterjahn, “Verteilte statische
    Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs-
    und Produktionssysteme.” 2017.
  mla: Ghassemi, Faezeh, et al. <i>Verteilte Statische Analyse Zur Identifikation
    von Kritischen Datenflüssen Für Vernetzte Automatisierungs- Und Produktionssysteme</i>.
    2017.
  short: F. Ghassemi, M. Meyer, U. Pohlmann, C. Priesterjahn, (2017).
date_created: 2020-12-17T13:38:24Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '241'
language:
- iso: eng
status: public
title: Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen
  für vernetzte Automatisierungs- und Produktionssysteme
type: preprint
user_id: '15249'
year: '2017'
...
---
_id: '20799'
author:
- first_name: Marcus
  full_name: Hüwe, Marcus
  id: '13606'
  last_name: Hüwe
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
citation:
  ama: Hüwe M, Pohlmann U. <i>Formal Definition and Proofs for the MechatronicUML
    Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn, Germany;
    2017.
  apa: Hüwe, M., &#38; Pohlmann, U. (2017). <i>Formal Definition and Proofs for the
    MechatronicUML Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn,
    Germany.
  bibtex: '@book{Hüwe_Pohlmann_2017, place={Zukunftsmeile 1, 33102 Paderborn, Germany},
    title={Formal Definition and Proofs for the MechatronicUML Allocation Specification
    Language}, author={Hüwe, Marcus and Pohlmann, Uwe}, year={2017} }'
  chicago: Hüwe, Marcus, and Uwe Pohlmann. <i>Formal Definition and Proofs for the
    MechatronicUML Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn,
    Germany, 2017.
  ieee: M. Hüwe and U. Pohlmann, <i>Formal Definition and Proofs for the MechatronicUML
    Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn, Germany,
    2017.
  mla: Hüwe, Marcus, and Uwe Pohlmann. <i>Formal Definition and Proofs for the MechatronicUML
    Allocation Specification Language</i>. 2017.
  short: M. Hüwe, U. Pohlmann, Formal Definition and Proofs for the MechatronicUML
    Allocation Specification Language, Zukunftsmeile 1, 33102 Paderborn, Germany,
    2017.
date_created: 2020-12-17T13:39:19Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '241'
language:
- iso: eng
place: Zukunftsmeile 1, 33102 Paderborn, Germany
status: public
title: Formal Definition and Proofs for the MechatronicUML Allocation Specification
  Language
type: report
user_id: '15249'
year: '2017'
...
---
_id: '20801'
abstract:
- lang: eng
  text: Original equipment manufacturers (OEMs) build mechatronic systems using components
    from several suppliers in industry sectors like automation. The suppliers provide
    geometrical information via the standardized exchange format STEP, such that the
    OEM is able to virtually layout the overall system. Beyond the geometrical information,
    the OEM needs additional technical information for his development tasks. For
    that reason, STEP provides an extension mechanism for extending and tailoring
    STEP to project-specific needs. However, extending STEP moreover requires extending
    several capabilities of all involved tools, causing high development effort. This
    effort prevents the project-specific utilization of the STEP extension mechanism
    and forces the organizations to use awkward workarounds. In order to cope with
    this problem, we present a model-driven approach enabling the flexible specification
    of STEP extensions and particularly the automatic derivation of the required further
    capabilities for two involved tools. We illustrate and evaluate the approach with
    an automation production system example.
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: Timo
  full_name: Lindemann, Timo
  last_name: Lindemann
citation:
  ama: 'Koch T, Holtmann J, Lindemann T. Flexible Specification of STEP Application
    Protocol Extensions and Automatic Derivation of Tool Capabilities. In: <i>Proceedings
    of the 5th International Conference on Model-Driven Engineering and Software Development</i>.
    ; 2017. doi:<a href="https://doi.org/10.5220/0006137400530064">10.5220/0006137400530064</a>'
  apa: Koch, T., Holtmann, J., &#38; Lindemann, T. (2017). Flexible Specification
    of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.
    In <i>Proceedings of the 5th International Conference on Model-Driven Engineering
    and Software Development</i>. <a href="https://doi.org/10.5220/0006137400530064">https://doi.org/10.5220/0006137400530064</a>
  bibtex: '@inproceedings{Koch_Holtmann_Lindemann_2017, title={Flexible Specification
    of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities},
    DOI={<a href="https://doi.org/10.5220/0006137400530064">10.5220/0006137400530064</a>},
    booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering
    and Software Development}, author={Koch, Thorsten and Holtmann, Jörg and Lindemann,
    Timo}, year={2017} }'
  chicago: Koch, Thorsten, Jörg Holtmann, and Timo Lindemann. “Flexible Specification
    of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.”
    In <i>Proceedings of the 5th International Conference on Model-Driven Engineering
    and Software Development</i>, 2017. <a href="https://doi.org/10.5220/0006137400530064">https://doi.org/10.5220/0006137400530064</a>.
  ieee: T. Koch, J. Holtmann, and T. Lindemann, “Flexible Specification of STEP Application
    Protocol Extensions and Automatic Derivation of Tool Capabilities,” in <i>Proceedings
    of the 5th International Conference on Model-Driven Engineering and Software Development</i>,
    2017.
  mla: Koch, Thorsten, et al. “Flexible Specification of STEP Application Protocol
    Extensions and Automatic Derivation of Tool Capabilities.” <i>Proceedings of the
    5th International Conference on Model-Driven Engineering and Software Development</i>,
    2017, doi:<a href="https://doi.org/10.5220/0006137400530064">10.5220/0006137400530064</a>.
  short: 'T. Koch, J. Holtmann, T. Lindemann, in: Proceedings of the 5th International
    Conference on Model-Driven Engineering and Software Development, 2017.'
date_created: 2020-12-17T13:51:04Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '241'
- _id: '662'
doi: 10.5220/0006137400530064
language:
- iso: eng
publication: Proceedings of the 5th International Conference on Model-Driven Engineering
  and Software Development
status: public
title: Flexible Specification of STEP Application Protocol Extensions and Automatic
  Derivation of Tool Capabilities
type: conference
user_id: '13616'
year: '2017'
...
---
_id: '20802'
abstract:
- lang: eng
  text: The development of software-intensive technical systems (e.g., within the
    automotive industry) involves several engineering disciplines like mechanical,
    electrical, control, and particularly software engineering. Model-based Systems
    Engineering (MBSE) coordinates these disciplines throughout the development by
    means of a discipline-spanning system model. An integral part of MBSE is the requirements
    engineering on the system level. However, these requirements need to be refined
    for the discipline-specific development to start, for example, into specific requirements
    for the embedded software. Since existing MBSE approaches lack support for this
    refinement step, we conceived a systematic and iterative transition from MBSE
    to model-based software requirements engineering, which we present in this talk.
    We automated the steps of the transition where possible, in order to avoid error-prone
    and time-consuming manual tasks. We illustrate the approach and perform a case
    study with an example of an automotive embedded system.
author:
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
- first_name: Ruslan
  full_name: Bernijazov, Ruslan
  last_name: Bernijazov
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
- first_name: David
  full_name: Schmelter, David
  id: '40982'
  last_name: Schmelter
  orcid: 0000-0001-7787-5380
- first_name: Christian
  full_name: Tschirner, Christian
  last_name: Tschirner
citation:
  ama: 'Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and
    Iterative Systems Engineering and Software Requirements Engineering for Technical
    Systems (Précis). In: Jürjens J, Schneider K, eds. <i>Proceedings of the Software
    Engineering 2017</i>. Vol P-267. Lecture Notes in Informatics (LNI). Gesellschaft
    fuer Informatik; 2017:109-110.'
  apa: Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., &#38; Tschirner, C.
    (2017). Integrated and Iterative Systems Engineering and Software Requirements
    Engineering for Technical Systems (Précis). In J. Jürjens &#38; K. Schneider (Eds.),
    <i>Proceedings of the Software Engineering 2017</i> (Vol. P-267, pp. 109–110).
    Gesellschaft fuer Informatik.
  bibtex: '@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2017, series={Lecture
    Notes in Informatics (LNI)}, title={Integrated and Iterative Systems Engineering
    and Software Requirements Engineering for Technical Systems (Précis)}, volume={P-267},
    booktitle={Proceedings of the Software Engineering 2017}, publisher={Gesellschaft
    fuer Informatik}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias
    and Schmelter, David and Tschirner, Christian}, editor={Jürjens, Jan and Schneider,
    KurtEditors}, year={2017}, pages={109–110}, collection={Lecture Notes in Informatics
    (LNI)} }'
  chicago: Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and
    Christian Tschirner. “Integrated and Iterative Systems Engineering and Software
    Requirements Engineering for Technical Systems (Précis).” In <i>Proceedings of
    the Software Engineering 2017</i>, edited by Jan Jürjens and Kurt Schneider, P-267:109–10.
    Lecture Notes in Informatics (LNI). Gesellschaft fuer Informatik, 2017.
  ieee: J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated
    and Iterative Systems Engineering and Software Requirements Engineering for Technical
    Systems (Précis),” in <i>Proceedings of the Software Engineering 2017</i>, 2017,
    vol. P-267, pp. 109–110.
  mla: Holtmann, Jörg, et al. “Integrated and Iterative Systems Engineering and Software
    Requirements Engineering for Technical Systems (Précis).” <i>Proceedings of the
    Software Engineering 2017</i>, edited by Jan Jürjens and Kurt Schneider, vol.
    P-267, Gesellschaft fuer Informatik, 2017, pp. 109–10.
  short: 'J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: J.
    Jürjens, K. Schneider (Eds.), Proceedings of the Software Engineering 2017, Gesellschaft
    fuer Informatik, 2017, pp. 109–110.'
date_created: 2020-12-17T13:53:41Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '241'
- _id: '662'
editor:
- first_name: Jan
  full_name: Jürjens, Jan
  last_name: Jürjens
- first_name: Kurt
  full_name: Schneider, Kurt
  last_name: Schneider
language:
- iso: eng
page: 109-110
publication: Proceedings of the Software Engineering 2017
publisher: Gesellschaft fuer Informatik
series_title: Lecture Notes in Informatics (LNI)
status: public
title: Integrated and Iterative Systems Engineering and Software Requirements Engineering
  for Technical Systems (Précis)
type: conference
user_id: '40982'
volume: P-267
year: '2017'
...
---
_id: '20803'
author:
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: Marcus
  full_name: Hüwe, Marcus
  id: '13606'
  last_name: Hüwe
citation:
  ama: 'Pohlmann U, Hüwe M. Model-Driven Allocation Engineering – Abridged Version.
    In: Jürjens J, Schneider K, eds. <i>GI-Edition, Lecture Notes in Informatics,
    Software Engineering 2017, Proceedings</i>. ; 2017.'
  apa: Pohlmann, U., &#38; Hüwe, M. (2017). Model-Driven Allocation Engineering –
    Abridged Version. In J. Jürjens &#38; K. Schneider (Eds.), <i>GI-Edition, Lecture
    Notes in Informatics, Software Engineering 2017, Proceedings</i>.
  bibtex: '@inproceedings{Pohlmann_Hüwe_2017, title={Model-Driven Allocation Engineering
    – Abridged Version}, booktitle={GI-Edition, Lecture Notes in Informatics, Software
    Engineering 2017, Proceedings}, author={Pohlmann, Uwe and Hüwe, Marcus}, editor={Jürjens,
    Jan and Schneider, KurtEditors}, year={2017} }'
  chicago: Pohlmann, Uwe, and Marcus Hüwe. “Model-Driven Allocation Engineering –
    Abridged Version.” In <i>GI-Edition, Lecture Notes in Informatics, Software Engineering
    2017, Proceedings</i>, edited by Jan Jürjens and Kurt Schneider, 2017.
  ieee: U. Pohlmann and M. Hüwe, “Model-Driven Allocation Engineering – Abridged Version,”
    in <i>GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings</i>,
    2017.
  mla: Pohlmann, Uwe, and Marcus Hüwe. “Model-Driven Allocation Engineering – Abridged
    Version.” <i>GI-Edition, Lecture Notes in Informatics, Software Engineering 2017,
    Proceedings</i>, edited by Jan Jürjens and Kurt Schneider, 2017.
  short: 'U. Pohlmann, M. Hüwe, in: J. Jürjens, K. Schneider (Eds.), GI-Edition, Lecture
    Notes in Informatics, Software Engineering 2017, Proceedings, 2017.'
date_created: 2020-12-17T13:56:43Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '241'
editor:
- first_name: Jan
  full_name: Jürjens, Jan
  last_name: Jürjens
- first_name: Kurt
  full_name: Schneider, Kurt
  last_name: Schneider
language:
- iso: eng
publication: GI-Edition, Lecture Notes in Informatics, Software Engineering 2017,
  Proceedings
status: public
title: Model-Driven Allocation Engineering – Abridged Version
type: conference
user_id: '15249'
year: '2017'
...
---
_id: '20804'
abstract:
- lang: eng
  text: Modern Cyber-physical Systems are executed in physical environments and distributed
    over several Electronic Control Units using multiple cores for execution. These
    systems perform safety-critical tasks and, therefore, have to fulfill hard real-time
    requirements. To face these requirements systematically, system engineers de-
    velop these systems model-driven and prove the fulfillment of these requirements
    via model checking. It is important to ensure that the runtime scheduling does
    not violate the verified requirements by neglecting the model checking assumptions.
    Currently, there is a gap in the process for model-driven approaches to derive
    a feasible runtime scheduling that respects these assumptions. In this paper,
    we present an approach for a semi- automatic synthesis of behavioral models into
    a deterministic scheduling that respects real-time requirements at runtime. We
    evaluate our approach using an example of a distributed automotive system with
    hard real-time requirements specified with the MechatronicUML method.
author:
- first_name: Johannes
  full_name: Geismann, Johannes
  id: '20063'
  last_name: Geismann
  orcid: https://orcid.org/0000-0003-2015-2047
- 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, Pohlmann U, Schmelter D. Towards an Automated Synthesis of a Real-time
    Scheduling for Cyber-physical Multi-core Systems. In: <i>Proceedings of the 5th
    International Conference on Model-Driven Engineering and Software Development</i>.
    ; 2017.'
  apa: Geismann, J., Pohlmann, U., &#38; Schmelter, D. (2017). Towards an Automated
    Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. <i>Proceedings
    of the 5th International Conference on Model-Driven Engineering and Software Development</i>.
  bibtex: '@inproceedings{Geismann_Pohlmann_Schmelter_2017, title={Towards an Automated
    Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems}, booktitle={Proceedings
    of the 5th International Conference on Model-Driven Engineering and Software Development},
    author={Geismann, Johannes and Pohlmann, Uwe and Schmelter, David}, year={2017}
    }'
  chicago: Geismann, Johannes, Uwe Pohlmann, and David Schmelter. “Towards an Automated
    Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” In
    <i>Proceedings of the 5th International Conference on Model-Driven Engineering
    and Software Development</i>, 2017.
  ieee: J. Geismann, U. Pohlmann, and D. Schmelter, “Towards an Automated Synthesis
    of a Real-time Scheduling for Cyber-physical Multi-core Systems,” 2017.
  mla: Geismann, Johannes, et al. “Towards an Automated Synthesis of a Real-Time Scheduling
    for Cyber-Physical Multi-Core Systems.” <i>Proceedings of the 5th International
    Conference on Model-Driven Engineering and Software Development</i>, 2017.
  short: 'J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International
    Conference on Model-Driven Engineering and Software Development, 2017.'
date_created: 2020-12-17T13:59:04Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: Proceedings of the 5th International Conference on Model-Driven Engineering
  and Software Development
status: public
title: Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical
  Multi-core Systems
type: conference
user_id: '5786'
year: '2017'
...
---
_id: '20805'
author:
- first_name: Matthias
  full_name: Becker, Matthias
  last_name: Becker
citation:
  ama: Becker M. <i>Engineering Self-Adaptive Systems with Simulation-Based Performance
    Prediction</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik;
    2017.
  apa: Becker, M. (2017). <i>Engineering Self-Adaptive Systems with Simulation-Based
    Performance Prediction</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
  bibtex: '@book{Becker_2017, title={Engineering Self-Adaptive Systems with Simulation-Based
    Performance Prediction}, publisher={Universität Paderborn, Heinz Nixdorf Institut,
    Softwaretechnik}, author={Becker, Matthias}, year={2017} }'
  chicago: Becker, Matthias. <i>Engineering Self-Adaptive Systems with Simulation-Based
    Performance Prediction</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik,
    2017.
  ieee: M. Becker, <i>Engineering Self-Adaptive Systems with Simulation-Based Performance
    Prediction</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik,
    2017.
  mla: Becker, Matthias. <i>Engineering Self-Adaptive Systems with Simulation-Based
    Performance Prediction</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik,
    2017.
  short: M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performance
    Prediction, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2017.
date_created: 2020-12-17T14:00:21Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '76'
language:
- iso: eng
publisher: Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik
status: public
title: Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction
type: dissertation
user_id: '5786'
year: '2017'
...
---
_id: '20868'
abstract:
- lang: eng
  text: 'This study proposes a simple theoretical framework that allows for assessing
    financial distress up to five years in advance. We jointly model financial distress
    by using two of its key driving factors: declining cash-generating ability and
    insufficient liquidity reserves. The model is based on stochastic processes and
    incorporates firm-level and industry-sector developments. A large-scale empirical
    implementation for US-listed firms over the period of 1980-2010 shows important
    improvements in the discriminatory accuracy and demonstrates incremental information
    content beyond state-of-the-art accounting and market-based prediction models.
    Consequently, this study might provide important ex ante warning signals for investors,
    regulators and practitioners.'
author:
- first_name: Sönke
  full_name: Sievers, Sönke
  id: '46447'
  last_name: Sievers
- first_name: Jan
  full_name: Klobucnik, Jan
  last_name: Klobucnik
- first_name: David
  full_name: Miersch, David
  last_name: Miersch
citation:
  ama: 'Sievers S, Klobucnik J, Miersch D. <i>Predicting Early Warning Signals of
    Financial Distress: Theory and Empirical Evidence</i>.; 2017. doi:<a href="https://doi.org/10.2139/ssrn.2237757">10.2139/ssrn.2237757</a>'
  apa: 'Sievers, S., Klobucnik, J., &#38; Miersch, D. (2017). <i>Predicting Early
    Warning Signals of Financial Distress: Theory and Empirical Evidence</i>. <a href="https://doi.org/10.2139/ssrn.2237757">https://doi.org/10.2139/ssrn.2237757</a>'
  bibtex: '@book{Sievers_Klobucnik_Miersch_2017, title={Predicting Early Warning Signals
    of Financial Distress: Theory and Empirical Evidence}, DOI={<a href="https://doi.org/10.2139/ssrn.2237757">10.2139/ssrn.2237757</a>},
    author={Sievers, Sönke and Klobucnik, Jan and Miersch, David}, year={2017} }'
  chicago: 'Sievers, Sönke, Jan Klobucnik, and David Miersch. <i>Predicting Early
    Warning Signals of Financial Distress: Theory and Empirical Evidence</i>, 2017.
    <a href="https://doi.org/10.2139/ssrn.2237757">https://doi.org/10.2139/ssrn.2237757</a>.'
  ieee: 'S. Sievers, J. Klobucnik, and D. Miersch, <i>Predicting Early Warning Signals
    of Financial Distress: Theory and Empirical Evidence</i>. 2017.'
  mla: 'Sievers, Sönke, et al. <i>Predicting Early Warning Signals of Financial Distress:
    Theory and Empirical Evidence</i>. 2017, doi:<a href="https://doi.org/10.2139/ssrn.2237757">10.2139/ssrn.2237757</a>.'
  short: 'S. Sievers, J. Klobucnik, D. Miersch, Predicting Early Warning Signals of
    Financial Distress: Theory and Empirical Evidence, 2017.'
date_created: 2021-01-05T11:44:45Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '275'
doi: 10.2139/ssrn.2237757
jel:
- C63
- C52
- C53
- G33
- M41
keyword:
- Financial distress prediction
- probability of default
- accounting information
- stochastic processes
- simulation
language:
- iso: eng
main_file_link:
- url: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2237757
page: '84'
publication_status: published
status: public
title: 'Predicting Early Warning Signals of Financial Distress: Theory and Empirical
  Evidence'
type: working_paper
user_id: '46447'
year: '2017'
...
---
_id: '18010'
author:
- first_name: Dorothee M.
  full_name: Meister, Dorothee M.
  id: '346'
  last_name: Meister
- first_name: Gudrun
  full_name: Oevel, Gudrun
  id: '14924'
  last_name: Oevel
  orcid: https://orcid.org/0000-0002-6396-9535
citation:
  ama: Meister DM, Oevel G. <i>E-Assessments in Der Hochschulpraxis. Empfehlungen
    Zur Verankerung von E-Assessments in NRW</i>. Paderborn; 2017.
  apa: Meister, D. M., &#38; Oevel, G. (2017). <i>E-Assessments in der Hochschulpraxis.
    Empfehlungen zur Verankerung von E-Assessments in NRW</i>. Paderborn.
  bibtex: '@book{Meister_Oevel_2017, place={Paderborn}, title={E-Assessments in der
    Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments in NRW}, author={Meister,
    Dorothee M. and Oevel, Gudrun}, year={2017} }'
  chicago: Meister, Dorothee M., and Gudrun Oevel. <i>E-Assessments in Der Hochschulpraxis.
    Empfehlungen Zur Verankerung von E-Assessments in NRW</i>. Paderborn, 2017.
  ieee: D. M. Meister and G. Oevel, <i>E-Assessments in der Hochschulpraxis. Empfehlungen
    zur Verankerung von E-Assessments in NRW</i>. Paderborn, 2017.
  mla: Meister, Dorothee M., and Gudrun Oevel. <i>E-Assessments in Der Hochschulpraxis.
    Empfehlungen Zur Verankerung von E-Assessments in NRW</i>. 2017.
  short: D.M. Meister, G. Oevel, E-Assessments in Der Hochschulpraxis. Empfehlungen
    Zur Verankerung von E-Assessments in NRW, Paderborn, 2017.
date_created: 2020-08-17T10:35:20Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '137'
- _id: '25'
language:
- iso: eng
place: Paderborn
status: public
title: E-Assessments in der Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments
  in NRW
type: book
user_id: '21240'
year: '2017'
...
---
_id: '18026'
author:
- first_name: 'Michél '
  full_name: 'Burkhardt, Michél '
  last_name: Burkhardt
citation:
  ama: Burkhardt M. <i>Untersuchungen Zum Cone-Hashing</i>. Universität Paderborn;
    2017.
  apa: Burkhardt, M. (2017). <i>Untersuchungen zum Cone-Hashing</i>. Universität Paderborn.
  bibtex: '@book{Burkhardt_2017, title={Untersuchungen zum Cone-Hashing}, publisher={Universität
    Paderborn}, author={Burkhardt, Michél }, year={2017} }'
  chicago: Burkhardt, Michél . <i>Untersuchungen Zum Cone-Hashing</i>. Universität
    Paderborn, 2017.
  ieee: M. Burkhardt, <i>Untersuchungen zum Cone-Hashing</i>. Universität Paderborn,
    2017.
  mla: Burkhardt, Michél. <i>Untersuchungen Zum Cone-Hashing</i>. Universität Paderborn,
    2017.
  short: M. Burkhardt, Untersuchungen Zum Cone-Hashing, Universität Paderborn, 2017.
date_created: 2020-08-18T08:39:19Z
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: Untersuchungen zum Cone-Hashing
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '18027'
author:
- first_name: Ngoc Chi
  full_name: Banh, Ngoc Chi
  last_name: Banh
citation:
  ama: Banh NC. <i>An Asynchronous Adaption of a Churn-Resistant Overlay Network</i>.
    Universität Paderborn; 2017.
  apa: Banh, N. C. (2017). <i>An Asynchronous Adaption of a Churn-resistant Overlay
    Network</i>. Universität Paderborn.
  bibtex: '@book{Banh_2017, title={An Asynchronous Adaption of a Churn-resistant Overlay
    Network}, publisher={Universität Paderborn}, author={Banh, Ngoc Chi}, year={2017}
    }'
  chicago: Banh, Ngoc Chi. <i>An Asynchronous Adaption of a Churn-Resistant Overlay
    Network</i>. Universität Paderborn, 2017.
  ieee: N. C. Banh, <i>An Asynchronous Adaption of a Churn-resistant Overlay Network</i>.
    Universität Paderborn, 2017.
  mla: Banh, Ngoc Chi. <i>An Asynchronous Adaption of a Churn-Resistant Overlay Network</i>.
    Universität Paderborn, 2017.
  short: N.C. Banh, An Asynchronous Adaption of a Churn-Resistant Overlay Network,
    Universität Paderborn, 2017.
date_created: 2020-08-18T08:40:19Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '4'
  name: SFB 901 - Project Area C
- _id: '13'
  name: SFB 901 - Subproject C1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: An Asynchronous Adaption of a Churn-resistant Overlay Network
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '18028'
author:
- first_name: Andreas
  full_name: Schenk, Andreas
  last_name: Schenk
citation:
  ama: Schenk A. <i>Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen</i>.
    Universität Paderborn; 2017.
  apa: Schenk, A. (2017). <i>Monotone Suchbarkeit in mehrdimensionalen verteilten
    Datenstrukturen</i>. Universität Paderborn.
  bibtex: '@book{Schenk_2017, title={Monotone Suchbarkeit in mehrdimensionalen verteilten
    Datenstrukturen}, publisher={Universität Paderborn}, author={Schenk, Andreas},
    year={2017} }'
  chicago: Schenk, Andreas. <i>Monotone Suchbarkeit in Mehrdimensionalen Verteilten
    Datenstrukturen</i>. Universität Paderborn, 2017.
  ieee: A. Schenk, <i>Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen</i>.
    Universität Paderborn, 2017.
  mla: Schenk, Andreas. <i>Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen</i>.
    Universität Paderborn, 2017.
  short: A. Schenk, Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen,
    Universität Paderborn, 2017.
date_created: 2020-08-18T08:41:42Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '5'
  name: SFB 901 - Subproject A1
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '18029'
author:
- first_name: Björn
  full_name: Beckendorf, Björn
  last_name: Beckendorf
citation:
  ama: Beckendorf B. <i>Visualisierung Zu Algorithmen Verteilter Netzwerksysteme</i>.
    Universität Paderborn; 2017.
  apa: Beckendorf, B. (2017). <i>Visualisierung zu Algorithmen verteilter Netzwerksysteme</i>.
    Universität Paderborn.
  bibtex: '@book{Beckendorf_2017, title={Visualisierung zu Algorithmen verteilter
    Netzwerksysteme}, publisher={Universität Paderborn}, author={Beckendorf, Björn},
    year={2017} }'
  chicago: Beckendorf, Björn. <i>Visualisierung Zu Algorithmen Verteilter Netzwerksysteme</i>.
    Universität Paderborn, 2017.
  ieee: B. Beckendorf, <i>Visualisierung zu Algorithmen verteilter Netzwerksysteme</i>.
    Universität Paderborn, 2017.
  mla: Beckendorf, Björn. <i>Visualisierung Zu Algorithmen Verteilter Netzwerksysteme</i>.
    Universität Paderborn, 2017.
  short: B. Beckendorf, Visualisierung Zu Algorithmen Verteilter Netzwerksysteme,
    Universität Paderborn, 2017.
date_created: 2020-08-18T08:42:36Z
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: Visualisierung zu Algorithmen verteilter Netzwerksysteme
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '18044'
author:
- first_name: Bianca
  full_name: Meise, Bianca
  last_name: Meise
- first_name: Dorothee M.
  full_name: Meister, Dorothee M.
  id: '346'
  last_name: Meister
citation:
  ama: 'Meise B, Meister DM. Aufwachsen und lernen mit Medien. In: Rheinländer M,
    Weber B, eds. <i>Digitale Medien im Musikunterricht. Bestandsaufnahme Reflexion
    Perspektiven. Kongress „Musikunterricht und Multimedia“ an der Niedersächsischen
    Landesmusikakademie Wolfenbüttel 20.-21. Mai 2016</i>. Handorf: Lugert Verlag
    GmbH &#38; Co. KG; 2017:9-26.'
  apa: 'Meise, B., &#38; Meister, D. M. (2017). Aufwachsen und lernen mit Medien.
    In M. Rheinländer &#38; B. Weber (Eds.), <i>Digitale Medien im Musikunterricht.
    Bestandsaufnahme Reflexion Perspektiven. Kongress „Musikunterricht und Multimedia“
    an der Niedersächsischen Landesmusikakademie Wolfenbüttel 20.-21. Mai 2016</i>
    (pp. 9–26). Handorf: Lugert Verlag GmbH &#38; Co. KG.'
  bibtex: '@inbook{Meise_Meister_2017, place={Handorf}, title={Aufwachsen und lernen
    mit Medien}, booktitle={Digitale Medien im Musikunterricht. Bestandsaufnahme Reflexion
    Perspektiven. Kongress „Musikunterricht und Multimedia“ an der Niedersächsischen
    Landesmusikakademie Wolfenbüttel 20.-21. Mai 2016}, publisher={Lugert Verlag GmbH
    &#38; Co. KG}, author={Meise, Bianca and Meister, Dorothee M.}, editor={Rheinländer,
    M. and Weber, B.Editors}, year={2017}, pages={9–26} }'
  chicago: 'Meise, Bianca, and Dorothee M. Meister. “Aufwachsen und lernen mit Medien.”
    In <i>Digitale Medien im Musikunterricht. Bestandsaufnahme Reflexion Perspektiven.
    Kongress „Musikunterricht und Multimedia“ an der Niedersächsischen Landesmusikakademie
    Wolfenbüttel 20.-21. Mai 2016</i>, edited by M. Rheinländer and B. Weber, 9–26.
    Handorf: Lugert Verlag GmbH &#38; Co. KG, 2017.'
  ieee: 'B. Meise and D. M. Meister, “Aufwachsen und lernen mit Medien,” in <i>Digitale
    Medien im Musikunterricht. Bestandsaufnahme Reflexion Perspektiven. Kongress „Musikunterricht
    und Multimedia“ an der Niedersächsischen Landesmusikakademie Wolfenbüttel 20.-21.
    Mai 2016</i>, M. Rheinländer and B. Weber, Eds. Handorf: Lugert Verlag GmbH &#38;
    Co. KG, 2017, pp. 9–26.'
  mla: Meise, Bianca, and Dorothee M. Meister. “Aufwachsen und lernen mit Medien.”
    <i>Digitale Medien im Musikunterricht. Bestandsaufnahme Reflexion Perspektiven.
    Kongress „Musikunterricht und Multimedia“ an der Niedersächsischen Landesmusikakademie
    Wolfenbüttel 20.-21. Mai 2016</i>, edited by M. Rheinländer and B. Weber, Lugert
    Verlag GmbH &#38; Co. KG, 2017, pp. 9–26.
  short: 'B. Meise, D.M. Meister, in: M. Rheinländer, B. Weber (Eds.), Digitale Medien
    im Musikunterricht. Bestandsaufnahme Reflexion Perspektiven. Kongress „Musikunterricht
    und Multimedia“ an der Niedersächsischen Landesmusikakademie Wolfenbüttel 20.-21.
    Mai 2016, Lugert Verlag GmbH &#38; Co. KG, Handorf, 2017, pp. 9–26.'
date_created: 2020-08-19T10:15:19Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '137'
editor:
- first_name: M.
  full_name: Rheinländer, M.
  last_name: Rheinländer
- first_name: B.
  full_name: Weber, B.
  last_name: Weber
language:
- iso: ger
page: 9 - 26
place: Handorf
publication: Digitale Medien im Musikunterricht. Bestandsaufnahme Reflexion Perspektiven.
  Kongress „Musikunterricht und Multimedia“ an der Niedersächsischen Landesmusikakademie
  Wolfenbüttel 20.-21. Mai 2016
publisher: Lugert Verlag GmbH & Co. KG
status: public
title: Aufwachsen und lernen mit Medien
type: book_chapter
user_id: '21240'
year: '2017'
...
---
_id: '18045'
author:
- first_name: Bianca
  full_name: Meise, Bianca
  last_name: Meise
- first_name: Dorothee M.
  full_name: Meister, Dorothee M.
  id: '346'
  last_name: Meister
citation:
  ama: Meise B, Meister DM. Digitale Transformationen. Zum Einfluss der Digitalisierung
    auf die musikwissenschaftliche Editionsarbeit. <i>medien + erziehung (merz)</i>.
    2017;61 Jg., 6:42-51.
  apa: Meise, B., &#38; Meister, D. M. (2017). Digitale Transformationen. Zum Einfluss
    der Digitalisierung auf die musikwissenschaftliche Editionsarbeit. <i>medien +
    erziehung (merz)</i>, <i>61 Jg.</i>, <i>6</i>, 42–51.
  bibtex: '@article{Meise_Meister_2017, title={Digitale Transformationen. Zum Einfluss
    der Digitalisierung auf die musikwissenschaftliche Editionsarbeit}, volume={61
    Jg., 6}, journal={medien + erziehung (merz)}, publisher={merz}, author={Meise,
    Bianca and Meister, Dorothee M.}, year={2017}, pages={42–51} }'
  chicago: 'Meise, Bianca, and Dorothee M. Meister. “Digitale Transformationen. Zum
    Einfluss der Digitalisierung auf die musikwissenschaftliche Editionsarbeit.” <i>medien
    + erziehung (merz)</i> 61 Jg., 6 (2017): 42–51.'
  ieee: B. Meise and D. M. Meister, “Digitale Transformationen. Zum Einfluss der Digitalisierung
    auf die musikwissenschaftliche Editionsarbeit,” <i>medien + erziehung (merz)</i>,
    vol. 61 Jg., 6, pp. 42–51, 2017.
  mla: Meise, Bianca, and Dorothee M. Meister. “Digitale Transformationen. Zum Einfluss
    der Digitalisierung auf die musikwissenschaftliche Editionsarbeit.” <i>medien
    + erziehung (merz)</i>, vol. 61 Jg., 6, merz, 2017, pp. 42–51.
  short: B. Meise, D.M. Meister, medien + erziehung (merz) 61 Jg., 6 (2017) 42–51.
date_created: 2020-08-19T10:32:41Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '137'
language:
- iso: ger
page: 42 - 51
publication: medien + erziehung (merz)
publisher: merz
status: public
title: Digitale Transformationen. Zum Einfluss der Digitalisierung auf die musikwissenschaftliche
  Editionsarbeit
type: journal_article
user_id: '21240'
volume: 61 Jg., 6
year: '2017'
...
---
_id: '18046'
author:
- first_name: Dorothee M.
  full_name: Meister, Dorothee M.
  id: '346'
  last_name: Meister
citation:
  ama: 'Meister DM. Medienarbeit mit Gelüchteten. In: Eder S, Mikat C, Tillmann A,
    eds. <i>Software takes command. Herausforderungen der “Datafizierung” für die
    Medienpädagogik in Theorie und Praxis</i>. Vol 53. Schriften zur Medienpädagogik
    . München: kopaed; 2017:219-229.'
  apa: 'Meister, D. M. (2017). Medienarbeit mit Gelüchteten. In S. Eder, C. Mikat,
    &#38; A. Tillmann (Eds.), <i>Software takes command. Herausforderungen der “Datafizierung”
    für die Medienpädagogik in Theorie und Praxis</i> (Vol. 53, pp. 219–229). München:
    kopaed.'
  bibtex: '@inbook{Meister_2017, place={München}, series={Schriften zur Medienpädagogik
    }, title={Medienarbeit mit Gelüchteten}, volume={53}, booktitle={Software takes
    command. Herausforderungen der “Datafizierung” für die Medienpädagogik in Theorie
    und Praxis}, publisher={kopaed}, author={Meister, Dorothee M.}, editor={Eder,
    S. and Mikat, C. and Tillmann, A.Editors}, year={2017}, pages={219–229}, collection={Schriften
    zur Medienpädagogik } }'
  chicago: 'Meister, Dorothee M. “Medienarbeit mit Gelüchteten.” In <i>Software takes
    command. Herausforderungen der “Datafizierung” für die Medienpädagogik in Theorie
    und Praxis</i>, edited by S. Eder, C. Mikat, and A. Tillmann, 53:219–29. Schriften
    zur Medienpädagogik . München: kopaed, 2017.'
  ieee: 'D. M. Meister, “Medienarbeit mit Gelüchteten,” in <i>Software takes command.
    Herausforderungen der “Datafizierung” für die Medienpädagogik in Theorie und Praxis</i>,
    vol. 53, S. Eder, C. Mikat, and A. Tillmann, Eds. München: kopaed, 2017, pp. 219–229.'
  mla: Meister, Dorothee M. “Medienarbeit mit Gelüchteten.” <i>Software takes command.
    Herausforderungen der “Datafizierung” für die Medienpädagogik in Theorie und Praxis</i>,
    edited by S. Eder et al., vol. 53, kopaed, 2017, pp. 219–29.
  short: 'D.M. Meister, in: S. Eder, C. Mikat, A. Tillmann (Eds.), Software takes
    command. Herausforderungen der “Datafizierung” für die Medienpädagogik in Theorie
    und Praxis, kopaed, München, 2017, pp. 219–229.'
date_created: 2020-08-19T10:46:41Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '137'
editor:
- first_name: S.
  full_name: Eder, S.
  last_name: Eder
- first_name: C.
  full_name: Mikat, C.
  last_name: Mikat
- first_name: A.
  full_name: Tillmann, A.
  last_name: Tillmann
intvolume: '        53'
language:
- iso: ger
page: 219 - 229
place: München
publication: Software takes command. Herausforderungen der "Datafizierung" für die
  Medienpädagogik in Theorie und Praxis
publisher: kopaed
series_title: 'Schriften zur Medienpädagogik '
status: public
title: Medienarbeit mit Gelüchteten
type: book_chapter
user_id: '21240'
volume: 53
year: '2017'
...