[{"citation":{"ama":"Ho N, Kaufmann P, Platzner M. Optimization of Application-specific L1 Cache Translation Functions of the LEON3 Processor. In: <i>World Congress on Nature and Biologically Inspired Computing (NaBIC)</i>. Advances in Nature and Biologically Inspired Computing. Springer; 2019.","bibtex":"@inproceedings{Ho_Kaufmann_Platzner_2019, series={Advances in Nature and Biologically Inspired Computing}, title={Optimization of Application-specific L1 Cache Translation Functions of the LEON3 Processor}, booktitle={World Congress on Nature and Biologically Inspired Computing (NaBIC)}, publisher={Springer}, author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2019}, collection={Advances in Nature and Biologically Inspired Computing} }","mla":"Ho, Nam, et al. “Optimization of Application-Specific L1 Cache Translation Functions of the LEON3 Processor.” <i>World Congress on Nature and Biologically Inspired Computing (NaBIC)</i>, Springer, 2019.","chicago":"Ho, Nam, Paul Kaufmann, and Marco Platzner. “Optimization of Application-Specific L1 Cache Translation Functions of the LEON3 Processor.” In <i>World Congress on Nature and Biologically Inspired Computing (NaBIC)</i>. Advances in Nature and Biologically Inspired Computing. Springer, 2019.","short":"N. Ho, P. Kaufmann, M. Platzner, in: World Congress on Nature and Biologically Inspired Computing (NaBIC), Springer, 2019.","apa":"Ho, N., Kaufmann, P., &#38; Platzner, M. (2019). Optimization of Application-specific L1 Cache Translation Functions of the LEON3 Processor. In <i>World Congress on Nature and Biologically Inspired Computing (NaBIC)</i>. Springer.","ieee":"N. Ho, P. Kaufmann, and M. Platzner, “Optimization of Application-specific L1 Cache Translation Functions of the LEON3 Processor,” in <i>World Congress on Nature and Biologically Inspired Computing (NaBIC)</i>, 2019."},"publication":"World Congress on Nature and Biologically Inspired Computing (NaBIC)","date_created":"2019-12-30T13:55:49Z","department":[{"_id":"78"}],"type":"conference","author":[{"full_name":"Ho, Nam","first_name":"Nam","last_name":"Ho"},{"full_name":"Kaufmann, Paul","first_name":"Paul","last_name":"Kaufmann"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"}],"year":"2019","status":"public","title":"Optimization of Application-specific L1 Cache Translation Functions of the LEON3 Processor","date_updated":"2022-01-06T06:52:25Z","publisher":"Springer","_id":"15422","language":[{"iso":"eng"}],"series_title":"Advances in Nature and Biologically Inspired Computing","user_id":"398"},{"department":[{"_id":"66"},{"_id":"534"}],"type":"dissertation","date_created":"2020-01-06T14:03:32Z","citation":{"mla":"Yigitbas, Enes. <i>Model-Driven Engineering of Self-Adaptive User Interfaces</i>. 2019.","ama":"Yigitbas E. <i>Model-Driven Engineering of Self-Adaptive User Interfaces</i>.; 2019.","bibtex":"@book{Yigitbas_2019, title={Model-Driven Engineering of Self-Adaptive User Interfaces}, author={Yigitbas, Enes}, year={2019} }","apa":"Yigitbas, E. (2019). <i>Model-Driven Engineering of Self-Adaptive User Interfaces</i>.","ieee":"E. Yigitbas, <i>Model-Driven Engineering of Self-Adaptive User Interfaces</i>. 2019.","chicago":"Yigitbas, Enes. <i>Model-Driven Engineering of Self-Adaptive User Interfaces</i>, 2019.","short":"E. Yigitbas, Model-Driven Engineering of Self-Adaptive User Interfaces, 2019."},"user_id":"8447","_id":"15430","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:25Z","author":[{"orcid":"0000-0002-5967-833X","last_name":"Yigitbas","first_name":"Enes","full_name":"Yigitbas, Enes","id":"8447"}],"status":"public","year":"2019","title":"Model-Driven Engineering of Self-Adaptive User Interfaces"},{"department":[{"_id":"27"},{"_id":"518"}],"type":"conference","date_created":"2020-01-09T12:54:48Z","file":[{"creator":"plessl","date_created":"2020-01-09T12:53:57Z","file_name":"gorlani19_fpt.pdf","access_level":"closed","file_size":250559,"relation":"main_file","date_updated":"2020-01-09T12:53:57Z","file_id":"15479","content_type":"application/pdf","success":1}],"abstract":[{"text":"Stratix 10 FPGA cards have a good potential for the acceleration of HPC workloads since the Stratix 10 product line introduces devices with a large number of DSP and memory blocks. The high level synthesis of OpenCL codes can play a fundamental role for FPGAs in HPC, because it allows to implement different designs with lower development effort compared to hand optimized HDL. However, Stratix 10 cards are still hard to fully exploit using the Intel FPGA SDK for OpenCL. The implementation of designs with thousands of concurrent arithmetic operations often suffers from place and route problems that limit the maximum frequency or entirely prevent a successful synthesis. In order to overcome these issues for the implementation of the matrix multiplication, we formulate Cannon's matrix multiplication algorithm with regard to its efficient synthesis within the FPGA logic. We obtain a two-level block algorithm, where the lower level sub-matrices are multiplied using our Cannon's algorithm implementation. Following this design approach with multiple compute units, we are able to get maximum frequencies close to and above 300 MHz with high utilization of DSP and memory blocks. This allows for performance results above 1 TeraFLOPS.","lang":"eng"}],"publication":"Proceedings of the International Conference on Field-Programmable Technology (FPT)","doi":"10.1109/ICFPT47387.2019.00020","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:26Z","author":[{"id":"72045","last_name":"Gorlani","first_name":"Paolo","full_name":"Gorlani, Paolo"},{"full_name":"Kenter, Tobias","last_name":"Kenter","first_name":"Tobias","id":"3145"},{"id":"16153","first_name":"Christian","last_name":"Plessl","orcid":"0000-0001-5728-9982","full_name":"Plessl, Christian"}],"year":"2019","title":"OpenCL Implementation of Cannon's Matrix Multiplication Algorithm on Intel Stratix 10 FPGAs","project":[{"name":"HighPerMeshes","grant_number":"01|H16005","_id":"33"},{"_id":"32","grant_number":"PL 595/2-1","name":"Performance and Efficiency in HPC with Custom Computing"}],"quality_controlled":"1","citation":{"mla":"Gorlani, Paolo, et al. “OpenCL Implementation of Cannon’s Matrix Multiplication Algorithm on Intel Stratix 10 FPGAs.” <i>Proceedings of the International Conference on Field-Programmable Technology (FPT)</i>, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/ICFPT47387.2019.00020\">10.1109/ICFPT47387.2019.00020</a>.","ama":"Gorlani P, Kenter T, Plessl C. OpenCL Implementation of Cannon’s Matrix Multiplication Algorithm on Intel Stratix 10 FPGAs. In: <i>Proceedings of the International Conference on Field-Programmable Technology (FPT)</i>. IEEE; 2019. doi:<a href=\"https://doi.org/10.1109/ICFPT47387.2019.00020\">10.1109/ICFPT47387.2019.00020</a>","bibtex":"@inproceedings{Gorlani_Kenter_Plessl_2019, title={OpenCL Implementation of Cannon’s Matrix Multiplication Algorithm on Intel Stratix 10 FPGAs}, DOI={<a href=\"https://doi.org/10.1109/ICFPT47387.2019.00020\">10.1109/ICFPT47387.2019.00020</a>}, booktitle={Proceedings of the International Conference on Field-Programmable Technology (FPT)}, publisher={IEEE}, author={Gorlani, Paolo and Kenter, Tobias and Plessl, Christian}, year={2019} }","apa":"Gorlani, P., Kenter, T., &#38; Plessl, C. (2019). OpenCL Implementation of Cannon’s Matrix Multiplication Algorithm on Intel Stratix 10 FPGAs. In <i>Proceedings of the International Conference on Field-Programmable Technology (FPT)</i>. IEEE. <a href=\"https://doi.org/10.1109/ICFPT47387.2019.00020\">https://doi.org/10.1109/ICFPT47387.2019.00020</a>","ieee":"P. Gorlani, T. Kenter, and C. Plessl, “OpenCL Implementation of Cannon’s Matrix Multiplication Algorithm on Intel Stratix 10 FPGAs,” in <i>Proceedings of the International Conference on Field-Programmable Technology (FPT)</i>, 2019.","short":"P. Gorlani, T. Kenter, C. Plessl, in: Proceedings of the International Conference on Field-Programmable Technology (FPT), IEEE, 2019.","chicago":"Gorlani, Paolo, Tobias Kenter, and Christian Plessl. “OpenCL Implementation of Cannon’s Matrix Multiplication Algorithm on Intel Stratix 10 FPGAs.” In <i>Proceedings of the International Conference on Field-Programmable Technology (FPT)</i>. IEEE, 2019. <a href=\"https://doi.org/10.1109/ICFPT47387.2019.00020\">https://doi.org/10.1109/ICFPT47387.2019.00020</a>."},"file_date_updated":"2020-01-09T12:53:57Z","user_id":"3145","ddc":["004"],"publisher":"IEEE","_id":"15478","has_accepted_license":"1","conference":{"name":"International Conference on Field-Programmable Technology (FPT)"},"status":"public"},{"doi":"10.1145/3304221.3325531","user_id":"21145","page":"261-262","_id":"15578","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:29Z","year":"2019","title":"Program Comprehension: Identifying Learning Trajectories for Novice Programmers","status":"public","author":[{"full_name":"Izu, Cruz","last_name":"Izu","first_name":"Cruz"},{"last_name":"Schulte","first_name":"Carsten","full_name":"Schulte, Carsten","id":"60311"},{"full_name":"Aggarwal, Ashish","first_name":"Ashish","last_name":"Aggarwal"},{"full_name":"I. Cutts, Quintin","last_name":"I. Cutts","first_name":"Quintin"},{"full_name":"Duran, Rodrigo","first_name":"Rodrigo","last_name":"Duran"},{"last_name":"Gutica","first_name":"Mirela","full_name":"Gutica, Mirela"},{"last_name":"Heinemann","first_name":"Birte","full_name":"Heinemann, Birte"},{"full_name":"Kraemer, Eileen","first_name":"Eileen","last_name":"Kraemer"},{"full_name":"Lonati, Violetta","first_name":"Violetta","last_name":"Lonati"},{"last_name":"Mirolo","first_name":"Claudio","full_name":"Mirolo, Claudio"},{"full_name":"Weeda, Renske","last_name":"Weeda","first_name":"Renske"}],"type":"conference","department":[{"_id":"67"}],"date_created":"2020-01-15T07:55:25Z","publication":"Proceedings of the 2019 (ACM) Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019","citation":{"short":"C. Izu, C. Schulte, A. Aggarwal, Q. I. Cutts, R. Duran, M. Gutica, B. Heinemann, E. Kraemer, V. Lonati, C. Mirolo, R. Weeda, in: Proceedings of the 2019 (ACM) Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019, 2019, pp. 261–262.","chicago":"Izu, Cruz, Carsten Schulte, Ashish Aggarwal, Quintin I. Cutts, Rodrigo Duran, Mirela Gutica, Birte Heinemann, et al. “Program Comprehension: Identifying Learning Trajectories for Novice Programmers.” In <i>Proceedings of the 2019 (ACM) Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019</i>, 261–62, 2019. <a href=\"https://doi.org/10.1145/3304221.3325531\">https://doi.org/10.1145/3304221.3325531</a>.","apa":"Izu, C., Schulte, C., Aggarwal, A., I. Cutts, Q., Duran, R., Gutica, M., … Weeda, R. (2019). Program Comprehension: Identifying Learning Trajectories for Novice Programmers. In <i>Proceedings of the 2019 (ACM) Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019</i> (pp. 261–262). <a href=\"https://doi.org/10.1145/3304221.3325531\">https://doi.org/10.1145/3304221.3325531</a>","ieee":"C. Izu <i>et al.</i>, “Program Comprehension: Identifying Learning Trajectories for Novice Programmers,” in <i>Proceedings of the 2019 (ACM) Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019</i>, 2019, pp. 261–262.","ama":"Izu C, Schulte C, Aggarwal A, et al. Program Comprehension: Identifying Learning Trajectories for Novice Programmers. In: <i>Proceedings of the 2019 (ACM) Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019</i>. ; 2019:261-262. doi:<a href=\"https://doi.org/10.1145/3304221.3325531\">10.1145/3304221.3325531</a>","bibtex":"@inproceedings{Izu_Schulte_Aggarwal_I. Cutts_Duran_Gutica_Heinemann_Kraemer_Lonati_Mirolo_et al._2019, title={Program Comprehension: Identifying Learning Trajectories for Novice Programmers}, DOI={<a href=\"https://doi.org/10.1145/3304221.3325531\">10.1145/3304221.3325531</a>}, booktitle={Proceedings of the 2019 (ACM) Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019}, author={Izu, Cruz and Schulte, Carsten and Aggarwal, Ashish and I. Cutts, Quintin and Duran, Rodrigo and Gutica, Mirela and Heinemann, Birte and Kraemer, Eileen and Lonati, Violetta and Mirolo, Claudio and et al.}, year={2019}, pages={261–262} }","mla":"Izu, Cruz, et al. “Program Comprehension: Identifying Learning Trajectories for Novice Programmers.” <i>Proceedings of the 2019 (ACM) Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019</i>, 2019, pp. 261–62, doi:<a href=\"https://doi.org/10.1145/3304221.3325531\">10.1145/3304221.3325531</a>."}},{"citation":{"short":"F. Kapp, C. Schulte, in: Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund, 2019, pp. 247–256.","chicago":"Kapp, Florian, and Carsten Schulte. “Einsatz von Jupyter Notebooks am Beispiel eines fiktiven Kriminalfalls.” In <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>, 247–56, 2019. <a href=\"https://doi.org/10.18420/infos2019-c10\">https://doi.org/10.18420/infos2019-c10</a>.","ieee":"F. Kapp and C. Schulte, “Einsatz von Jupyter Notebooks am Beispiel eines fiktiven Kriminalfalls,” in <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>, 2019, pp. 247–256.","apa":"Kapp, F., &#38; Schulte, C. (2019). Einsatz von Jupyter Notebooks am Beispiel eines fiktiven Kriminalfalls. In <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i> (pp. 247–256). <a href=\"https://doi.org/10.18420/infos2019-c10\">https://doi.org/10.18420/infos2019-c10</a>","bibtex":"@inproceedings{Kapp_Schulte_2019, title={Einsatz von Jupyter Notebooks am Beispiel eines fiktiven Kriminalfalls}, DOI={<a href=\"https://doi.org/10.18420/infos2019-c10\">10.18420/infos2019-c10</a>}, booktitle={Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund}, author={Kapp, Florian and Schulte, Carsten}, year={2019}, pages={247–256} }","ama":"Kapp F, Schulte C. Einsatz von Jupyter Notebooks am Beispiel eines fiktiven Kriminalfalls. In: <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>. ; 2019:247-256. doi:<a href=\"https://doi.org/10.18420/infos2019-c10\">10.18420/infos2019-c10</a>","mla":"Kapp, Florian, and Carsten Schulte. “Einsatz von Jupyter Notebooks am Beispiel eines fiktiven Kriminalfalls.” <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>, 2019, pp. 247–56, doi:<a href=\"https://doi.org/10.18420/infos2019-c10\">10.18420/infos2019-c10</a>."},"publication":"Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund","date_created":"2020-01-15T08:05:13Z","department":[{"_id":"67"}],"type":"conference","author":[{"last_name":"Kapp","first_name":"Florian","full_name":"Kapp, Florian"},{"id":"60311","full_name":"Schulte, Carsten","last_name":"Schulte","first_name":"Carsten"}],"status":"public","title":"Einsatz von Jupyter Notebooks am Beispiel eines fiktiven Kriminalfalls","year":"2019","date_updated":"2022-01-06T06:52:29Z","_id":"15579","language":[{"iso":"ger"}],"page":"247-256","user_id":"21145","doi":"10.18420/infos2019-c10"},{"citation":{"chicago":"Müller, Kathrin, Carsten Schulte, and Johannes Magenheim. “Zur Relevanz eines Prozessbereiches Interaktion und Exploration im Kontext informatischer Bildung im Primarbereich.” In <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>, 139–48, 2019. <a href=\"https://doi.org/10.18420/infos2019-b10\">https://doi.org/10.18420/infos2019-b10</a>.","ama":"Müller K, Schulte C, Magenheim J. Zur Relevanz eines Prozessbereiches Interaktion und Exploration im Kontext informatischer Bildung im Primarbereich. In: <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>. ; 2019:139-148. doi:<a href=\"https://doi.org/10.18420/infos2019-b10\">10.18420/infos2019-b10</a>","short":"K. Müller, C. Schulte, J. Magenheim, in: Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund, 2019, pp. 139–148.","bibtex":"@inproceedings{Müller_Schulte_Magenheim_2019, title={Zur Relevanz eines Prozessbereiches Interaktion und Exploration im Kontext informatischer Bildung im Primarbereich}, DOI={<a href=\"https://doi.org/10.18420/infos2019-b10\">10.18420/infos2019-b10</a>}, booktitle={Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund}, author={Müller, Kathrin and Schulte, Carsten and Magenheim, Johannes}, year={2019}, pages={139–148} }","mla":"Müller, Kathrin, et al. “Zur Relevanz eines Prozessbereiches Interaktion und Exploration im Kontext informatischer Bildung im Primarbereich.” <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>, 2019, pp. 139–48, doi:<a href=\"https://doi.org/10.18420/infos2019-b10\">10.18420/infos2019-b10</a>.","apa":"Müller, K., Schulte, C., &#38; Magenheim, J. (2019). Zur Relevanz eines Prozessbereiches Interaktion und Exploration im Kontext informatischer Bildung im Primarbereich. In <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i> (pp. 139–148). <a href=\"https://doi.org/10.18420/infos2019-b10\">https://doi.org/10.18420/infos2019-b10</a>","ieee":"K. Müller, C. Schulte, and J. Magenheim, “Zur Relevanz eines Prozessbereiches Interaktion und Exploration im Kontext informatischer Bildung im Primarbereich,” in <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>, 2019, pp. 139–148."},"publication":"Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund","date_created":"2020-01-15T08:34:49Z","department":[{"_id":"67"}],"type":"conference","author":[{"first_name":"Kathrin","last_name":"Müller","full_name":"Müller, Kathrin"},{"last_name":"Schulte","first_name":"Carsten","full_name":"Schulte, Carsten","id":"60311"},{"first_name":"Johannes","last_name":"Magenheim","full_name":"Magenheim, Johannes"}],"status":"public","title":"Zur Relevanz eines Prozessbereiches Interaktion und Exploration im Kontext informatischer Bildung im Primarbereich","year":"2019","date_updated":"2022-01-06T06:52:29Z","language":[{"iso":"ger"}],"_id":"15581","page":"139-148","user_id":"21145","doi":"10.18420/infos2019-b10"},{"date_created":"2020-01-15T08:43:51Z","department":[{"_id":"67"}],"type":"conference","citation":{"apa":"Schmidt, A.-K., &#38; Schulte, C. (2019). Das RetiBNE Café. In <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i> (pp. 315–324). <a href=\"https://doi.org/10.18420/infos2019-c17\">https://doi.org/10.18420/infos2019-c17</a>","ieee":"A.-K. Schmidt and C. Schulte, “Das RetiBNE Café,” in <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>, 2019, pp. 315–324.","chicago":"Schmidt, Ann-Katrin, and Carsten Schulte. “Das RetiBNE Café.” In <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>, 315–24, 2019. <a href=\"https://doi.org/10.18420/infos2019-c17\">https://doi.org/10.18420/infos2019-c17</a>.","short":"A.-K. Schmidt, C. Schulte, in: Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund, 2019, pp. 315–324.","mla":"Schmidt, Ann-Katrin, and Carsten Schulte. “Das RetiBNE Café.” <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>, 2019, pp. 315–24, doi:<a href=\"https://doi.org/10.18420/infos2019-c17\">10.18420/infos2019-c17</a>.","ama":"Schmidt A-K, Schulte C. Das RetiBNE Café. In: <i>Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund</i>. ; 2019:315-324. doi:<a href=\"https://doi.org/10.18420/infos2019-c17\">10.18420/infos2019-c17</a>","bibtex":"@inproceedings{Schmidt_Schulte_2019, title={Das RetiBNE Café}, DOI={<a href=\"https://doi.org/10.18420/infos2019-c17\">10.18420/infos2019-c17</a>}, booktitle={Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund}, author={Schmidt, Ann-Katrin and Schulte, Carsten}, year={2019}, pages={315–324} }"},"publication":"Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund","language":[{"iso":"ger"}],"_id":"15583","page":"315-324","user_id":"21145","doi":"10.18420/infos2019-c17","author":[{"last_name":"Schmidt","first_name":"Ann-Katrin","full_name":"Schmidt, Ann-Katrin"},{"id":"60311","full_name":"Schulte, Carsten","first_name":"Carsten","last_name":"Schulte"}],"status":"public","title":"Das RetiBNE Café","year":"2019","date_updated":"2022-01-06T06:52:30Z"},{"type":"conference","department":[{"_id":"67"}],"date_created":"2020-01-30T10:39:45Z","publication":"IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019","citation":{"ama":"Wilke A, Magenheim J. Critical Incidents for Technology Enhanced Learning in Vocational Education and Training. In: <i>IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019</i>. ; 2019:892-899. doi:<a href=\"https://doi.org/10.1109/EDUCON.2019.8725025\">10.1109/EDUCON.2019.8725025</a>","bibtex":"@inproceedings{Wilke_Magenheim_2019, title={Critical Incidents for Technology Enhanced Learning in Vocational Education and Training}, DOI={<a href=\"https://doi.org/10.1109/EDUCON.2019.8725025\">10.1109/EDUCON.2019.8725025</a>}, booktitle={IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019}, author={Wilke, Adrian and Magenheim, Johannes}, year={2019}, pages={892–899} }","mla":"Wilke, Adrian, and Johannes Magenheim. “Critical Incidents for Technology Enhanced Learning in Vocational Education and Training.” <i>IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019</i>, 2019, pp. 892–99, doi:<a href=\"https://doi.org/10.1109/EDUCON.2019.8725025\">10.1109/EDUCON.2019.8725025</a>.","short":"A. Wilke, J. Magenheim, in: IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019, 2019, pp. 892–899.","chicago":"Wilke, Adrian, and Johannes Magenheim. “Critical Incidents for Technology Enhanced Learning in Vocational Education and Training.” In <i>IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019</i>, 892–99, 2019. <a href=\"https://doi.org/10.1109/EDUCON.2019.8725025\">https://doi.org/10.1109/EDUCON.2019.8725025</a>.","apa":"Wilke, A., &#38; Magenheim, J. (2019). Critical Incidents for Technology Enhanced Learning in Vocational Education and Training. In <i>IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019</i> (pp. 892–899). <a href=\"https://doi.org/10.1109/EDUCON.2019.8725025\">https://doi.org/10.1109/EDUCON.2019.8725025</a>","ieee":"A. Wilke and J. Magenheim, “Critical Incidents for Technology Enhanced Learning in Vocational Education and Training,” in <i>IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019</i>, 2019, pp. 892–899."},"user_id":"21145","doi":"10.1109/EDUCON.2019.8725025","page":"892-899","_id":"15720","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:32Z","year":"2019","status":"public","title":"Critical Incidents for Technology Enhanced Learning in Vocational Education and Training","author":[{"last_name":"Wilke","first_name":"Adrian","orcid":"0000-0002-6575-807X","full_name":"Wilke, Adrian","id":"9101"},{"full_name":"Magenheim, Johannes","first_name":"Johannes","last_name":"Magenheim"}]},{"user_id":"21145","language":[{"iso":"eng"}],"_id":"15721","publisher":"Verlag Barbara Budrich","date_updated":"2022-01-06T06:52:32Z","status":"public","year":"2019","title":"Zieldimensionen für Multiplikatorinnen und Multiplikatoren früher MINT-Bildung","author":[{"last_name":"Köller","first_name":"Olaf","full_name":"Köller, Olaf"},{"first_name":"Johannes","last_name":"Magenheim","full_name":"Magenheim, Johannes"},{"full_name":"Molitor, Heike","last_name":"Molitor","first_name":"Heike"},{"full_name":"Pfenning, Uwe","first_name":"Uwe","last_name":"Pfenning"},{"last_name":"Ramseger","first_name":"J{\\","full_name":"Ramseger, J{\\"},{"full_name":"Steffensky, Mirjam","first_name":"Mirjam","last_name":"Steffensky"},{"full_name":"Wiesmüller, Christian","first_name":"Christian","last_name":"Wiesmüller"},{"full_name":"Winther, Esther","last_name":"Winther","first_name":"Esther"},{"last_name":"Wollring","first_name":"Bernd","full_name":"Wollring, Bernd"}],"type":"book","department":[{"_id":"67"}],"date_created":"2020-01-30T10:46:26Z","citation":{"ama":"Köller O, Magenheim J, Molitor H, et al. <i>Zieldimensionen Für Multiplikatorinnen Und Multiplikatoren Früher MINT-Bildung</i>. Verlag Barbara Budrich; 2019.","bibtex":"@book{Köller_Magenheim_Molitor_Pfenning_Ramseger_Steffensky_Wiesmüller_Winther_Wollring_2019, title={Zieldimensionen für Multiplikatorinnen und Multiplikatoren früher MINT-Bildung}, publisher={Verlag Barbara Budrich}, author={Köller, Olaf and Magenheim, Johannes and Molitor, Heike and Pfenning, Uwe and Ramseger, J{\\ and Steffensky, Mirjam and Wiesmüller, Christian and Winther, Esther and Wollring, Bernd}, year={2019} }","mla":"Köller, Olaf, et al. <i>Zieldimensionen Für Multiplikatorinnen Und Multiplikatoren Früher MINT-Bildung</i>. Verlag Barbara Budrich, 2019.","short":"O. Köller, J. Magenheim, H. Molitor, U. Pfenning, J. Ramseger, M. Steffensky, C. Wiesmüller, E. Winther, B. Wollring, Zieldimensionen Für Multiplikatorinnen Und Multiplikatoren Früher MINT-Bildung, Verlag Barbara Budrich, 2019.","chicago":"Köller, Olaf, Johannes Magenheim, Heike Molitor, Uwe Pfenning, J{\\ Ramseger, Mirjam Steffensky, Christian Wiesmüller, Esther Winther, and Bernd Wollring. <i>Zieldimensionen Für Multiplikatorinnen Und Multiplikatoren Früher MINT-Bildung</i>. Verlag Barbara Budrich, 2019.","apa":"Köller, O., Magenheim, J., Molitor, H., Pfenning, U., Ramseger, J., Steffensky, M., … Wollring, B. (2019). <i>Zieldimensionen für Multiplikatorinnen und Multiplikatoren früher MINT-Bildung</i>. Verlag Barbara Budrich.","ieee":"O. Köller <i>et al.</i>, <i>Zieldimensionen für Multiplikatorinnen und Multiplikatoren früher MINT-Bildung</i>. Verlag Barbara Budrich, 2019."}},{"project":[{"_id":"24","name":"Netzgewahre Regelung & regelungsgewahre Netze"}],"quality_controlled":"1","citation":{"mla":"Leong, Alex S., et al. “Deep Reinforcement Learning for Wireless Sensor Scheduling in Cyber–Physical Systems.” <i>Automatica</i>, 108759, 2019, doi:<a href=\"https://doi.org/10.1016/j.automatica.2019.108759\">10.1016/j.automatica.2019.108759</a>.","bibtex":"@article{Leong_Ramaswamy_Quevedo_Karl_Shi_2019, title={Deep reinforcement learning for wireless sensor scheduling in cyber–physical systems}, DOI={<a href=\"https://doi.org/10.1016/j.automatica.2019.108759\">10.1016/j.automatica.2019.108759</a>}, number={108759}, journal={Automatica}, author={Leong, Alex S. and Ramaswamy, Arunselvan and Quevedo, Daniel E. and Karl, Holger and Shi, Ling}, year={2019} }","ama":"Leong AS, Ramaswamy A, Quevedo DE, Karl H, Shi L. Deep reinforcement learning for wireless sensor scheduling in cyber–physical systems. <i>Automatica</i>. 2019. doi:<a href=\"https://doi.org/10.1016/j.automatica.2019.108759\">10.1016/j.automatica.2019.108759</a>","ieee":"A. S. Leong, A. Ramaswamy, D. E. Quevedo, H. Karl, and L. Shi, “Deep reinforcement learning for wireless sensor scheduling in cyber–physical systems,” <i>Automatica</i>, 2019.","apa":"Leong, A. S., Ramaswamy, A., Quevedo, D. E., Karl, H., &#38; Shi, L. (2019). Deep reinforcement learning for wireless sensor scheduling in cyber–physical systems. <i>Automatica</i>. <a href=\"https://doi.org/10.1016/j.automatica.2019.108759\">https://doi.org/10.1016/j.automatica.2019.108759</a>","chicago":"Leong, Alex S., Arunselvan Ramaswamy, Daniel E. Quevedo, Holger Karl, and Ling Shi. “Deep Reinforcement Learning for Wireless Sensor Scheduling in Cyber–Physical Systems.” <i>Automatica</i>, 2019. <a href=\"https://doi.org/10.1016/j.automatica.2019.108759\">https://doi.org/10.1016/j.automatica.2019.108759</a>.","short":"A.S. Leong, A. Ramaswamy, D.E. Quevedo, H. Karl, L. Shi, Automatica (2019)."},"file_date_updated":"2020-01-31T15:57:50Z","has_accepted_license":"1","status":"public","ddc":["000"],"user_id":"126","_id":"15741","abstract":[{"text":"\r\nIn many cyber–physical systems, we encounter the problem of remote state estimation of geo- graphically distributed and remote physical processes. This paper studies the scheduling of sensor transmissions to estimate the states of multiple remote, dynamic processes. Information from the different sensors has to be transmitted to a central gateway over a wireless network for monitoring purposes, where typically fewer wireless channels are available than there are processes to be monitored. For effective estimation at the gateway, the sensors need to be scheduled appropriately, i.e., at each time instant one needs to decide which sensors have network access and which ones do not. To address this scheduling problem, we formulate an associated Markov decision process (MDP). This MDP is then solved using a Deep Q-Network, a recent deep reinforcement learning algorithm that is at once scalable and model-free. We compare our scheduling algorithm to popular scheduling algorithms such as round-robin and reduced-waiting-time, among others. Our algorithm is shown to significantly outperform these algorithms for many example scenario","lang":"eng"}],"publication":"Automatica","department":[{"_id":"7"},{"_id":"34"},{"_id":"3"},{"_id":"75"},{"_id":"57"}],"type":"journal_article","date_created":"2020-01-31T15:55:27Z","file":[{"date_created":"2020-01-31T15:57:50Z","creator":"hkarl","file_id":"15743","content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2020-01-31T15:57:50Z","file_name":"leoram20a.pdf","access_level":"closed","file_size":"675382"}],"date_updated":"2022-01-06T06:52:32Z","publication_status":"published","publication_identifier":{"issn":["0005-1098"]},"author":[{"last_name":"Leong","first_name":"Alex S.","full_name":"Leong, Alex S."},{"full_name":"Ramaswamy, Arunselvan","last_name":"Ramaswamy","first_name":"Arunselvan","orcid":"https://orcid.org/ 0000-0001-7547-8111","id":"66937"},{"last_name":"Quevedo","first_name":"Daniel E.","full_name":"Quevedo, Daniel E."},{"id":"126","full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl"},{"full_name":"Shi, Ling","first_name":"Ling","last_name":"Shi"}],"title":"Deep reinforcement learning for wireless sensor scheduling in cyber–physical systems","year":"2019","doi":"10.1016/j.automatica.2019.108759","language":[{"iso":"eng"}],"article_number":"108759"},{"user_id":"13703","_id":"15746","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:32Z","title":"Outsourced Decryption of Attribute-based Ciphertexts","year":"2019","status":"public","author":[{"last_name":"Otte","first_name":"Oliver","full_name":"Otte, Oliver"}],"type":"mastersthesis","department":[{"_id":"64"}],"date_created":"2020-02-03T09:43:19Z","citation":{"mla":"Otte, Oliver. <i>Outsourced Decryption of Attribute-Based Ciphertexts</i>. 2019.","ama":"Otte O. <i>Outsourced Decryption of Attribute-Based Ciphertexts</i>.; 2019.","bibtex":"@book{Otte_2019, title={Outsourced Decryption of Attribute-based Ciphertexts}, author={Otte, Oliver}, year={2019} }","apa":"Otte, O. (2019). <i>Outsourced Decryption of Attribute-based Ciphertexts</i>.","ieee":"O. Otte, <i>Outsourced Decryption of Attribute-based Ciphertexts</i>. 2019.","short":"O. Otte, Outsourced Decryption of Attribute-Based Ciphertexts, 2019.","chicago":"Otte, Oliver. <i>Outsourced Decryption of Attribute-Based Ciphertexts</i>, 2019."}},{"title":"On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model","year":"2019","status":"public","author":[{"full_name":"Wördenweber, Nico Christof","first_name":"Nico Christof","last_name":"Wördenweber"}],"date_updated":"2022-01-06T06:52:32Z","_id":"15747","language":[{"iso":"eng"}],"user_id":"13703","citation":{"ieee":"N. C. Wördenweber, <i>On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model</i>. 2019.","apa":"Wördenweber, N. C. (2019). <i>On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model</i>.","mla":"Wördenweber, Nico Christof. <i>On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model</i>. 2019.","bibtex":"@book{Wördenweber_2019, title={On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model}, author={Wördenweber, Nico Christof}, year={2019} }","ama":"Wördenweber NC. <i>On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model</i>.; 2019.","short":"N.C. Wördenweber, On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model, 2019.","chicago":"Wördenweber, Nico Christof. <i>On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model</i>, 2019."},"date_created":"2020-02-03T09:45:01Z","type":"bachelorsthesis","department":[{"_id":"64"}]},{"year":"2019","title":"Experimentelle Untersuchung des SEM-Algorithmus","status":"public","author":[{"first_name":"Matthias","last_name":"Leutnant","full_name":"Leutnant, Matthias"}],"date_updated":"2022-01-06T06:52:37Z","_id":"15819","language":[{"iso":"eng"}],"user_id":"13291","supervisor":[{"id":"23","first_name":"Johannes","last_name":"Blömer","full_name":"Blömer, Johannes"}],"citation":{"ama":"Leutnant M. <i>Experimentelle Untersuchung Des SEM-Algorithmus</i>.; 2019.","bibtex":"@book{Leutnant_2019, title={Experimentelle Untersuchung des SEM-Algorithmus}, author={Leutnant, Matthias}, year={2019} }","mla":"Leutnant, Matthias. <i>Experimentelle Untersuchung Des SEM-Algorithmus</i>. 2019.","chicago":"Leutnant, Matthias. <i>Experimentelle Untersuchung Des SEM-Algorithmus</i>, 2019.","short":"M. Leutnant, Experimentelle Untersuchung Des SEM-Algorithmus, 2019.","apa":"Leutnant, M. (2019). <i>Experimentelle Untersuchung des SEM-Algorithmus</i>.","ieee":"M. Leutnant, <i>Experimentelle Untersuchung des SEM-Algorithmus</i>. 2019."},"date_created":"2020-02-06T08:51:51Z","type":"bachelorsthesis","department":[{"_id":"64"}]},{"title":"Android App Merging for Benchmark Speed-Up and Analysis Lift-Up","year":"2019","author":[{"id":"22398","last_name":"Pauck","first_name":"Felix","full_name":"Pauck, Felix"},{"last_name":"Zhang","first_name":"Shikun","full_name":"Zhang, Shikun"}],"publication_identifier":{"isbn":["9781728141367"]},"publication_status":"published","date_updated":"2022-01-06T06:52:38Z","language":[{"iso":"eng"}],"doi":"10.1109/asew.2019.00019","publication":"2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)","abstract":[{"lang":"eng","text":"In the field of software analysis a trade-off between scalability and accuracy always exists. In this respect, Android app analysis is no exception, in particular, analyzing large or many apps can be challenging. Dealing with many small apps is a typical challenge when facing micro-benchmarks such as DROIDBENCH or ICC-BENCH. These particular benchmarks are not only used for the evaluation of novel tools but also in continuous integration pipelines of existing mature tools to maintain and guarantee a certain quality-level. Considering this latter usage it becomes very important to be able to achieve benchmark results as fast as possible. Hence, benchmarks have to be optimized for this purpose. One approach to do so is app merging. We implemented the Android Merge Tool (AMT) following this approach and show that its novel aspects can be used to produce scaled up and accurate benchmarks. For such benchmarks Android app analysis tools do not suffer from the scalability-accuracy trade-off anymore. We show this throughout detailed experiments on DROIDBENCH employing three different analysis tools (AMANDROID, ICCTA, FLOWDROID). Benchmark execution times are largely reduced without losing benchmark accuracy. Moreover, we argue why AMT is an advantageous successor of the state-of-the-art app merging tool (APKCOMBINER) in analysis lift-up scenarios."}],"file":[{"date_created":"2020-02-06T17:09:45Z","creator":"fpauck","file_id":"15839","content_type":"application/pdf","relation":"main_file","date_updated":"2020-02-06T17:09:45Z","file_name":"AMT_final.pdf","access_level":"closed","file_size":644517}],"date_created":"2020-02-06T17:06:51Z","type":"conference","keyword":["Program Analysis","Android App Analysis","Taint Analysis","App Merging","Benchmark"],"department":[{"_id":"77"}],"status":"public","has_accepted_license":"1","_id":"15838","user_id":"477","ddc":["004"],"file_date_updated":"2020-02-06T17:09:45Z","citation":{"chicago":"Pauck, Felix, and Shikun Zhang. “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up.” In <i>2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)</i>, 2019. <a href=\"https://doi.org/10.1109/asew.2019.00019\">https://doi.org/10.1109/asew.2019.00019</a>.","short":"F. Pauck, S. Zhang, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.","ieee":"F. Pauck and S. Zhang, “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up,” in <i>2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)</i>, 2019.","apa":"Pauck, F., &#38; Zhang, S. (2019). Android App Merging for Benchmark Speed-Up and Analysis Lift-Up. In <i>2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)</i>. <a href=\"https://doi.org/10.1109/asew.2019.00019\">https://doi.org/10.1109/asew.2019.00019</a>","bibtex":"@inproceedings{Pauck_Zhang_2019, title={Android App Merging for Benchmark Speed-Up and Analysis Lift-Up}, DOI={<a href=\"https://doi.org/10.1109/asew.2019.00019\">10.1109/asew.2019.00019</a>}, booktitle={2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)}, author={Pauck, Felix and Zhang, Shikun}, year={2019} }","ama":"Pauck F, Zhang S. Android App Merging for Benchmark Speed-Up and Analysis Lift-Up. In: <i>2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)</i>. ; 2019. doi:<a href=\"https://doi.org/10.1109/asew.2019.00019\">10.1109/asew.2019.00019</a>","mla":"Pauck, Felix, and Shikun Zhang. “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up.” <i>2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)</i>, 2019, doi:<a href=\"https://doi.org/10.1109/asew.2019.00019\">10.1109/asew.2019.00019</a>."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - Subproject B4"}]},{"_id":"15883","language":[{"iso":"eng"}],"user_id":"61186","year":"2019","status":"public","title":"Incremental learning with Support Vector Machine on embedded platforms","author":[{"first_name":"Shankar","last_name":"Kumar Jeyakumar","full_name":"Kumar Jeyakumar, Shankar"}],"date_updated":"2022-01-06T06:52:39Z","date_created":"2020-02-11T16:43:38Z","type":"mastersthesis","department":[{"_id":"78"}],"supervisor":[{"last_name":"Ghasemzadeh Mohammadi","first_name":"Hassan","full_name":"Ghasemzadeh Mohammadi, Hassan","id":"61186"}],"citation":{"ama":"Kumar Jeyakumar S. <i>Incremental Learning with Support Vector Machine on Embedded Platforms</i>.; 2019.","bibtex":"@book{Kumar Jeyakumar_2019, title={Incremental learning with Support Vector Machine on embedded platforms}, author={Kumar Jeyakumar, Shankar}, year={2019} }","mla":"Kumar Jeyakumar, Shankar. <i>Incremental Learning with Support Vector Machine on Embedded Platforms</i>. 2019.","short":"S. Kumar Jeyakumar, Incremental Learning with Support Vector Machine on Embedded Platforms, 2019.","chicago":"Kumar Jeyakumar, Shankar. <i>Incremental Learning with Support Vector Machine on Embedded Platforms</i>, 2019.","apa":"Kumar Jeyakumar, S. (2019). <i>Incremental learning with Support Vector Machine on embedded platforms</i>.","ieee":"S. Kumar Jeyakumar, <i>Incremental learning with Support Vector Machine on embedded platforms</i>. 2019."}},{"type":"mastersthesis","department":[{"_id":"78"}],"date_created":"2020-02-17T12:03:40Z","abstract":[{"lang":"eng","text":"Secure hardware design is the most important aspect to be considered in addition to functional correctness. Achieving hardware security in today’s globalized Integrated Cir- cuit(IC) supply chain is a challenging task. One solution that is widely considered to help achieve secure hardware designs is Information Flow Tracking(IFT). It provides an ap- proach to verify that the systems adhere to security properties either by static verification during design phase or dynamic checking during runtime.\r\nProof-Carrying Hardware(PCH) is an approach to verify a functional design prior to using it in hardware. It is a two-party verification approach, where the target party, the consumer requests new functionalities with pre-defined properties to the producer. In response, the producer designs the IP (Intellectual Property) cores with the requested functionalities that adhere to the consumer-defined properties. The producer provides the IP cores and a proof certificate combined into a proof-carrying bitstream to the consumer to verify it. If the verification is successful, the consumer can use the IP cores in his hardware. In essence, the consumer can only run verified IP cores. Correctly applied, PCH techniques can help consumers to defend against many unintentional modifications and malicious alterations of the modules they receive. There are numerous published examples of how to use PCH to detect any change in the functionality of a circuit, i.e., pairing a PCH approach with functional equivalence checking for combinational or sequential circuits. For non-functional properties, since opening new covert channels to leak secret information from secure circuits is a viable attack vector for hardware trojans, i.e., intentionally added malicious circuitry, IFT technique is employed to make sure that secret/untrusted information never reaches any unclassified/trusted outputs.\r\nThis master thesis aims to explore the possibility of adapting Information Flow Tracking into a Proof-Carrying Hardware scenario. It aims to create a method that combines Infor- mation Flow Tracking(IFT) with a PCH approach at bitstream level enabling consumers to validate the trustworthiness of a module’s information flow without the computational costs of a complete flow analysis."}],"project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901","_id":"1"}],"supervisor":[{"id":"3118","first_name":"Tobias","last_name":"Wiersema","full_name":"Wiersema, Tobias"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"},{"full_name":"Hellebrand, Sybille","last_name":"Hellebrand","first_name":"Sybille","orcid":"0000-0002-3717-3939","id":"209"}],"citation":{"ama":"Keerthipati M. <i>A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking</i>. Universität Paderborn; 2019.","bibtex":"@book{Keerthipati_2019, title={A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking}, publisher={Universität Paderborn}, author={Keerthipati, Monica}, year={2019} }","mla":"Keerthipati, Monica. <i>A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking</i>. Universität Paderborn, 2019.","short":"M. Keerthipati, A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking, Universität Paderborn, 2019.","chicago":"Keerthipati, Monica. <i>A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking</i>. Universität Paderborn, 2019.","apa":"Keerthipati, M. (2019). <i>A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking</i>. Universität Paderborn.","ieee":"M. Keerthipati, <i>A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking</i>. Universität Paderborn, 2019."},"user_id":"477","_id":"15920","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:41Z","status":"public","title":"A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking","year":"2019","author":[{"full_name":"Keerthipati, Monica","last_name":"Keerthipati","first_name":"Monica"}]},{"citation":{"chicago":"Desouki, Abdelmoneim Amer, Michael Röder, and Axel-Cyrille Ngonga Ngomo. “Ranking on Very Large Knowledge Graphs.” In <i>Proceedings of the 30th ACM Conference on Hypertext and Social Media  - HT ’19</i>, 163–71. ACM, 2019. <a href=\"https://doi.org/10.1145/3342220.3343660\">https://doi.org/10.1145/3342220.3343660</a>.","ama":"Desouki AA, Röder M, Ngonga Ngomo A-C. Ranking on Very Large Knowledge Graphs. In: <i>Proceedings of the 30th ACM Conference on Hypertext and Social Media  - HT ’19</i>. ACM; 2019:163-171. doi:<a href=\"https://doi.org/10.1145/3342220.3343660\">10.1145/3342220.3343660</a>","short":"A.A. Desouki, M. Röder, A.-C. Ngonga Ngomo, in: Proceedings of the 30th ACM Conference on Hypertext and Social Media  - HT ’19, ACM, 2019, pp. 163–171.","bibtex":"@inproceedings{Desouki_Röder_Ngonga Ngomo_2019, title={Ranking on Very Large Knowledge Graphs}, DOI={<a href=\"https://doi.org/10.1145/3342220.3343660\">10.1145/3342220.3343660</a>}, booktitle={Proceedings of the 30th ACM Conference on Hypertext and Social Media  - HT ’19}, publisher={ACM}, author={Desouki, Abdelmoneim Amer and Röder, Michael and Ngonga Ngomo, Axel-Cyrille}, year={2019}, pages={163–171} }","apa":"Desouki, A. A., Röder, M., &#38; Ngonga Ngomo, A.-C. (2019). Ranking on Very Large Knowledge Graphs. In <i>Proceedings of the 30th ACM Conference on Hypertext and Social Media  - HT ’19</i> (pp. 163–171). ACM. <a href=\"https://doi.org/10.1145/3342220.3343660\">https://doi.org/10.1145/3342220.3343660</a>","mla":"Desouki, Abdelmoneim Amer, et al. “Ranking on Very Large Knowledge Graphs.” <i>Proceedings of the 30th ACM Conference on Hypertext and Social Media  - HT ’19</i>, ACM, 2019, pp. 163–71, doi:<a href=\"https://doi.org/10.1145/3342220.3343660\">10.1145/3342220.3343660</a>.","ieee":"A. A. Desouki, M. Röder, and A.-C. Ngonga Ngomo, “Ranking on Very Large Knowledge Graphs,” in <i>Proceedings of the 30th ACM Conference on Hypertext and Social Media  - HT ’19</i>, 2019, pp. 163–171."},"project":[{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"status":"public","conference":{"end_date":"2019-09-20","start_date":"2019-09-17","name":"30th ACM Conference on Hypertext and Social Media"},"page":"163-171","publisher":"ACM","_id":"15921","user_id":"69382","publication":"Proceedings of the 30th ACM Conference on Hypertext and Social Media  - HT '19","abstract":[{"text":"Ranking plays a central role in a large number of applications driven by RDF knowledge graphs. Over the last years, many popular RDF knowledge graphs have grown so large that rankings for the facts they contain cannot be computed directly using the currently common 64-bit platforms. In this paper, we tackle two problems:\r\nComputing ranks on such large knowledge bases efficiently and incrementally. First, we present D-HARE, a distributed approach for computing ranks on very large knowledge graphs. D-HARE assumes the random surfer model and relies on data partitioning to compute matrix multiplications and transpositions on disk for matrices of arbitrary size. Moreover, the data partitioning underlying D-HARE allows the execution of most of its steps in parallel.\r\nAs very large knowledge graphs are often updated periodically, we tackle the incremental computation of ranks on large knowledge bases as a second problem. We address this problem by presenting\r\nI-HARE, an approximation technique for calculating the overall ranking scores of a knowledge without the need to recalculate the ranking from scratch at each new revision. We evaluate our approaches by calculating ranks on the 3 × 10^9 and 2.4 × 10^9 triples from Wikidata resp. LinkedGeoData. Our evaluation demonstrates\r\nthat D-HARE is the first holistic approach for computing ranks on very large RDF knowledge graphs. In addition, our incremental approach achieves a root mean squared error of less than 10E−7 in the best case. Both D-HARE\r\n and I-HARE are open-source and are available at: https://github.com/dice-group/incrementalHARE.\r\n","lang":"eng"}],"date_created":"2020-02-18T16:39:35Z","keyword":["Knowledge Graphs","Ranking","RDF"],"type":"conference","department":[{"_id":"574"}],"title":"Ranking on Very Large Knowledge Graphs","year":"2019","publication_identifier":{"isbn":["9781450368858"]},"author":[{"first_name":"Abdelmoneim Amer","last_name":"Desouki","full_name":"Desouki, Abdelmoneim Amer"},{"full_name":"Röder, Michael","first_name":"Michael","last_name":"Röder"},{"full_name":"Ngonga Ngomo, Axel-Cyrille","last_name":"Ngonga Ngomo","first_name":"Axel-Cyrille"}],"date_updated":"2022-01-06T06:52:41Z","publication_status":"published","language":[{"iso":"eng"}],"doi":"10.1145/3342220.3343660"},{"date_updated":"2022-01-06T06:52:03Z","status":"public","year":"2019","title":"Debiasing Vandalism Detection Models at Wikidata (Extended Abstract)","author":[{"id":"11871","full_name":"Heindorf, Stefan","orcid":"0000-0002-4525-6865","first_name":"Stefan","last_name":"Heindorf"},{"full_name":"Scholten, Yan","first_name":"Yan","last_name":"Scholten"},{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"full_name":"Potthast, Martin","last_name":"Potthast","first_name":"Martin"}],"doi":"10.18420/inf2019_48","user_id":"11871","page":"289-290","main_file_link":[{"url":"https://dl.gi.de/bitstream/handle/20.500.12116/24997/paper3_25.pdf","open_access":"1"}],"language":[{"iso":"eng"}],"_id":"14568","publication":"INFORMATIK","citation":{"mla":"Heindorf, Stefan, et al. “Debiasing Vandalism Detection Models at Wikidata (Extended Abstract).” <i>INFORMATIK</i>, 2019, pp. 289–90, doi:<a href=\"https://doi.org/10.18420/inf2019_48\">10.18420/inf2019_48</a>.","bibtex":"@inproceedings{Heindorf_Scholten_Engels_Potthast_2019, title={Debiasing Vandalism Detection Models at Wikidata (Extended Abstract)}, DOI={<a href=\"https://doi.org/10.18420/inf2019_48\">10.18420/inf2019_48</a>}, booktitle={INFORMATIK}, author={Heindorf, Stefan and Scholten, Yan and Engels, Gregor and Potthast, Martin}, year={2019}, pages={289–290} }","ama":"Heindorf S, Scholten Y, Engels G, Potthast M. Debiasing Vandalism Detection Models at Wikidata (Extended Abstract). In: <i>INFORMATIK</i>. ; 2019:289-290. doi:<a href=\"https://doi.org/10.18420/inf2019_48\">10.18420/inf2019_48</a>","ieee":"S. Heindorf, Y. Scholten, G. Engels, and M. Potthast, “Debiasing Vandalism Detection Models at Wikidata (Extended Abstract),” in <i>INFORMATIK</i>, 2019, pp. 289–290.","apa":"Heindorf, S., Scholten, Y., Engels, G., &#38; Potthast, M. (2019). Debiasing Vandalism Detection Models at Wikidata (Extended Abstract). In <i>INFORMATIK</i> (pp. 289–290). <a href=\"https://doi.org/10.18420/inf2019_48\">https://doi.org/10.18420/inf2019_48</a>","short":"S. Heindorf, Y. Scholten, G. Engels, M. Potthast, in: INFORMATIK, 2019, pp. 289–290.","chicago":"Heindorf, Stefan, Yan Scholten, Gregor Engels, and Martin Potthast. “Debiasing Vandalism Detection Models at Wikidata (Extended Abstract).” In <i>INFORMATIK</i>, 289–90, 2019. <a href=\"https://doi.org/10.18420/inf2019_48\">https://doi.org/10.18420/inf2019_48</a>."},"type":"conference","oa":"1","department":[{"_id":"66"}],"date_created":"2019-11-05T15:48:52Z"},{"user_id":"49154","doi":"10.1016/j.adhoc.2019.101975","_id":"14817","language":[{"iso":"eng"}],"article_number":"101975","publication_status":"published","date_updated":"2022-01-06T06:52:06Z","publication_identifier":{"issn":["1570-8705"]},"author":[{"id":"49154","first_name":"Christoph","last_name":"Sommer","orcid":"0000-0002-4336-7350","full_name":"Sommer, Christoph"},{"last_name":"Basagni","first_name":"Stefano","full_name":"Basagni, Stefano"}],"title":"Advances and novel applications of mobile wireless networking","year":"2019","status":"public","department":[{"_id":"589"}],"type":"journal_article","date_created":"2019-11-05T18:38:44Z","citation":{"ama":"Sommer C, Basagni S. Advances and novel applications of mobile wireless networking. <i>Ad Hoc Networks</i>. 2019. doi:<a href=\"https://doi.org/10.1016/j.adhoc.2019.101975\">10.1016/j.adhoc.2019.101975</a>","bibtex":"@article{Sommer_Basagni_2019, title={Advances and novel applications of mobile wireless networking}, DOI={<a href=\"https://doi.org/10.1016/j.adhoc.2019.101975\">10.1016/j.adhoc.2019.101975</a>}, number={101975}, journal={Ad Hoc Networks}, author={Sommer, Christoph and Basagni, Stefano}, year={2019} }","mla":"Sommer, Christoph, and Stefano Basagni. “Advances and Novel Applications of Mobile Wireless Networking.” <i>Ad Hoc Networks</i>, 101975, 2019, doi:<a href=\"https://doi.org/10.1016/j.adhoc.2019.101975\">10.1016/j.adhoc.2019.101975</a>.","short":"C. Sommer, S. Basagni, Ad Hoc Networks (2019).","chicago":"Sommer, Christoph, and Stefano Basagni. “Advances and Novel Applications of Mobile Wireless Networking.” <i>Ad Hoc Networks</i>, 2019. <a href=\"https://doi.org/10.1016/j.adhoc.2019.101975\">https://doi.org/10.1016/j.adhoc.2019.101975</a>.","apa":"Sommer, C., &#38; Basagni, S. (2019). Advances and novel applications of mobile wireless networking. <i>Ad Hoc Networks</i>. <a href=\"https://doi.org/10.1016/j.adhoc.2019.101975\">https://doi.org/10.1016/j.adhoc.2019.101975</a>","ieee":"C. Sommer and S. Basagni, “Advances and novel applications of mobile wireless networking,” <i>Ad Hoc Networks</i>, 2019."},"publication":"Ad Hoc Networks"},{"language":[{"iso":"eng"}],"_id":"14819","doi":"10.1109/wowmom.2019.8793008","user_id":"49154","author":[{"full_name":"Heinovski, Julian","first_name":"Julian","last_name":"Heinovski"},{"first_name":"Lukas","last_name":"Stratmann","full_name":"Stratmann, Lukas"},{"full_name":"Buse, Dominik S.","first_name":"Dominik S.","last_name":"Buse"},{"full_name":"Klingler, Florian","last_name":"Klingler","first_name":"Florian"},{"full_name":"Franke, Mario","first_name":"Mario","last_name":"Franke"},{"full_name":"Oczko, Marie-Christin H.","last_name":"Oczko","first_name":"Marie-Christin H."},{"full_name":"Sommer, Christoph","first_name":"Christoph","orcid":"0000-0002-4336-7350","last_name":"Sommer","id":"49154"},{"full_name":"Scharlau, Ingrid","first_name":"Ingrid","last_name":"Scharlau"},{"full_name":"Dressler, Falko","last_name":"Dressler","first_name":"Falko"}],"publication_identifier":{"isbn":["9781728102702"]},"title":"Modeling Cycling Behavior to Improve Bicyclists' Safety at Intersections - A Networking Perspective","status":"public","year":"2019","date_updated":"2022-01-06T06:52:06Z","publication_status":"published","date_created":"2019-11-05T18:38:48Z","department":[{"_id":"589"}],"type":"conference","citation":{"bibtex":"@inproceedings{Heinovski_Stratmann_Buse_Klingler_Franke_Oczko_Sommer_Scharlau_Dressler_2019, title={Modeling Cycling Behavior to Improve Bicyclists’ Safety at Intersections - A Networking Perspective}, DOI={<a href=\"https://doi.org/10.1109/wowmom.2019.8793008\">10.1109/wowmom.2019.8793008</a>}, booktitle={2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM)}, author={Heinovski, Julian and Stratmann, Lukas and Buse, Dominik S. and Klingler, Florian and Franke, Mario and Oczko, Marie-Christin H. and Sommer, Christoph and Scharlau, Ingrid and Dressler, Falko}, year={2019} }","ama":"Heinovski J, Stratmann L, Buse DS, et al. Modeling Cycling Behavior to Improve Bicyclists’ Safety at Intersections - A Networking Perspective. In: <i>2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM)</i>. ; 2019. doi:<a href=\"https://doi.org/10.1109/wowmom.2019.8793008\">10.1109/wowmom.2019.8793008</a>","mla":"Heinovski, Julian, et al. “Modeling Cycling Behavior to Improve Bicyclists’ Safety at Intersections - A Networking Perspective.” <i>2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM)</i>, 2019, doi:<a href=\"https://doi.org/10.1109/wowmom.2019.8793008\">10.1109/wowmom.2019.8793008</a>.","chicago":"Heinovski, Julian, Lukas Stratmann, Dominik S. Buse, Florian Klingler, Mario Franke, Marie-Christin H. Oczko, Christoph Sommer, Ingrid Scharlau, and Falko Dressler. “Modeling Cycling Behavior to Improve Bicyclists’ Safety at Intersections - A Networking Perspective.” In <i>2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM)</i>, 2019. <a href=\"https://doi.org/10.1109/wowmom.2019.8793008\">https://doi.org/10.1109/wowmom.2019.8793008</a>.","short":"J. Heinovski, L. Stratmann, D.S. Buse, F. Klingler, M. Franke, M.-C.H. Oczko, C. Sommer, I. Scharlau, F. Dressler, in: 2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM), 2019.","ieee":"J. Heinovski <i>et al.</i>, “Modeling Cycling Behavior to Improve Bicyclists’ Safety at Intersections - A Networking Perspective,” in <i>2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM)</i>, 2019.","apa":"Heinovski, J., Stratmann, L., Buse, D. S., Klingler, F., Franke, M., Oczko, M.-C. H., … Dressler, F. (2019). Modeling Cycling Behavior to Improve Bicyclists’ Safety at Intersections - A Networking Perspective. In <i>2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM)</i>. <a href=\"https://doi.org/10.1109/wowmom.2019.8793008\">https://doi.org/10.1109/wowmom.2019.8793008</a>"},"publication":"2019 IEEE 20th International Symposium on \"A World of Wireless, Mobile and Multimedia Networks\" (WoWMoM)"}]