[{"author":[{"full_name":"Jochmaring, Moritz","last_name":"Jochmaring","first_name":"Moritz"}],"title":"A self stabilizing protocol for well-formed trees in hybrid networks","status":"public","year":"2020","date_updated":"2022-01-06T06:54:27Z","language":[{"iso":"eng"}],"_id":"20495","user_id":"15504","supervisor":[{"id":"20792","full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler"}],"citation":{"short":"M. Jochmaring, A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks, 2020.","chicago":"Jochmaring, Moritz. <i>A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks</i>, 2020.","ieee":"M. Jochmaring, <i>A self stabilizing protocol for well-formed trees in hybrid networks</i>. 2020.","apa":"Jochmaring, M. (2020). <i>A self stabilizing protocol for well-formed trees in hybrid networks</i>.","bibtex":"@book{Jochmaring_2020, title={A self stabilizing protocol for well-formed trees in hybrid networks}, author={Jochmaring, Moritz}, year={2020} }","ama":"Jochmaring M. <i>A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks</i>.; 2020.","mla":"Jochmaring, Moritz. <i>A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks</i>. 2020."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"5","name":"SFB 901 - Subproject A1"},{"name":"SFB 901 - Project Area A","_id":"2"}],"date_created":"2020-11-25T07:03:16Z","department":[{"_id":"79"}],"type":"mastersthesis"},{"publication":"Journal of Systems and Software","citation":{"short":"J. Geismann, E. Bodden, Journal of Systems and Software 169 (2020) 110697.","chicago":"Geismann, Johannes, and Eric Bodden. “A Systematic Literature Review of Model-Driven Security Engineering for Cyber–Physical Systems.” <i>Journal of Systems and Software</i> 169 (2020): 110697. <a href=\"https://doi.org/10.1016/j.jss.2020.110697\">https://doi.org/10.1016/j.jss.2020.110697</a>.","apa":"Geismann, J., &#38; Bodden, E. (2020). A systematic literature review of model-driven security engineering for cyber–physical systems. <i>Journal of Systems and Software</i>, <i>169</i>, 110697. <a href=\"https://doi.org/10.1016/j.jss.2020.110697\">https://doi.org/10.1016/j.jss.2020.110697</a>","ieee":"J. Geismann and E. Bodden, “A systematic literature review of model-driven security engineering for cyber–physical systems,” <i>Journal of Systems and Software</i>, vol. 169, p. 110697, 2020, doi: <a href=\"https://doi.org/10.1016/j.jss.2020.110697\">https://doi.org/10.1016/j.jss.2020.110697</a>.","ama":"Geismann J, Bodden E. A systematic literature review of model-driven security engineering for cyber–physical systems. <i>Journal of Systems and Software</i>. 2020;169:110697. doi:<a href=\"https://doi.org/10.1016/j.jss.2020.110697\">https://doi.org/10.1016/j.jss.2020.110697</a>","bibtex":"@article{Geismann_Bodden_2020, title={A systematic literature review of model-driven security engineering for cyber–physical systems}, volume={169}, DOI={<a href=\"https://doi.org/10.1016/j.jss.2020.110697\">https://doi.org/10.1016/j.jss.2020.110697</a>}, journal={Journal of Systems and Software}, author={Geismann, Johannes and Bodden, Eric}, year={2020}, pages={110697} }","mla":"Geismann, Johannes, and Eric Bodden. “A Systematic Literature Review of Model-Driven Security Engineering for Cyber–Physical Systems.” <i>Journal of Systems and Software</i>, vol. 169, 2020, p. 110697, doi:<a href=\"https://doi.org/10.1016/j.jss.2020.110697\">https://doi.org/10.1016/j.jss.2020.110697</a>."},"type":"journal_article","department":[{"_id":"76"}],"date_created":"2020-11-26T08:32:56Z","date_updated":"2022-01-06T06:54:29Z","intvolume":"       169","year":"2020","title":"A systematic literature review of model-driven security engineering for cyber–physical systems","status":"public","author":[{"id":"20063","full_name":"Geismann, Johannes","last_name":"Geismann","first_name":"Johannes","orcid":"https://orcid.org/0000-0003-2015-2047"},{"id":"59256","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric"}],"publication_identifier":{"issn":["0164-1212"]},"user_id":"5786","doi":"https://doi.org/10.1016/j.jss.2020.110697","volume":169,"page":"110697","_id":"20507","language":[{"iso":"eng"}]},{"publication":"2020 IEEE Computer Security Foundations Symposium (CSF)","citation":{"apa":"Fischer, A., Janneck, J., Kussmaul, J., Krätzschmar, N., Kerschbaum, F., &#38; Bodden, E. (2020). PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage. <i>2020 IEEE Computer Security Foundations Symposium (CSF)</i>.","ieee":"A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, and E. Bodden, “PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage,” 2020.","short":"A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, E. Bodden, in: 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.","chicago":"Fischer, Andreas, Jonas Janneck, Jörn Kussmaul, Nikolas Krätzschmar, Florian Kerschbaum, and Eric Bodden. “PASAPTO: Policy-Aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage.” In <i>2020 IEEE Computer Security Foundations Symposium (CSF)</i>, 2020.","mla":"Fischer, Andreas, et al. “PASAPTO: Policy-Aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage.” <i>2020 IEEE Computer Security Foundations Symposium (CSF)</i>, 2020.","ama":"Fischer A, Janneck J, Kussmaul J, Krätzschmar N, Kerschbaum F, Bodden E. PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage. In: <i>2020 IEEE Computer Security Foundations Symposium (CSF)</i>. ; 2020.","bibtex":"@inproceedings{Fischer_Janneck_Kussmaul_Krätzschmar_Kerschbaum_Bodden_2020, title={PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage}, booktitle={2020 IEEE Computer Security Foundations Symposium (CSF)}, author={Fischer, Andreas and Janneck, Jonas and Kussmaul, Jörn and Krätzschmar, Nikolas and Kerschbaum, Florian and Bodden, Eric}, year={2020} }"},"type":"conference","department":[{"_id":"76"}],"date_created":"2020-11-26T08:40:08Z","date_updated":"2022-01-06T06:54:29Z","year":"2020","status":"public","title":"PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage","author":[{"last_name":"Fischer","first_name":"Andreas","full_name":"Fischer, Andreas"},{"last_name":"Janneck","first_name":"Jonas","full_name":"Janneck, Jonas"},{"full_name":"Kussmaul, Jörn","last_name":"Kussmaul","first_name":"Jörn"},{"last_name":"Krätzschmar","first_name":"Nikolas","full_name":"Krätzschmar, Nikolas"},{"last_name":"Kerschbaum","first_name":"Florian","full_name":"Kerschbaum, Florian"},{"id":"59256","full_name":"Bodden, Eric","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden"}],"user_id":"5786","main_file_link":[{"url":"http://www.bodden.de/pubs/fjk+20pasapto.pdf"}],"_id":"20509","language":[{"iso":"eng"}]},{"publication":"Privacy Enhancing Technologies Symposium (PETS/PoPETS)","citation":{"ieee":"A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Dataflow Authentication,” 2020.","apa":"Fischer, A., Fuhry, B., Kerschbaum, F., &#38; Bodden, E. (2020). Computation on Encrypted Data using Dataflow Authentication. <i>Privacy Enhancing Technologies Symposium (PETS/PoPETS)</i>.","chicago":"Fischer, Andreas, Benny Fuhry, Florian Kerschbaum, and Eric Bodden. “Computation on Encrypted Data Using Dataflow Authentication.” In <i>Privacy Enhancing Technologies Symposium (PETS/PoPETS)</i>, 2020.","short":"A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, in: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.","mla":"Fischer, Andreas, et al. “Computation on Encrypted Data Using Dataflow Authentication.” <i>Privacy Enhancing Technologies Symposium (PETS/PoPETS)</i>, 2020.","bibtex":"@inproceedings{Fischer_Fuhry_Kerschbaum_Bodden_2020, title={Computation on Encrypted Data using Dataflow Authentication}, booktitle={Privacy Enhancing Technologies Symposium (PETS/PoPETS)}, author={Fischer, Andreas and Fuhry, Benny and Kerschbaum, Florian and Bodden, Eric}, year={2020} }","ama":"Fischer A, Fuhry B, Kerschbaum F, Bodden E. Computation on Encrypted Data using Dataflow Authentication. In: <i>Privacy Enhancing Technologies Symposium (PETS/PoPETS)</i>. ; 2020."},"type":"conference","department":[{"_id":"76"}],"date_created":"2020-11-26T08:50:59Z","date_updated":"2022-01-06T06:54:29Z","title":"Computation on Encrypted Data using Dataflow Authentication","status":"public","year":"2020","author":[{"full_name":"Fischer, Andreas","last_name":"Fischer","first_name":"Andreas"},{"full_name":"Fuhry, Benny","first_name":"Benny","last_name":"Fuhry"},{"full_name":"Kerschbaum, Florian","last_name":"Kerschbaum","first_name":"Florian"},{"full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","id":"59256"}],"user_id":"5786","main_file_link":[{"url":"http://www.bodden.de/pubs/ffk+20computation.pdf"}],"language":[{"iso":"eng"}],"_id":"20511"},{"type":"conference","department":[{"_id":"76"}],"date_created":"2020-11-26T08:51:01Z","related_material":{"link":[{"url":"http://www.bodden.de/pubs/krueger20cognicryptgen.pdf","relation":"confirmation"}]},"publication":"International Symposium on Code Generation and Optimization (CGO)","citation":{"short":"S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.","chicago":"Krüger, Stefan, Karim Ali, and Eric Bodden. “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs.” In <i>International Symposium on Code Generation and Optimization (CGO)</i>, 185–98, 2020.","ieee":"S. Krüger, K. Ali, and E. Bodden, “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs,” in <i>International Symposium on Code Generation and Optimization (CGO)</i>, 2020, pp. 185–198.","apa":"Krüger, S., Ali, K., &#38; Bodden, E. (2020). CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs. <i>International Symposium on Code Generation and Optimization (CGO)</i>, 185–198.","bibtex":"@inproceedings{Krüger_Ali_Bodden_2020, title={CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs}, booktitle={International Symposium on Code Generation and Optimization (CGO)}, author={Krüger, Stefan and Ali, Karim and Bodden, Eric}, year={2020}, pages={185–198} }","ama":"Krüger S, Ali K, Bodden E. CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs. In: <i>International Symposium on Code Generation and Optimization (CGO)</i>. ; 2020:185-198.","mla":"Krüger, Stefan, et al. “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs.” <i>International Symposium on Code Generation and Optimization (CGO)</i>, 2020, pp. 185–98."},"user_id":"5786","page":"185-198","_id":"20512","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:29Z","year":"2020","title":"CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs","status":"public","author":[{"full_name":"Krüger, Stefan","first_name":"Stefan","last_name":"Krüger"},{"full_name":"Ali, Karim","first_name":"Karim","last_name":"Ali"},{"full_name":"Bodden, Eric","last_name":"Bodden","first_name":"Eric"}]},{"user_id":"5786","main_file_link":[{"url":"https://digital.ub.uni-paderborn.de/hs/document/preview/3500836"}],"_id":"20513","publisher":"Universitaetsbibliothek Paderborn","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:29Z","title":"CogniCrypt -- The Secure Integration of Cryptographic Software","status":"public","year":"2020","author":[{"last_name":"Krüger","first_name":"Stefan","full_name":"Krüger, Stefan"}],"type":"dissertation","department":[{"_id":"76"}],"date_created":"2020-11-26T09:02:19Z","abstract":[{"lang":"ger","text":"Frühere Studien haben empirisch offenbart, dass Fehlbenutzungen von kryptographischen APIs in Softwareanwendungen weitverbreitet sind. Dies geschieht vor allem, weil Software-Entwickler_innen aufgrund schlechten API-Designs und fehlenden Kryptographiewissens Probleme bekommen, wenn sie versuchen kryptographische Features zu implementieren. Die Literatur liefert mehrere Ansätze und Vorschläge diese Probleme zu lösen, aber alle scheitern schlussendlich auf die eine oder andere Weise daran die Anforderungen der Entwickler_innenzu erfüllen. Das Resultat ist eine insgesamt lückenhafte Landschaft verschiedener nur wenigkomplementärer Ansätze.In dieser Arbeit adressieren wir das Problem kryptographischer Fehlbenutzungen systematischer durch CogniCrypt. CogniCrypt integriert verschiedene Arten von Tool Supportin einen gemeinsamen Ansatz, der Entwickler_innen davon befreit wissen zu müssen, wie diese APIs benutzt werden müssen. Zentral für unseren Ansatz ist CrySL, eine Beschreibungssprache,die die kognitive Lücke zwischen Kryptographie-Expert_innen und Software-Entwickler_innenüberbrückt. CrySL ermöglicht es Kryptographie-Expert_innen zu spezifizeren, wie die APIs,die sie bereitstellen, richtig benutzt werden. Wir haben einen Compiler für CrySL implementiert, der es erlaubt auf CrySL-Spezifikationen aufbauenden Tool Support zu entwickeln. Wir haben weiterhin die statische Analyse CogniCrypt_SAST und den Code-Generator CogniCrypt_GEN entwickelt. Schlussendlich haben wir CogniCrypt prototypisch implementiert und diesen Prototyp in einem kontrollierten Experiment evaluiert.\r\n"}],"supervisor":[{"id":"59256","full_name":"Bodden, Eric","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden"}],"citation":{"short":"S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.","chicago":"Krüger, Stefan. <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>. Universitaetsbibliothek Paderborn, 2020.","apa":"Krüger, S. (2020). <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>. Universitaetsbibliothek Paderborn.","ieee":"S. Krüger, <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>. Universitaetsbibliothek Paderborn, 2020.","ama":"Krüger S. <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>. Universitaetsbibliothek Paderborn; 2020.","bibtex":"@book{Krüger_2020, title={CogniCrypt -- The Secure Integration of Cryptographic Software}, publisher={Universitaetsbibliothek Paderborn}, author={Krüger, Stefan}, year={2020} }","mla":"Krüger, Stefan. <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>. Universitaetsbibliothek Paderborn, 2020."}},{"type":"conference","department":[{"_id":"66"},{"_id":"534"}],"date_created":"2020-11-26T09:22:23Z","publication":"ACM SIGWEB Newsletter","citation":{"ieee":"E. Yigitbas, “Model-driven engineering and usability evaluation of self-adaptive user interfaces,” in <i>ACM SIGWEB Newsletter</i>, 2020.","apa":"Yigitbas, E. (2020). Model-driven engineering and usability evaluation of self-adaptive user interfaces. In <i>ACM SIGWEB Newsletter</i>. ACM. <a href=\"https://doi.org/10.1145/3427478.3427480\">https://doi.org/10.1145/3427478.3427480</a>","short":"E. Yigitbas, in: ACM SIGWEB Newsletter, ACM, 2020.","chicago":"Yigitbas, Enes. “Model-Driven Engineering and Usability Evaluation of Self-Adaptive User Interfaces.” In <i>ACM SIGWEB Newsletter</i>. ACM, 2020. <a href=\"https://doi.org/10.1145/3427478.3427480\">https://doi.org/10.1145/3427478.3427480</a>.","mla":"Yigitbas, Enes. “Model-Driven Engineering and Usability Evaluation of Self-Adaptive User Interfaces.” <i>ACM SIGWEB Newsletter</i>, 2, ACM, 2020, doi:<a href=\"https://doi.org/10.1145/3427478.3427480\">https://doi.org/10.1145/3427478.3427480</a>.","bibtex":"@inproceedings{Yigitbas_2020, title={Model-driven engineering and usability evaluation of self-adaptive user interfaces}, DOI={<a href=\"https://doi.org/10.1145/3427478.3427480\">https://doi.org/10.1145/3427478.3427480</a>}, number={2}, booktitle={ACM SIGWEB Newsletter}, publisher={ACM}, author={Yigitbas, Enes}, year={2020} }","ama":"Yigitbas E. Model-driven engineering and usability evaluation of self-adaptive user interfaces. In: <i>ACM SIGWEB Newsletter</i>. ACM; 2020. doi:<a href=\"https://doi.org/10.1145/3427478.3427480\">https://doi.org/10.1145/3427478.3427480</a>"},"user_id":"8447","doi":"https://doi.org/10.1145/3427478.3427480","article_number":"2","language":[{"iso":"eng"}],"_id":"20514","publisher":"ACM","date_updated":"2022-01-06T06:54:29Z","year":"2020","title":"Model-driven engineering and usability evaluation of self-adaptive user interfaces","status":"public","author":[{"id":"8447","first_name":"Enes","orcid":"0000-0002-5967-833X","last_name":"Yigitbas","full_name":"Yigitbas, Enes"}]},{"author":[{"full_name":"Koch, Thorsten","last_name":"Koch","first_name":"Thorsten","id":"13616"},{"id":"3901","first_name":"Stefan","last_name":"Dziwok","orcid":"http://orcid.org/0000-0002-8679-6673","full_name":"Dziwok, Stefan"},{"full_name":"Holtmann, Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg","id":"3875"},{"id":"59256","full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric"}],"title":"Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers","status":"public","year":"2020","date_updated":"2022-01-06T06:54:29Z","_id":"20518","language":[{"iso":"eng"}],"publisher":"ACM","user_id":"5786","doi":"10.1145/3365438.3410946","citation":{"ama":"Koch T, Dziwok S, Holtmann J, Bodden E. Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. In: <i>ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)</i>. ACM; 2020. doi:<a href=\"https://doi.org/10.1145/3365438.3410946\">10.1145/3365438.3410946</a>","bibtex":"@inproceedings{Koch_Dziwok_Holtmann_Bodden_2020, title={Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers}, DOI={<a href=\"https://doi.org/10.1145/3365438.3410946\">10.1145/3365438.3410946</a>}, booktitle={ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)}, publisher={ACM}, author={Koch, Thorsten and Dziwok, Stefan and Holtmann, Jörg and Bodden, Eric}, year={2020} }","mla":"Koch, Thorsten, et al. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.” <i>ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)</i>, ACM, 2020, doi:<a href=\"https://doi.org/10.1145/3365438.3410946\">10.1145/3365438.3410946</a>.","chicago":"Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.” In <i>ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)</i>. ACM, 2020. <a href=\"https://doi.org/10.1145/3365438.3410946\">https://doi.org/10.1145/3365438.3410946</a>.","short":"T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.","apa":"Koch, T., Dziwok, S., Holtmann, J., &#38; Bodden, E. (2020). Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. <i>ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)</i>. <a href=\"https://doi.org/10.1145/3365438.3410946\">https://doi.org/10.1145/3365438.3410946</a>","ieee":"T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: <a href=\"https://doi.org/10.1145/3365438.3410946\">10.1145/3365438.3410946</a>."},"publication":"ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)","date_created":"2020-11-26T10:19:54Z","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"type":"conference"},{"doi":"10.17619/UNIPB/1-1033","user_id":"5786","_id":"20521","publisher":"Paderborn University","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:29Z","title":"Model-Driven Information Flow Security Engineering for Cyber-Physical Systems","status":"public","year":"2020","author":[{"full_name":"Gerking, Christopher","last_name":"Gerking","first_name":"Christopher"}],"type":"dissertation","department":[{"_id":"76"}],"date_created":"2020-11-26T10:37:17Z","supervisor":[{"orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric","id":"59256"}],"citation":{"mla":"Gerking, Christopher. <i>Model-Driven Information Flow Security Engineering for Cyber-Physical Systems</i>. Paderborn University, 2020, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1033\">10.17619/UNIPB/1-1033</a>.","bibtex":"@book{Gerking_2020, title={Model-Driven Information Flow Security Engineering for Cyber-Physical Systems}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-1033\">10.17619/UNIPB/1-1033</a>}, publisher={Paderborn University}, author={Gerking, Christopher}, year={2020} }","ama":"Gerking C. <i>Model-Driven Information Flow Security Engineering for Cyber-Physical Systems</i>. Paderborn University; 2020. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1033\">10.17619/UNIPB/1-1033</a>","ieee":"C. Gerking, <i>Model-Driven Information Flow Security Engineering for Cyber-Physical Systems</i>. Paderborn University, 2020.","apa":"Gerking, C. (2020). <i>Model-Driven Information Flow Security Engineering for Cyber-Physical Systems</i>. Paderborn University. <a href=\"https://doi.org/10.17619/UNIPB/1-1033\">https://doi.org/10.17619/UNIPB/1-1033</a>","chicago":"Gerking, Christopher. <i>Model-Driven Information Flow Security Engineering for Cyber-Physical Systems</i>. Paderborn University, 2020. <a href=\"https://doi.org/10.17619/UNIPB/1-1033\">https://doi.org/10.17619/UNIPB/1-1033</a>.","short":"C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, Paderborn University, 2020."}},{"date_updated":"2022-01-06T06:54:30Z","publication_status":"published","author":[{"full_name":"Reinhold, Jannik","last_name":"Reinhold","first_name":"Jannik","id":"33669"},{"id":"43136","full_name":"Koldewey, Christian","last_name":"Koldewey","orcid":"https://orcid.org/0000-0001-7992-6399","first_name":"Christian"},{"first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman","id":"16190"}],"year":"2020","title":"GEMINI-Modellierungssprache für Wertschöpfungssysteme","language":[{"iso":"ger"}],"main_file_link":[{"open_access":"1","url":"https://www.campus.de/e-books/business/management-unternehmensfuehrung/der_geschaeftsmodell_toolguide-16606.html"}],"publication":"Der Geschäftsmodell-Toolguide ","department":[{"_id":"563"}],"type":"book_chapter","date_created":"2020-12-01T14:23:53Z","status":"public","editor":[{"full_name":"Buchholz, Birgit","first_name":"Birgit","last_name":"Buchholz"},{"full_name":"Bürger, Matthias","first_name":"Matthias","last_name":"Bürger"}],"user_id":"43136","publisher":"Campus Verlag","_id":"20568","page":"52-56","citation":{"chicago":"Reinhold, Jannik, Christian Koldewey, and Roman Dumitrescu. “GEMINI-Modellierungssprache für Wertschöpfungssysteme.” In <i>Der Geschäftsmodell-Toolguide </i>, edited by Birgit Buchholz and Matthias Bürger, 52–56. Frankfurt am Main: Campus Verlag, 2020.","short":"J. Reinhold, C. Koldewey, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide , Campus Verlag, Frankfurt am Main, 2020, pp. 52–56.","ieee":"J. Reinhold, C. Koldewey, and R. Dumitrescu, “GEMINI-Modellierungssprache für Wertschöpfungssysteme,” in <i>Der Geschäftsmodell-Toolguide </i>, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 52–56.","apa":"Reinhold, J., Koldewey, C., &#38; Dumitrescu, R. (2020). GEMINI-Modellierungssprache für Wertschöpfungssysteme. In B. Buchholz &#38; M. Bürger (Eds.), <i>Der Geschäftsmodell-Toolguide </i> (pp. 52–56). Frankfurt am Main: Campus Verlag.","bibtex":"@inbook{Reinhold_Koldewey_Dumitrescu_2020, place={Frankfurt am Main}, title={GEMINI-Modellierungssprache für Wertschöpfungssysteme}, booktitle={Der Geschäftsmodell-Toolguide }, publisher={Campus Verlag}, author={Reinhold, Jannik and Koldewey, Christian and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={52–56} }","ama":"Reinhold J, Koldewey C, Dumitrescu R. GEMINI-Modellierungssprache für Wertschöpfungssysteme. In: Buchholz B, Bürger M, eds. <i>Der Geschäftsmodell-Toolguide </i>. Frankfurt am Main: Campus Verlag; 2020:52-56.","mla":"Reinhold, Jannik, et al. “GEMINI-Modellierungssprache für Wertschöpfungssysteme.” <i>Der Geschäftsmodell-Toolguide </i>, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 52–56."},"popular_science":"1","oa":"1","place":"Frankfurt am Main"},{"page":"61-66","_id":"20570","publisher":"Campus Verlag","user_id":"43136","editor":[{"first_name":"Birgit","last_name":"Buchholz","full_name":"Buchholz, Birgit"},{"full_name":"Bürger, Matthias","last_name":"Bürger","first_name":"Matthias"}],"status":"public","place":"Frankfurt am Main","oa":"1","popular_science":"1","citation":{"bibtex":"@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={GEMINI-Geschäftsmodellmuster-Kartenset}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={61–66} }","chicago":"Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “GEMINI-Geschäftsmodellmuster-Kartenset.” In <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, 61–66. Frankfurt am Main: Campus Verlag, 2020.","short":"C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 61–66.","ama":"Koldewey C, Reinhold J, Dumitrescu R. GEMINI-Geschäftsmodellmuster-Kartenset. In: Buchholz B, Bürger M, eds. <i>Der Geschäftsmodell-Toolguide</i>. Frankfurt am Main: Campus Verlag; 2020:61-66.","ieee":"C. Koldewey, J. Reinhold, and R. Dumitrescu, “GEMINI-Geschäftsmodellmuster-Kartenset,” in <i>Der Geschäftsmodell-Toolguide</i>, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 61–66.","mla":"Koldewey, Christian, et al. “GEMINI-Geschäftsmodellmuster-Kartenset.” <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 61–66.","apa":"Koldewey, C., Reinhold, J., &#38; Dumitrescu, R. (2020). GEMINI-Geschäftsmodellmuster-Kartenset. In B. Buchholz &#38; M. Bürger (Eds.), <i>Der Geschäftsmodell-Toolguide</i> (pp. 61–66). Frankfurt am Main: Campus Verlag."},"main_file_link":[{"open_access":"1","url":"https://www.campus.de/e-books/business/management-unternehmensfuehrung/der_geschaeftsmodell_toolguide-16606.html"}],"language":[{"iso":"ger"}],"year":"2020","title":"GEMINI-Geschäftsmodellmuster-Kartenset","author":[{"full_name":"Koldewey, Christian","last_name":"Koldewey","first_name":"Christian","orcid":"https://orcid.org/0000-0001-7992-6399","id":"43136"},{"first_name":"Jannik","last_name":"Reinhold","full_name":"Reinhold, Jannik","id":"33669"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu","id":"16190"}],"date_updated":"2022-01-06T06:54:30Z","publication_status":"published","date_created":"2020-12-01T14:26:07Z","type":"book_chapter","department":[{"_id":"563"}],"publication":"Der Geschäftsmodell-Toolguide"},{"citation":{"ieee":"C. Koldewey, J. Reinhold, and R. Dumitrescu, “Geschäftsmodellvalidierung,” in <i>Der Geschäftsmodell-Toolguide</i>, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 106–111.","apa":"Koldewey, C., Reinhold, J., &#38; Dumitrescu, R. (2020). Geschäftsmodellvalidierung. In B. Buchholz &#38; M. Bürger (Eds.), <i>Der Geschäftsmodell-Toolguide</i> (pp. 106–111). Frankfurt am Main: Campus Verlag.","short":"C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 106–111.","chicago":"Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “Geschäftsmodellvalidierung.” In <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, 106–11. Frankfurt am Main: Campus Verlag, 2020.","mla":"Koldewey, Christian, et al. “Geschäftsmodellvalidierung.” <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 106–11.","bibtex":"@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={Geschäftsmodellvalidierung}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={106–111} }","ama":"Koldewey C, Reinhold J, Dumitrescu R. Geschäftsmodellvalidierung. In: Buchholz B, Bürger M, eds. <i>Der Geschäftsmodell-Toolguide</i>. Frankfurt am Main: Campus Verlag; 2020:106-111."},"popular_science":"1","oa":"1","place":"Frankfurt am Main","status":"public","editor":[{"last_name":"Buchholz","first_name":"Birgit","full_name":"Buchholz, Birgit"},{"full_name":"Bürger, Matthias","first_name":"Matthias","last_name":"Bürger"}],"user_id":"43136","publisher":"Campus Verlag","_id":"20571","page":"106 - 111","publication":"Der Geschäftsmodell-Toolguide","department":[{"_id":"563"}],"type":"book_chapter","date_created":"2020-12-01T14:27:40Z","publication_status":"published","date_updated":"2022-01-06T06:54:30Z","author":[{"full_name":"Koldewey, Christian","orcid":"https://orcid.org/0000-0001-7992-6399","first_name":"Christian","last_name":"Koldewey","id":"43136"},{"id":"33669","full_name":"Reinhold, Jannik","first_name":"Jannik","last_name":"Reinhold"},{"first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman","id":"16190"}],"year":"2020","title":"Geschäftsmodellvalidierung","language":[{"iso":"ger"}],"main_file_link":[{"url":"https://www.campus.de/e-books/business/management-unternehmensfuehrung/der_geschaeftsmodell_toolguide-16606.html","open_access":"1"}]},{"status":"public","_id":"20573","publisher":"Campus Verlag","page":"138 - 143","editor":[{"last_name":"Buchholz","first_name":"Birgit","full_name":"Buchholz, Birgit"},{"first_name":"Matthias","last_name":"Bürger","full_name":"Bürger, Matthias"}],"user_id":"43136","citation":{"chicago":"Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “Geschäftsmodell-Roadmapping.” In <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, 138–43. Frankfurt am Main: Campus Verlag, 2020.","short":"C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 138–143.","ieee":"C. Koldewey, J. Reinhold, and R. Dumitrescu, “Geschäftsmodell-Roadmapping,” in <i>Der Geschäftsmodell-Toolguide</i>, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 138–143.","apa":"Koldewey, C., Reinhold, J., &#38; Dumitrescu, R. (2020). Geschäftsmodell-Roadmapping. In B. Buchholz &#38; M. Bürger (Eds.), <i>Der Geschäftsmodell-Toolguide</i> (pp. 138–143). Frankfurt am Main: Campus Verlag.","bibtex":"@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={Geschäftsmodell-Roadmapping}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={138–143} }","ama":"Koldewey C, Reinhold J, Dumitrescu R. Geschäftsmodell-Roadmapping. In: Buchholz B, Bürger M, eds. <i>Der Geschäftsmodell-Toolguide</i>. Frankfurt am Main: Campus Verlag; 2020:138-143.","mla":"Koldewey, Christian, et al. “Geschäftsmodell-Roadmapping.” <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 138–43."},"popular_science":"1","place":"Frankfurt am Main","oa":"1","author":[{"id":"43136","full_name":"Koldewey, Christian","first_name":"Christian","orcid":"https://orcid.org/0000-0001-7992-6399","last_name":"Koldewey"},{"full_name":"Reinhold, Jannik","last_name":"Reinhold","first_name":"Jannik","id":"33669"},{"id":"16190","full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu"}],"year":"2020","title":"Geschäftsmodell-Roadmapping","date_updated":"2022-01-06T06:54:30Z","publication_status":"published","language":[{"iso":"ger"}],"main_file_link":[{"open_access":"1","url":"https://www.campus.de/e-books/business/management-unternehmensfuehrung/der_geschaeftsmodell_toolguide-16606.html"}],"publication":"Der Geschäftsmodell-Toolguide","date_created":"2020-12-01T14:30:03Z","department":[{"_id":"563"}],"type":"book_chapter"},{"type":"conference","oa":"1","department":[{"_id":"54"}],"file":[{"creator":"cbj","date_created":"2020-12-11T12:48:48Z","date_updated":"2020-12-11T12:48:48Z","relation":"main_file","access_level":"open_access","file_size":115421,"file_name":"template.pdf","content_type":"application/pdf","file_id":"20702"}],"date_created":"2020-12-11T12:49:13Z","project":[{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"publication":"Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments","file_date_updated":"2020-12-11T12:48:48Z","citation":{"mla":"Boeddeker, Christoph, et al. “Towards a Speaker Diarization System for the CHiME 2020 Dinner Party Transcription.” <i>Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments</i>, 2020.","bibtex":"@inproceedings{Boeddeker_Cord-Landwehr_Heitkaemper_Zorila_Hayakawa_Li_Liu_Doddipatla_Haeb-Umbach_2020, title={Towards a speaker diarization system for the CHiME 2020 dinner party transcription}, booktitle={Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments}, author={Boeddeker, Christoph and Cord-Landwehr, Tobias and Heitkaemper, Jens and Zorila, Catalin and Hayakawa, Daichi and Li, Mohan and Liu, Min and Doddipatla, Rama and Haeb-Umbach, Reinhold}, year={2020} }","ama":"Boeddeker C, Cord-Landwehr T, Heitkaemper J, et al. Towards a speaker diarization system for the CHiME 2020 dinner party transcription. In: <i>Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments</i>. ; 2020.","ieee":"C. Boeddeker <i>et al.</i>, “Towards a speaker diarization system for the CHiME 2020 dinner party transcription,” in <i>Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments</i>, 2020.","apa":"Boeddeker, C., Cord-Landwehr, T., Heitkaemper, J., Zorila, C., Hayakawa, D., Li, M., … Haeb-Umbach, R. (2020). Towards a speaker diarization system for the CHiME 2020 dinner party transcription. In <i>Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments</i>.","short":"C. Boeddeker, T. Cord-Landwehr, J. Heitkaemper, C. Zorila, D. Hayakawa, M. Li, M. Liu, R. Doddipatla, R. Haeb-Umbach, in: Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments, 2020.","chicago":"Boeddeker, Christoph, Tobias Cord-Landwehr, Jens Heitkaemper, Catalin Zorila, Daichi Hayakawa, Mohan Li, Min Liu, Rama Doddipatla, and Reinhold Haeb-Umbach. “Towards a Speaker Diarization System for the CHiME 2020 Dinner Party Transcription.” In <i>Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments</i>, 2020."},"ddc":["000"],"user_id":"40767","_id":"20700","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:33Z","has_accepted_license":"1","year":"2020","title":"Towards a speaker diarization system for the CHiME 2020 dinner party transcription","status":"public","author":[{"id":"40767","full_name":"Boeddeker, Christoph","first_name":"Christoph","last_name":"Boeddeker"},{"full_name":"Cord-Landwehr, Tobias","first_name":"Tobias","last_name":"Cord-Landwehr","id":"44393"},{"id":"27643","full_name":"Heitkaemper, Jens","first_name":"Jens","last_name":"Heitkaemper"},{"first_name":"Catalin","last_name":"Zorila","full_name":"Zorila, Catalin"},{"full_name":"Hayakawa, Daichi","first_name":"Daichi","last_name":"Hayakawa"},{"full_name":"Li, Mohan","last_name":"Li","first_name":"Mohan"},{"full_name":"Liu, Min","first_name":"Min","last_name":"Liu"},{"full_name":"Doddipatla, Rama","first_name":"Rama","last_name":"Doddipatla"},{"last_name":"Haeb-Umbach","first_name":"Reinhold","full_name":"Haeb-Umbach, Reinhold","id":"242"}]},{"language":[{"iso":"eng"}],"_id":"20712","user_id":"477","ddc":["000"],"author":[{"full_name":"Schubert, Philipp","orcid":"0000-0002-8674-1859","first_name":"Philipp","last_name":"Schubert","id":"60543"},{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"},{"id":"66173","orcid":"0000-0001-9848-2017","first_name":"Ben","last_name":"Hermann","full_name":"Hermann, Ben"}],"year":"2020","title":"Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries","status":"public","has_accepted_license":"1","date_updated":"2022-01-06T06:54:34Z","date_created":"2020-12-14T07:44:11Z","file":[{"success":1,"content_type":"application/pdf","file_id":"20713","date_updated":"2020-12-14T07:39:07Z","relation":"main_file","access_level":"closed","file_size":683576,"file_name":"main.pdf","date_created":"2020-12-14T07:39:07Z","creator":"pdschbrt"}],"department":[{"_id":"76"}],"type":"report","citation":{"short":"P. Schubert, E. Bodden, B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.","chicago":"Schubert, Philipp, Eric Bodden, and Ben Hermann. <i>Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries</i>, 2020.","ieee":"P. Schubert, E. Bodden, and B. Hermann, <i>Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries</i>. 2020.","apa":"Schubert, P., Bodden, E., &#38; Hermann, B. (2020). <i>Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries</i>.","bibtex":"@book{Schubert_Bodden_Hermann_2020, title={Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries}, author={Schubert, Philipp and Bodden, Eric and Hermann, Ben}, year={2020} }","ama":"Schubert P, Bodden E, Hermann B. <i>Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries</i>.; 2020.","mla":"Schubert, Philipp, et al. <i>Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries</i>. 2020."},"file_date_updated":"2020-12-14T07:39:07Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B4","_id":"12"}]},{"publication":"Fifth Workshop on Approximate Computing (AxC 2020)","abstract":[{"lang":"eng","text":"On the circuit level, the design paradigm Approximate Computing seeks to trade off computational accuracy against a target metric, e.g., energy consumption. This trade-off is possible for many applications due to their inherent resiliency against inaccuracies.\r\nIn the past, several automated approximation frameworks have been presented, which either utilize designated approximation techniques or libraries to replace approximable circuit parts with inaccurate versions. The frameworks invoke a search algorithm to iteratively explore the search space of performance degraded circuits, and validate their quality individually. \r\nIn this paper, we propose to reverse this procedure. Rather than exploring the search space, we delineate the approximate parts of the search space which are guaranteed to lead to valid approximate circuits. Our methodology is supported by formal verification and independent of approximation techniques. Eventually, the user is provided with quality bounds of the individual approximable circuit parts. Consequently, our approach guarantees that any approximate circuit which implements these parts within the determined quality constraints satisfies the global quality constraints, superseding a subsequent quality verification.\r\nIn our experimental results, we present the runtimes of our approach."}],"date_created":"2020-12-15T15:13:49Z","file":[{"file_id":"20749","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2020-12-15T15:11:06Z","file_name":"witschen20_axc.pdf","file_size":250870,"access_level":"closed","date_created":"2020-12-15T15:11:06Z","creator":"witschen"}],"department":[{"_id":"78"}],"type":"preprint","author":[{"full_name":"Witschen, Linus Matthias","last_name":"Witschen","first_name":"Linus Matthias","id":"49051"},{"id":"3118","full_name":"Wiersema, Tobias","first_name":"Tobias","last_name":"Wiersema"},{"id":"398","first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco"}],"title":"Search Space Characterization for AxC Synthesis","year":"2020","publication_status":"accepted","date_updated":"2022-01-06T06:54:35Z","language":[{"iso":"eng"}],"citation":{"mla":"Witschen, Linus Matthias, et al. “Search Space Characterization for AxC Synthesis.” <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>.","bibtex":"@article{Witschen_Wiersema_Platzner, title={Search Space Characterization for AxC Synthesis}, journal={Fifth Workshop on Approximate Computing (AxC 2020)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco} }","ama":"Witschen LM, Wiersema T, Platzner M. Search Space Characterization for AxC Synthesis. <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>.","ieee":"L. M. Witschen, T. Wiersema, and M. Platzner, “Search Space Characterization for AxC Synthesis,” <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>. .","apa":"Witschen, L. M., Wiersema, T., &#38; Platzner, M. (n.d.). Search Space Characterization for AxC Synthesis. <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>.","short":"L.M. Witschen, T. Wiersema, M. Platzner, Fifth Workshop on Approximate Computing (AxC 2020) (n.d.).","chicago":"Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Search Space Characterization for AxC Synthesis.” <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>, n.d."},"file_date_updated":"2020-12-15T15:11:06Z","project":[{"_id":"12","name":"SFB 901 - Subproject B4"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"1","name":"SFB 901"}],"status":"public","has_accepted_license":"1","_id":"20748","page":"2","user_id":"3118","ddc":["000"]},{"language":[{"iso":"eng"}],"_id":"20750","user_id":"398","conference":{"end_date":"2020-12-11","start_date":"2020-12-09","name":"International Conference on Field Programmable Technology (ICFPT)"},"author":[{"id":"60323","full_name":"Lienen, Christian","last_name":"Lienen","first_name":"Christian"},{"full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner","id":"398"},{"full_name":"Rinner, Bernhard","first_name":"Bernhard","last_name":"Rinner"}],"title":"ReconROS: Flexible Hardware Acceleration for ROS2 Applications","status":"public","year":"2020","date_updated":"2022-01-06T06:54:35Z","date_created":"2020-12-16T05:20:01Z","department":[{"_id":"78"}],"type":"conference","citation":{"chicago":"Lienen, Christian, Marco Platzner, and Bernhard Rinner. “ReconROS: Flexible Hardware Acceleration for ROS2 Applications.” In <i>Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)</i>, 2020.","short":"C. Lienen, M. Platzner, B. Rinner, in: Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT), 2020.","apa":"Lienen, C., Platzner, M., &#38; Rinner, B. (2020). ReconROS: Flexible Hardware Acceleration for ROS2 Applications. In <i>Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)</i>.","ieee":"C. Lienen, M. Platzner, and B. Rinner, “ReconROS: Flexible Hardware Acceleration for ROS2 Applications,” in <i>Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)</i>, 2020.","ama":"Lienen C, Platzner M, Rinner B. ReconROS: Flexible Hardware Acceleration for ROS2 Applications. In: <i>Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)</i>. ; 2020.","bibtex":"@inproceedings{Lienen_Platzner_Rinner_2020, title={ReconROS: Flexible Hardware Acceleration for ROS2 Applications}, booktitle={Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)}, author={Lienen, Christian and Platzner, Marco and Rinner, Bernhard}, year={2020} }","mla":"Lienen, Christian, et al. “ReconROS: Flexible Hardware Acceleration for ROS2 Applications.” <i>Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)</i>, 2020."},"publication":"Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)"},{"_id":"20755","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","user_id":"23538","ddc":["000"],"status":"public","has_accepted_license":"1","external_id":{"arxiv":["2007.01191"]},"citation":{"bibtex":"@inproceedings{Feldmann_Hinnenthal_Scheideler_2020, title={Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs}, DOI={<a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2020.31\">10.4230/LIPIcs.OPODIS.2020.31</a>}, booktitle={Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)}, publisher={Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, author={Feldmann, Michael and Hinnenthal, Kristian and Scheideler, Christian}, year={2020} }","ama":"Feldmann M, Hinnenthal K, Scheideler C. Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs. In: <i>Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:<a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2020.31\">10.4230/LIPIcs.OPODIS.2020.31</a>","mla":"Feldmann, Michael, et al. “Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs.” <i>Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)</i>, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:<a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2020.31\">10.4230/LIPIcs.OPODIS.2020.31</a>.","chicago":"Feldmann, Michael, Kristian Hinnenthal, and Christian Scheideler. “Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs.” In <i>Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. <a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2020.31\">https://doi.org/10.4230/LIPIcs.OPODIS.2020.31</a>.","short":"M. Feldmann, K. Hinnenthal, C. Scheideler, in: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.","ieee":"M. Feldmann, K. Hinnenthal, and C. Scheideler, “Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs,” in <i>Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)</i>, 2020.","apa":"Feldmann, M., Hinnenthal, K., &#38; Scheideler, C. (2020). Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs. In <i>Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2020.31\">https://doi.org/10.4230/LIPIcs.OPODIS.2020.31</a>"},"file_date_updated":"2020-12-16T10:18:50Z","project":[{"name":"SFB 901 - Project Area A","_id":"2"},{"name":"SFB 901 - Subproject A1","_id":"5"},{"_id":"1","name":"SFB 901"}],"language":[{"iso":"eng"}],"doi":"10.4230/LIPIcs.OPODIS.2020.31","author":[{"id":"23538","full_name":"Feldmann, Michael","first_name":"Michael","last_name":"Feldmann"},{"first_name":"Kristian","last_name":"Hinnenthal","full_name":"Hinnenthal, Kristian","id":"32229"},{"full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler","id":"20792"}],"title":"Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs","year":"2020","date_updated":"2022-01-06T06:54:36Z","date_created":"2020-12-16T10:20:18Z","file":[{"content_type":"application/pdf","success":1,"file_id":"20756","file_size":867373,"access_level":"closed","file_name":"Fast_Hybrid_Network_Algorithms_for_Shortest_Paths_in_Sparse_Graphs.pdf","date_updated":"2020-12-16T10:18:50Z","relation":"main_file","date_created":"2020-12-16T10:18:50Z","creator":"mfeldma2"}],"department":[{"_id":"79"}],"type":"conference","publication":"Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)","abstract":[{"lang":"eng","text":"We consider the problem of computing shortest paths in \\emph{hybrid networks}, in which nodes can make use of different communication modes. For example, mobile phones may use ad-hoc connections via Bluetooth or Wi-Fi in addition to the cellular network to solve tasks more efficiently. Like in this case, the different communication modes may differ considerably in range, bandwidth, and flexibility. We build upon the model of Augustine et al. [SODA '20], which captures these differences by a \\emph{local} and a \\emph{global} mode. Specifically, the local edges model a fixed communication network in which $O(1)$ messages of size $O(\\log n)$ can be sent over every edge in each synchronous round. The global edges form a clique, but nodes are only allowed to send and receive a total of at most $O(\\log n)$ messages over global edges, which restricts the nodes to use these edges only very sparsely.\r\n\r\nWe demonstrate the power of hybrid networks by presenting algorithms to compute Single-Source Shortest Paths and the diameter very efficiently in \\emph{sparse graphs}. Specifically, we present exact $O(\\log n)$ time algorithms for cactus graphs (i.e., graphs in which each edge is contained in at most one cycle), and $3$-approximations for graphs that have at most $n + O(n^{1/3})$ edges and arboricity $O(\\log n)$. For these graph classes, our algorithms provide exponentially faster solutions than the best known algorithms for general graphs in this model.\r\nBeyond shortest paths, we also provide a variety of useful tools and techniques for hybrid networks, which may be of independent interest.\r\n"}]},{"type":"bachelorsthesis","department":[{"_id":"78"}],"date_created":"2020-12-21T13:59:55Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"82","name":"SFB 901 - Project Area T"},{"_id":"83","name":"SFB 901 -Subproject T1"}],"supervisor":[{"full_name":"Clausing, Lennart","last_name":"Clausing","first_name":"Lennart","orcid":"0000-0003-3789-6034","id":"74287"},{"id":"398","last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco"},{"id":"16153","full_name":"Plessl, Christian","last_name":"Plessl","orcid":"0000-0001-5728-9982","first_name":"Christian"}],"citation":{"bibtex":"@book{Thiele_2020, title={Implementing Machine Learning Functions as PYNQ FPGA Overlays}, author={Thiele, Simon}, year={2020} }","ama":"Thiele S. <i>Implementing Machine Learning Functions as PYNQ FPGA Overlays</i>.; 2020.","mla":"Thiele, Simon. <i>Implementing Machine Learning Functions as PYNQ FPGA Overlays</i>. 2020.","short":"S. Thiele, Implementing Machine Learning Functions as PYNQ FPGA Overlays, 2020.","chicago":"Thiele, Simon. <i>Implementing Machine Learning Functions as PYNQ FPGA Overlays</i>, 2020.","ieee":"S. Thiele, <i>Implementing Machine Learning Functions as PYNQ FPGA Overlays</i>. 2020.","apa":"Thiele, S. (2020). <i>Implementing Machine Learning Functions as PYNQ FPGA Overlays</i>."},"user_id":"74287","_id":"20820","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:40Z","title":"Implementing Machine Learning Functions as PYNQ FPGA Overlays","status":"public","year":"2020","author":[{"full_name":"Thiele, Simon","last_name":"Thiele","first_name":"Simon"}]},{"citation":{"short":"V. Jaganath, Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows, 2020.","chicago":"Jaganath, Vivek. <i>Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows</i>, 2020.","ieee":"V. Jaganath, <i>Extension and Evaluation of Python-based High-Level Synthesis Tool Flows</i>. 2020.","apa":"Jaganath, V. (2020). <i>Extension and Evaluation of Python-based High-Level Synthesis Tool Flows</i>.","bibtex":"@book{Jaganath_2020, title={Extension and Evaluation of Python-based High-Level Synthesis Tool Flows}, author={Jaganath, Vivek}, year={2020} }","ama":"Jaganath V. <i>Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows</i>.; 2020.","mla":"Jaganath, Vivek. <i>Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows</i>. 2020."},"supervisor":[{"first_name":"Lennart","last_name":"Clausing","orcid":"0000-0003-3789-6034","full_name":"Clausing, Lennart","id":"74287"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"},{"id":"16153","full_name":"Plessl, Christian","first_name":"Christian","last_name":"Plessl","orcid":"0000-0001-5728-9982"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area T","_id":"82"},{"_id":"83","name":"SFB 901 -Subproject T1"}],"date_created":"2020-12-21T14:02:42Z","type":"mastersthesis","department":[{"_id":"78"}],"title":"Extension and Evaluation of Python-based High-Level Synthesis Tool Flows","status":"public","year":"2020","author":[{"full_name":"Jaganath, Vivek","last_name":"Jaganath","first_name":"Vivek"}],"date_updated":"2022-01-06T06:54:40Z","language":[{"iso":"eng"}],"_id":"20821","user_id":"74287"}]