@inproceedings{26492,
  author       = {{Gabriel, Stefan and Grauthoff, Tobias and Joppen, Robert and Kühn, Arno and Dumitrescu, Roman}},
  booktitle    = {{Procedia CIRP}},
  location     = {{Enschede, the Netherlands}},
  pages        = {{241--246}},
  title        = {{{Analyzing socio-technical risks in implementation of Industry 4.0-use cases}}},
  volume       = {{vol. 100}},
  year         = {{2021}},
}

@phdthesis{26746,
  abstract     = {{Previous research in proof-carrying hardware has established the feasibility and utility of the approach, and provided a concrete solution for employing it for the certification of functional equivalence checking against a specification, but fell short in connecting it to state-of-the-art formal verification insights, methods and tools. Due to the immense complexity of modern circuits, and verification challenges such as the state explosion problem for sequential circuits, this restriction of readily-available verification solutions severely limited the applicability of the approach in wider contexts.

This thesis closes the gap between the PCH approach and current advances in formal hardware verification, provides methods and tools to express and certify a wide range of circuit properties, both functional and non-functional, and presents for the first time prototypes in which circuits that are implemented on actual reconfigurable hardware are verified with PCH methods. Using these results, designers can now apply PCH to establish trust in more complex circuits, by using more diverse properties which they can express using modern, efficient property specification techniques.}},
  author       = {{Wiersema, Tobias}},
  keywords     = {{Proof-Carrying Hardware, Formal Verification, Sequential Circuits, Non-Functional Properties, Functional Properties}},
  pages        = {{293}},
  publisher    = {{Paderborn University}},
  title        = {{{Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware}}},
  year         = {{2021}},
}

@inproceedings{26823,
  author       = {{Kharatyan, Aschot and Jürgenhake, Christoph and Dumitrescu, Roman}},
  booktitle    = {{Procedia CIRP}},
  pages        = {{373--378}},
  title        = {{{Towards generative design in the development of mechatronic integrated devices (MID)}}},
  volume       = {{Vol. 100}},
  year         = {{2021}},
}

@inproceedings{26830,
  author       = {{Mager, Thomas and Jürgenhake, Christoph and Dumitrescu, Roman}},
  booktitle    = {{14th International Congress Molded Interconnect Devices (MID)}},
  location     = {{Amberg}},
  pages        = {{1--9}},
  title        = {{{Approach for a modular design methodology for an efficient development of 3D MID components}}},
  year         = {{2021}},
}

@inproceedings{26833,
  author       = {{Hemmelgarn, Florian and Ehlert, Patrick and Mager, Thomas and Jürgenhake, Christoph and Dumitrescu, Roman}},
  booktitle    = {{14th International Congress Molded Interconnect Devices (MID)}},
  location     = {{Amberg}},
  title        = {{{Evaluation of different additive manufacturing technologies for MIDs in the context of smart sensor systems for retrofit applications}}},
  year         = {{2021}},
}

@inproceedings{26839,
  author       = {{Menzefricke, Jörn Steffen and Wiederkehr, Ingrid and Koldewey, Christian and Dumitrescu, Roman}},
  booktitle    = {{Procedia CIRP}},
  pages        = {{708--713}},
  title        = {{{Socio-technical risk management in the age of digital transformation – identification and analysis of existing approaches}}},
  volume       = {{vol. 100}},
  year         = {{2021}},
}

@inproceedings{26843,
  author       = {{Schnasse, Felix and Menzefricke, Jörn Steffen and Dumitrescu, Roman}},
  booktitle    = {{Proceedings of the IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA)}},
  pages        = {{159 -- 166}},
  title        = {{{Identification of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation for the Manufacturing Sector}}},
  year         = {{2021}},
}

@inproceedings{26850,
  author       = {{Japs, Sergej and Anacker, Harald and Dumitrescu, Roman}},
  booktitle    = {{Procedia CIRP}},
  pages        = {{187--192}},
  title        = {{{SAVE: Security & safety by model-based systems engineering on the example of automotive industry}}},
  year         = {{2021}},
}

@inproceedings{26851,
  author       = {{Dumitrescu, Roman and Anacker, Harald and Grote, Eva-Maria and Rasor, Rik and Tekaat, Julian and Meyer, Maurice and Gausemeier, Jürgen and Steglich, Steffen}},
  booktitle    = {{Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung}},
  editor       = {{Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman}},
  location     = {{Berlin}},
  publisher    = {{Heinz Nixdorf Institut, Universität Paderborn}},
  title        = {{{Erfolgspotentiale für die Zukunft des Engineeringstandorts Deutschland – Ein Beitrag zum Advanced Systems Engineering}}},
  year         = {{2021}},
}

@inproceedings{26852,
  author       = {{Kharatyan, Aschot and Tekaat, Julian and Japs, Sergej and Anacker, Harald and Dumitrescu, Roman}},
  booktitle    = {{ Proceedings of the Design Society}},
  location     = {{Cavtat, Dubrovnik, Croatia}},
  pages        = {{2027 -- 2036}},
  title        = {{{Metamodel for safety and security integrated system architecture modeling}}},
  volume       = {{Vol. 1}},
  year         = {{2021}},
}

