[{"date_created":"2021-12-07T11:11:36Z","department":[{"_id":"7"},{"_id":"77"},{"_id":"574"}],"type":"conference","citation":{"mla":"Sharma, Arnab, et al. “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.” <i>Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA)</i>, IEEE.","bibtex":"@inproceedings{Sharma_Demir_Ngonga Ngomo_Wehrheim, title={MLCHECK–Property-Driven Testing of Machine Learning Classifiers}, booktitle={Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA)}, publisher={IEEE}, author={Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim, Heike} }","ama":"Sharma A, Demir C, Ngonga Ngomo A-C, Wehrheim H. MLCHECK–Property-Driven Testing of Machine Learning Classifiers. In: <i>Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA)</i>. IEEE.","ieee":"A. Sharma, C. Demir, A.-C. Ngonga Ngomo, and H. Wehrheim, “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.”","apa":"Sharma, A., Demir, C., Ngonga Ngomo, A.-C., &#38; Wehrheim, H. (n.d.). MLCHECK–Property-Driven Testing of Machine Learning Classifiers. <i>Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA)</i>.","short":"A. Sharma, C. Demir, A.-C. Ngonga Ngomo, H. Wehrheim, in: Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), IEEE, n.d.","chicago":"Sharma, Arnab, Caglar Demir, Axel-Cyrille Ngonga Ngomo, and Heike Wehrheim. “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.” In <i>Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA)</i>. IEEE, n.d."},"publication":"Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA)","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"11","name":"SFB 901 - Subproject B3"},{"_id":"10","name":"SFB 901 - Subproject B2"}],"abstract":[{"lang":"eng","text":"In recent years, we observe an increasing amount of software with machine learning components being deployed. This poses the question of quality assurance for such components: how can we validate whether specified requirements are fulfilled by a machine learned software? Current testing and verification approaches either focus on a single requirement (e.g., fairness) or specialize on a single type of machine learning model (e.g., neural networks).\r\nIn this paper, we propose property-driven testing of machine learning models. Our approach MLCheck encompasses (1) a language for property specification, and (2) a technique for systematic test case generation. The specification language is comparable to property-based testing languages. Test case generation employs advanced verification technology for a systematic, property dependent construction of test suites, without additional user supplied generator functions. We evaluate MLCheck using requirements and data sets from three different application areas (software\r\ndiscrimination, learning on knowledge graphs and security). Our evaluation shows that despite its generality MLCheck can even outperform specialised testing approaches while having a comparable runtime"}],"publisher":"IEEE","_id":"28350","language":[{"iso":"eng"}],"user_id":"477","author":[{"id":"67200","full_name":"Sharma, Arnab","last_name":"Sharma","first_name":"Arnab"},{"id":"43817","full_name":"Demir, Caglar","first_name":"Caglar","last_name":"Demir"},{"full_name":"Ngonga Ngomo, Axel-Cyrille","last_name":"Ngonga Ngomo","first_name":"Axel-Cyrille","id":"65716"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"status":"public","title":"MLCHECK–Property-Driven Testing of Machine Learning Classifiers","year":"2021","publication_status":"accepted","date_updated":"2022-01-06T06:58:02Z"},{"publication":"14th ACM Workshop on Artificial Intelligence and Security","citation":{"ieee":"J. P. Drees <i>et al.</i>, “Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs!,” <i>14th ACM Workshop on Artificial Intelligence and Security</i>, 2021.","apa":"Drees, J. P., Gupta, P., Hüllermeier, E., Jager, T., Konze, A., Priesterjahn, C., Ramaswamy, A., &#38; Somorovsky, J. (2021). Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs! <i>14th ACM Workshop on Artificial Intelligence and Security</i>.","chicago":"Drees, Jan Peter, Pritha Gupta, Eyke Hüllermeier, Tibor Jager, Alexander Konze, Claudia Priesterjahn, Arunselvan Ramaswamy, and Juraj Somorovsky. “Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs!” <i>14th ACM Workshop on Artificial Intelligence and Security</i>, 2021.","short":"J.P. Drees, P. Gupta, E. Hüllermeier, T. Jager, A. Konze, C. Priesterjahn, A. Ramaswamy, J. Somorovsky, 14th ACM Workshop on Artificial Intelligence and Security (2021).","mla":"Drees, Jan Peter, et al. “Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs!” <i>14th ACM Workshop on Artificial Intelligence and Security</i>, 2021.","bibtex":"@article{Drees_Gupta_Hüllermeier_Jager_Konze_Priesterjahn_Ramaswamy_Somorovsky_2021, title={Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs!}, journal={14th ACM Workshop on Artificial Intelligence and Security}, author={Drees, Jan Peter and Gupta, Pritha and Hüllermeier, Eyke and Jager, Tibor and Konze, Alexander and Priesterjahn, Claudia and Ramaswamy, Arunselvan and Somorovsky, Juraj}, year={2021} }","ama":"Drees JP, Gupta P, Hüllermeier E, et al. Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs! <i>14th ACM Workshop on Artificial Intelligence and Security</i>. Published online 2021."},"date_created":"2021-09-10T09:56:27Z","type":"journal_article","department":[{"_id":"632"}],"status":"public","title":"Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs!","year":"2021","author":[{"first_name":"Jan Peter","last_name":"Drees","full_name":"Drees, Jan Peter"},{"full_name":"Gupta, Pritha","last_name":"Gupta","first_name":"Pritha","id":"54803"},{"id":"48129","full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier"},{"full_name":"Jager, Tibor","last_name":"Jager","first_name":"Tibor"},{"last_name":"Konze","first_name":"Alexander","full_name":"Konze, Alexander"},{"full_name":"Priesterjahn, Claudia","last_name":"Priesterjahn","first_name":"Claudia"},{"id":"66937","first_name":"Arunselvan","orcid":"https://orcid.org/ 0000-0001-7547-8111","last_name":"Ramaswamy","full_name":"Ramaswamy, Arunselvan"},{"full_name":"Somorovsky, Juraj","orcid":"0000-0002-3593-7720","last_name":"Somorovsky","first_name":"Juraj","id":"83504"}],"date_updated":"2022-01-06T06:56:08Z","language":[{"iso":"eng"}],"_id":"24143","user_id":"83504"},{"publication":"Physica D: Nonlinear Phenomena","citation":{"apa":"Nüske, F., Gelß, P., Klus, S., &#38; Clementi, C. (2021). Tensor-based computation of metastable and coherent sets. <i>Physica D: Nonlinear Phenomena</i>, Article 133018. <a href=\"https://doi.org/10.1016/j.physd.2021.133018\">https://doi.org/10.1016/j.physd.2021.133018</a>","ieee":"F. Nüske, P. Gelß, S. Klus, and C. Clementi, “Tensor-based computation of metastable and coherent sets,” <i>Physica D: Nonlinear Phenomena</i>, Art. no. 133018, 2021, doi: <a href=\"https://doi.org/10.1016/j.physd.2021.133018\">10.1016/j.physd.2021.133018</a>.","short":"F. Nüske, P. Gelß, S. Klus, C. Clementi, Physica D: Nonlinear Phenomena (2021).","chicago":"Nüske, Feliks, Patrick Gelß, Stefan Klus, and Cecilia Clementi. “Tensor-Based Computation of Metastable and Coherent Sets.” <i>Physica D: Nonlinear Phenomena</i>, 2021. <a href=\"https://doi.org/10.1016/j.physd.2021.133018\">https://doi.org/10.1016/j.physd.2021.133018</a>.","mla":"Nüske, Feliks, et al. “Tensor-Based Computation of Metastable and Coherent Sets.” <i>Physica D: Nonlinear Phenomena</i>, 133018, 2021, doi:<a href=\"https://doi.org/10.1016/j.physd.2021.133018\">10.1016/j.physd.2021.133018</a>.","ama":"Nüske F, Gelß P, Klus S, Clementi C. Tensor-based computation of metastable and coherent sets. <i>Physica D: Nonlinear Phenomena</i>. Published online 2021. doi:<a href=\"https://doi.org/10.1016/j.physd.2021.133018\">10.1016/j.physd.2021.133018</a>","bibtex":"@article{Nüske_Gelß_Klus_Clementi_2021, title={Tensor-based computation of metastable and coherent sets}, DOI={<a href=\"https://doi.org/10.1016/j.physd.2021.133018\">10.1016/j.physd.2021.133018</a>}, number={133018}, journal={Physica D: Nonlinear Phenomena}, author={Nüske, Feliks and Gelß, Patrick and Klus, Stefan and Clementi, Cecilia}, year={2021} }"},"type":"journal_article","department":[{"_id":"101"}],"date_created":"2021-09-12T08:51:24Z","publication_status":"published","date_updated":"2022-01-06T06:56:08Z","year":"2021","title":"Tensor-based computation of metastable and coherent sets","status":"public","publication_identifier":{"issn":["0167-2789"]},"author":[{"id":"81513","last_name":"Nüske","first_name":"Feliks","orcid":"0000-0003-2444-7889","full_name":"Nüske, Feliks"},{"full_name":"Gelß, Patrick","last_name":"Gelß","first_name":"Patrick"},{"last_name":"Klus","first_name":"Stefan","full_name":"Klus, Stefan"},{"full_name":"Clementi, Cecilia","first_name":"Cecilia","last_name":"Clementi"}],"user_id":"81513","doi":"10.1016/j.physd.2021.133018","article_number":"133018","_id":"24169","language":[{"iso":"eng"}]},{"year":"2021","title":"Symmetric and antisymmetric kernels for machine learning problems in quantum physics and chemistry","status":"public","author":[{"full_name":"Klus, Stefan","first_name":"Stefan","last_name":"Klus"},{"first_name":"Patrick","last_name":"Gelß","full_name":"Gelß, Patrick"},{"id":"81513","first_name":"Feliks","last_name":"Nüske","orcid":"0000-0003-2444-7889","full_name":"Nüske, Feliks"},{"full_name":"Noé, Frank","last_name":"Noé","first_name":"Frank"}],"publication_identifier":{"issn":["2632-2153"]},"date_updated":"2022-01-06T06:56:08Z","publication_status":"published","article_number":"045016","language":[{"iso":"eng"}],"_id":"24170","doi":"10.1088/2632-2153/ac14ad","user_id":"81513","publication":"Machine Learning: Science and Technology","citation":{"ieee":"S. Klus, P. Gelß, F. Nüske, and F. Noé, “Symmetric and antisymmetric kernels for machine learning problems in quantum physics and chemistry,” <i>Machine Learning: Science and Technology</i>, Art. no. 045016, 2021, doi: <a href=\"https://doi.org/10.1088/2632-2153/ac14ad\">10.1088/2632-2153/ac14ad</a>.","apa":"Klus, S., Gelß, P., Nüske, F., &#38; Noé, F. (2021). Symmetric and antisymmetric kernels for machine learning problems in quantum physics and chemistry. <i>Machine Learning: Science and Technology</i>, Article 045016. <a href=\"https://doi.org/10.1088/2632-2153/ac14ad\">https://doi.org/10.1088/2632-2153/ac14ad</a>","chicago":"Klus, Stefan, Patrick Gelß, Feliks Nüske, and Frank Noé. “Symmetric and Antisymmetric Kernels for Machine Learning Problems in Quantum Physics and Chemistry.” <i>Machine Learning: Science and Technology</i>, 2021. <a href=\"https://doi.org/10.1088/2632-2153/ac14ad\">https://doi.org/10.1088/2632-2153/ac14ad</a>.","short":"S. Klus, P. Gelß, F. Nüske, F. Noé, Machine Learning: Science and Technology (2021).","mla":"Klus, Stefan, et al. “Symmetric and Antisymmetric Kernels for Machine Learning Problems in Quantum Physics and Chemistry.” <i>Machine Learning: Science and Technology</i>, 045016, 2021, doi:<a href=\"https://doi.org/10.1088/2632-2153/ac14ad\">10.1088/2632-2153/ac14ad</a>.","bibtex":"@article{Klus_Gelß_Nüske_Noé_2021, title={Symmetric and antisymmetric kernels for machine learning problems in quantum physics and chemistry}, DOI={<a href=\"https://doi.org/10.1088/2632-2153/ac14ad\">10.1088/2632-2153/ac14ad</a>}, number={045016}, journal={Machine Learning: Science and Technology}, author={Klus, Stefan and Gelß, Patrick and Nüske, Feliks and Noé, Frank}, year={2021} }","ama":"Klus S, Gelß P, Nüske F, Noé F. Symmetric and antisymmetric kernels for machine learning problems in quantum physics and chemistry. <i>Machine Learning: Science and Technology</i>. Published online 2021. doi:<a href=\"https://doi.org/10.1088/2632-2153/ac14ad\">10.1088/2632-2153/ac14ad</a>"},"date_created":"2021-09-12T08:52:57Z","type":"journal_article","department":[{"_id":"101"}]},{"citation":{"mla":"Gevers, Karina, et al. <i>Heated Tool Butt Welding of Two Different Materials –  Established Methods versus Artificial Intelligence</i>. 2021.","ama":"Gevers K, Schöppner V, Hüllermeier E. Heated tool butt welding of two different materials –  Established methods versus artificial intelligence. In: ; 2021.","bibtex":"@inproceedings{Gevers_Schöppner_Hüllermeier_2021, title={Heated tool butt welding of two different materials –  Established methods versus artificial intelligence}, author={Gevers, Karina and Schöppner, Volker and Hüllermeier, Eyke}, year={2021} }","apa":"Gevers, K., Schöppner, V., &#38; Hüllermeier, E. (2021). <i>Heated tool butt welding of two different materials –  Established methods versus artificial intelligence</i>. International Institute of Welding, online.","ieee":"K. Gevers, V. Schöppner, and E. Hüllermeier, “Heated tool butt welding of two different materials –  Established methods versus artificial intelligence,” presented at the International Institute of Welding, online, 2021.","short":"K. Gevers, V. Schöppner, E. Hüllermeier, in: 2021.","chicago":"Gevers, Karina, Volker Schöppner, and Eyke Hüllermeier. “Heated Tool Butt Welding of Two Different Materials –  Established Methods versus Artificial Intelligence,” 2021."},"date_created":"2021-09-14T11:34:31Z","type":"conference","department":[{"_id":"367"},{"_id":"355"},{"_id":"321"}],"title":"Heated tool butt welding of two different materials –  Established methods versus artificial intelligence","status":"public","year":"2021","conference":{"end_date":"2021-07-14","start_date":"2021-07-12","name":"International Institute of Welding","location":"online"},"author":[{"id":"83151","first_name":"Karina","last_name":"Gevers","full_name":"Gevers, Karina"},{"full_name":"Schöppner, Volker","last_name":"Schöppner","first_name":"Volker","id":"20530"},{"full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier"}],"date_updated":"2022-01-06T06:56:19Z","_id":"24382","language":[{"iso":"eng"}],"user_id":"83151"},{"language":[{"iso":"eng"}],"_id":"24719","page":"118861-118870","volume":9,"doi":"10.1109/ACCESS.2021.3107812","user_id":"65716","author":[{"last_name":"M. Zahera","first_name":"Hamada","full_name":"M. Zahera, Hamada"},{"full_name":"Jalota, Rricha","first_name":"Rricha","last_name":"Jalota"},{"full_name":"Ahmed Sherif, Mohamed","last_name":"Ahmed Sherif","first_name":"Mohamed"},{"id":"65716","full_name":"Ngonga Ngomo, Axel-Cyrille","last_name":"Ngonga Ngomo","first_name":"Axel-Cyrille"}],"title":"I-AID: Identifying Actionable Information From Disaster-Related Tweets","year":"2021","status":"public","intvolume":"         9","date_updated":"2022-01-06T06:56:32Z","date_created":"2021-09-20T13:01:18Z","department":[{"_id":"574"}],"type":"journal_article","citation":{"mla":"M. Zahera, Hamada, et al. “I-AID: Identifying Actionable Information From Disaster-Related Tweets.” <i>{IEEE} Access</i>, vol. 9, 2021, pp. 118861–70, doi:<a href=\"https://doi.org/10.1109/ACCESS.2021.3107812\">10.1109/ACCESS.2021.3107812</a>.","apa":"M. Zahera, H., Jalota, R., Ahmed Sherif, M., &#38; Ngonga Ngomo, A.-C. (2021). I-AID: Identifying Actionable Information From Disaster-Related Tweets. <i>{IEEE} Access</i>, <i>9</i>, 118861–118870. <a href=\"https://doi.org/10.1109/ACCESS.2021.3107812\">https://doi.org/10.1109/ACCESS.2021.3107812</a>","ieee":"H. M. Zahera, R. Jalota, M. Ahmed Sherif, and A.-C. Ngonga Ngomo, “I-AID: Identifying Actionable Information From Disaster-Related Tweets,” <i>{IEEE} Access</i>, vol. 9, pp. 118861–118870, 2021, doi: <a href=\"https://doi.org/10.1109/ACCESS.2021.3107812\">10.1109/ACCESS.2021.3107812</a>.","ama":"M. Zahera H, Jalota R, Ahmed Sherif M, Ngonga Ngomo A-C. I-AID: Identifying Actionable Information From Disaster-Related Tweets. <i>{IEEE} Access</i>. 2021;9:118861-118870. doi:<a href=\"https://doi.org/10.1109/ACCESS.2021.3107812\">10.1109/ACCESS.2021.3107812</a>","short":"H. M. Zahera, R. Jalota, M. Ahmed Sherif, A.-C. Ngonga Ngomo, {IEEE} Access 9 (2021) 118861–118870.","chicago":"M. Zahera, Hamada, Rricha Jalota, Mohamed Ahmed Sherif, and Axel-Cyrille Ngonga Ngomo. “I-AID: Identifying Actionable Information From Disaster-Related Tweets.” <i>{IEEE} Access</i> 9 (2021): 118861–70. <a href=\"https://doi.org/10.1109/ACCESS.2021.3107812\">https://doi.org/10.1109/ACCESS.2021.3107812</a>.","bibtex":"@article{M. Zahera_Jalota_Ahmed Sherif_Ngonga Ngomo_2021, title={I-AID: Identifying Actionable Information From Disaster-Related Tweets}, volume={9}, DOI={<a href=\"https://doi.org/10.1109/ACCESS.2021.3107812\">10.1109/ACCESS.2021.3107812</a>}, journal={{IEEE} Access}, author={M. Zahera, Hamada and Jalota, Rricha and Ahmed Sherif, Mohamed and Ngonga Ngomo, Axel-Cyrille}, year={2021}, pages={118861–118870} }"},"publication":"{IEEE} Access"},{"language":[{"iso":"eng"}],"_id":"24720","page":"71:1-71:37","volume":54,"doi":"10.1145/3447772","user_id":"65716","author":[{"full_name":"Hogan, Aidan","first_name":"Aidan","last_name":"Hogan"},{"full_name":"Blomqvist, Eva","last_name":"Blomqvist","first_name":"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"},{"full_name":"Guti{\\'{e}}rrez, Claudio","last_name":"Guti{\\'{e}}rrez","first_name":"Claudio"},{"last_name":"Kirrane","first_name":"Sabrina","full_name":"Kirrane, Sabrina"},{"first_name":"Jos{\\'{e}}","last_name":"Emilio Labra Gayo","full_name":"Emilio Labra Gayo, Jos{\\'{e}}"},{"last_name":"Navigli","first_name":"Roberto","full_name":"Navigli, Roberto"},{"full_name":"Neumaier, Sebastian","last_name":"Neumaier","first_name":"Sebastian"},{"full_name":"Ngonga Ngomo, Axel-Cyrille","first_name":"Axel-Cyrille","last_name":"Ngonga Ngomo","id":"65716"},{"full_name":"Polleres, Axel","last_name":"Polleres","first_name":"Axel"},{"last_name":"M. Rashid","first_name":"Sabbir","full_name":"M. Rashid, Sabbir"},{"last_name":"Rula","first_name":"Anisa","full_name":"Rula, Anisa"},{"first_name":"Lukas","last_name":"Schmelzeisen","full_name":"Schmelzeisen, Lukas"},{"full_name":"F. Sequeda, Juan","first_name":"Juan","last_name":"F. Sequeda"},{"full_name":"Staab, Steffen","last_name":"Staab","first_name":"Steffen"},{"first_name":"Antoine","last_name":"Zimmermann","full_name":"Zimmermann, Antoine"}],"title":"Knowledge Graphs","year":"2021","status":"public","intvolume":"        54","date_updated":"2022-01-06T06:56:33Z","date_created":"2021-09-20T13:02:51Z","department":[{"_id":"574"}],"type":"journal_article","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} }","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.","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>."},"issue":"4","publication":"{ACM} Comput. Surv."},{"project":[{"grant_number":"449607253","_id":"105","name":"Vermiedene Kreuzungen von Lamb-Wellenmoden in mehrlagigen Strukturen"}],"citation":{"ieee":"H. Zeipert, S. Johannesmann, M. Nicolai, Y. Lugovtsova, J. Prager, and B. Henning, “Quantifying the coupling strength of adhesively bonded materials by investigating mode repulsion regions,” presented at the DAGA 2021 - 47. Jahrestagung für Akustik, Wien, 2021.","apa":"Zeipert, H., Johannesmann, S., Nicolai, M., Lugovtsova, Y., Prager, J., &#38; Henning, B. (2021). Quantifying the coupling strength of adhesively bonded materials by investigating mode repulsion regions. <i>Fortschritte Der Akustik - DAGA 2021</i>. DAGA 2021 - 47. Jahrestagung für Akustik, Wien.","chicago":"Zeipert, Henning, Sarah Johannesmann, Marcel Nicolai, Yevgeniya Lugovtsova, Jens Prager, and Bernd Henning. “Quantifying the Coupling Strength of Adhesively Bonded Materials by Investigating Mode Repulsion Regions.” In <i>Fortschritte Der Akustik - DAGA 2021</i>, 2021.","short":"H. Zeipert, S. Johannesmann, M. Nicolai, Y. Lugovtsova, J. Prager, B. Henning, in: Fortschritte Der Akustik - DAGA 2021, 2021.","mla":"Zeipert, Henning, et al. “Quantifying the Coupling Strength of Adhesively Bonded Materials by Investigating Mode Repulsion Regions.” <i>Fortschritte Der Akustik - DAGA 2021</i>, 2021.","bibtex":"@inproceedings{Zeipert_Johannesmann_Nicolai_Lugovtsova_Prager_Henning_2021, title={Quantifying the coupling strength of adhesively bonded materials by investigating mode repulsion regions}, booktitle={Fortschritte der Akustik - DAGA 2021}, author={Zeipert, Henning and Johannesmann, Sarah and Nicolai, Marcel and Lugovtsova, Yevgeniya and Prager, Jens and Henning, Bernd}, year={2021} }","ama":"Zeipert H, Johannesmann S, Nicolai M, Lugovtsova Y, Prager J, Henning B. Quantifying the coupling strength of adhesively bonded materials by investigating mode repulsion regions. In: <i>Fortschritte Der Akustik - DAGA 2021</i>. ; 2021."},"publication":"Fortschritte der Akustik - DAGA 2021","department":[{"_id":"49"}],"type":"conference","date_created":"2021-10-11T11:29:50Z","date_updated":"2022-01-06T06:57:15Z","author":[{"last_name":"Zeipert","first_name":"Henning","full_name":"Zeipert, Henning","id":"32580"},{"full_name":"Johannesmann, Sarah","last_name":"Johannesmann","first_name":"Sarah","id":"29190"},{"first_name":"Marcel","last_name":"Nicolai","full_name":"Nicolai, Marcel"},{"full_name":"Lugovtsova, Yevgeniya","first_name":"Yevgeniya","last_name":"Lugovtsova"},{"full_name":"Prager, Jens","first_name":"Jens","last_name":"Prager"},{"full_name":"Henning, Bernd","first_name":"Bernd","last_name":"Henning","id":"213"}],"conference":{"location":"Wien","name":"DAGA 2021 - 47. Jahrestagung für Akustik"},"year":"2021","title":"Quantifying the coupling strength of adhesively bonded materials by investigating mode repulsion regions","status":"public","user_id":"32580","_id":"26033","language":[{"iso":"eng"}]},{"citation":{"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.","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} }","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.","ieee":"P. Ködding and R. Dumitrescu, “Szenario-Technik mit digitalen Technologien (in Druck),” in <i>Digitalisierung souverän gestalten</i>, 2021.","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.","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.","short":"P. Ködding, R. Dumitrescu, in: E.A. Hartmann (Ed.), Digitalisierung Souverän Gestalten, Springer Vieweg, Berlin, Heidelberg, 2021."},"publication":"Digitalisierung souverän gestalten","department":[{"_id":"563"}],"type":"conference","place":"Berlin, Heidelberg","date_created":"2021-10-11T18:16:07Z","date_updated":"2022-01-06T06:57:16Z","author":[{"full_name":"Ködding, Patrick","first_name":"Patrick","last_name":"Ködding","id":"45402"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190"}],"title":"Szenario-Technik mit digitalen Technologien (in Druck)","year":"2021","status":"public","editor":[{"full_name":"Hartmann, Ernst A.","first_name":"Ernst A.","last_name":"Hartmann"}],"user_id":"45402","publisher":"Springer Vieweg","_id":"26050","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"_id":"26401","user_id":"15782","status":"public","title":"Practical approach for the development of digital guidelines for smart cities","year":"2021","conference":{"end_date":"2021-03-20","start_date":"2021-03-18","name":"IEEE E-TEMS 2021"},"author":[{"first_name":"Magdalena","last_name":"Förster","full_name":"Förster, Magdalena"},{"last_name":"Rabe","first_name":"Martin","full_name":"Rabe, Martin"},{"first_name":"Arno","last_name":"Kühn","full_name":"Kühn, Arno"},{"id":"16190","full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman"}],"date_updated":"2022-01-06T06:57:20Z","publication_status":"published","date_created":"2021-10-18T12:19:51Z","type":"conference","department":[{"_id":"563"}],"publication":"Proceedings of the IEEE E-TEMS 2021","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.","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.","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.","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} }","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.","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."}},{"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"},{"full_name":"Anacker, Harald","last_name":"Anacker","first_name":"Harald"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190"}],"conference":{"end_date":"2021-09-15","name":"7th IEEE International Symposium on Systems Engineering","start_date":"2021-09-13"},"publication_status":"published","date_updated":"2022-01-06T06:57:20Z","language":[{"iso":"eng"}],"_id":"26402","user_id":"15782","publication":" Proceedings of the 7th IEEE International Symposium on Systems Engineering","citation":{"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} }","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.","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.","short":"J. Tekaat, H. Anacker, R. Dumitrescu, in:  Proceedings of the 7th IEEE International Symposium on Systems Engineering, 2021.","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.","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.","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."},"date_created":"2021-10-18T12:23:57Z","type":"conference","department":[{"_id":"563"}]},{"user_id":"15782","language":[{"iso":"eng"}],"_id":"26403","publication_status":"published","date_updated":"2022-01-06T06:57:20Z","title":"Need for Action for a Company-Wide Introduction of Systems Engineering in Machinery and Plant Engineering","year":"2021","status":"public","author":[{"first_name":"Daria","last_name":"Wilke","full_name":"Wilke, Daria"},{"last_name":"Schierbaum","first_name":"Anja","full_name":"Schierbaum, Anja"},{"full_name":"Kaiser, Lydia","first_name":"Lydia","last_name":"Kaiser"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu","id":"16190"}],"conference":{"end_date":"2021-08-20","name":"ICED 2021","start_date":"2021-08-16","location":"Gothenburg, Sweden"},"type":"conference","department":[{"_id":"563"}],"date_created":"2021-10-18T12:31:29Z","publication":"Proceedings of the International Conference on Engineering Design, ICED 2021","citation":{"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.","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} }","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.","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.","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.","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."}},{"publication_status":"published","date_updated":"2022-01-06T06:57:20Z","year":"2021","title":"Augmented Reality-based Product Validation to Support Collaborative Engineering of Complex Technical Systems","status":"public","publication_identifier":{"isbn":["978-3-030-82528-7"]},"author":[{"first_name":"Daniel","last_name":"Eckertz","full_name":"Eckertz, Daniel"},{"full_name":"Anacker, Harald","last_name":"Anacker","first_name":"Harald"},{"id":"16190","first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"}],"user_id":"15782","volume":"vol. 298","editor":[{"last_name":"Auer","first_name":"Michael E.","full_name":"Auer, Michael E."},{"first_name":"Kalyan Ram","last_name":"Bhimavaram","full_name":"Bhimavaram, Kalyan Ram"},{"first_name":"Xiao-Guang","last_name":"Yue","full_name":"Yue, Xiao-Guang"}],"page":"451-463","_id":"26404","language":[{"iso":"eng"}],"publisher":"Springer International Publishing","publication":"Proceedings of the 18th International Conference on Remote Engineering and Virtual Instrumentation, Online Engineering and Society 4.0","citation":{"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.","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.","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.","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.","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."},"type":"conference","department":[{"_id":"563"}],"date_created":"2021-10-18T13:01:07Z"},{"citation":{"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.","short":"S. Gabriel, T. Grauthoff, R. Joppen, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2021, 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.","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.","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.","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} }","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."},"publication":"Procedia CIRP","department":[{"_id":"563"}],"type":"conference","date_created":"2021-10-19T07:01:06Z","publication_status":"published","date_updated":"2022-01-06T06:57:21Z","author":[{"full_name":"Gabriel, Stefan","first_name":"Stefan","last_name":"Gabriel"},{"first_name":"Tobias","last_name":"Grauthoff","full_name":"Grauthoff, Tobias"},{"first_name":"Robert","last_name":"Joppen","full_name":"Joppen, Robert"},{"first_name":"Arno","last_name":"Kühn","full_name":"Kühn, Arno"},{"id":"16190","first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"}],"conference":{"end_date":"2021-05-21","start_date":"2021-05-19","name":"31st CIRP Design Conference","location":"Enschede, the Netherlands"},"status":"public","year":"2021","title":"Analyzing socio-technical risks in implementation of Industry 4.0-use cases","volume":"vol. 100","user_id":"15782","language":[{"iso":"eng"}],"_id":"26492","page":"241-246"},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"supervisor":[{"id":"398","last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco"}],"citation":{"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} }","ama":"Wiersema T. <i>Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware</i>. Paderborn University; 2021.","mla":"Wiersema, Tobias. <i>Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware</i>. 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.","ieee":"T. Wiersema, <i>Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware</i>. Paderborn: Paderborn University, 2021.","apa":"Wiersema, T. (2021). <i>Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware</i>. Paderborn University."},"oa":"1","place":"Paderborn","status":"public","ddc":["006"],"user_id":"3118","page":"293","_id":"26746","publisher":"Paderborn University","abstract":[{"lang":"eng","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."},{"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"}],"type":"dissertation","keyword":["Proof-Carrying Hardware","Formal Verification","Sequential Circuits","Non-Functional Properties","Functional Properties"],"department":[{"_id":"78"}],"date_created":"2021-10-25T06:35:41Z","date_updated":"2022-01-06T06:57:26Z","publication_status":"published","title":"Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware","year":"2021","author":[{"full_name":"Wiersema, Tobias","last_name":"Wiersema","first_name":"Tobias","id":"3118"}],"main_file_link":[{"open_access":"1","url":"https://nbn-resolving.de/urn:nbn:de:hbz:466:2-39800"}],"language":[{"iso":"eng"}]},{"publication":"Procedia CIRP","citation":{"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.","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.","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.","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.","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} }","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."},"type":"conference","department":[{"_id":"563"}],"date_created":"2021-10-25T12:18:36Z","publication_status":"published","date_updated":"2022-01-06T06:57:29Z","year":"2021","title":"Towards generative design in the development of mechatronic integrated devices (MID)","status":"public","author":[{"full_name":"Kharatyan, Aschot","last_name":"Kharatyan","first_name":"Aschot"},{"last_name":"Jürgenhake","first_name":"Christoph","full_name":"Jürgenhake, Christoph"},{"id":"16190","first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"}],"conference":{"start_date":"2021-05-19","name":"31st CIRP Design Conference","end_date":"2021-05-21"},"user_id":"15782","volume":"Vol. 100","page":"373-378","_id":"26823","language":[{"iso":"eng"}]},{"citation":{"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.","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} }","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.","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.","short":"T. Mager, C. Jürgenhake, R. Dumitrescu, in: 14th International Congress Molded Interconnect Devices (MID), 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.","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."},"publication":"14th International Congress Molded Interconnect Devices (MID)","date_created":"2021-10-25T12:24:20Z","department":[{"_id":"563"}],"type":"conference","conference":{"name":"International Congress Molded Interconnect Devices (MID)","start_date":"2021-02-9","location":"Amberg","end_date":"2021-02-10"},"author":[{"full_name":"Mager, Thomas","last_name":"Mager","first_name":"Thomas"},{"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","date_updated":"2022-01-06T06:57:29Z","publication_status":"published","language":[{"iso":"eng"}],"_id":"26830","page":"1-9","user_id":"15782"},{"citation":{"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.","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} }","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.","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.","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.","short":"F. Hemmelgarn, P. Ehlert, T. Mager, C. Jürgenhake, R. Dumitrescu, in: 14th International Congress Molded Interconnect Devices (MID), 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."},"publication":"14th International Congress Molded Interconnect Devices (MID)","department":[{"_id":"563"}],"type":"conference","date_created":"2021-10-25T12:27:28Z","publication_status":"published","date_updated":"2022-01-06T06:57:29Z","author":[{"full_name":"Hemmelgarn, Florian","first_name":"Florian","last_name":"Hemmelgarn"},{"full_name":"Ehlert, Patrick","last_name":"Ehlert","first_name":"Patrick"},{"full_name":"Mager, Thomas","first_name":"Thomas","last_name":"Mager"},{"full_name":"Jürgenhake, Christoph","last_name":"Jürgenhake","first_name":"Christoph"},{"id":"16190","full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu"}],"conference":{"start_date":"2021-02-9","name":"International Congress Molded Interconnect Devices (MID)","location":"Amberg","end_date":"2021-02-10"},"status":"public","title":"Evaluation of different additive manufacturing technologies for MIDs in the context of smart sensor systems for retrofit applications","year":"2021","user_id":"15782","language":[{"iso":"eng"}],"_id":"26833"},{"date_created":"2021-10-25T12:35:16Z","department":[{"_id":"563"}],"type":"conference","citation":{"short":"J.S. Menzefricke, I. Wiederkehr, C. Koldewey, R. Dumitrescu, in: Procedia CIRP, 2021, 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.","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.","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} }","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."},"publication":"Procedia CIRP","language":[{"iso":"eng"}],"_id":"26839","page":"708-713","volume":"vol. 100","user_id":"15782","conference":{"end_date":"2021-05-21","start_date":"2021-05-19","name":"31st CIRP Design Conference"},"author":[{"id":"29799","full_name":"Menzefricke, Jörn Steffen","first_name":"Jörn Steffen","last_name":"Menzefricke"},{"id":"38169","full_name":"Wiederkehr, Ingrid","first_name":"Ingrid","last_name":"Wiederkehr"},{"full_name":"Koldewey, Christian","last_name":"Koldewey","orcid":"https://orcid.org/0000-0001-7992-6399","first_name":"Christian","id":"43136"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190"}],"status":"public","year":"2021","title":"Socio-technical risk management in the age of digital transformation – identification and analysis of existing approaches","date_updated":"2022-01-06T06:57:29Z","publication_status":"published"},{"user_id":"15782","_id":"26843","language":[{"iso":"eng"}],"page":"159 - 166","date_updated":"2022-01-06T06:57:29Z","publication_status":"published","conference":{"end_date":"2021-04-26","start_date":"2021-04-23","name":"IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA)"},"author":[{"full_name":"Schnasse, Felix","last_name":"Schnasse","first_name":"Felix"},{"first_name":"Jörn Steffen","last_name":"Menzefricke","full_name":"Menzefricke, Jörn Steffen","id":"29799"},{"first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman","id":"16190"}],"title":"Identification of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation for the Manufacturing Sector","status":"public","year":"2021","department":[{"_id":"563"}],"type":"conference","date_created":"2021-10-25T12:53:11Z","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.","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.","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.","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)"}]