[{"publication":"1st International Workshop on Explainable Software (EXPLAIN) at ASE","citation":{"ieee":"M. Nachtigall, L. Nguyen Quang Do, and E. Bodden, “Explaining Static Analysis -- A Perspective,” 2019.","mla":"Nachtigall, Marcus, et al. “Explaining Static Analysis -- A Perspective.” <i>1st International Workshop on Explainable Software (EXPLAIN) at ASE</i>, 2019.","apa":"Nachtigall, M., Nguyen Quang Do, L., &#38; Bodden, E. (2019). Explaining Static Analysis -- A Perspective. <i>1st International Workshop on Explainable Software (EXPLAIN) at ASE</i>.","bibtex":"@inproceedings{Nachtigall_Nguyen Quang Do_Bodden_2019, title={Explaining Static Analysis -- A Perspective}, booktitle={1st International Workshop on Explainable Software (EXPLAIN) at ASE}, author={Nachtigall, Marcus and Nguyen Quang Do, Lisa and Bodden, Eric}, year={2019} }","short":"M. Nachtigall, L. Nguyen Quang Do, E. Bodden, in: 1st International Workshop on Explainable Software (EXPLAIN) at ASE, 2019.","ama":"Nachtigall M, Nguyen Quang Do L, Bodden E. Explaining Static Analysis -- A Perspective. In: <i>1st International Workshop on Explainable Software (EXPLAIN) at ASE</i>. ; 2019.","chicago":"Nachtigall, Marcus, Lisa Nguyen Quang Do, and Eric Bodden. “Explaining Static Analysis -- A Perspective.” In <i>1st International Workshop on Explainable Software (EXPLAIN) at ASE</i>, 2019."},"type":"conference","department":[{"_id":"76"}],"date_created":"2020-11-27T10:22:38Z","date_updated":"2022-01-06T06:54:29Z","status":"public","title":"Explaining Static Analysis -- A Perspective","year":"2019","author":[{"id":"41213","full_name":"Nachtigall, Marcus","last_name":"Nachtigall","first_name":"Marcus"},{"last_name":"Nguyen Quang Do","first_name":"Lisa","full_name":"Nguyen Quang Do, Lisa"},{"last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"user_id":"5786","main_file_link":[{"url":"http://www.bodden.de/pubs/nachtigall19explaining.pdf"}],"language":[{"iso":"eng"}],"_id":"20529"},{"publication":"IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)","citation":{"bibtex":"@inproceedings{Luo_Bodden_Späth_2019, title={A Qualitative Analysis of Android Taint-Analysis Results}, booktitle={IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)}, author={Luo, Linghui and Bodden, Eric and Späth, Johannes}, year={2019} }","ama":"Luo L, Bodden E, Späth J. A Qualitative Analysis of Android Taint-Analysis Results. In: <i>IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)</i>. ; 2019.","mla":"Luo, Linghui, et al. “A Qualitative Analysis of Android Taint-Analysis Results.” <i>IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)</i>, 2019.","short":"L. Luo, E. Bodden, J. Späth, in: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), 2019.","chicago":"Luo, Linghui, Eric Bodden, and Johannes Späth. “A Qualitative Analysis of Android Taint-Analysis Results.” In <i>IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)</i>, 2019.","ieee":"L. Luo, E. Bodden, and J. Späth, “A Qualitative Analysis of Android Taint-Analysis Results,” 2019.","apa":"Luo, L., Bodden, E., &#38; Späth, J. (2019). A Qualitative Analysis of Android Taint-Analysis Results. <i>IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)</i>."},"type":"conference","department":[{"_id":"76"}],"date_created":"2020-11-27T10:25:40Z","date_updated":"2022-01-06T06:54:29Z","status":"public","title":"A Qualitative Analysis of Android Taint-Analysis Results","year":"2019","author":[{"first_name":"Linghui","last_name":"Luo","full_name":"Luo, Linghui"},{"id":"59256","full_name":"Bodden, Eric","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden"},{"first_name":"Johannes","last_name":"Späth","full_name":"Späth, Johannes"}],"user_id":"5786","main_file_link":[{"url":"http://www.bodden.de/pubs/ase19qualitative.pdf"}],"language":[{"iso":"eng"}],"_id":"20531"},{"publication":"IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track","citation":{"chicago":"Piskachev, Goran, Lisa Nguyen Quang Do, Oshando Johnson, and Eric Bodden. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” In <i>IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track</i>, 2019.","short":"G. Piskachev, L. Nguyen Quang Do, O. Johnson, E. Bodden, in: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, 2019.","apa":"Piskachev, G., Nguyen Quang Do, L., Johnson, O., &#38; Bodden, E. (2019). SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. <i>IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track</i>.","ieee":"G. Piskachev, L. Nguyen Quang Do, O. Johnson, and E. Bodden, “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods,” 2019.","ama":"Piskachev G, Nguyen Quang Do L, Johnson O, Bodden E. SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. In: <i>IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track</i>. ; 2019.","bibtex":"@inproceedings{Piskachev_Nguyen Quang Do_Johnson_Bodden_2019, title={SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods}, booktitle={IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track}, author={Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric}, year={2019} }","mla":"Piskachev, Goran, et al. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” <i>IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track</i>, 2019."},"date_created":"2020-11-27T10:37:17Z","type":"conference","department":[{"_id":"76"}],"title":"SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods","year":"2019","status":"public","author":[{"full_name":"Piskachev, Goran","first_name":"Goran","last_name":"Piskachev"},{"last_name":"Nguyen Quang Do","first_name":"Lisa","full_name":"Nguyen Quang Do, Lisa"},{"full_name":"Johnson, Oshando","first_name":"Oshando","last_name":"Johnson"},{"full_name":"Bodden, Eric","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","id":"59256"}],"date_updated":"2022-01-06T06:54:29Z","main_file_link":[{"url":"http://www.bodden.de/pubs/ase19swanAssist.pdf"}],"language":[{"iso":"eng"}],"_id":"20532","user_id":"5786"},{"date_updated":"2022-01-06T06:54:29Z","author":[{"full_name":"Krüger, Stefan","last_name":"Krüger","first_name":"Stefan"},{"first_name":"Johannes","last_name":"Späth","full_name":"Späth, Johannes"},{"first_name":"Karim","last_name":"Ali","full_name":"Ali, Karim"},{"id":"59256","last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric"},{"first_name":"Mira","last_name":"Mezini","full_name":"Mezini, Mira"}],"publication_identifier":{"issn":["2326-3881"]},"year":"2019","title":"CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs","status":"public","doi":"10.1109/TSE.2019.2948910","user_id":"5786","_id":"20533","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://www.bodden.de/pubs/tse19CrySL.pdf"}],"page":"1-1","citation":{"apa":"Krüger, S., Späth, J., Ali, K., Bodden, E., &#38; Mezini, M. (2019). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. <i>IEEE Transactions on Software Engineering</i>, 1–1. <a href=\"https://doi.org/10.1109/TSE.2019.2948910\">https://doi.org/10.1109/TSE.2019.2948910</a>","ieee":"S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,” <i>IEEE Transactions on Software Engineering</i>, pp. 1–1, 2019, doi: <a href=\"https://doi.org/10.1109/TSE.2019.2948910\">10.1109/TSE.2019.2948910</a>.","chicago":"Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” <i>IEEE Transactions on Software Engineering</i>, 2019, 1–1. <a href=\"https://doi.org/10.1109/TSE.2019.2948910\">https://doi.org/10.1109/TSE.2019.2948910</a>.","short":"S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1.","mla":"Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” <i>IEEE Transactions on Software Engineering</i>, 2019, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/TSE.2019.2948910\">10.1109/TSE.2019.2948910</a>.","ama":"Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. <i>IEEE Transactions on Software Engineering</i>. Published online 2019:1-1. doi:<a href=\"https://doi.org/10.1109/TSE.2019.2948910\">10.1109/TSE.2019.2948910</a>","bibtex":"@article{Krüger_Späth_Ali_Bodden_Mezini_2019, title={CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}, DOI={<a href=\"https://doi.org/10.1109/TSE.2019.2948910\">10.1109/TSE.2019.2948910</a>}, journal={IEEE Transactions on Software Engineering}, author={Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2019}, pages={1–1} }"},"publication":"IEEE Transactions on Software Engineering","department":[{"_id":"76"}],"type":"journal_article","keyword":["Java","Encryption","Static analysis","Tools","Ciphers","Semantics","cryptography","domain-specific language","static analysis"],"date_created":"2020-11-27T10:48:38Z"},{"date_updated":"2022-01-06T06:54:29Z","author":[{"full_name":"Piskachev, Goran","last_name":"Piskachev","first_name":"Goran"},{"first_name":"Lisa","last_name":"Nguyen Quang Do","full_name":"Nguyen Quang Do, Lisa"},{"id":"59256","last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric"}],"year":"2019","status":"public","title":"Codebase-Adaptive Detection of Security-Relevant Methods","user_id":"5786","_id":"20534","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://www.bodden.de/pubs/issta19swan.pdf"}],"citation":{"apa":"Piskachev, G., Nguyen Quang Do, L., &#38; Bodden, E. (2019). Codebase-Adaptive Detection of Security-Relevant Methods. <i>ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)</i>.","ieee":"G. Piskachev, L. Nguyen Quang Do, and E. Bodden, “Codebase-Adaptive Detection of Security-Relevant Methods,” 2019.","chicago":"Piskachev, Goran, Lisa Nguyen Quang Do, and Eric Bodden. “Codebase-Adaptive Detection of Security-Relevant Methods.” In <i>ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)</i>, 2019.","short":"G. Piskachev, L. Nguyen Quang Do, E. Bodden, in: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2019.","mla":"Piskachev, Goran, et al. “Codebase-Adaptive Detection of Security-Relevant Methods.” <i>ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)</i>, 2019.","ama":"Piskachev G, Nguyen Quang Do L, Bodden E. Codebase-Adaptive Detection of Security-Relevant Methods. In: <i>ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)</i>. ; 2019.","bibtex":"@inproceedings{Piskachev_Nguyen Quang Do_Bodden_2019, title={Codebase-Adaptive Detection of Security-Relevant Methods}, booktitle={ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)}, author={Piskachev, Goran and Nguyen Quang Do, Lisa and Bodden, Eric}, year={2019} }"},"publication":"ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)","department":[{"_id":"76"}],"type":"conference","date_created":"2020-11-27T10:49:33Z"},{"date_created":"2020-11-27T10:50:07Z","type":"conference","department":[{"_id":"76"}],"publication":"European Conference on Object-Oriented Programming (ECOOP)","citation":{"chicago":"Luo, Linghui, Julian Dolby, and Eric Bodden. “MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors.” In <i>European Conference on Object-Oriented Programming (ECOOP)</i>, 2019.","short":"L. Luo, J. Dolby, E. Bodden, in: European Conference on Object-Oriented Programming (ECOOP), 2019.","ama":"Luo L, Dolby J, Bodden E. MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors. In: <i>European Conference on Object-Oriented Programming (ECOOP)</i>. ; 2019.","bibtex":"@inproceedings{Luo_Dolby_Bodden_2019, title={MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors}, booktitle={European Conference on Object-Oriented Programming (ECOOP)}, author={Luo, Linghui and Dolby, Julian and Bodden, Eric}, year={2019} }","apa":"Luo, L., Dolby, J., &#38; Bodden, E. (2019). MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors. <i>European Conference on Object-Oriented Programming (ECOOP)</i>.","mla":"Luo, Linghui, et al. “MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors.” <i>European Conference on Object-Oriented Programming (ECOOP)</i>, 2019.","ieee":"L. Luo, J. Dolby, and E. Bodden, “MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors,” 2019."},"main_file_link":[{"url":"http://www.bodden.de/pubs/ldb19magpiebridge.pdf"}],"_id":"20535","language":[{"iso":"eng"}],"user_id":"5786","title":"MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors","year":"2019","status":"public","author":[{"first_name":"Linghui","last_name":"Luo","full_name":"Luo, Linghui"},{"first_name":"Julian","last_name":"Dolby","full_name":"Dolby, Julian"},{"id":"59256","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","full_name":"Bodden, Eric"}],"date_updated":"2022-01-06T06:54:29Z"},{"user_id":"5786","main_file_link":[{"url":"http://www.bodden.de/pubs/phdSpaeth.pdf"}],"_id":"20536","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:29Z","title":"Synchronized Pushdown Systems for Pointer and Data-Flow Analysis","status":"public","year":"2019","author":[{"full_name":"Späth, Johannes","last_name":"Späth","first_name":"Johannes"}],"type":"dissertation","department":[{"_id":"76"}],"date_created":"2020-11-27T10:50:55Z","supervisor":[{"id":"59256","full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden"}],"citation":{"short":"J. Späth, Synchronized Pushdown Systems for Pointer and Data-Flow Analysis, Universität Paderborn, 2019.","chicago":"Späth, Johannes. <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>. Universität Paderborn, 2019.","ieee":"J. Späth, <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>. Universität Paderborn, 2019.","apa":"Späth, J. (2019). <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>. Universität Paderborn.","bibtex":"@book{Späth_2019, title={Synchronized Pushdown Systems for Pointer and Data-Flow Analysis}, publisher={Universität Paderborn}, author={Späth, Johannes}, year={2019} }","ama":"Späth J. <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>. Universität Paderborn; 2019.","mla":"Späth, Johannes. <i>Synchronized Pushdown Systems for Pointer and Data-Flow Analysis</i>. Universität Paderborn, 2019."}},{"date_created":"2020-11-27T10:51:53Z","department":[{"_id":"76"}],"type":"report","citation":{"ieee":"G. Piskachev, L. Nguyen, and E. Bodden, <i>Codebase-Adaptive Detection of Security-Relevant Methods</i>. 2019.","apa":"Piskachev, G., Nguyen, L., &#38; Bodden, E. (2019). <i>Codebase-Adaptive Detection of Security-Relevant Methods</i>.","short":"G. Piskachev, L. Nguyen, E. Bodden, Codebase-Adaptive Detection of Security-Relevant Methods, 2019.","chicago":"Piskachev, Goran, Lisa Nguyen, and Eric Bodden. <i>Codebase-Adaptive Detection of Security-Relevant Methods</i>, 2019.","mla":"Piskachev, Goran, et al. <i>Codebase-Adaptive Detection of Security-Relevant Methods</i>. 2019.","bibtex":"@book{Piskachev_Nguyen_Bodden_2019, title={Codebase-Adaptive Detection of Security-Relevant Methods}, author={Piskachev, Goran and Nguyen, Lisa and Bodden, Eric}, year={2019} }","ama":"Piskachev G, Nguyen L, Bodden E. <i>Codebase-Adaptive Detection of Security-Relevant Methods</i>.; 2019."},"language":[{"iso":"eng"}],"_id":"20537","user_id":"5786","author":[{"first_name":"Goran","last_name":"Piskachev","full_name":"Piskachev, Goran"},{"first_name":"Lisa","last_name":"Nguyen","full_name":"Nguyen, Lisa"},{"full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","id":"59256"}],"status":"public","title":"Codebase-Adaptive Detection of Security-Relevant Methods","year":"2019","date_updated":"2022-01-06T06:54:29Z"},{"author":[{"full_name":"Albert Gorski Iii, Sigmund","last_name":"Albert Gorski Iii","first_name":"Sigmund"},{"full_name":"Andow, Benjamin","first_name":"Benjamin","last_name":"Andow"},{"first_name":"Adwait","last_name":"Nadkarni","full_name":"Nadkarni, Adwait"},{"full_name":"Manandhar, Sunil","first_name":"Sunil","last_name":"Manandhar"},{"full_name":"Enck, William","last_name":"Enck","first_name":"William"},{"full_name":"Bodden, Eric","last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","id":"59256"},{"last_name":"Bartel","first_name":"Alexandre","full_name":"Bartel, Alexandre"}],"title":"ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware","year":"2019","status":"public","date_updated":"2022-01-06T06:54:29Z","language":[{"iso":"eng"}],"_id":"20538","main_file_link":[{"url":"http://www.bodden.de/pubs/gan19acminer.pdf"}],"user_id":"5786","citation":{"mla":"Albert Gorski Iii, Sigmund, et al. “ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware.” <i>ACM Conference on Data and Application Security and Privacy (CODASPY 2019)</i>, 2019.","ama":"Albert Gorski Iii S, Andow B, Nadkarni A, et al. ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware. In: <i>ACM Conference on Data and Application Security and Privacy (CODASPY 2019)</i>. ; 2019.","bibtex":"@inproceedings{Albert Gorski Iii_Andow_Nadkarni_Manandhar_Enck_Bodden_Bartel_2019, title={ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware}, booktitle={ACM Conference on Data and Application Security and Privacy (CODASPY 2019)}, author={Albert Gorski Iii, Sigmund and Andow, Benjamin and Nadkarni, Adwait and Manandhar, Sunil and Enck, William and Bodden, Eric and Bartel, Alexandre}, year={2019} }","apa":"Albert Gorski Iii, S., Andow, B., Nadkarni, A., Manandhar, S., Enck, W., Bodden, E., &#38; Bartel, A. (2019). ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware. <i>ACM Conference on Data and Application Security and Privacy (CODASPY 2019)</i>.","ieee":"S. Albert Gorski Iii <i>et al.</i>, “ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware,” 2019.","short":"S. Albert Gorski Iii, B. Andow, A. Nadkarni, S. Manandhar, W. Enck, E. Bodden, A. Bartel, in: ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019.","chicago":"Albert Gorski Iii, Sigmund, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, and Alexandre Bartel. “ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware.” In <i>ACM Conference on Data and Application Security and Privacy (CODASPY 2019)</i>, 2019."},"publication":"ACM Conference on Data and Application Security and Privacy (CODASPY 2019)","date_created":"2020-11-27T10:52:59Z","department":[{"_id":"76"}],"keyword":["ITSECWEBSITE","CROSSING"],"type":"conference"},{"date_updated":"2022-01-06T06:54:29Z","intvolume":"         3","year":"2019","title":"Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems","publication_identifier":{"issn":["2475-1421"]},"author":[{"full_name":"Späth, Johannes","first_name":"Johannes","last_name":"Späth"},{"first_name":"Karim","last_name":"Ali","full_name":"Ali, Karim"},{"full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","id":"59256"}],"doi":"10.1145/3290361","main_file_link":[{"url":"http://www.bodden.de/pubs/sab19context.pdf"}],"language":[{"iso":"eng"}],"issue":"POPL","publication":"Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages","type":"journal_article","keyword":["ATTRACT","ITSECWEBSITE","CROSSING"],"department":[{"_id":"76"}],"date_created":"2020-11-27T10:53:57Z","status":"public","user_id":"5786","volume":3,"page":"48:1-48:29","_id":"20539","publisher":"ACM","citation":{"mla":"Späth, Johannes, et al. “Context-, Flow-, and Field-Sensitive Data-Flow Analysis Using Synchronized Pushdown Systems.” <i>Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages</i>, vol. 3, no. POPL, ACM, 2019, p. 48:1-48:29, doi:<a href=\"https://doi.org/10.1145/3290361\">10.1145/3290361</a>.","bibtex":"@article{Späth_Ali_Bodden_2019, title={Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems}, volume={3}, DOI={<a href=\"https://doi.org/10.1145/3290361\">10.1145/3290361</a>}, number={POPL}, journal={Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages}, publisher={ACM}, author={Späth, Johannes and Ali, Karim and Bodden, Eric}, year={2019}, pages={48:1-48:29} }","ama":"Späth J, Ali K, Bodden E. Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems. <i>Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages</i>. 2019;3(POPL):48:1-48:29. doi:<a href=\"https://doi.org/10.1145/3290361\">10.1145/3290361</a>","ieee":"J. Späth, K. Ali, and E. Bodden, “Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems,” <i>Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages</i>, vol. 3, no. POPL, p. 48:1-48:29, 2019, doi: <a href=\"https://doi.org/10.1145/3290361\">10.1145/3290361</a>.","apa":"Späth, J., Ali, K., &#38; Bodden, E. (2019). Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems. <i>Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages</i>, <i>3</i>(POPL), 48:1-48:29. <a href=\"https://doi.org/10.1145/3290361\">https://doi.org/10.1145/3290361</a>","chicago":"Späth, Johannes, Karim Ali, and Eric Bodden. “Context-, Flow-, and Field-Sensitive Data-Flow Analysis Using Synchronized Pushdown Systems.” <i>Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages</i> 3, no. POPL (2019): 48:1-48:29. <a href=\"https://doi.org/10.1145/3290361\">https://doi.org/10.1145/3290361</a>.","short":"J. Späth, K. Ali, E. Bodden, Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages 3 (2019) 48:1-48:29."}},{"_id":"20759","language":[{"iso":"eng"}],"user_id":"5786","author":[{"first_name":"Christopher","last_name":"Gerking","full_name":"Gerking, Christopher"},{"first_name":"David","last_name":"Schubert","full_name":"Schubert, David","id":"9106"}],"year":"2019","status":"public","title":"Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures","date_updated":"2022-01-06T06:54:36Z","date_created":"2020-12-16T14:03:44Z","department":[{"_id":"76"},{"_id":"241"}],"type":"conference","citation":{"short":"C. Gerking, D. Schubert, in: International Conference on Software Architecture (ICSA 2019), 2019.","ama":"Gerking C, Schubert D. Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. In: <i>International Conference on Software Architecture (ICSA 2019)</i>. ; 2019.","chicago":"Gerking, Christopher, and David Schubert. “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.” In <i>International Conference on Software Architecture (ICSA 2019)</i>, 2019.","bibtex":"@inproceedings{Gerking_Schubert_2019, title={Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures}, booktitle={International Conference on Software Architecture (ICSA 2019)}, author={Gerking, Christopher and Schubert, David}, year={2019} }","apa":"Gerking, C., &#38; Schubert, D. (2019). Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. <i>International Conference on Software Architecture (ICSA 2019)</i>.","mla":"Gerking, Christopher, and David Schubert. “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.” <i>International Conference on Software Architecture (ICSA 2019)</i>, 2019.","ieee":"C. Gerking and D. Schubert, “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures,” 2019."},"publication":"International Conference on Software Architecture (ICSA 2019)"},{"user_id":"76599","_id":"18018","date_updated":"2022-01-06T06:53:25Z","author":[{"full_name":"Bengs, Viktor","last_name":"Bengs","first_name":"Viktor"},{"full_name":"Holzmann, Hajo","last_name":"Holzmann","first_name":"Hajo"}],"title":"Uniform approximation in classical weak convergence theory","status":"public","year":"2019","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"preprint","date_created":"2020-08-17T12:10:55Z","abstract":[{"text":"A common statistical task lies in showing asymptotic normality of certain\nstatistics. In many of these situations, classical textbook results on weak\nconvergence theory suffice for the problem at hand. However, there are quite\nsome scenarios where stronger results are needed in order to establish an\nasymptotic normal approximation uniformly over a family of probability\nmeasures. In this note we collect some results in this direction. We restrict\nourselves to weak convergence in $\\mathbb R^d$ with continuous limit measures.","lang":"eng"}],"citation":{"ieee":"V. Bengs and H. Holzmann, “Uniform approximation in classical weak convergence theory,” <i>arXiv:1903.09864</i>. 2019.","apa":"Bengs, V., &#38; Holzmann, H. (2019). Uniform approximation in classical weak convergence theory. <i>ArXiv:1903.09864</i>.","chicago":"Bengs, Viktor, and Hajo Holzmann. “Uniform Approximation in Classical Weak Convergence Theory.” <i>ArXiv:1903.09864</i>, 2019.","short":"V. Bengs, H. Holzmann, ArXiv:1903.09864 (2019).","mla":"Bengs, Viktor, and Hajo Holzmann. “Uniform Approximation in Classical Weak Convergence Theory.” <i>ArXiv:1903.09864</i>, 2019.","bibtex":"@article{Bengs_Holzmann_2019, title={Uniform approximation in classical weak convergence theory}, journal={arXiv:1903.09864}, author={Bengs, Viktor and Holzmann, Hajo}, year={2019} }","ama":"Bengs V, Holzmann H. Uniform approximation in classical weak convergence theory. <i>arXiv:190309864</i>. 2019."},"publication":"arXiv:1903.09864"},{"date_updated":"2022-01-06T06:55:39Z","intvolume":"       390","title":"Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen","year":"2019","status":"public","corporate_editor":["Heinz Nixdorf Institut"],"author":[{"full_name":"Eckelt, Daniel","last_name":"Eckelt","first_name":"Daniel"},{"full_name":"Bismark, Ronny","last_name":"Bismark","first_name":"Ronny"},{"full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman","id":"16190"},{"last_name":"Frank","first_name":"Maximilian","full_name":"Frank, Maximilian"},{"full_name":"Gausemeier, Jürgen","first_name":"Jürgen","last_name":"Gausemeier"},{"last_name":"Reinhold","first_name":"Jannik","full_name":"Reinhold, Jannik","id":"33669"}],"user_id":"21240","volume":390,"editor":[{"first_name":"Jürgen","last_name":"Gausemeier","full_name":"Gausemeier, Jürgen"},{"last_name":"Bauer","first_name":"Wilhelm","full_name":"Bauer, Wilhelm"},{"first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"}],"page":"535-555","_id":"22708","language":[{"iso":"ger"}],"series_title":"Heinz Nixdorf Institut","publication":"Vorausschau und Technologieplanung","citation":{"mla":"Eckelt, Daniel, et al. “Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen.” <i>Vorausschau und Technologieplanung</i>, edited by Jürgen Gausemeier et al., vol. 390, 2019, pp. 535–55.","ama":"Eckelt D, Bismark R, Dumitrescu R, Frank M, Gausemeier J, Reinhold J. Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen. In: Gausemeier J, Bauer W, Dumitrescu R, Heinz Nixdorf Institut, eds. <i>Vorausschau und Technologieplanung</i>. Vol 390. Heinz Nixdorf Institut. ; 2019:535-555.","bibtex":"@inproceedings{Eckelt_Bismark_Dumitrescu_Frank_Gausemeier_Reinhold_2019, series={Heinz Nixdorf Institut}, title={Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen}, volume={390}, booktitle={Vorausschau und Technologieplanung}, author={Eckelt, Daniel and Bismark, Ronny and Dumitrescu, Roman and Frank, Maximilian and Gausemeier, Jürgen and Reinhold, Jannik}, editor={Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman and Heinz Nixdorf InstitutEditors}, year={2019}, pages={535–555}, collection={Heinz Nixdorf Institut} }","apa":"Eckelt, D., Bismark, R., Dumitrescu, R., Frank, M., Gausemeier, J., &#38; Reinhold, J. (2019). Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen. In J. Gausemeier, W. Bauer, R. Dumitrescu, &#38; Heinz Nixdorf Institut (Eds.), <i>Vorausschau und Technologieplanung</i> (Vol. 390, pp. 535–555).","ieee":"D. Eckelt, R. Bismark, R. Dumitrescu, M. Frank, J. Gausemeier, and J. Reinhold, “Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen,” in <i>Vorausschau und Technologieplanung</i>, 2019, vol. 390, pp. 535–555.","short":"D. Eckelt, R. Bismark, R. Dumitrescu, M. Frank, J. Gausemeier, J. Reinhold, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), Vorausschau und Technologieplanung, 2019, pp. 535–555.","chicago":"Eckelt, Daniel, Ronny Bismark, Roman Dumitrescu, Maximilian Frank, Jürgen Gausemeier, and Jannik Reinhold. “Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen.” In <i>Vorausschau und Technologieplanung</i>, edited by Jürgen Gausemeier, Wilhelm Bauer, Roman Dumitrescu, and Heinz Nixdorf Institut, 390:535–55. Heinz Nixdorf Institut, 2019."},"type":"conference","department":[{"_id":"563"}],"date_created":"2021-07-12T12:36:07Z"},{"user_id":"21240","language":[{"iso":"eng"}],"_id":"22709","date_updated":"2022-01-06T06:55:39Z","year":"2019","status":"public","title":"Model Checking of Integratively Designed Product and Production Systems","author":[{"id":"16190","first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"},{"full_name":"Japs, Sergej","last_name":"Japs","first_name":"Sergej"},{"full_name":"Kaiser, Lydia","first_name":"Lydia","last_name":"Kaiser"},{"full_name":"Rasor, Rik","first_name":"Rik","last_name":"Rasor"}],"type":"conference","department":[{"_id":"563"}],"place":"Garching","date_created":"2021-07-12T12:44:13Z","publication":"TdSE 2019","citation":{"ama":"Dumitrescu R, Japs S, Kaiser L, Rasor R. Model Checking of Integratively Designed Product and Production Systems. In: <i>TdSE 2019</i>. Garching; 2019.","bibtex":"@inproceedings{Dumitrescu_Japs_Kaiser_Rasor_2019, place={Garching}, title={Model Checking of Integratively Designed Product and Production Systems}, booktitle={TdSE 2019}, author={Dumitrescu, Roman and Japs, Sergej and Kaiser, Lydia and Rasor, Rik}, year={2019} }","mla":"Dumitrescu, Roman, et al. “Model Checking of Integratively Designed Product and Production Systems.” <i>TdSE 2019</i>, 2019.","short":"R. Dumitrescu, S. Japs, L. Kaiser, R. Rasor, in: TdSE 2019, Garching, 2019.","chicago":"Dumitrescu, Roman, Sergej Japs, Lydia Kaiser, and Rik Rasor. “Model Checking of Integratively Designed Product and Production Systems.” In <i>TdSE 2019</i>. Garching, 2019.","apa":"Dumitrescu, R., Japs, S., Kaiser, L., &#38; Rasor, R. (2019). Model Checking of Integratively Designed Product and Production Systems. In <i>TdSE 2019</i>. Garching.","ieee":"R. Dumitrescu, S. Japs, L. Kaiser, and R. Rasor, “Model Checking of Integratively Designed Product and Production Systems,” in <i>TdSE 2019</i>, 2019."}},{"date_created":"2021-07-12T12:50:33Z","place":"Berlin","department":[{"_id":"563"}],"type":"conference","citation":{"ieee":"A. Albers, K. F. Ellermann, A. Kühn, and R. Dumitrescu, “Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik,” in <i>15. Symposium für Vorausschau und Technologieplanung</i>, 2019, vol. 390, pp. 277–291.","apa":"Albers, A., Ellermann, K. F., Kühn, A., &#38; Dumitrescu, R. (2019). Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik. In J. Gausemeier, W. Bauer, R. Dumitrescu, &#38; Heinz Nixdorf Institut (Eds.), <i>15. Symposium für Vorausschau und Technologieplanung</i> (Vol. 390, pp. 277–291). Berlin.","short":"A. Albers, K.F. Ellermann, A. Kühn, R. Dumitrescu, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), 15. Symposium Für Vorausschau Und Technologieplanung, Berlin, 2019, pp. 277–291.","chicago":"Albers, Alexander, Kai Fabian Ellermann, Arno Kühn, and Roman Dumitrescu. “Entwicklung Einer Suchstrategie Für Ein Medienbasiertes Technologiesanning Am Beispiel Der Antriebstechnik.” In <i>15. Symposium Für Vorausschau Und Technologieplanung</i>, edited by Jürgen Gausemeier, Wilhelm Bauer, Roman Dumitrescu, and Heinz Nixdorf Institut, 390:277–91. Berlin, 2019.","mla":"Albers, Alexander, et al. “Entwicklung Einer Suchstrategie Für Ein Medienbasiertes Technologiesanning Am Beispiel Der Antriebstechnik.” <i>15. Symposium Für Vorausschau Und Technologieplanung</i>, edited by Jürgen Gausemeier et al., vol. 390, 2019, pp. 277–91.","bibtex":"@inproceedings{Albers_Ellermann_Kühn_Dumitrescu_2019, place={Berlin}, title={Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik}, volume={390}, booktitle={15. Symposium für Vorausschau und Technologieplanung}, author={Albers, Alexander and Ellermann, Kai Fabian and Kühn, Arno and Dumitrescu, Roman}, editor={Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman and Heinz Nixdorf InstitutEditors}, year={2019}, pages={277–291} }","ama":"Albers A, Ellermann KF, Kühn A, Dumitrescu R. Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik. In: Gausemeier J, Bauer W, Dumitrescu R, Heinz Nixdorf Institut, eds. <i>15. Symposium Für Vorausschau Und Technologieplanung</i>. Vol 390. Berlin; 2019:277-291."},"publication":"15. Symposium für Vorausschau und Technologieplanung","language":[{"iso":"eng"}],"_id":"22710","page":"277-291","volume":390,"editor":[{"full_name":"Gausemeier, Jürgen","last_name":"Gausemeier","first_name":"Jürgen"},{"first_name":"Wilhelm","last_name":"Bauer","full_name":"Bauer, Wilhelm"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"}],"user_id":"21240","corporate_editor":["Heinz Nixdorf Institut"],"author":[{"last_name":"Albers","first_name":"Alexander","full_name":"Albers, Alexander"},{"last_name":"Ellermann","first_name":"Kai Fabian","full_name":"Ellermann, Kai Fabian"},{"last_name":"Kühn","first_name":"Arno","full_name":"Kühn, Arno"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu","id":"16190"}],"status":"public","title":"Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik","year":"2019","intvolume":"       390","date_updated":"2022-01-06T06:55:39Z"},{"corporate_editor":["Heinz Nixdorf Institut"],"author":[{"first_name":"Marvin","last_name":"Drewel","full_name":"Drewel, Marvin"},{"full_name":"Gausemeier, Jürgen","first_name":"Jürgen","last_name":"Gausemeier"},{"full_name":"Vaßholz, Mareen","last_name":"Vaßholz","first_name":"Mareen"},{"full_name":"Homburg, Nils","first_name":"Nils","last_name":"Homburg"}],"year":"2019","status":"public","title":"Einstieg in die Plattformökonomie","intvolume":"        15","date_updated":"2022-01-06T06:55:39Z","language":[{"iso":"eng"}],"_id":"22712","editor":[{"last_name":"Gausemeier","first_name":"Jürgen","full_name":"Gausemeier, Jürgen"},{"full_name":"Bauer, Wilhelm","last_name":"Bauer","first_name":"Wilhelm"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu"}],"volume":15,"user_id":"21240","citation":{"mla":"Drewel, Marvin, et al. “Einstieg in Die Plattformökonomie.” <i>Symposium Für Vorausschau Und Technologieplanung</i>, edited by Jürgen Gausemeier et al., vol. 15, 2019.","apa":"Drewel, M., Gausemeier, J., Vaßholz, M., &#38; Homburg, N. (2019). Einstieg in die Plattformökonomie. In J. Gausemeier, W. Bauer, R. Dumitrescu, &#38; Heinz Nixdorf Institut (Eds.), <i>Symposium für Vorausschau und Technologieplanung</i> (Vol. 15).","ieee":"M. Drewel, J. Gausemeier, M. Vaßholz, and N. Homburg, “Einstieg in die Plattformökonomie,” in <i>Symposium für Vorausschau und Technologieplanung</i>, 2019, vol. 15.","chicago":"Drewel, Marvin, Jürgen Gausemeier, Mareen Vaßholz, and Nils Homburg. “Einstieg in Die Plattformökonomie.” In <i>Symposium Für Vorausschau Und Technologieplanung</i>, edited by Jürgen Gausemeier, Wilhelm Bauer, Roman Dumitrescu, and Heinz Nixdorf Institut, Vol. 15, 2019.","short":"M. Drewel, J. Gausemeier, M. Vaßholz, N. Homburg, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), Symposium Für Vorausschau Und Technologieplanung, 2019.","ama":"Drewel M, Gausemeier J, Vaßholz M, Homburg N. Einstieg in die Plattformökonomie. In: Gausemeier J, Bauer W, Dumitrescu R, Heinz Nixdorf Institut, eds. <i>Symposium Für Vorausschau Und Technologieplanung</i>. Vol 15. ; 2019.","bibtex":"@inproceedings{Drewel_Gausemeier_Vaßholz_Homburg_2019, title={Einstieg in die Plattformökonomie}, volume={15}, booktitle={Symposium für Vorausschau und Technologieplanung}, author={Drewel, Marvin and Gausemeier, Jürgen and Vaßholz, Mareen and Homburg, Nils}, editor={Gausemeier, Jürgen and Bauer, Wilhelm and Dumitrescu, Roman and Heinz Nixdorf InstitutEditors}, year={2019} }"},"publication":"Symposium für Vorausschau und Technologieplanung","date_created":"2021-07-13T07:53:43Z","department":[{"_id":"563"}],"type":"conference"},{"page":"30-34","main_file_link":[{"url":"https://www.researchgate.net/publication/336273262_Erfolg_versprechende_Industrie_40-Zielposition"}],"_id":"22714","language":[{"iso":"ger"}],"user_id":"21240","publication_date":"2019-10-10","volume":5,"status":"public","year":"2019","title":"Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen","author":[{"last_name":"Pierenkemper","first_name":"Christoph","full_name":"Pierenkemper, Christoph"},{"id":"33669","first_name":"Jannik","last_name":"Reinhold","full_name":"Reinhold, Jannik"},{"full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman","id":"16190"},{"full_name":"Gausemeier, Jürgen","first_name":"Jürgen","last_name":"Gausemeier"}],"date_updated":"2022-01-06T06:55:39Z","intvolume":"         5","date_created":"2021-07-13T08:01:00Z","type":"newspaper_article","department":[{"_id":"563"}],"publication":"Industrie 4.0 Management","citation":{"mla":"Pierenkemper, Christoph, et al. “Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen.” <i>Industrie 4.0 Management</i>, vol. 5, 2019, pp. 30–34.","ama":"Pierenkemper C, Reinhold J, Dumitrescu R, Gausemeier J. Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen. <i>Industrie 4.0 Management</i>. 2019:30-34.","bibtex":"@article{Pierenkemper_Reinhold_Dumitrescu_Gausemeier_2019, title={Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen}, volume={5}, journal={Industrie 4.0 Management}, author={Pierenkemper, Christoph and Reinhold, Jannik and Dumitrescu, Roman and Gausemeier, Jürgen}, year={2019}, pages={30–34} }","apa":"Pierenkemper, C., Reinhold, J., Dumitrescu, R., &#38; Gausemeier, J. (2019). Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen. <i>Industrie 4.0 Management</i>, pp. 30–34.","ieee":"C. Pierenkemper, J. Reinhold, R. Dumitrescu, and J. Gausemeier, “Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen,” <i>Industrie 4.0 Management</i>, vol. 5, pp. 30–34, 2019.","short":"C. Pierenkemper, J. Reinhold, R. Dumitrescu, J. Gausemeier, Industrie 4.0 Management 5 (2019) 30–34.","chicago":"Pierenkemper, Christoph, Jannik Reinhold, Roman Dumitrescu, and Jürgen Gausemeier. “Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen.” <i>Industrie 4.0 Management</i>, 2019."}},{"language":[{"iso":"eng"}],"_id":"22716","editor":[{"full_name":"Jain, K.","first_name":"K.","last_name":"Jain"},{"last_name":"Sangle","first_name":"S.","full_name":"Sangle, S."},{"full_name":"Gupta, R.","first_name":"R.","last_name":"Gupta"},{"first_name":"J.","last_name":"Persis","full_name":"Persis, J."},{"first_name":"R.","last_name":"Mukundan","full_name":"Mukundan, R."}],"user_id":"21240","author":[{"full_name":"Wortmann, Fabio","first_name":"Fabio","last_name":"Wortmann"},{"full_name":"Joppen, Robert","last_name":"Joppen","first_name":"Robert"},{"full_name":"Drewel, Marvin","last_name":"Drewel","first_name":"Marvin"},{"full_name":"Kühn, Arno","last_name":"Kühn","first_name":"Arno"},{"full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman","id":"16190"}],"status":"public","title":"Developing and Evaluating Concepts for a Digital Platform","year":"2019","date_updated":"2022-01-06T06:55:39Z","date_created":"2021-07-13T08:27:51Z","department":[{"_id":"563"}],"type":"conference","citation":{"ieee":"F. Wortmann, R. Joppen, M. Drewel, A. Kühn, and R. Dumitrescu, “Developing and Evaluating Concepts for a Digital Platform,” in <i>IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT</i>, 2019.","apa":"Wortmann, F., Joppen, R., Drewel, M., Kühn, A., &#38; Dumitrescu, R. (2019). Developing and Evaluating Concepts for a Digital Platform. In K. Jain, S. Sangle, R. Gupta, J. Persis, &#38; R. Mukundan (Eds.), <i>IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT</i>.","chicago":"Wortmann, Fabio, Robert Joppen, Marvin Drewel, Arno Kühn, and Roman Dumitrescu. “Developing and Evaluating Concepts for a Digital Platform.” In <i>IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT</i>, edited by K. Jain, S. Sangle, R. Gupta, J. Persis, and R. Mukundan, 2019.","short":"F. Wortmann, R. Joppen, M. Drewel, A. Kühn, R. Dumitrescu, in: K. Jain, S. Sangle, R. Gupta, J. Persis, R. Mukundan (Eds.), IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT, 2019.","mla":"Wortmann, Fabio, et al. “Developing and Evaluating Concepts for a Digital Platform.” <i>IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT</i>, edited by K. Jain et al., 2019.","bibtex":"@inproceedings{Wortmann_Joppen_Drewel_Kühn_Dumitrescu_2019, title={Developing and Evaluating Concepts for a Digital Platform}, booktitle={IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT}, author={Wortmann, Fabio and Joppen, Robert and Drewel, Marvin and Kühn, Arno and Dumitrescu, Roman}, editor={Jain, K. and Sangle, S. and Gupta, R. and Persis, J. and Mukundan, R.Editors}, year={2019} }","ama":"Wortmann F, Joppen R, Drewel M, Kühn A, Dumitrescu R. Developing and Evaluating Concepts for a Digital Platform. In: Jain K, Sangle S, Gupta R, Persis J, Mukundan R, eds. <i>IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT</i>. ; 2019."},"publication":"IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT"},{"user_id":"21240","_id":"22717","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:55:39Z","status":"public","year":"2019","title":"Competence-based Planning of Value Networks for Smart Services","author":[{"full_name":"Reinhold, Jannik","first_name":"Jannik","last_name":"Reinhold","id":"33669"},{"full_name":"Frank, Maximilian","last_name":"Frank","first_name":"Maximilian"},{"full_name":"Koldewey, Christian","orcid":"https://orcid.org/0000-0001-7992-6399","last_name":"Koldewey","first_name":"Christian","id":"43136"},{"id":"16190","full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu"},{"full_name":"Gausemeier, Jürgen","first_name":"Jürgen","last_name":"Gausemeier"}],"corporate_editor":["International Society for Professional Innovation Management (ISPIM)"],"type":"conference","department":[{"_id":"563"}],"date_created":"2021-07-13T09:22:42Z","abstract":[{"text":"Today's manufacturing industry is confronted with fundamental changes in value creation. The tension between the two megatrends of digitization and servitization leads to new hybrid market offerings, so-called smart services. Corresponding value networks fundamentally differ from traditional ones. Developing smart services requires new competences in young disciplines, while their provision requires new internal and external organizational structures or processes. To strengthen their competitive position, manufacturing companies need to adapt their value networks. However, the highly complex transformation of value crea-tion especially challenges small and medium-sized companies due to limited competences and resources. They must consider opening their boundaries and collaborating with partners. In this paper, we introduce a basic framework for planning smart services and present a methodology for competence-based plan-ning of value networks for smart services in three phases: Smart service analysis, competence analysis and value creation planning. The methodology is explained by an example from tooling machine industry.","lang":"eng"}],"publication":"Proceedings of the ISPIM Connects","citation":{"ama":"Reinhold J, Frank M, Koldewey C, Dumitrescu R, Gausemeier J. Competence-based Planning of Value Networks for Smart Services. In: International Society for Professional Innovation Management (ISPIM), ed. <i>Proceedings of the ISPIM Connects</i>. ; 2019.","bibtex":"@inproceedings{Reinhold_Frank_Koldewey_Dumitrescu_Gausemeier_2019, title={Competence-based Planning of Value Networks for Smart Services}, booktitle={Proceedings of the ISPIM Connects}, author={Reinhold, Jannik and Frank, Maximilian and Koldewey, Christian and Dumitrescu, Roman and Gausemeier, Jürgen}, editor={International Society for Professional Innovation Management (ISPIM)Editor}, year={2019} }","mla":"Reinhold, Jannik, et al. “Competence-Based Planning of Value Networks for Smart Services.” <i>Proceedings of the ISPIM Connects</i>, edited by International Society for Professional Innovation Management (ISPIM), 2019.","short":"J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, J. Gausemeier, in: International Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the ISPIM Connects, 2019.","chicago":"Reinhold, Jannik, Maximilian Frank, Christian Koldewey, Roman Dumitrescu, and Jürgen Gausemeier. “Competence-Based Planning of Value Networks for Smart Services.” In <i>Proceedings of the ISPIM Connects</i>, edited by International Society for Professional Innovation Management (ISPIM), 2019.","apa":"Reinhold, J., Frank, M., Koldewey, C., Dumitrescu, R., &#38; Gausemeier, J. (2019). Competence-based Planning of Value Networks for Smart Services. In International Society for Professional Innovation Management (ISPIM) (Ed.), <i>Proceedings of the ISPIM Connects</i>.","ieee":"J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, and J. Gausemeier, “Competence-based Planning of Value Networks for Smart Services,” in <i>Proceedings of the ISPIM Connects</i>, 2019."}},{"type":"conference","department":[{"_id":"563"}],"date_created":"2021-07-13T10:43:17Z","publication":" 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien","citation":{"ieee":"M. Bansmann, M. Foullois, D. Roeltgen, L. Wöste, and R. Dumitrescu, “Reference Architecture and Classification of technology-induced Scenarios of Digitized Work,” in <i> 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien</i>, 2019.","apa":"Bansmann, M., Foullois, M., Roeltgen, D., Wöste, L., &#38; Dumitrescu, R. (2019). Reference Architecture and Classification of technology-induced Scenarios of Digitized Work. In <i> 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien</i>.","short":"M. Bansmann, M. Foullois, D. Roeltgen, L. Wöste, R. Dumitrescu, in:  28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien, 2019.","chicago":"Bansmann, Michael, Marc Foullois, Daniel Roeltgen, Lars Wöste, and Roman Dumitrescu. “Reference Architecture and Classification of Technology-Induced Scenarios of Digitized Work.” In <i> 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien</i>, 2019.","mla":"Bansmann, Michael, et al. “Reference Architecture and Classification of Technology-Induced Scenarios of Digitized Work.” <i> 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien</i>, 2019.","bibtex":"@inproceedings{Bansmann_Foullois_Roeltgen_Wöste_Dumitrescu_2019, title={Reference Architecture and Classification of technology-induced Scenarios of Digitized Work}, booktitle={ 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien}, author={Bansmann, Michael and Foullois, Marc and Roeltgen, Daniel and Wöste, Lars and Dumitrescu, Roman}, year={2019} }","ama":"Bansmann M, Foullois M, Roeltgen D, Wöste L, Dumitrescu R. Reference Architecture and Classification of technology-induced Scenarios of Digitized Work. In: <i> 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien</i>. ; 2019."},"user_id":"21240","_id":"22721","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:55:39Z","status":"public","title":"Reference Architecture and Classification of technology-induced Scenarios of Digitized Work","year":"2019","author":[{"last_name":"Bansmann","first_name":"Michael","full_name":"Bansmann, Michael"},{"first_name":"Marc","last_name":"Foullois","full_name":"Foullois, Marc"},{"full_name":"Roeltgen, Daniel","first_name":"Daniel","last_name":"Roeltgen"},{"full_name":"Wöste, Lars","last_name":"Wöste","first_name":"Lars"},{"id":"16190","last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"}]}]