@article{26855,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>Cyber-physical systems (CPS) are able the collect huge amounts of data about themselves, their users, and their environment during their usage phase. By feeding these usage data back into product planning, manufacturers can optimize their engineering and decision-making processes. Despite promising potentials, most manufacturers still do not analyze usage data within product planning. Also, research on usage data-driven product planning is scarce. Therefore, this paper aims to identify the main concepts, advantages, success factors and challenges of usage data-driven product planning. To answer the corresponding research questions, a comprehensive systematic literature review is conducted. From its results, a detailed description of usage data-driven product planning consisting of six main concepts is derived. Furthermore, taxonomies for the advantages, success factors and challenges of usage data-driven product planning are presented. The six main concepts and the three taxonomies allow for a deeper understanding of the topic while highlighting necessary future actions and research needs.</jats:p>}},
  author       = {{Meyer, Maurice and Wiederkehr, Ingrid and Koldewey, Christian and Dumitrescu, Roman}},
  issn         = {{2732-527X}},
  journal      = {{Proceedings of the Design Society}},
  pages        = {{3289--3298}},
  title        = {{{UNDERSTANDING USAGE DATA-DRIVEN PRODUCT PLANNING: A SYSTEMATIC LITERATURE REVIEW}}},
  doi          = {{10.1017/pds.2021.590}},
  year         = {{2021}},
}

@inproceedings{26857,
  author       = {{Meyer, Maurice and Hemkentokrax, Jan-Philipp and Koldewey, Christian and Dumitrescu, Roman and Tröster, Peter M. and Schlegel, Michael and Kling, Christopher L. and Rapp, Simon and Albers, Albert}},
  booktitle    = {{Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung}},
  editor       = {{Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman}},
  location     = {{Berlin}},
  publisher    = {{Heinz Nixdorf Institut, Universität Paderborn}},
  title        = {{{Zukunftsrobuste Weiterentwicklung von Produktportfolios: Erkenntnisse und Handlungsbedarfe aus der Praxis}}},
  volume       = {{400}},
  year         = {{2021}},
}

@article{26858,
  author       = {{Meyer, Maurice and Panzner, Melina and Koldewey, Christian and Dumitrescu, Roman}},
  journal      = {{Procedia CIRP}},
  pages        = {{1179--1184}},
  title        = {{{Towards Identifying Data Analytics Use Cases in Product Planning}}},
  volume       = {{104}},
  year         = {{2021}},
}

@inproceedings{26864,
  author       = {{Hemkentokrax, Jan-Philipp and Eckelt, Daniel and Haarmann, Lennard and Koldewey, Christian and Dumitrescu, Roman}},
  booktitle    = {{Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung}},
  editor       = {{Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman}},
  location     = {{Berlin}},
  publisher    = {{Heinz Nixdorf Institut, Universität Paderborn}},
  title        = {{{Die Kraft von Startup-Partnerschaften  für das Innovationssystem eines Automobilzulieferers}}},
  volume       = {{400}},
  year         = {{2021}},
}

@inproceedings{26903,
  author       = {{Wegel, Arthur and Sahrhage, Philipp and Worthmann, Fabio and Rabe, Martin and Dumitrescu, Roman}},
  booktitle    = {{Stuttgarter Symposium für Produktentwicklung SSP 2021}},
  editor       = {{Binz, Hansgeorg and Bertsche, Bernd and Spath, Dieter and Roth, Daniel}},
  pages        = {{12}},
  title        = {{{Referenzarchitektur für Smart Services}}},
  doi          = {{http://dx.doi.org/10.18419/opus-11478}},
  year         = {{2021}},
}

@inproceedings{26905,
  author       = {{Reinhold, Jannik and Koldewey, Christian and Dumitrescu, Roman and Rausch, Gerhard}},
  booktitle    = {{Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung}},
  editor       = {{Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman}},
  location     = {{Berlin}},
  publisher    = {{Heinz Nixdorf Institut, Universität Paderborn}},
  title        = {{{Smart Service-Transformation - Den Wandel der Wertschöpfung erfolgreich gestalten}}},
  volume       = {{400}},
  year         = {{2021}},
}

@article{26908,
  author       = {{Reinhold, Jannik and Ködding, Patrick and Scholtysik, Michel and Koldewey, Christian and Dumitrescu, Roman}},
  journal      = {{Procedia CIRP}},
  title        = {{{Identifying Value Creation Patterns for Smart Services}}},
  year         = {{2021}},
}

@inproceedings{3774,
  author       = {{Bondarenko, Alexander and Gienapp, Lukas and Fröbe, Maik and Beloucif, Meriem and Ajjour, Yamen and Panchenko, Alexander and Biemann, Chris and Stein, Benno and Wachsmuth, Henning and Potthast, Martin and Hagen, Matthias}},
  booktitle    = {{Proceedings of the 43rd annual European Conference on Information Retrieval Research}},
  pages        = {{384--395}},
  title        = {{{Overview of Touché 2021: Argument Retrieval}}},
  year         = {{2021}},
}

@inproceedings{28917,
  author       = {{Feldmann, Michael and Padalkin, Andreas and Scheideler, Christian and Dolev, Shlomi}},
  booktitle    = {{Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, (SSS) 2021, Virtual Event, November 17-20, 2021, Proceedings}},
  editor       = {{Johnen, Colette and Michael Schiller, Elad and Schmid, Stefan}},
  pages        = {{484--488}},
  publisher    = {{Springer}},
  title        = {{{Coordinating Amoebots via Reconfigurable Circuits}}},
  doi          = {{10.1007/978-3-030-91081-5\_34}},
  volume       = {{13046}},
  year         = {{2021}},
}

@misc{28998,
  author       = {{Suermann, Dennis}},
  title        = {{{Schutz und Stabilisierung von Overlay-Netzwerken mithilfe des Relay-Layers}}},
  year         = {{2021}},
}