[{"user_id":"65716","doi":"10.1145/3447772","volume":54,"page":"71:1-71:37","language":[{"iso":"eng"}],"_id":"24720","date_updated":"2022-01-06T06:56:33Z","intvolume":"        54","title":"Knowledge Graphs","status":"public","year":"2021","author":[{"first_name":"Aidan","last_name":"Hogan","full_name":"Hogan, Aidan"},{"first_name":"Eva","last_name":"Blomqvist","full_name":"Blomqvist, Eva"},{"full_name":"Cochez, Michael","first_name":"Michael","last_name":"Cochez"},{"full_name":"d'Amato, Claudia","last_name":"d'Amato","first_name":"Claudia"},{"full_name":"de Melo, Gerard","first_name":"Gerard","last_name":"de Melo"},{"last_name":"Guti{\\'{e}}rrez","first_name":"Claudio","full_name":"Guti{\\'{e}}rrez, Claudio"},{"last_name":"Kirrane","first_name":"Sabrina","full_name":"Kirrane, Sabrina"},{"last_name":"Emilio Labra Gayo","first_name":"Jos{\\'{e}}","full_name":"Emilio Labra Gayo, Jos{\\'{e}}"},{"first_name":"Roberto","last_name":"Navigli","full_name":"Navigli, Roberto"},{"full_name":"Neumaier, Sebastian","last_name":"Neumaier","first_name":"Sebastian"},{"first_name":"Axel-Cyrille","last_name":"Ngonga Ngomo","full_name":"Ngonga Ngomo, Axel-Cyrille","id":"65716"},{"last_name":"Polleres","first_name":"Axel","full_name":"Polleres, Axel"},{"first_name":"Sabbir","last_name":"M. Rashid","full_name":"M. Rashid, Sabbir"},{"full_name":"Rula, Anisa","first_name":"Anisa","last_name":"Rula"},{"full_name":"Schmelzeisen, Lukas","last_name":"Schmelzeisen","first_name":"Lukas"},{"full_name":"F. Sequeda, Juan","first_name":"Juan","last_name":"F. Sequeda"},{"last_name":"Staab","first_name":"Steffen","full_name":"Staab, Steffen"},{"full_name":"Zimmermann, Antoine","first_name":"Antoine","last_name":"Zimmermann"}],"type":"journal_article","department":[{"_id":"574"}],"date_created":"2021-09-20T13:02:51Z","issue":"4","publication":"{ACM} Comput. Surv.","citation":{"ieee":"A. Hogan <i>et al.</i>, “Knowledge Graphs,” <i>{ACM} Comput. Surv.</i>, vol. 54, no. 4, p. 71:1-71:37, 2021, doi: <a href=\"https://doi.org/10.1145/3447772\">10.1145/3447772</a>.","mla":"Hogan, Aidan, et al. “Knowledge Graphs.” <i>{ACM} Comput. Surv.</i>, vol. 54, no. 4, 2021, p. 71:1-71:37, doi:<a href=\"https://doi.org/10.1145/3447772\">10.1145/3447772</a>.","apa":"Hogan, A., Blomqvist, E., Cochez, M., d’Amato, C., de Melo, G., Guti{\\’{e}}rrez, C., Kirrane, S., Emilio Labra Gayo, J., Navigli, R., Neumaier, S., Ngonga Ngomo, A.-C., Polleres, A., M. Rashid, S., Rula, A., Schmelzeisen, L., F. Sequeda, J., Staab, S., &#38; Zimmermann, A. (2021). Knowledge Graphs. <i>{ACM} Comput. Surv.</i>, <i>54</i>(4), 71:1-71:37. <a href=\"https://doi.org/10.1145/3447772\">https://doi.org/10.1145/3447772</a>","bibtex":"@article{Hogan_Blomqvist_Cochez_d’Amato_de Melo_Guti{\\’{e}}rrez_Kirrane_Emilio Labra Gayo_Navigli_Neumaier_et al._2021, title={Knowledge Graphs}, volume={54}, DOI={<a href=\"https://doi.org/10.1145/3447772\">10.1145/3447772</a>}, number={4}, journal={{ACM} Comput. Surv.}, author={Hogan, Aidan and Blomqvist, Eva and Cochez, Michael and d’Amato, Claudia and de Melo, Gerard and Guti{\\’{e}}rrez, Claudio and Kirrane, Sabrina and Emilio Labra Gayo, Jos{\\’{e}} and Navigli, Roberto and Neumaier, Sebastian and et al.}, year={2021}, pages={71:1-71:37} }","chicago":"Hogan, Aidan, Eva Blomqvist, Michael Cochez, Claudia d’Amato, Gerard de Melo, Claudio Guti{\\’{e}}rrez, Sabrina Kirrane, et al. “Knowledge Graphs.” <i>{ACM} Comput. Surv.</i> 54, no. 4 (2021): 71:1-71:37. <a href=\"https://doi.org/10.1145/3447772\">https://doi.org/10.1145/3447772</a>.","ama":"Hogan A, Blomqvist E, Cochez M, et al. Knowledge Graphs. <i>{ACM} Comput Surv</i>. 2021;54(4):71:1-71:37. doi:<a href=\"https://doi.org/10.1145/3447772\">10.1145/3447772</a>","short":"A. Hogan, E. Blomqvist, M. Cochez, C. d’Amato, G. de Melo, C. Guti{\\’{e}}rrez, S. Kirrane, J. Emilio Labra Gayo, R. Navigli, S. Neumaier, A.-C. Ngonga Ngomo, A. Polleres, S. M. Rashid, A. Rula, L. Schmelzeisen, J. F. Sequeda, S. Staab, A. Zimmermann, {ACM} Comput. Surv. 54 (2021) 71:1-71:37."}},{"citation":{"apa":"Ködding, P., &#38; Dumitrescu, R. (2021). Szenario-Technik mit digitalen Technologien (in Druck). In E. A. Hartmann (Ed.), <i>Digitalisierung souverän gestalten</i>. Springer Vieweg.","ieee":"P. Ködding and R. Dumitrescu, “Szenario-Technik mit digitalen Technologien (in Druck),” in <i>Digitalisierung souverän gestalten</i>, 2021.","short":"P. Ködding, R. Dumitrescu, in: E.A. Hartmann (Ed.), Digitalisierung Souverän Gestalten, Springer Vieweg, Berlin, Heidelberg, 2021.","chicago":"Ködding, Patrick, and Roman Dumitrescu. “Szenario-Technik Mit Digitalen Technologien (in Druck).” In <i>Digitalisierung Souverän Gestalten</i>, edited by Ernst A. Hartmann. Berlin, Heidelberg: Springer Vieweg, 2021.","mla":"Ködding, Patrick, and Roman Dumitrescu. “Szenario-Technik Mit Digitalen Technologien (in Druck).” <i>Digitalisierung Souverän Gestalten</i>, edited by Ernst A. Hartmann, Springer Vieweg, 2021.","ama":"Ködding P, Dumitrescu R. Szenario-Technik mit digitalen Technologien (in Druck). In: Hartmann EA, ed. <i>Digitalisierung Souverän Gestalten</i>. Springer Vieweg; 2021.","bibtex":"@inproceedings{Ködding_Dumitrescu_2021, place={Berlin, Heidelberg}, title={Szenario-Technik mit digitalen Technologien (in Druck)}, booktitle={Digitalisierung souverän gestalten}, publisher={Springer Vieweg}, author={Ködding, Patrick and Dumitrescu, Roman}, editor={Hartmann, Ernst A.}, year={2021} }"},"publication":"Digitalisierung souverän gestalten","date_created":"2021-10-11T18:16:07Z","place":"Berlin, Heidelberg","department":[{"_id":"563"}],"type":"conference","author":[{"id":"45402","last_name":"Ködding","first_name":"Patrick","full_name":"Ködding, Patrick"},{"first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman","id":"16190"}],"year":"2021","status":"public","title":"Szenario-Technik mit digitalen Technologien (in Druck)","date_updated":"2022-01-06T06:57:16Z","_id":"26050","publisher":"Springer Vieweg","language":[{"iso":"eng"}],"editor":[{"last_name":"Hartmann","first_name":"Ernst A.","full_name":"Hartmann, Ernst A."}],"user_id":"45402"},{"citation":{"short":"M. Förster, M. Rabe, A. Kühn, R. Dumitrescu, in: Proceedings of the IEEE E-TEMS 2021, 2021.","chicago":"Förster, Magdalena, Martin Rabe, Arno Kühn, and Roman Dumitrescu. “Practical Approach for the Development of Digital Guidelines for Smart Cities.” In <i>Proceedings of the IEEE E-TEMS 2021</i>, 2021.","apa":"Förster, M., Rabe, M., Kühn, A., &#38; Dumitrescu, R. (2021). Practical approach for the development of digital guidelines for smart cities. <i>Proceedings of the IEEE E-TEMS 2021</i>. IEEE E-TEMS 2021.","ieee":"M. Förster, M. Rabe, A. Kühn, and R. Dumitrescu, “Practical approach for the development of digital guidelines for smart cities,” presented at the IEEE E-TEMS 2021, 2021.","ama":"Förster M, Rabe M, Kühn A, Dumitrescu R. Practical approach for the development of digital guidelines for smart cities. In: <i>Proceedings of the IEEE E-TEMS 2021</i>. ; 2021.","bibtex":"@inproceedings{Förster_Rabe_Kühn_Dumitrescu_2021, title={Practical approach for the development of digital guidelines for smart cities}, booktitle={Proceedings of the IEEE E-TEMS 2021}, author={Förster, Magdalena and Rabe, Martin and Kühn, Arno and Dumitrescu, Roman}, year={2021} }","mla":"Förster, Magdalena, et al. “Practical Approach for the Development of Digital Guidelines for Smart Cities.” <i>Proceedings of the IEEE E-TEMS 2021</i>, 2021."},"publication":"Proceedings of the IEEE E-TEMS 2021","department":[{"_id":"563"}],"type":"conference","date_created":"2021-10-18T12:19:51Z","publication_status":"published","date_updated":"2022-01-06T06:57:20Z","author":[{"last_name":"Förster","first_name":"Magdalena","full_name":"Förster, Magdalena"},{"full_name":"Rabe, Martin","first_name":"Martin","last_name":"Rabe"},{"full_name":"Kühn, Arno","first_name":"Arno","last_name":"Kühn"},{"id":"16190","last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"}],"conference":{"start_date":"2021-03-18","name":"IEEE E-TEMS 2021","end_date":"2021-03-20"},"status":"public","title":"Practical approach for the development of digital guidelines for smart cities","year":"2021","user_id":"15782","language":[{"iso":"eng"}],"_id":"26401"},{"publication":" Proceedings of the 7th IEEE International Symposium on Systems Engineering","citation":{"chicago":"Tekaat, Julian, Harald Anacker, and Roman Dumitrescu. “The Paradigm of Design Thinking and Systems Engineering in the Design of Cyber-Physical Systems: A Systematic Literature Review.” In <i> Proceedings of the 7th IEEE International Symposium on Systems Engineering</i>, 2021.","short":"J. Tekaat, H. Anacker, R. Dumitrescu, in:  Proceedings of the 7th IEEE International Symposium on Systems Engineering, 2021.","apa":"Tekaat, J., Anacker, H., &#38; Dumitrescu, R. (2021). The Paradigm of Design Thinking and Systems Engineering in the Design of Cyber-Physical Systems: A Systematic Literature Review. <i> Proceedings of the 7th IEEE International Symposium on Systems Engineering</i>. 7th IEEE International Symposium on Systems Engineering.","ieee":"J. Tekaat, H. Anacker, and R. Dumitrescu, “The Paradigm of Design Thinking and Systems Engineering in the Design of Cyber-Physical Systems: A Systematic Literature Review,” presented at the 7th IEEE International Symposium on Systems Engineering, 2021.","ama":"Tekaat J, Anacker H, Dumitrescu R. The Paradigm of Design Thinking and Systems Engineering in the Design of Cyber-Physical Systems: A Systematic Literature Review. In: <i> Proceedings of the 7th IEEE International Symposium on Systems Engineering</i>. ; 2021.","bibtex":"@inproceedings{Tekaat_Anacker_Dumitrescu_2021, title={The Paradigm of Design Thinking and Systems Engineering in the Design of Cyber-Physical Systems: A Systematic Literature Review}, booktitle={ Proceedings of the 7th IEEE International Symposium on Systems Engineering}, author={Tekaat, Julian and Anacker, Harald and Dumitrescu, Roman}, year={2021} }","mla":"Tekaat, Julian, et al. “The Paradigm of Design Thinking and Systems Engineering in the Design of Cyber-Physical Systems: A Systematic Literature Review.” <i> Proceedings of the 7th IEEE International Symposium on Systems Engineering</i>, 2021."},"date_created":"2021-10-18T12:23:57Z","type":"conference","department":[{"_id":"563"}],"title":"The Paradigm of Design Thinking and Systems Engineering in the Design of Cyber-Physical Systems: A Systematic Literature Review","status":"public","year":"2021","author":[{"full_name":"Tekaat, Julian","first_name":"Julian","last_name":"Tekaat"},{"last_name":"Anacker","first_name":"Harald","full_name":"Anacker, Harald"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu","id":"16190"}],"conference":{"start_date":"2021-09-13","name":"7th IEEE International Symposium on Systems Engineering","end_date":"2021-09-15"},"publication_status":"published","date_updated":"2022-01-06T06:57:20Z","language":[{"iso":"eng"}],"_id":"26402","user_id":"15782"},{"publication":"Proceedings of the International Conference on Engineering Design, ICED 2021","citation":{"mla":"Wilke, Daria, et al. “Need for Action for a Company-Wide Introduction of Systems Engineering in Machinery and Plant Engineering.” <i>Proceedings of the International Conference on Engineering Design, ICED 2021</i>, 2021.","bibtex":"@inproceedings{Wilke_Schierbaum_Kaiser_Dumitrescu_2021, title={Need for Action for a Company-Wide Introduction of Systems Engineering in Machinery and Plant Engineering}, booktitle={Proceedings of the International Conference on Engineering Design, ICED 2021}, author={Wilke, Daria and Schierbaum, Anja and Kaiser, Lydia and Dumitrescu, Roman}, year={2021} }","ama":"Wilke D, Schierbaum A, Kaiser L, Dumitrescu R. Need for Action for a Company-Wide Introduction of Systems Engineering in Machinery and Plant Engineering. In: <i>Proceedings of the International Conference on Engineering Design, ICED 2021</i>. ; 2021.","ieee":"D. Wilke, A. Schierbaum, L. Kaiser, and R. Dumitrescu, “Need for Action for a Company-Wide Introduction of Systems Engineering in Machinery and Plant Engineering,” presented at the ICED 2021, Gothenburg, Sweden, 2021.","apa":"Wilke, D., Schierbaum, A., Kaiser, L., &#38; Dumitrescu, R. (2021). Need for Action for a Company-Wide Introduction of Systems Engineering in Machinery and Plant Engineering. <i>Proceedings of the International Conference on Engineering Design, ICED 2021</i>. ICED 2021, Gothenburg, Sweden.","short":"D. Wilke, A. Schierbaum, L. Kaiser, R. Dumitrescu, in: Proceedings of the International Conference on Engineering Design, ICED 2021, 2021.","chicago":"Wilke, Daria, Anja Schierbaum, Lydia Kaiser, and Roman Dumitrescu. “Need for Action for a Company-Wide Introduction of Systems Engineering in Machinery and Plant Engineering.” In <i>Proceedings of the International Conference on Engineering Design, ICED 2021</i>, 2021."},"type":"conference","department":[{"_id":"563"}],"date_created":"2021-10-18T12:31:29Z","date_updated":"2022-01-06T06:57:20Z","publication_status":"published","status":"public","title":"Need for Action for a Company-Wide Introduction of Systems Engineering in Machinery and Plant Engineering","year":"2021","conference":{"name":"ICED 2021","start_date":"2021-08-16","location":"Gothenburg, Sweden","end_date":"2021-08-20"},"author":[{"full_name":"Wilke, Daria","first_name":"Daria","last_name":"Wilke"},{"full_name":"Schierbaum, Anja","last_name":"Schierbaum","first_name":"Anja"},{"full_name":"Kaiser, Lydia","last_name":"Kaiser","first_name":"Lydia"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu","id":"16190"}],"user_id":"15782","_id":"26403","language":[{"iso":"eng"}]},{"department":[{"_id":"563"}],"type":"conference","date_created":"2021-10-18T13:01:07Z","citation":{"ieee":"D. Eckertz, H. Anacker, and R. Dumitrescu, “Augmented Reality-based Product Validation to Support Collaborative Engineering of Complex Technical Systems,” in <i>Proceedings of the 18th International Conference on Remote Engineering and Virtual Instrumentation, Online Engineering and Society 4.0</i>, 2021, vol. 298, pp. 451–463.","apa":"Eckertz, D., Anacker, H., &#38; Dumitrescu, R. (2021). Augmented Reality-based Product Validation to Support Collaborative Engineering of Complex Technical Systems. In M. E. Auer, K. R. Bhimavaram, &#38; X.-G. Yue (Eds.), <i>Proceedings of the 18th International Conference on Remote Engineering and Virtual Instrumentation, Online Engineering and Society 4.0</i> (Vol. 298, pp. 451–463). Springer International Publishing.","short":"D. Eckertz, H. Anacker, R. Dumitrescu, in: M.E. Auer, K.R. Bhimavaram, X.-G. Yue (Eds.), Proceedings of the 18th International Conference on Remote Engineering and Virtual Instrumentation, Online Engineering and Society 4.0, Springer International Publishing, 2021, pp. 451–463.","chicago":"Eckertz, Daniel, Harald Anacker, and Roman Dumitrescu. “Augmented Reality-Based Product Validation to Support Collaborative Engineering of Complex Technical Systems.” In <i>Proceedings of the 18th International Conference on Remote Engineering and Virtual Instrumentation, Online Engineering and Society 4.0</i>, edited by Michael E. Auer, Kalyan Ram Bhimavaram, and Xiao-Guang Yue, 298:451–63. Springer International Publishing, 2021.","mla":"Eckertz, Daniel, et al. “Augmented Reality-Based Product Validation to Support Collaborative Engineering of Complex Technical Systems.” <i>Proceedings of the 18th International Conference on Remote Engineering and Virtual Instrumentation, Online Engineering and Society 4.0</i>, edited by Michael E. Auer et al., vol. 298, Springer International Publishing, 2021, pp. 451–63.","bibtex":"@inproceedings{Eckertz_Anacker_Dumitrescu_2021, title={Augmented Reality-based Product Validation to Support Collaborative Engineering of Complex Technical Systems}, volume={298}, booktitle={Proceedings of the 18th International Conference on Remote Engineering and Virtual Instrumentation, Online Engineering and Society 4.0}, publisher={Springer International Publishing}, author={Eckertz, Daniel and Anacker, Harald and Dumitrescu, Roman}, editor={Auer, Michael E. and Bhimavaram, Kalyan Ram and Yue, Xiao-Guang}, year={2021}, pages={451–463} }","ama":"Eckertz D, Anacker H, Dumitrescu R. Augmented Reality-based Product Validation to Support Collaborative Engineering of Complex Technical Systems. In: Auer ME, Bhimavaram KR, Yue X-G, eds. <i>Proceedings of the 18th International Conference on Remote Engineering and Virtual Instrumentation, Online Engineering and Society 4.0</i>. Vol 298. Springer International Publishing; 2021:451-463."},"publication":"Proceedings of the 18th International Conference on Remote Engineering and Virtual Instrumentation, Online Engineering and Society 4.0","editor":[{"full_name":"Auer, Michael E.","last_name":"Auer","first_name":"Michael E."},{"full_name":"Bhimavaram, Kalyan Ram","first_name":"Kalyan Ram","last_name":"Bhimavaram"},{"first_name":"Xiao-Guang","last_name":"Yue","full_name":"Yue, Xiao-Guang"}],"volume":"vol. 298","user_id":"15782","_id":"26404","language":[{"iso":"eng"}],"publisher":"Springer International Publishing","page":"451-463","date_updated":"2022-01-06T06:57:20Z","publication_status":"published","publication_identifier":{"isbn":["978-3-030-82528-7"]},"author":[{"full_name":"Eckertz, Daniel","first_name":"Daniel","last_name":"Eckertz"},{"full_name":"Anacker, Harald","first_name":"Harald","last_name":"Anacker"},{"id":"16190","last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"}],"title":"Augmented Reality-based Product Validation to Support Collaborative Engineering of Complex Technical Systems","status":"public","year":"2021"},{"page":"241-246","_id":"26492","language":[{"iso":"eng"}],"user_id":"15782","volume":"vol. 100","year":"2021","status":"public","title":"Analyzing socio-technical risks in implementation of Industry 4.0-use cases","conference":{"name":"31st CIRP Design Conference","start_date":"2021-05-19","location":"Enschede, the Netherlands","end_date":"2021-05-21"},"author":[{"first_name":"Stefan","last_name":"Gabriel","full_name":"Gabriel, Stefan"},{"full_name":"Grauthoff, Tobias","last_name":"Grauthoff","first_name":"Tobias"},{"first_name":"Robert","last_name":"Joppen","full_name":"Joppen, Robert"},{"full_name":"Kühn, Arno","first_name":"Arno","last_name":"Kühn"},{"id":"16190","first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"}],"date_updated":"2022-01-06T06:57:21Z","publication_status":"published","date_created":"2021-10-19T07:01:06Z","type":"conference","department":[{"_id":"563"}],"publication":"Procedia CIRP","citation":{"ieee":"S. Gabriel, T. Grauthoff, R. Joppen, A. Kühn, and R. Dumitrescu, “Analyzing socio-technical risks in implementation of Industry 4.0-use cases,” in <i>Procedia CIRP</i>, Enschede, the Netherlands, 2021, vol. 100, pp. 241–246.","apa":"Gabriel, S., Grauthoff, T., Joppen, R., Kühn, A., &#38; Dumitrescu, R. (2021). Analyzing socio-technical risks in implementation of Industry 4.0-use cases. <i>Procedia CIRP</i>, <i>100</i>, 241–246.","short":"S. Gabriel, T. Grauthoff, R. Joppen, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2021, pp. 241–246.","chicago":"Gabriel, Stefan, Tobias Grauthoff, Robert Joppen, Arno Kühn, and Roman Dumitrescu. “Analyzing Socio-Technical Risks in Implementation of Industry 4.0-Use Cases.” In <i>Procedia CIRP</i>, 100:241–46, 2021.","mla":"Gabriel, Stefan, et al. “Analyzing Socio-Technical Risks in Implementation of Industry 4.0-Use Cases.” <i>Procedia CIRP</i>, vol. 100, 2021, pp. 241–46.","bibtex":"@inproceedings{Gabriel_Grauthoff_Joppen_Kühn_Dumitrescu_2021, title={Analyzing socio-technical risks in implementation of Industry 4.0-use cases}, volume={100}, booktitle={Procedia CIRP}, author={Gabriel, Stefan and Grauthoff, Tobias and Joppen, Robert and Kühn, Arno and Dumitrescu, Roman}, year={2021}, pages={241–246} }","ama":"Gabriel S, Grauthoff T, Joppen R, Kühn A, Dumitrescu R. Analyzing socio-technical risks in implementation of Industry 4.0-use cases. In: <i>Procedia CIRP</i>. Vol 100. ; 2021:241-246."}},{"main_file_link":[{"open_access":"1","url":"https://nbn-resolving.de/urn:nbn:de:hbz:466:2-39800"}],"language":[{"iso":"eng"}],"year":"2021","title":"Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware","author":[{"first_name":"Tobias","last_name":"Wiersema","full_name":"Wiersema, Tobias","id":"3118"}],"publication_status":"published","date_updated":"2022-01-06T06:57:26Z","date_created":"2021-10-25T06:35:41Z","type":"dissertation","keyword":["Proof-Carrying Hardware","Formal Verification","Sequential Circuits","Non-Functional Properties","Functional Properties"],"department":[{"_id":"78"}],"abstract":[{"text":"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.\r\n\r\nThis 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.","lang":"eng"},{"text":"Die bisherige Forschung zu Proof-Carrying Hardware (PCH) hat dessen Machbarkeit und Nützlichkeit gezeigt und einen Ansatz zur Zertifizierung der funktionalen Äquivalenz zu einer Spezifikation geliefert, jedoch ohne PCH mit aktuellen Erkenntnissen, Methoden oder Werkzeugen formaler Hardwareverifikation zu verknüpfen. Aufgrund der Komplexität moderner Schaltungen und Verifikationsherausforderungen wie der Zustandsexplosion bei sequentiellen Schaltungen, limitiert diese Einschränkung sofort verfügbarer Verifikationslösungen die Anwendbarkeit des Ansatzes in einem größeren Kontext signifikant.\r\n\r\nDiese Dissertation schließt die Lücke zwischen PCH und modernen Entwicklungen in der Schaltungsverifikation und stellt Methoden und Werkzeuge zur Verfügung, welche die Zertifizierung einer großen Bandbreite von Schaltungseigenschaften ermöglicht; sowohl funktionale, als auch nicht-funktionale. Überdies werden erstmals Prototypen vorgestellt in welchen Schaltungen mittels PCH verifiziert werden, die auf tatsächlicher rekonfigurierbarer Hardware realisiert sind. Dank dieser Ergebnisse können Entwickler PCH zur Herstellung von Vertrauen in weit komplexere Schaltungen verwenden, unter Zuhilfenahme einer größeren Vielfalt von Eigenschaften, welche durch moderne, effiziente Spezifikationstechniken ausgedrückt werden können.","lang":"ger"}],"page":"293","_id":"26746","publisher":"Paderborn University","user_id":"3118","ddc":["006"],"status":"public","place":"Paderborn","oa":"1","citation":{"apa":"Wiersema, T. (2021). <i>Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware</i>. Paderborn University.","ieee":"T. Wiersema, <i>Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware</i>. Paderborn: Paderborn University, 2021.","chicago":"Wiersema, Tobias. <i>Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware</i>. Paderborn: Paderborn University, 2021.","short":"T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware, Paderborn University, Paderborn, 2021.","mla":"Wiersema, Tobias. <i>Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware</i>. Paderborn University, 2021.","ama":"Wiersema T. <i>Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware</i>. Paderborn University; 2021.","bibtex":"@book{Wiersema_2021, place={Paderborn}, title={Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware}, publisher={Paderborn University}, author={Wiersema, Tobias}, year={2021} }"},"supervisor":[{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}]},{"type":"conference","department":[{"_id":"563"}],"date_created":"2021-10-25T12:18:36Z","publication":"Procedia CIRP","citation":{"ama":"Kharatyan A, Jürgenhake C, Dumitrescu R. Towards generative design in the development of mechatronic integrated devices (MID). In: <i>Procedia CIRP</i>. Vol Vol. 100. ; 2021:373-378.","bibtex":"@inproceedings{Kharatyan_Jürgenhake_Dumitrescu_2021, title={Towards generative design in the development of mechatronic integrated devices (MID)}, volume={Vol. 100}, booktitle={Procedia CIRP}, author={Kharatyan, Aschot and Jürgenhake, Christoph and Dumitrescu, Roman}, year={2021}, pages={373–378} }","mla":"Kharatyan, Aschot, et al. “Towards Generative Design in the Development of Mechatronic Integrated Devices (MID).” <i>Procedia CIRP</i>, vol. Vol. 100, 2021, pp. 373–78.","chicago":"Kharatyan, Aschot, Christoph Jürgenhake, and Roman Dumitrescu. “Towards Generative Design in the Development of Mechatronic Integrated Devices (MID).” In <i>Procedia CIRP</i>, Vol. 100:373–78, 2021.","short":"A. Kharatyan, C. Jürgenhake, R. Dumitrescu, in: Procedia CIRP, 2021, pp. 373–378.","apa":"Kharatyan, A., Jürgenhake, C., &#38; Dumitrescu, R. (2021). Towards generative design in the development of mechatronic integrated devices (MID). <i>Procedia CIRP</i>, <i>Vol. 100</i>, 373–378.","ieee":"A. Kharatyan, C. Jürgenhake, and R. Dumitrescu, “Towards generative design in the development of mechatronic integrated devices (MID),” in <i>Procedia CIRP</i>, 2021, vol. Vol. 100, pp. 373–378."},"user_id":"15782","volume":"Vol. 100","page":"373-378","language":[{"iso":"eng"}],"_id":"26823","date_updated":"2022-01-06T06:57:29Z","publication_status":"published","title":"Towards generative design in the development of mechatronic integrated devices (MID)","year":"2021","status":"public","conference":{"name":"31st CIRP Design Conference","start_date":"2021-05-19","end_date":"2021-05-21"},"author":[{"full_name":"Kharatyan, Aschot","first_name":"Aschot","last_name":"Kharatyan"},{"full_name":"Jürgenhake, Christoph","first_name":"Christoph","last_name":"Jürgenhake"},{"full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman","id":"16190"}]},{"citation":{"bibtex":"@inproceedings{Mager_Jürgenhake_Dumitrescu_2021, title={Approach for a modular design methodology for an efficient development of 3D MID components}, booktitle={14th International Congress Molded Interconnect Devices (MID)}, author={Mager, Thomas and Jürgenhake, Christoph and Dumitrescu, Roman}, year={2021}, pages={1–9} }","ama":"Mager T, Jürgenhake C, Dumitrescu R. Approach for a modular design methodology for an efficient development of 3D MID components. In: <i>14th International Congress Molded Interconnect Devices (MID)</i>. ; 2021:1-9.","mla":"Mager, Thomas, et al. “Approach for a Modular Design Methodology for an Efficient Development of 3D MID Components.” <i>14th International Congress Molded Interconnect Devices (MID)</i>, 2021, pp. 1–9.","short":"T. Mager, C. Jürgenhake, R. Dumitrescu, in: 14th International Congress Molded Interconnect Devices (MID), 2021, pp. 1–9.","chicago":"Mager, Thomas, Christoph Jürgenhake, and Roman Dumitrescu. “Approach for a Modular Design Methodology for an Efficient Development of 3D MID Components.” In <i>14th International Congress Molded Interconnect Devices (MID)</i>, 1–9, 2021.","ieee":"T. Mager, C. Jürgenhake, and R. Dumitrescu, “Approach for a modular design methodology for an efficient development of 3D MID components,” in <i>14th International Congress Molded Interconnect Devices (MID)</i>, Amberg, 2021, pp. 1–9.","apa":"Mager, T., Jürgenhake, C., &#38; Dumitrescu, R. (2021). Approach for a modular design methodology for an efficient development of 3D MID components. <i>14th International Congress Molded Interconnect Devices (MID)</i>, 1–9."},"publication":"14th International Congress Molded Interconnect Devices (MID)","department":[{"_id":"563"}],"type":"conference","date_created":"2021-10-25T12:24:20Z","date_updated":"2022-01-06T06:57:29Z","publication_status":"published","conference":{"end_date":"2021-02-10","location":"Amberg","start_date":"2021-02-9","name":"International Congress Molded Interconnect Devices (MID)"},"author":[{"full_name":"Mager, Thomas","first_name":"Thomas","last_name":"Mager"},{"first_name":"Christoph","last_name":"Jürgenhake","full_name":"Jürgenhake, Christoph"},{"id":"16190","last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"}],"year":"2021","status":"public","title":"Approach for a modular design methodology for an efficient development of 3D MID components","user_id":"15782","_id":"26830","language":[{"iso":"eng"}],"page":"1-9"},{"citation":{"ama":"Hemmelgarn F, Ehlert P, Mager T, Jürgenhake C, Dumitrescu R. Evaluation of different additive manufacturing technologies for MIDs in the context of smart sensor systems for retrofit applications. In: <i>14th International Congress Molded Interconnect Devices (MID)</i>. ; 2021.","bibtex":"@inproceedings{Hemmelgarn_Ehlert_Mager_Jürgenhake_Dumitrescu_2021, title={Evaluation of different additive manufacturing technologies for MIDs in the context of smart sensor systems for retrofit applications}, booktitle={14th International Congress Molded Interconnect Devices (MID)}, author={Hemmelgarn, Florian and Ehlert, Patrick and Mager, Thomas and Jürgenhake, Christoph and Dumitrescu, Roman}, year={2021} }","mla":"Hemmelgarn, Florian, et al. “Evaluation of Different Additive Manufacturing Technologies for MIDs in the Context of Smart Sensor Systems for Retrofit Applications.” <i>14th International Congress Molded Interconnect Devices (MID)</i>, 2021.","chicago":"Hemmelgarn, Florian, Patrick Ehlert, Thomas Mager, Christoph Jürgenhake, and Roman Dumitrescu. “Evaluation of Different Additive Manufacturing Technologies for MIDs in the Context of Smart Sensor Systems for Retrofit Applications.” In <i>14th International Congress Molded Interconnect Devices (MID)</i>, 2021.","short":"F. Hemmelgarn, P. Ehlert, T. Mager, C. Jürgenhake, R. Dumitrescu, in: 14th International Congress Molded Interconnect Devices (MID), 2021.","apa":"Hemmelgarn, F., Ehlert, P., Mager, T., Jürgenhake, C., &#38; Dumitrescu, R. (2021). Evaluation of different additive manufacturing technologies for MIDs in the context of smart sensor systems for retrofit applications. <i>14th International Congress Molded Interconnect Devices (MID)</i>. International Congress Molded Interconnect Devices (MID), Amberg.","ieee":"F. Hemmelgarn, P. Ehlert, T. Mager, C. Jürgenhake, and R. Dumitrescu, “Evaluation of different additive manufacturing technologies for MIDs in the context of smart sensor systems for retrofit applications,” presented at the International Congress Molded Interconnect Devices (MID), Amberg, 2021."},"publication":"14th International Congress Molded Interconnect Devices (MID)","department":[{"_id":"563"}],"type":"conference","date_created":"2021-10-25T12:27:28Z","date_updated":"2022-01-06T06:57:29Z","publication_status":"published","conference":{"end_date":"2021-02-10","start_date":"2021-02-9","name":"International Congress Molded Interconnect Devices (MID)","location":"Amberg"},"author":[{"full_name":"Hemmelgarn, Florian","first_name":"Florian","last_name":"Hemmelgarn"},{"last_name":"Ehlert","first_name":"Patrick","full_name":"Ehlert, Patrick"},{"last_name":"Mager","first_name":"Thomas","full_name":"Mager, Thomas"},{"first_name":"Christoph","last_name":"Jürgenhake","full_name":"Jürgenhake, Christoph"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190"}],"title":"Evaluation of different additive manufacturing technologies for MIDs in the context of smart sensor systems for retrofit applications","year":"2021","status":"public","user_id":"15782","_id":"26833","language":[{"iso":"eng"}]},{"user_id":"15782","volume":"vol. 100","page":"708-713","language":[{"iso":"eng"}],"_id":"26839","publication_status":"published","date_updated":"2022-01-06T06:57:29Z","status":"public","title":"Socio-technical risk management in the age of digital transformation – identification and analysis of existing approaches","year":"2021","author":[{"id":"29799","full_name":"Menzefricke, Jörn Steffen","last_name":"Menzefricke","first_name":"Jörn Steffen"},{"id":"38169","first_name":"Ingrid","last_name":"Wiederkehr","full_name":"Wiederkehr, Ingrid"},{"id":"43136","last_name":"Koldewey","orcid":"https://orcid.org/0000-0001-7992-6399","first_name":"Christian","full_name":"Koldewey, Christian"},{"id":"16190","full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu"}],"conference":{"name":"31st CIRP Design Conference","start_date":"2021-05-19","end_date":"2021-05-21"},"type":"conference","department":[{"_id":"563"}],"date_created":"2021-10-25T12:35:16Z","publication":"Procedia CIRP","citation":{"apa":"Menzefricke, J. S., Wiederkehr, I., Koldewey, C., &#38; Dumitrescu, R. (2021). Socio-technical risk management in the age of digital transformation – identification and analysis of existing approaches. <i>Procedia CIRP</i>, <i>100</i>, 708–713.","ieee":"J. S. Menzefricke, I. Wiederkehr, C. Koldewey, and R. Dumitrescu, “Socio-technical risk management in the age of digital transformation – identification and analysis of existing approaches,” in <i>Procedia CIRP</i>, 2021, vol. 100, pp. 708–713.","chicago":"Menzefricke, Jörn Steffen, Ingrid Wiederkehr, Christian Koldewey, and Roman Dumitrescu. “Socio-Technical Risk Management in the Age of Digital Transformation – Identification and Analysis of Existing Approaches.” In <i>Procedia CIRP</i>, 100:708–13, 2021.","short":"J.S. Menzefricke, I. Wiederkehr, C. Koldewey, R. Dumitrescu, in: Procedia CIRP, 2021, pp. 708–713.","mla":"Menzefricke, Jörn Steffen, et al. “Socio-Technical Risk Management in the Age of Digital Transformation – Identification and Analysis of Existing Approaches.” <i>Procedia CIRP</i>, vol. 100, 2021, pp. 708–13.","ama":"Menzefricke JS, Wiederkehr I, Koldewey C, Dumitrescu R. Socio-technical risk management in the age of digital transformation – identification and analysis of existing approaches. In: <i>Procedia CIRP</i>. Vol 100. ; 2021:708-713.","bibtex":"@inproceedings{Menzefricke_Wiederkehr_Koldewey_Dumitrescu_2021, title={Socio-technical risk management in the age of digital transformation – identification and analysis of existing approaches}, volume={100}, booktitle={Procedia CIRP}, author={Menzefricke, Jörn Steffen and Wiederkehr, Ingrid and Koldewey, Christian and Dumitrescu, Roman}, year={2021}, pages={708–713} }"}},{"author":[{"full_name":"Schnasse, Felix","first_name":"Felix","last_name":"Schnasse"},{"id":"29799","first_name":"Jörn Steffen","last_name":"Menzefricke","full_name":"Menzefricke, Jörn Steffen"},{"id":"16190","last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"}],"conference":{"end_date":"2021-04-26","start_date":"2021-04-23","name":"IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA)"},"year":"2021","status":"public","title":"Identification of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation for the Manufacturing Sector","publication_status":"published","date_updated":"2022-01-06T06:57:29Z","_id":"26843","language":[{"iso":"eng"}],"page":"159 - 166","user_id":"15782","citation":{"ieee":"F. Schnasse, J. S. Menzefricke, and R. Dumitrescu, “Identification of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation for the Manufacturing Sector,” in <i>Proceedings of the IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA)</i>, 2021, pp. 159–166.","apa":"Schnasse, F., Menzefricke, J. S., &#38; Dumitrescu, R. (2021). Identification of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation for the Manufacturing Sector. <i>Proceedings of the IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA)</i>, 159–166.","chicago":"Schnasse, Felix, Jörn Steffen Menzefricke, and Roman Dumitrescu. “Identification of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation for the Manufacturing Sector.” In <i>Proceedings of the IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA)</i>, 159–66, 2021.","short":"F. Schnasse, J.S. Menzefricke, R. Dumitrescu, in: Proceedings of the IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA), 2021, pp. 159–166.","mla":"Schnasse, Felix, et al. “Identification of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation for the Manufacturing Sector.” <i>Proceedings of the IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA)</i>, 2021, pp. 159–66.","bibtex":"@inproceedings{Schnasse_Menzefricke_Dumitrescu_2021, title={Identification of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation for the Manufacturing Sector}, booktitle={Proceedings of the IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA)}, author={Schnasse, Felix and Menzefricke, Jörn Steffen and Dumitrescu, Roman}, year={2021}, pages={159–166} }","ama":"Schnasse F, Menzefricke JS, Dumitrescu R. Identification of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation for the Manufacturing Sector. In: <i>Proceedings of the IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA)</i>. ; 2021:159-166."},"publication":"Proceedings of the IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA)","date_created":"2021-10-25T12:53:11Z","department":[{"_id":"563"}],"type":"conference"},{"author":[{"first_name":"Sergej","last_name":"Japs","full_name":"Japs, Sergej"},{"first_name":"Harald","last_name":"Anacker","full_name":"Anacker, Harald"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190"}],"conference":{"end_date":"2021-05-21","name":"31st CIRP Design Conference","start_date":"2021-05-19"},"title":"SAVE: Security & safety by model-based systems engineering on the example of automotive industry","status":"public","year":"2021","publication_status":"published","date_updated":"2022-01-06T06:57:29Z","_id":"26850","language":[{"iso":"eng"}],"page":"187-192","user_id":"15782","citation":{"bibtex":"@inproceedings{Japs_Anacker_Dumitrescu_2021, title={SAVE: Security &#38; safety by model-based systems engineering on the example of automotive industry}, booktitle={Procedia CIRP}, author={Japs, Sergej and Anacker, Harald and Dumitrescu, Roman}, year={2021}, pages={187–192} }","ama":"Japs S, Anacker H, Dumitrescu R. SAVE: Security &#38; safety by model-based systems engineering on the example of automotive industry. In: <i>Procedia CIRP</i>. ; 2021:187-192.","mla":"Japs, Sergej, et al. “SAVE: Security &#38; Safety by Model-Based Systems Engineering on the Example of Automotive Industry.” <i>Procedia CIRP</i>, 2021, pp. 187–92.","chicago":"Japs, Sergej, Harald Anacker, and Roman Dumitrescu. “SAVE: Security &#38; Safety by Model-Based Systems Engineering on the Example of Automotive Industry.” In <i>Procedia CIRP</i>, 187–92, 2021.","short":"S. Japs, H. Anacker, R. Dumitrescu, in: Procedia CIRP, 2021, pp. 187–192.","ieee":"S. Japs, H. Anacker, and R. Dumitrescu, “SAVE: Security &#38; safety by model-based systems engineering on the example of automotive industry,” in <i>Procedia CIRP</i>, 2021, pp. 187–192.","apa":"Japs, S., Anacker, H., &#38; Dumitrescu, R. (2021). SAVE: Security &#38; safety by model-based systems engineering on the example of automotive industry. <i>Procedia CIRP</i>, 187–192."},"publication":"Procedia CIRP","date_created":"2021-10-25T13:07:32Z","department":[{"_id":"563"}],"type":"conference"},{"date_updated":"2022-01-06T06:57:29Z","publication_status":"published","conference":{"location":"Berlin","name":"16. Symposium für Vorausschau und Technologieplanung","start_date":"2021-12-02","end_date":"2021-12-03"},"author":[{"first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman","id":"16190"},{"full_name":"Anacker, Harald","first_name":"Harald","last_name":"Anacker"},{"full_name":"Grote, Eva-Maria","first_name":"Eva-Maria","last_name":"Grote"},{"full_name":"Rasor, Rik","last_name":"Rasor","first_name":"Rik"},{"last_name":"Tekaat","first_name":"Julian","full_name":"Tekaat, Julian"},{"id":"77201","full_name":"Meyer, Maurice","last_name":"Meyer","first_name":"Maurice","orcid":"0000-0003-0606-7321"},{"full_name":"Gausemeier, Jürgen","first_name":"Jürgen","last_name":"Gausemeier","id":"163"},{"first_name":"Steffen","last_name":"Steglich","full_name":"Steglich, Steffen"}],"status":"public","year":"2021","title":"Erfolgspotentiale für die Zukunft des Engineeringstandorts Deutschland – Ein Beitrag zum Advanced Systems Engineering","editor":[{"full_name":"Gausemeier, Jürgen","last_name":"Gausemeier","first_name":"Jürgen"},{"full_name":"Bauer, Wilhelm","last_name":"Bauer","first_name":"Wilhelm"},{"first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"}],"user_id":"15782","_id":"26851","language":[{"iso":"ger"}],"publisher":"Heinz Nixdorf Institut, Universität Paderborn","citation":{"ama":"Dumitrescu R, Anacker H, Grote E-M, et al. Erfolgspotentiale für die Zukunft des Engineeringstandorts Deutschland – Ein Beitrag zum Advanced Systems Engineering. In: Gausemeier J, Bauer W, Dumitrescu R, eds. <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>. Heinz Nixdorf Institut, Universität Paderborn; 2021.","bibtex":"@inproceedings{Dumitrescu_Anacker_Grote_Rasor_Tekaat_Meyer_Gausemeier_Steglich_2021, place={Paderborn}, title={Erfolgspotentiale für die Zukunft des Engineeringstandorts Deutschland – Ein Beitrag zum Advanced Systems Engineering}, booktitle={Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, 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}, editor={Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman}, year={2021} }","mla":"Dumitrescu, Roman, et al. “Erfolgspotentiale für die Zukunft des Engineeringstandorts Deutschland – Ein Beitrag zum Advanced Systems Engineering.” <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>, edited by Jürgen Gausemeier et al., Heinz Nixdorf Institut, Universität Paderborn, 2021.","chicago":"Dumitrescu, Roman, Harald Anacker, Eva-Maria Grote, Rik Rasor, Julian Tekaat, Maurice Meyer, Jürgen Gausemeier, and Steffen Steglich. “Erfolgspotentiale für die Zukunft des Engineeringstandorts Deutschland – Ein Beitrag zum Advanced Systems Engineering.” In <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>, edited by Jürgen Gausemeier, Wilhelm Bauer, and Roman Dumitrescu. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2021.","short":"R. Dumitrescu, H. Anacker, E.-M. Grote, R. Rasor, J. Tekaat, M. Meyer, J. Gausemeier, S. Steglich, in: J. Gausemeier, W. Bauer, R. Dumitrescu (Eds.), Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2021.","apa":"Dumitrescu, R., Anacker, H., Grote, E.-M., Rasor, R., Tekaat, J., Meyer, M., Gausemeier, J., &#38; Steglich, S. (2021). Erfolgspotentiale für die Zukunft des Engineeringstandorts Deutschland – Ein Beitrag zum Advanced Systems Engineering. In J. Gausemeier, W. Bauer, &#38; R. Dumitrescu (Eds.), <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>. Heinz Nixdorf Institut, Universität Paderborn.","ieee":"R. Dumitrescu <i>et al.</i>, “Erfolgspotentiale für die Zukunft des Engineeringstandorts Deutschland – Ein Beitrag zum Advanced Systems Engineering,” in <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>, Berlin, 2021."},"publication":"Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung","department":[{"_id":"563"}],"type":"conference","place":"Paderborn","date_created":"2021-10-25T13:32:30Z"},{"publication_status":"published","date_updated":"2022-01-06T06:57:29Z","author":[{"full_name":"Kharatyan, Aschot","last_name":"Kharatyan","first_name":"Aschot"},{"first_name":"Julian","last_name":"Tekaat","full_name":"Tekaat, Julian"},{"last_name":"Japs","first_name":"Sergej","full_name":"Japs, Sergej"},{"last_name":"Anacker","first_name":"Harald","full_name":"Anacker, Harald"},{"id":"16190","full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman"}],"conference":{"location":"Cavtat, Dubrovnik, Croatia","start_date":"2020-05-18","name":"16th International Design Conference","end_date":"2020-05-21"},"title":"Metamodel for safety and security integrated system architecture modeling","status":"public","year":"2021","volume":"Vol. 1","user_id":"15782","language":[{"iso":"eng"}],"_id":"26852","page":"2027 - 2036","citation":{"bibtex":"@inproceedings{Kharatyan_Tekaat_Japs_Anacker_Dumitrescu_2021, title={Metamodel for safety and security integrated system architecture modeling}, volume={Vol. 1}, booktitle={ Proceedings of the Design Society}, author={Kharatyan, Aschot and Tekaat, Julian and Japs, Sergej and Anacker, Harald and Dumitrescu, Roman}, year={2021}, pages={2027–2036} }","ama":"Kharatyan A, Tekaat J, Japs S, Anacker H, Dumitrescu R. Metamodel for safety and security integrated system architecture modeling. In: <i> Proceedings of the Design Society</i>. Vol Vol. 1. ; 2021:2027-2036.","mla":"Kharatyan, Aschot, et al. “Metamodel for Safety and Security Integrated System Architecture Modeling.” <i> Proceedings of the Design Society</i>, vol. Vol. 1, 2021, pp. 2027–36.","chicago":"Kharatyan, Aschot, Julian Tekaat, Sergej Japs, Harald Anacker, and Roman Dumitrescu. “Metamodel for Safety and Security Integrated System Architecture Modeling.” In <i> Proceedings of the Design Society</i>, Vol. 1:2027–36, 2021.","short":"A. Kharatyan, J. Tekaat, S. Japs, H. Anacker, R. Dumitrescu, in:  Proceedings of the Design Society, 2021, pp. 2027–2036.","ieee":"A. Kharatyan, J. Tekaat, S. Japs, H. Anacker, and R. Dumitrescu, “Metamodel for safety and security integrated system architecture modeling,” in <i> Proceedings of the Design Society</i>, Cavtat, Dubrovnik, Croatia, 2021, vol. Vol. 1, pp. 2027–2036.","apa":"Kharatyan, A., Tekaat, J., Japs, S., Anacker, H., &#38; Dumitrescu, R. (2021). Metamodel for safety and security integrated system architecture modeling. <i> Proceedings of the Design Society</i>, <i>Vol. 1</i>, 2027–2036."},"publication":" Proceedings of the Design Society","department":[{"_id":"563"}],"type":"conference","date_created":"2021-10-25T13:40:50Z"},{"citation":{"bibtex":"@article{Meyer_Wiederkehr_Koldewey_Dumitrescu_2021, title={UNDERSTANDING USAGE DATA-DRIVEN PRODUCT PLANNING: A SYSTEMATIC LITERATURE REVIEW}, DOI={<a href=\"https://doi.org/10.1017/pds.2021.590\">10.1017/pds.2021.590</a>}, journal={Proceedings of the Design Society}, author={Meyer, Maurice and Wiederkehr, Ingrid and Koldewey, Christian and Dumitrescu, Roman}, year={2021}, pages={3289–3298} }","chicago":"Meyer, Maurice, Ingrid Wiederkehr, Christian Koldewey, and Roman Dumitrescu. “UNDERSTANDING USAGE DATA-DRIVEN PRODUCT PLANNING: A SYSTEMATIC LITERATURE REVIEW.” <i>Proceedings of the Design Society</i>, 2021, 3289–98. <a href=\"https://doi.org/10.1017/pds.2021.590\">https://doi.org/10.1017/pds.2021.590</a>.","ama":"Meyer M, Wiederkehr I, Koldewey C, Dumitrescu R. UNDERSTANDING USAGE DATA-DRIVEN PRODUCT PLANNING: A SYSTEMATIC LITERATURE REVIEW. <i>Proceedings of the Design Society</i>. Published online 2021:3289-3298. doi:<a href=\"https://doi.org/10.1017/pds.2021.590\">10.1017/pds.2021.590</a>","short":"M. Meyer, I. Wiederkehr, C. Koldewey, R. Dumitrescu, Proceedings of the Design Society (2021) 3289–3298.","ieee":"M. Meyer, I. Wiederkehr, C. Koldewey, and R. Dumitrescu, “UNDERSTANDING USAGE DATA-DRIVEN PRODUCT PLANNING: A SYSTEMATIC LITERATURE REVIEW,” <i>Proceedings of the Design Society</i>, pp. 3289–3298, 2021, doi: <a href=\"https://doi.org/10.1017/pds.2021.590\">10.1017/pds.2021.590</a>.","mla":"Meyer, Maurice, et al. “UNDERSTANDING USAGE DATA-DRIVEN PRODUCT PLANNING: A SYSTEMATIC LITERATURE REVIEW.” <i>Proceedings of the Design Society</i>, 2021, pp. 3289–98, doi:<a href=\"https://doi.org/10.1017/pds.2021.590\">10.1017/pds.2021.590</a>.","apa":"Meyer, M., Wiederkehr, I., Koldewey, C., &#38; Dumitrescu, R. (2021). UNDERSTANDING USAGE DATA-DRIVEN PRODUCT PLANNING: A SYSTEMATIC LITERATURE REVIEW. <i>Proceedings of the Design Society</i>, 3289–3298. <a href=\"https://doi.org/10.1017/pds.2021.590\">https://doi.org/10.1017/pds.2021.590</a>"},"publication":"Proceedings of the Design Society","abstract":[{"lang":"eng","text":"<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>"}],"date_created":"2021-10-25T14:43:11Z","department":[{"_id":"563"}],"type":"journal_article","publication_identifier":{"issn":["2732-527X"]},"author":[{"full_name":"Meyer, Maurice","orcid":"0000-0003-0606-7321","first_name":"Maurice","last_name":"Meyer","id":"77201"},{"full_name":"Wiederkehr, Ingrid","first_name":"Ingrid","last_name":"Wiederkehr","id":"38169"},{"id":"43136","orcid":"https://orcid.org/0000-0001-7992-6399","first_name":"Christian","last_name":"Koldewey","full_name":"Koldewey, Christian"},{"id":"16190","full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman"}],"status":"public","title":"UNDERSTANDING USAGE DATA-DRIVEN PRODUCT PLANNING: A SYSTEMATIC LITERATURE REVIEW","year":"2021","date_updated":"2022-01-06T06:57:29Z","publication_status":"published","_id":"26855","language":[{"iso":"eng"}],"page":"3289-3298","doi":"10.1017/pds.2021.590","user_id":"43136"},{"publication_status":"published","date_updated":"2022-01-06T06:57:29Z","intvolume":"       400","title":"Zukunftsrobuste Weiterentwicklung von Produktportfolios: Erkenntnisse und Handlungsbedarfe aus der Praxis","year":"2021","status":"public","author":[{"full_name":"Meyer, Maurice","last_name":"Meyer","orcid":"0000-0003-0606-7321","first_name":"Maurice","id":"77201"},{"id":"76057","last_name":"Hemkentokrax","first_name":"Jan-Philipp","full_name":"Hemkentokrax, Jan-Philipp"},{"full_name":"Koldewey, Christian","last_name":"Koldewey","first_name":"Christian","orcid":"https://orcid.org/0000-0001-7992-6399","id":"43136"},{"id":"16190","last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"},{"full_name":"Tröster, Peter M.","last_name":"Tröster","first_name":"Peter M."},{"last_name":"Schlegel","first_name":"Michael","full_name":"Schlegel, Michael"},{"full_name":"Kling, Christopher L.","first_name":"Christopher L.","last_name":"Kling"},{"full_name":"Rapp, Simon","first_name":"Simon","last_name":"Rapp"},{"last_name":"Albers","first_name":"Albert","full_name":"Albers, Albert"}],"conference":{"name":"16. Symposium für Vorausschau und Technologieplanung","start_date":"2021-12-02","location":"Berlin","end_date":"2021-12-03"},"user_id":"15782","volume":400,"editor":[{"last_name":"Gausemeier","first_name":"Jürgen","full_name":"Gausemeier, Jürgen"},{"full_name":"Bauer, Wilhelm","first_name":"Wilhelm","last_name":"Bauer"},{"full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman"}],"language":[{"iso":"ger"}],"_id":"26857","publisher":"Heinz Nixdorf Institut, Universität Paderborn","publication":"Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung","citation":{"apa":"Meyer, M., Hemkentokrax, J.-P., Koldewey, C., Dumitrescu, R., Tröster, P. M., Schlegel, M., Kling, C. L., Rapp, S., &#38; Albers, A. (2021). Zukunftsrobuste Weiterentwicklung von Produktportfolios: Erkenntnisse und Handlungsbedarfe aus der Praxis. In J. Gausemeier, W. Bauer, &#38; R. Dumitrescu (Eds.), <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i> (Vol. 400). Heinz Nixdorf Institut, Universität Paderborn.","mla":"Meyer, Maurice, et al. “Zukunftsrobuste Weiterentwicklung von Produktportfolios: Erkenntnisse und Handlungsbedarfe aus der Praxis.” <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>, edited by Jürgen Gausemeier et al., vol. 400, Heinz Nixdorf Institut, Universität Paderborn, 2021.","ieee":"M. Meyer <i>et al.</i>, “Zukunftsrobuste Weiterentwicklung von Produktportfolios: Erkenntnisse und Handlungsbedarfe aus der Praxis,” in <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>, Berlin, 2021, vol. 400.","chicago":"Meyer, Maurice, Jan-Philipp Hemkentokrax, Christian Koldewey, Roman Dumitrescu, Peter M. Tröster, Michael Schlegel, Christopher L. Kling, Simon Rapp, and Albert Albers. “Zukunftsrobuste Weiterentwicklung von Produktportfolios: Erkenntnisse und Handlungsbedarfe aus der Praxis.” In <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>, edited by Jürgen Gausemeier, Wilhelm Bauer, and Roman Dumitrescu, Vol. 400. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2021.","ama":"Meyer M, Hemkentokrax J-P, Koldewey C, et al. Zukunftsrobuste Weiterentwicklung von Produktportfolios: Erkenntnisse und Handlungsbedarfe aus der Praxis. In: Gausemeier J, Bauer W, Dumitrescu R, eds. <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>. Vol 400. Heinz Nixdorf Institut, Universität Paderborn; 2021.","short":"M. Meyer, J.-P. Hemkentokrax, C. Koldewey, R. Dumitrescu, P.M. Tröster, M. Schlegel, C.L. Kling, S. Rapp, A. Albers, in: J. Gausemeier, W. Bauer, R. Dumitrescu (Eds.), Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2021.","bibtex":"@inproceedings{Meyer_Hemkentokrax_Koldewey_Dumitrescu_Tröster_Schlegel_Kling_Rapp_Albers_2021, place={Paderborn}, title={Zukunftsrobuste Weiterentwicklung von Produktportfolios: Erkenntnisse und Handlungsbedarfe aus der Praxis}, volume={400}, booktitle={Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, 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}, editor={Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman}, year={2021} }"},"type":"conference","department":[{"_id":"563"}],"date_created":"2021-10-25T14:50:27Z","place":"Paderborn"},{"date_updated":"2022-01-06T06:57:29Z","intvolume":"       104","year":"2021","title":"Towards Identifying Data Analytics Use Cases in Product Planning","status":"public","author":[{"full_name":"Meyer, Maurice","orcid":"0000-0003-0606-7321","last_name":"Meyer","first_name":"Maurice","id":"77201"},{"full_name":"Panzner, Melina","last_name":"Panzner","first_name":"Melina"},{"last_name":"Koldewey","orcid":"https://orcid.org/0000-0001-7992-6399","first_name":"Christian","full_name":"Koldewey, Christian","id":"43136"},{"first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman","id":"16190"}],"user_id":"77201","volume":104,"page":"1179-1184","_id":"26858","language":[{"iso":"eng"}],"publication":"Procedia CIRP","citation":{"mla":"Meyer, Maurice, et al. “Towards Identifying Data Analytics Use Cases in Product Planning.” <i>Procedia CIRP</i>, vol. 104, 2021, pp. 1179–84.","ama":"Meyer M, Panzner M, Koldewey C, Dumitrescu R. Towards Identifying Data Analytics Use Cases in Product Planning. <i>Procedia CIRP</i>. 2021;104:1179-1184.","bibtex":"@article{Meyer_Panzner_Koldewey_Dumitrescu_2021, title={Towards Identifying Data Analytics Use Cases in Product Planning}, volume={104}, journal={Procedia CIRP}, author={Meyer, Maurice and Panzner, Melina and Koldewey, Christian and Dumitrescu, Roman}, year={2021}, pages={1179–1184} }","apa":"Meyer, M., Panzner, M., Koldewey, C., &#38; Dumitrescu, R. (2021). Towards Identifying Data Analytics Use Cases in Product Planning. <i>Procedia CIRP</i>, <i>104</i>, 1179–1184.","ieee":"M. Meyer, M. Panzner, C. Koldewey, and R. Dumitrescu, “Towards Identifying Data Analytics Use Cases in Product Planning,” <i>Procedia CIRP</i>, vol. 104, pp. 1179–1184, 2021.","chicago":"Meyer, Maurice, Melina Panzner, Christian Koldewey, and Roman Dumitrescu. “Towards Identifying Data Analytics Use Cases in Product Planning.” <i>Procedia CIRP</i> 104 (2021): 1179–84.","short":"M. Meyer, M. Panzner, C. Koldewey, R. Dumitrescu, Procedia CIRP 104 (2021) 1179–1184."},"type":"journal_article","department":[{"_id":"563"}],"date_created":"2021-10-25T14:56:55Z"},{"date_updated":"2022-01-06T06:57:29Z","publication_status":"published","intvolume":"       400","title":"Die Kraft von Startup-Partnerschaften  für das Innovationssystem eines Automobilzulieferers","year":"2021","status":"public","conference":{"end_date":"2021-12-03","location":"Berlin","name":"16. Symposium für Vorausschau und Technologieplanung","start_date":"2021-12-02"},"author":[{"id":"76057","full_name":"Hemkentokrax, Jan-Philipp","first_name":"Jan-Philipp","last_name":"Hemkentokrax"},{"first_name":"Daniel","last_name":"Eckelt","full_name":"Eckelt, Daniel"},{"full_name":"Haarmann, Lennard","first_name":"Lennard","last_name":"Haarmann"},{"id":"43136","first_name":"Christian","orcid":"https://orcid.org/0000-0001-7992-6399","last_name":"Koldewey","full_name":"Koldewey, Christian"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190"}],"user_id":"15782","editor":[{"full_name":"Gausemeier, Jürgen","first_name":"Jürgen","last_name":"Gausemeier"},{"full_name":"Bauer, Wilhelm","first_name":"Wilhelm","last_name":"Bauer"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu"}],"volume":400,"_id":"26864","language":[{"iso":"ger"}],"publisher":"Heinz Nixdorf Institut, Universität Paderborn","publication":"Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung","citation":{"mla":"Hemkentokrax, Jan-Philipp, et al. “Die Kraft von Startup-Partnerschaften  für das Innovationssystem eines Automobilzulieferers.” <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>, edited by Jürgen Gausemeier et al., vol. 400, Heinz Nixdorf Institut, Universität Paderborn, 2021.","ama":"Hemkentokrax J-P, Eckelt D, Haarmann L, Koldewey C, Dumitrescu R. Die Kraft von Startup-Partnerschaften  für das Innovationssystem eines Automobilzulieferers. In: Gausemeier J, Bauer W, Dumitrescu R, eds. <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>. Vol 400. Heinz Nixdorf Institut, Universität Paderborn; 2021.","bibtex":"@inproceedings{Hemkentokrax_Eckelt_Haarmann_Koldewey_Dumitrescu_2021, place={Paderborn}, title={Die Kraft von Startup-Partnerschaften  für das Innovationssystem eines Automobilzulieferers}, volume={400}, booktitle={Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Hemkentokrax, Jan-Philipp and Eckelt, Daniel and Haarmann, Lennard and Koldewey, Christian and Dumitrescu, Roman}, editor={Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman}, year={2021} }","apa":"Hemkentokrax, J.-P., Eckelt, D., Haarmann, L., Koldewey, C., &#38; Dumitrescu, R. (2021). Die Kraft von Startup-Partnerschaften  für das Innovationssystem eines Automobilzulieferers. In J. Gausemeier, W. Bauer, &#38; R. Dumitrescu (Eds.), <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i> (Vol. 400). Heinz Nixdorf Institut, Universität Paderborn.","ieee":"J.-P. Hemkentokrax, D. Eckelt, L. Haarmann, C. Koldewey, and R. Dumitrescu, “Die Kraft von Startup-Partnerschaften  für das Innovationssystem eines Automobilzulieferers,” in <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>, Berlin, 2021, vol. 400.","chicago":"Hemkentokrax, Jan-Philipp, Daniel Eckelt, Lennard Haarmann, Christian Koldewey, and Roman Dumitrescu. “Die Kraft von Startup-Partnerschaften  für das Innovationssystem eines Automobilzulieferers.” In <i>Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung</i>, edited by Jürgen Gausemeier, Wilhelm Bauer, and Roman Dumitrescu, Vol. 400. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2021.","short":"J.-P. Hemkentokrax, D. Eckelt, L. Haarmann, C. Koldewey, R. Dumitrescu, in: J. Gausemeier, W. Bauer, R. Dumitrescu (Eds.), Vorausschau und Technologieplanung - 16. Symposium Vorausschau und Technologieplanung, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2021."},"type":"conference","department":[{"_id":"563"}],"place":"Paderborn","date_created":"2021-10-25T15:52:36Z"}]