[{"title":"One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography","date_updated":"2022-01-06T06:58:58Z","date_created":"2018-06-07T09:23:49Z","author":[{"first_name":"Tibor","last_name":"Jager","full_name":"Jager, Tibor","id":"64669"},{"last_name":"Paterson","full_name":"Paterson, Kenneth G.","first_name":"Kenneth G."},{"first_name":"Juraj","full_name":"Somorovsky, Juraj","last_name":"Somorovsky"}],"year":"2013","citation":{"short":"T. Jager, K.G. Paterson, J. Somorovsky, in: 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013, 2013.","mla":"Jager, Tibor, et al. “One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography.” <i>20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013</i>, 2013.","bibtex":"@inproceedings{Jager_Paterson_Somorovsky_2013, title={One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography}, booktitle={20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013}, author={Jager, Tibor and Paterson, Kenneth G. and Somorovsky, Juraj}, year={2013} }","apa":"Jager, T., Paterson, K. G., &#38; Somorovsky, J. (2013). One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography. In <i>20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013</i>.","chicago":"Jager, Tibor, Kenneth G. Paterson, and Juraj Somorovsky. “One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography.” In <i>20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013</i>, 2013.","ieee":"T. Jager, K. G. Paterson, and J. Somorovsky, “One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography,” in <i>20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013</i>, 2013.","ama":"Jager T, Paterson KG, Somorovsky J. One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography. In: <i>20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013</i>. ; 2013."},"extern":"1","_id":"3131","user_id":"38235","department":[{"_id":"558"}],"status":"public","type":"conference","publication":"20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013"},{"citation":{"short":"T. Isenberg, D. Steenken, H. Wehrheim, in: D. Beyer, M. Boreale (Eds.), Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, 2013, pp. 178--192.","mla":"Isenberg, Tobias, et al. “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving.” <i>Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings</i>, edited by Dirk Beyer and Michele Boreale, 2013, pp. 178--192, doi:<a href=\"https://doi.org/10.1007/978-3-642-38592-6_13\">10.1007/978-3-642-38592-6_13</a>.","bibtex":"@inproceedings{Isenberg_Steenken_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={Bounded Model Checking of Graph Transformation Systems via {SMT} Solving}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-38592-6_13\">10.1007/978-3-642-38592-6_13</a>}, booktitle={Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings}, author={Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike}, editor={Beyer, Dirk and Boreale, MicheleEditors}, year={2013}, pages={178--192}, collection={Lecture Notes in Computer Science} }","apa":"Isenberg, T., Steenken, D., &#38; Wehrheim, H. (2013). Bounded Model Checking of Graph Transformation Systems via {SMT} Solving. In D. Beyer &#38; M. Boreale (Eds.), <i>Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings</i> (pp. 178--192). <a href=\"https://doi.org/10.1007/978-3-642-38592-6_13\">https://doi.org/10.1007/978-3-642-38592-6_13</a>","ama":"Isenberg T, Steenken D, Wehrheim H. Bounded Model Checking of Graph Transformation Systems via {SMT} Solving. In: Beyer D, Boreale M, eds. <i>Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings</i>. Lecture Notes in Computer Science. ; 2013:178--192. doi:<a href=\"https://doi.org/10.1007/978-3-642-38592-6_13\">10.1007/978-3-642-38592-6_13</a>","chicago":"Isenberg, Tobias, Dominik Steenken, and Heike Wehrheim. “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving.” In <i>Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings</i>, edited by Dirk Beyer and Michele Boreale, 178--192. Lecture Notes in Computer Science, 2013. <a href=\"https://doi.org/10.1007/978-3-642-38592-6_13\">https://doi.org/10.1007/978-3-642-38592-6_13</a>.","ieee":"T. Isenberg, D. Steenken, and H. Wehrheim, “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving,” in <i>Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings</i>, 2013, pp. 178--192."},"page":"178--192","year":"2013","author":[{"full_name":"Isenberg, Tobias","last_name":"Isenberg","first_name":"Tobias"},{"first_name":"Dominik","full_name":"Steenken, Dominik","last_name":"Steenken"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-13T08:08:39Z","date_updated":"2022-01-06T06:59:02Z","doi":"10.1007/978-3-642-38592-6_13","title":"Bounded Model Checking of Graph Transformation Systems via {SMT} Solving","type":"conference","publication":"Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings","status":"public","editor":[{"first_name":"Dirk","last_name":"Beyer","full_name":"Beyer, Dirk"},{"first_name":"Michele","full_name":"Boreale, Michele","last_name":"Boreale"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"_id":"3176"},{"status":"public","editor":[{"full_name":"Bertacco, Valeria","last_name":"Bertacco","first_name":"Valeria"},{"full_name":"Legay, Axel","last_name":"Legay","first_name":"Axel"}],"publication":"Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings","type":"conference","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"3177","page":"311--326","citation":{"ieee":"O. Travkin, A. Mütze, and H. Wehrheim, “{SPIN} as a Linearizability Checker under Weak Memory Models,” in <i>Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings</i>, 2013, pp. 311--326.","chicago":"Travkin, Oleg, Annika Mütze, and Heike Wehrheim. “{SPIN} as a Linearizability Checker under Weak Memory Models.” In <i>Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings</i>, edited by Valeria Bertacco and Axel Legay, 311--326. Lecture Notes in Computer Science, 2013. <a href=\"https://doi.org/10.1007/978-3-319-03077-7_21\">https://doi.org/10.1007/978-3-319-03077-7_21</a>.","ama":"Travkin O, Mütze A, Wehrheim H. {SPIN} as a Linearizability Checker under Weak Memory Models. In: Bertacco V, Legay A, eds. <i>Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings</i>. Lecture Notes in Computer Science. ; 2013:311--326. doi:<a href=\"https://doi.org/10.1007/978-3-319-03077-7_21\">10.1007/978-3-319-03077-7_21</a>","short":"O. Travkin, A. Mütze, H. Wehrheim, in: V. Bertacco, A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.","bibtex":"@inproceedings{Travkin_Mütze_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={{SPIN} as a Linearizability Checker under Weak Memory Models}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-03077-7_21\">10.1007/978-3-319-03077-7_21</a>}, booktitle={Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings}, author={Travkin, Oleg and Mütze, Annika and Wehrheim, Heike}, editor={Bertacco, Valeria and Legay, AxelEditors}, year={2013}, pages={311--326}, collection={Lecture Notes in Computer Science} }","mla":"Travkin, Oleg, et al. “{SPIN} as a Linearizability Checker under Weak Memory Models.” <i>Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings</i>, edited by Valeria Bertacco and Axel Legay, 2013, pp. 311--326, doi:<a href=\"https://doi.org/10.1007/978-3-319-03077-7_21\">10.1007/978-3-319-03077-7_21</a>.","apa":"Travkin, O., Mütze, A., &#38; Wehrheim, H. (2013). {SPIN} as a Linearizability Checker under Weak Memory Models. In V. Bertacco &#38; A. Legay (Eds.), <i>Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings</i> (pp. 311--326). <a href=\"https://doi.org/10.1007/978-3-319-03077-7_21\">https://doi.org/10.1007/978-3-319-03077-7_21</a>"},"year":"2013","doi":"10.1007/978-3-319-03077-7_21","title":"{SPIN} as a Linearizability Checker under Weak Memory Models","date_created":"2018-06-13T08:09:44Z","author":[{"full_name":"Travkin, Oleg","last_name":"Travkin","first_name":"Oleg"},{"first_name":"Annika","last_name":"Mütze","full_name":"Mütze, Annika"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:02Z"},{"editor":[{"full_name":"Liu, Zhiming","last_name":"Liu","first_name":"Zhiming"},{"full_name":"Woodcock, Jim","last_name":"Woodcock","first_name":"Jim"},{"last_name":"Zhu","full_name":"Zhu, Huibiao","first_name":"Huibiao"}],"status":"public","type":"conference","publication":"Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings","_id":"3178","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"year":"2013","citation":{"ama":"Dongol B, Travkin O, Derrick J, Wehrheim H. A High-Level Semantics for Program Execution under Total Store Order Memory. In: Liu Z, Woodcock J, Zhu H, eds. <i>Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i>. Lecture Notes in Computer Science. ; 2013:177--194. doi:<a href=\"https://doi.org/10.1007/978-3-642-39718-9_11\">10.1007/978-3-642-39718-9_11</a>","chicago":"Dongol, Brijesh, Oleg Travkin, John Derrick, and Heike Wehrheim. “A High-Level Semantics for Program Execution under Total Store Order Memory.” In <i>Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i>, edited by Zhiming Liu, Jim Woodcock, and Huibiao Zhu, 177--194. Lecture Notes in Computer Science, 2013. <a href=\"https://doi.org/10.1007/978-3-642-39718-9_11\">https://doi.org/10.1007/978-3-642-39718-9_11</a>.","ieee":"B. Dongol, O. Travkin, J. Derrick, and H. Wehrheim, “A High-Level Semantics for Program Execution under Total Store Order Memory,” in <i>Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i>, 2013, pp. 177--194.","bibtex":"@inproceedings{Dongol_Travkin_Derrick_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={A High-Level Semantics for Program Execution under Total Store Order Memory}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-39718-9_11\">10.1007/978-3-642-39718-9_11</a>}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, author={Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike}, editor={Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors}, year={2013}, pages={177--194}, collection={Lecture Notes in Computer Science} }","mla":"Dongol, Brijesh, et al. “A High-Level Semantics for Program Execution under Total Store Order Memory.” <i>Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i>, edited by Zhiming Liu et al., 2013, pp. 177--194, doi:<a href=\"https://doi.org/10.1007/978-3-642-39718-9_11\">10.1007/978-3-642-39718-9_11</a>.","short":"B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.","apa":"Dongol, B., Travkin, O., Derrick, J., &#38; Wehrheim, H. (2013). A High-Level Semantics for Program Execution under Total Store Order Memory. In Z. Liu, J. Woodcock, &#38; H. Zhu (Eds.), <i>Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings</i> (pp. 177--194). <a href=\"https://doi.org/10.1007/978-3-642-39718-9_11\">https://doi.org/10.1007/978-3-642-39718-9_11</a>"},"page":"177--194","title":"A High-Level Semantics for Program Execution under Total Store Order Memory","doi":"10.1007/978-3-642-39718-9_11","date_updated":"2022-01-06T06:59:02Z","date_created":"2018-06-13T08:13:31Z","author":[{"last_name":"Dongol","full_name":"Dongol, Brijesh","first_name":"Brijesh"},{"full_name":"Travkin, Oleg","last_name":"Travkin","first_name":"Oleg"},{"first_name":"John","full_name":"Derrick, John","last_name":"Derrick"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}]},{"page":"271--284","citation":{"ama":"Ziegert S, Wehrheim H. Temporal Reconfiguration Plans for Self-Adaptive Systems. In: Kowalewski S, Rumpe B, eds. <i>Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\\\"{a}}rz 2013 in Aachen</i>. {LNI}. ; 2013:271--284.","chicago":"Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans for Self-Adaptive Systems.” In <i>Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\\\"{a}}rz 2013 in Aachen</i>, edited by Stefan Kowalewski and Bernhard Rumpe, 271--284. {LNI}, 2013.","ieee":"S. Ziegert and H. Wehrheim, “Temporal Reconfiguration Plans for Self-Adaptive Systems,” in <i>Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\\\"{a}}rz 2013 in Aachen</i>, 2013, pp. 271--284.","apa":"Ziegert, S., &#38; Wehrheim, H. (2013). Temporal Reconfiguration Plans for Self-Adaptive Systems. In S. Kowalewski &#38; B. Rumpe (Eds.), <i>Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\\\"{a}}rz 2013 in Aachen</i> (pp. 271--284).","short":"S. Ziegert, H. Wehrheim, in: S. Kowalewski, B. Rumpe (Eds.), Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\\\"{a}}rz 2013 in Aachen, 2013, pp. 271--284.","bibtex":"@inproceedings{Ziegert_Wehrheim_2013, series={{LNI}}, title={Temporal Reconfiguration Plans for Self-Adaptive Systems}, booktitle={Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\\\"{a}}rz 2013 in Aachen}, author={Ziegert, Steffen and Wehrheim, Heike}, editor={Kowalewski, Stefan and Rumpe, BernhardEditors}, year={2013}, pages={271--284}, collection={{LNI}} }","mla":"Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans for Self-Adaptive Systems.” <i>Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\\\"{a}}rz 2013 in Aachen</i>, edited by Stefan Kowalewski and Bernhard Rumpe, 2013, pp. 271--284."},"year":"2013","title":"Temporal Reconfiguration Plans for Self-Adaptive Systems","date_created":"2018-06-13T08:15:08Z","author":[{"first_name":"Steffen","last_name":"Ziegert","full_name":"Ziegert, Steffen"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:02Z","status":"public","editor":[{"first_name":"Stefan","last_name":"Kowalewski","full_name":"Kowalewski, Stefan"},{"full_name":"Rumpe, Bernhard","last_name":"Rumpe","first_name":"Bernhard"}],"publication":"Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\\\"{a}}rz 2013 in Aachen","type":"conference","department":[{"_id":"77"}],"user_id":"29719","series_title":"{LNI}","_id":"3179"},{"type":"conference","status":"public","_id":"27054","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"year":"2013","intvolume":"       311","citation":{"short":"J. Gausemeier, M. Grafe, F. Meyer auf der Heide, in: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.","bibtex":"@inproceedings{Gausemeier_Grafe_Meyer auf der Heide_2013, title={11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung}, volume={311}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 }, author={Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm}, year={2013} }","mla":"Gausemeier, Jürgen, et al. <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.","apa":"Gausemeier, J., Grafe, M., &#38; Meyer auf der Heide, F. (2013). <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>. <i>311</i>.","ieee":"J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, “11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung,” 2013, vol. 311.","chicago":"Gausemeier, Jürgen, Michael Grafe, and Friedhelm Meyer auf der Heide. “11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung,” Vol. 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.","ama":"Gausemeier J, Grafe M, Meyer auf der Heide F. 11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung. In: Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 ; 2013."},"date_updated":"2022-01-06T06:57:33Z","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 ","volume":311,"date_created":"2021-11-02T10:53:04Z","author":[{"first_name":"Jürgen","full_name":"Gausemeier, Jürgen","last_name":"Gausemeier"},{"full_name":"Grafe, Michael","last_name":"Grafe","first_name":"Michael"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"}],"title":"11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung","conference":{"name":"18. - 19. Apr. 2013, Heinz Nixdorf Institut"}},{"_id":"27168","user_id":"71124","department":[{"_id":"71"}],"language":[{"iso":"eng"}],"type":"conference","status":"public","date_updated":"2022-01-06T06:57:35Z","publisher":"Society for Informatics","date_created":"2021-11-05T23:26:32Z","author":[{"first_name":"Reinhard","last_name":"Keil","full_name":"Keil, Reinhard"},{"full_name":"Winkelnkemper, Felix","id":"3117","last_name":"Winkelnkemper","first_name":"Felix"}],"title":"Approaches for an informational separation of powers in learning platforms","conference":{"end_date":"2013-09-11","name":" DeLFI 2013 - The 11th e-Learning Conference Computer Science,","start_date":"2013-09-08"},"publication_status":"published","year":"2013","citation":{"ama":"Keil R, Winkelnkemper F. Approaches for an informational separation of powers in learning platforms. In: Society for Informatics; 2013:131-142.","ieee":"R. Keil and F. Winkelnkemper, “Approaches for an informational separation of powers in learning platforms,” 2013, pp. 131–142.","chicago":"Keil, Reinhard, and Felix Winkelnkemper. “Approaches for an Informational Separation of Powers in Learning Platforms,” 131–42. Society for Informatics, 2013.","bibtex":"@inproceedings{Keil_Winkelnkemper_2013, title={Approaches for an informational separation of powers in learning platforms}, publisher={Society for Informatics}, author={Keil, Reinhard and Winkelnkemper, Felix}, year={2013}, pages={131–142} }","mla":"Keil, Reinhard, and Felix Winkelnkemper. <i>Approaches for an Informational Separation of Powers in Learning Platforms</i>. Society for Informatics, 2013, pp. 131–42.","short":"R. Keil, F. Winkelnkemper, in: Society for Informatics, 2013, pp. 131–142.","apa":"Keil, R., &#38; Winkelnkemper, F. (2013). <i>Approaches for an informational separation of powers in learning platforms</i>. 131–142."},"page":"131-142"},{"_id":"27169","department":[{"_id":"71"}],"user_id":"71124","language":[{"iso":"eng"}],"type":"conference","status":"public","date_updated":"2022-01-06T06:57:35Z","publisher":"German UPA","author":[{"last_name":"Fischer","full_name":"Fischer, Holger Gerhard","id":"30457","first_name":"Holger Gerhard"},{"full_name":"Geis, Thomas","last_name":"Geis","first_name":"Thomas"},{"first_name":"Rolf","full_name":" Molich, Rolf","last_name":" Molich"},{"first_name":"Oliver ","last_name":"Kluge","full_name":"Kluge, Oliver "},{"last_name":"Heimg{\\\"a}rtner","full_name":"Heimg{\\\"a}rtner,  R{\\\"u}diger","first_name":" R{\\\"u}diger"},{"full_name":"Hunkirchen,  Peter ","last_name":"Hunkirchen","first_name":" Peter "},{"full_name":"Polkehn, Knut","last_name":"Polkehn","first_name":"Knut"}],"date_created":"2021-11-05T23:34:47Z","title":"„Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\\\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA","publication_status":"published","year":"2013","page":"28-34","citation":{"bibtex":"@inproceedings{Fischer_Geis_ Molich_Kluge_Heimg{\\\"a}rtner_Hunkirchen_Polkehn_2013, title={„Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\\\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA}, publisher={German UPA}, author={Fischer, Holger Gerhard and Geis, Thomas and  Molich, Rolf and Kluge, Oliver  and Heimg{\\\"a}rtner,  R{\\\"u}diger and Hunkirchen,  Peter  and Polkehn, Knut}, year={2013}, pages={28–34} }","short":"H.G. Fischer, T. Geis, R.  Molich, O. Kluge,  R{\\\"u}diger Heimg{\\\"a}rtner,  Peter  Hunkirchen, K. Polkehn, in: German UPA, 2013, pp. 28–34.","mla":"Fischer, Holger Gerhard, et al. <i>„Do You Speak Usability?“ – Aktueller Stand Des Glossars Und Des Curriculums F{\\\"u}r Den „Certified Professional for Usability and User Experience (CPUX)“ Der German UPA</i>. German UPA, 2013, pp. 28–34.","apa":"Fischer, H. G., Geis, T.,  Molich, R., Kluge, O., Heimg{\\\"a}rtner,  R{\\\"u}diger, Hunkirchen,  Peter , &#38; Polkehn, K. (2013). <i>„Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\\\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA</i>. 28–34.","chicago":"Fischer, Holger Gerhard, Thomas Geis, Rolf  Molich, Oliver  Kluge,  R{\\\"u}diger Heimg{\\\"a}rtner,  Peter  Hunkirchen, and Knut Polkehn. “„Do You Speak Usability?“ – Aktueller Stand Des Glossars Und Des Curriculums F{\\\"u}r Den „Certified Professional for Usability and User Experience (CPUX)“ Der German UPA,” 28–34. German UPA, 2013.","ieee":"H. G. Fischer <i>et al.</i>, “„Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\\\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA,” 2013, pp. 28–34.","ama":"Fischer HG, Geis T,  Molich R, et al. „Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\\\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA. In: German UPA; 2013:28-34."}},{"status":"public","type":"dissertation","language":[{"iso":"eng"}],"department":[{"_id":"71"}],"user_id":"71124","_id":"27171","citation":{"ama":"K {\\ \"u} hnel B. <i>Contextual Tagging in the Coactive Knowledge Organization</i>. Heinz Nixdorf Institute, Universit {\\ \"a} t Paderborn; 2013.","ieee":"B. K {\\ \"u} hnel, <i>Contextual tagging in the coactive knowledge organization</i>. Universit {\\\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Heinz Nixdorf Institute, Universit {\\ \"a} t Paderborn, 2013.","chicago":"K {\\ \"u} hnel, Birger. <i>Contextual Tagging in the Coactive Knowledge Organization</i>. Universit {\\\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Heinz Nixdorf Institute, Universit {\\ \"a} t Paderborn, 2013.","apa":"K {\\ \"u} hnel, B. (2013). <i>Contextual tagging in the coactive knowledge organization</i>. Heinz Nixdorf Institute, Universit {\\ \"a} t Paderborn.","short":"B. K {\\ \"u} hnel, Contextual Tagging in the Coactive Knowledge Organization, Heinz Nixdorf Institute, Universit {\\ \"a} t Paderborn, Universit {\\\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2013.","bibtex":"@book{K {\\ \"u} hnel_2013, place={Universit {\\\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science}, title={Contextual tagging in the coactive knowledge organization}, publisher={Heinz Nixdorf Institute, Universit {\\ \"a} t Paderborn}, author={K {\\ \"u} hnel, Birger}, year={2013} }","mla":"K {\\ \"u} hnel, Birger. <i>Contextual Tagging in the Coactive Knowledge Organization</i>. Heinz Nixdorf Institute, Universit {\\ \"a} t Paderborn, 2013."},"year":"2013","place":"Universit {\\\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science","publication_status":"published","title":"Contextual tagging in the coactive knowledge organization","author":[{"first_name":"Birger","last_name":"K {\\ \"u} hnel","full_name":"K {\\ \"u} hnel, Birger"}],"date_created":"2021-11-05T23:37:26Z","date_updated":"2022-01-06T06:57:35Z","publisher":"Heinz Nixdorf Institute, Universit {\\ \"a} t Paderborn"},{"type":"conference","status":"public","_id":"27172","series_title":"LNCS 8012","user_id":"71124","department":[{"_id":"71"}],"language":[{"iso":"eng"}],"publication_status":"published","year":"2013","citation":{"apa":"Fischer, H. G., Strenge, B., &#38; Nebe,  Karsten. (2013). <i>Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design</i> (pp. 252–261). Springer Verlag.","short":"H.G. Fischer, B. Strenge,  Karsten Nebe, (2013) 252–261.","mla":"Fischer, Holger Gerhard, et al. <i>Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design</i>. Springer Verlag, 2013, pp. 252–61.","bibtex":"@article{Fischer_Strenge_Nebe_2013, series={LNCS 8012}, title={Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design}, publisher={Springer Verlag}, author={Fischer, Holger Gerhard and Strenge, Benjamin and Nebe,  Karsten}, year={2013}, pages={252–261}, collection={LNCS 8012} }","ama":"Fischer HG, Strenge B, Nebe  Karsten. Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design. Published online 2013:252-261.","chicago":"Fischer, Holger Gerhard, Benjamin Strenge, and  Karsten Nebe. “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.” LNCS 8012. Springer Verlag, 2013.","ieee":"H. G. Fischer, B. Strenge, and  Karsten Nebe, “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.” Springer Verlag, pp. 252–261, 2013."},"page":"252-261","publisher":"Springer Verlag","date_updated":"2022-01-06T06:57:35Z","author":[{"first_name":"Holger Gerhard","full_name":"Fischer, Holger Gerhard","id":"30457","last_name":"Fischer"},{"first_name":"Benjamin","full_name":"Strenge, Benjamin","last_name":"Strenge"},{"first_name":" Karsten","full_name":"Nebe,  Karsten","last_name":"Nebe"}],"date_created":"2021-11-05T23:42:55Z","title":"Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design"},{"language":[{"iso":"eng"}],"department":[{"_id":"71"}],"user_id":"71124","_id":"27173","status":"public","publication":"FIfF-Kommunikation","type":"journal_article","title":"Computer science and education - A struggle for creative sovereignty in society?","date_created":"2021-11-05T23:47:18Z","author":[{"last_name":"Keil","full_name":"Keil,  Reinhard","first_name":" Reinhard"},{"last_name":"Selke","full_name":"Selke, Harald","id":"497","first_name":"Harald"},{"last_name":"Winkelnkemper","id":"3117","full_name":"Winkelnkemper, Felix","first_name":"Felix"}],"date_updated":"2022-01-06T06:57:35Z","page":"61-65","citation":{"ama":"Keil  Reinhard, Selke H, Winkelnkemper F. Computer science and education - A struggle for creative sovereignty in society? <i>FIfF-Kommunikation</i>. Published online 2013:61-65.","chicago":"Keil,  Reinhard, Harald Selke, and Felix Winkelnkemper. “Computer Science and Education - A Struggle for Creative Sovereignty in Society?” <i>FIfF-Kommunikation</i>, 2013, 61–65.","ieee":"Reinhard Keil, H. Selke, and F. Winkelnkemper, “Computer science and education - A struggle for creative sovereignty in society?,” <i>FIfF-Kommunikation</i>, pp. 61–65, 2013.","apa":"Keil,  Reinhard, Selke, H., &#38; Winkelnkemper, F. (2013). Computer science and education - A struggle for creative sovereignty in society? <i>FIfF-Kommunikation</i>, 61–65.","mla":"Keil,  Reinhard, et al. “Computer Science and Education - A Struggle for Creative Sovereignty in Society?” <i>FIfF-Kommunikation</i>, 2013, pp. 61–65.","short":"Reinhard Keil, H. Selke, F. Winkelnkemper, FIfF-Kommunikation (2013) 61–65.","bibtex":"@article{Keil_Selke_Winkelnkemper_2013, title={Computer science and education - A struggle for creative sovereignty in society?}, journal={FIfF-Kommunikation}, author={Keil,  Reinhard and Selke, Harald and Winkelnkemper, Felix}, year={2013}, pages={61–65} }"},"year":"2013"},{"author":[{"first_name":"Reinhard","full_name":"Keil, Reinhard","last_name":"Keil"}],"date_created":"2021-11-05T23:49:41Z","date_updated":"2022-01-06T06:57:35Z","publisher":"Verbrecher Verlag","title":"Media contexts - context media","publication_status":"published","page":"217-226","citation":{"bibtex":"@inproceedings{Keil_2013, place={Berlin}, title={Media contexts - context media}, publisher={Verbrecher Verlag}, author={Keil, Reinhard}, year={2013}, pages={217–226} }","short":"R. Keil, in: Verbrecher Verlag, Berlin, 2013, pp. 217–226.","mla":"Keil, Reinhard. <i>Media Contexts - Context Media</i>. Verbrecher Verlag, 2013, pp. 217–26.","apa":"Keil, R. (2013). <i>Media contexts - context media</i>. 217–226.","chicago":"Keil, Reinhard. “Media Contexts - Context Media,” 217–26. Berlin: Verbrecher Verlag, 2013.","ieee":"R. Keil, “Media contexts - context media,” 2013, pp. 217–226.","ama":"Keil R. Media contexts - context media. In: Verbrecher Verlag; 2013:217-226."},"year":"2013","place":"Berlin","department":[{"_id":"71"}],"user_id":"71124","_id":"27174","language":[{"iso":"eng"}],"type":"conference","status":"public"},{"status":"public","type":"conference","language":[{"iso":"eng"}],"_id":"27175","series_title":"LNCS 8028","user_id":"71124","department":[{"_id":"71"}],"year":"2013","citation":{"apa":"Klompmaker, F., Paelke, V., &#38; Fischer, H. G. (2013). <i>A Taxonomy-Based Approach Towards NUI Interaction Design</i> (pp. 32–41). Springer Verlag.","short":"F. Klompmaker, V. Paelke, H.G. Fischer, (2013) 32–41.","bibtex":"@article{Klompmaker_Paelke_Fischer_2013, series={LNCS 8028}, title={A Taxonomy-Based Approach Towards NUI Interaction Design}, publisher={Springer Verlag}, author={Klompmaker, Florian and Paelke, Volker and Fischer, Holger Gerhard}, year={2013}, pages={32–41}, collection={LNCS 8028} }","mla":"Klompmaker, Florian, et al. <i>A Taxonomy-Based Approach Towards NUI Interaction Design</i>. Springer Verlag, 2013, pp. 32–41.","ama":"Klompmaker F, Paelke V, Fischer HG. A Taxonomy-Based Approach Towards NUI Interaction Design. Published online 2013:32-41.","ieee":"F. Klompmaker, V. Paelke, and H. G. Fischer, “A Taxonomy-Based Approach Towards NUI Interaction Design.” Springer Verlag, pp. 32–41, 2013.","chicago":"Klompmaker, Florian, Volker Paelke, and Holger Gerhard Fischer. “A Taxonomy-Based Approach Towards NUI Interaction Design.” LNCS 8028. Springer Verlag, 2013."},"page":"32-41","publication_status":"published","title":"A Taxonomy-Based Approach Towards NUI Interaction Design","date_updated":"2022-01-06T06:57:35Z","publisher":"Springer Verlag","date_created":"2021-11-05T23:52:16Z","author":[{"first_name":"Florian","full_name":"Klompmaker, Florian","last_name":"Klompmaker"},{"full_name":"Paelke, Volker","last_name":"Paelke","first_name":"Volker"},{"last_name":"Fischer","full_name":"Fischer, Holger Gerhard","id":"30457","first_name":"Holger Gerhard"}]},{"language":[{"iso":"eng"}],"department":[{"_id":"78"}],"user_id":"3118","_id":"11619","status":"public","abstract":[{"text":"Reconfigurable circuit devices have opened up a fundamentally new way of creating adaptable systems. Combined with artificial evolution, reconfigurable circuits allow an elegant adaptation approach to compensating for changes in the distribution of input data, computational resource errors, and variations in resource requirements. Referred to as ``Evolvable Hardware'' (EHW), this paradigm has yielded astonishing results for traditional engineering challenges and has discovered intriguing design principles, which have not yet been seen in conventional engineering.\r\n\r\nIn this thesis, we present new and fundamental work on Evolvable Hardware motivated by the insight that Evolvable Hardware needs to compensate for events with different change rates. To solve the challenge of different adaptation speeds, we propose a unified adaptation approach based on multi-objective evolution, evolving and propagating candidate solutions that are diverse in objectives that may experience radical changes.\r\n\r\nFocusing on algorithmic aspects, we enable Cartesian Genetic Programming (CGP) model, which we are using to encode Boolean circuits, for multi-objective optimization by introducing a meaningful recombination operator. We improve the scalability of CGP by objectives scaling, periodization of local- and global-search algorithms, and the automatic acquisition and reuse of subfunctions using age- and cone-based techniques. We validate our methods on the applications of adaptation of hardware classifiers to resource changes, recognition of muscular signals for prosthesis control and optimization of processor caches.","lang":"eng"}],"type":"dissertation","title":"Adapting Hardware Systems by Means of Multi-Objective Evolution","date_created":"2019-07-11T11:51:51Z","supervisor":[{"first_name":"Marco","last_name":"Platzner","id":"398","full_name":"Platzner, Marco"}],"author":[{"full_name":"Kaufmann, Paul","last_name":"Kaufmann","first_name":"Paul"}],"date_updated":"2022-01-06T06:51:04Z","publisher":"Logos Verlag Berlin GmbH","page":"249","citation":{"chicago":"Kaufmann, Paul. <i>Adapting Hardware Systems by Means of Multi-Objective Evolution</i>. Berlin: Logos Verlag Berlin GmbH, 2013.","ieee":"P. Kaufmann, <i>Adapting Hardware Systems by Means of Multi-Objective Evolution</i>. Berlin: Logos Verlag Berlin GmbH, 2013.","ama":"Kaufmann P. <i>Adapting Hardware Systems by Means of Multi-Objective Evolution</i>. Berlin: Logos Verlag Berlin GmbH; 2013.","bibtex":"@book{Kaufmann_2013, place={Berlin}, title={Adapting Hardware Systems by Means of Multi-Objective Evolution}, publisher={Logos Verlag Berlin GmbH}, author={Kaufmann, Paul}, year={2013} }","short":"P. Kaufmann, Adapting Hardware Systems by Means of Multi-Objective Evolution, Logos Verlag Berlin GmbH, Berlin, 2013.","mla":"Kaufmann, Paul. <i>Adapting Hardware Systems by Means of Multi-Objective Evolution</i>. Logos Verlag Berlin GmbH, 2013.","apa":"Kaufmann, P. (2013). <i>Adapting Hardware Systems by Means of Multi-Objective Evolution</i>. Berlin: Logos Verlag Berlin GmbH."},"year":"2013","place":"Berlin","publication_identifier":{"isbn":["978-3-8325-3530-8"]},"publication_status":"published"},{"type":"bachelorsthesis","status":"public","department":[{"_id":"76"}],"user_id":"5786","_id":"20978","language":[{"iso":"eng"}],"citation":{"apa":"Hüwe, M. (2013). <i>Das Verteilungsproblem für mechatronische Systeme</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.","short":"M. Hüwe, Das Verteilungsproblem Für Mechatronische Systeme, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.","mla":"Hüwe, Marcus. <i>Das Verteilungsproblem Für Mechatronische Systeme</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.","bibtex":"@book{Hüwe_2013, title={Das Verteilungsproblem für mechatronische Systeme}, publisher={Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}, author={Hüwe, Marcus}, year={2013} }","ama":"Hüwe M. <i>Das Verteilungsproblem Für Mechatronische Systeme</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2013.","ieee":"M. Hüwe, <i>Das Verteilungsproblem für mechatronische Systeme</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.","chicago":"Hüwe, Marcus. <i>Das Verteilungsproblem Für Mechatronische Systeme</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013."},"year":"2013","author":[{"full_name":"Hüwe, Marcus","id":"13606","last_name":"Hüwe","first_name":"Marcus"}],"date_created":"2021-01-13T13:23:53Z","publisher":"Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik","date_updated":"2022-01-06T06:54:42Z","title":"Das Verteilungsproblem für mechatronische Systeme"},{"title":"Simulationsgestützter Entwurf für Elektrofahrzeuge","author":[{"last_name":"Farshizadeh","full_name":"Farshizadeh, Emad","first_name":"Emad"},{"first_name":"Hermann","full_name":"Briese, Hermann","last_name":"Briese"},{"first_name":"David","last_name":"Steinmann","full_name":"Steinmann, David"},{"full_name":"Stockmann, Lars","id":"48144","last_name":"Stockmann","first_name":"Lars"},{"last_name":"Beringer","full_name":"Beringer, Steffen","first_name":"Steffen"},{"first_name":"Dominik","full_name":"Holler, Dominik","last_name":"Holler"},{"first_name":"Kay","full_name":"Klobedanz, Kay","last_name":"Klobedanz"},{"last_name":"Heinzemann","full_name":"Heinzemann, Christian","first_name":"Christian"},{"first_name":"Klaus","last_name":"Peter","full_name":"Peter, Klaus"},{"full_name":"Leuer, Michael","last_name":"Leuer","first_name":"Michael"}],"date_created":"2021-01-13T13:28:47Z","date_updated":"2022-01-06T06:54:42Z","citation":{"apa":"Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., Klobedanz, K., Heinzemann, C., Peter, K., &#38; Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. <i>8. Dortmunder Autotag</i>.","short":"E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, 2013.","bibtex":"@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder Autotag}, author={Farshizadeh, Emad and Briese, Hermann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }","mla":"Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” <i>8. Dortmunder Autotag</i>, 2013.","ama":"Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf für Elektrofahrzeuge. In: <i>8. Dortmunder Autotag</i>. ; 2013.","chicago":"Farshizadeh, Emad, Hermann Briese, David Steinmann, Lars Stockmann, Steffen Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In <i>8. Dortmunder Autotag</i>, 2013.","ieee":"E. Farshizadeh <i>et al.</i>, “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013."},"year":"2013","language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"76"}],"_id":"20980","status":"public","abstract":[{"text":"Das Thema Elektromobilität hat in der Fahrzeugindustrie in den letzten Jahren viel Aufmerksamkeit erhalten. Gerade im Bereich der Entwicklung von Steuergeräte-Software ist der Bedarf an frühzeitiger Absicherung hoch. Nur so können Produkteinführungszeiten minimiert und effektiv Entwicklungskosten eingespart werden. Komplexe Werkzeugketten und die verteilte Entwicklung erschweren den Prozess und verlängern die Entwicklungszeit. Das Förderprojekt „Simulationsgestützter Entwurf für Elektrofahrzeuge“, kurz „E-Mobil“, nimmt sich der Herausforderungen einer verteilten Entwicklung von Steuergeräte-Software an. Vier Projektpartner aus Industrie und Forschung untersuchen die Besonderheiten sowohl bzgl. des Entwurfsprozesses, als auch der beteiligten Entwurfswerkzeuge im Vergleich zur konventionellen Fahrzeugentwicklung. Im Fokus stehen die Modellierung und die simulationsgestützte Absicherung in frühen Entwurfsstadien. Die Modellierung umfasst Regelungssoftware sowie die für die Simulation nötigen elektrischen und mechatronischen Komponenten. Die vorliegende Arbeit stellt die Kernthemen sowie aktuelle Ergebnisse aus dem Projekt vor.","lang":"ger"}],"type":"conference","publication":"8. Dortmunder Autotag"},{"_id":"20985","department":[{"_id":"76"}],"user_id":"5786","language":[{"iso":"eng"}],"type":"mastersthesis","abstract":[{"text":"Die in der Automobilindustrie verwendeten eingebetteten Systeme gehören zu den komplexesten eingebetteten Systemen. Die Automobilhersteller sind in der Entwicklung ständig bemüht sowohl die Sicherheit und den Komfort des Fahrers also auch der anderen Insassen zu verbessern. Die meisten der entwickelten Systeme sind sowohl zeit- als auch sicherheitskritisch. Einer Studie von Mercedes-Benz zufolge resultieren 80% der Innovationen in der Automobilbranche aus neuen Elektronikkomponenten, deren Funktionen zu 90% durch Software realisiert wird. Um die steigende Komplexität in der Entwicklung von eingebetteten Systemen zu beherrschen wird in der Automobilbranche immer öfter die modelbasierte Softwareentwicklung anstelle der klassischen Programmierung eingesetzt. Im Requirements Engineering, der ersten Phase der Entwicklung eines Produktes, werden die Anforderungen gesammelt und dokumentiert. Die Dokumentation erfolgt mittels natürlicher Sprache. Modellbasierte Ansätze werden heutzutage höchstens unterstützend eingesetzt. Während des Requirements Engineerings muss der Requirements Engineer sowohl die funktionalen Anforderungen an das zu entwickelnde System als auch seine zeitlichen Anforderungen spezifizieren und analysieren. Die funktionalen Anforderungen umfassen dabei insbesondere die Kommunikation zwischen den verschiedenen Teilsystemen. Szenarien stellen eine intuitive Möglichkeit zur Modellierung von funktionalen Anforderungen dar. Im Rahmen dieser Arbeit wird ein modellbasierter Ansatz zur Modellierung von Szenarien verwendet. Anforderungen an das zeitliche Verhalten werden innerhalb der Architektur spezifiziert. Dazu stehen in der Automobilbranche Architekturbeschreibungssprachen wie EAST-ADL zur Verfügung. Obwohl sowohl funktionale als auch zeitliche Anforderungen an das System spezifiziert und analysiert werden müssen, existiert bisher keine Methodik, die beide Ansätze miteinander kombiniert. Aus diesem Grund wurde im Rahmen dieser Arbeit eine neue Requirements Engineering Methodik entwickelt, die eine systematische und ganzheitliche Spezifikation und Analyse der funktionalen und zeitlichen Anforderungen bereitstellt. Wir haben zwei Modelltransformationen entwickelt, um den Requirements Engineer beim Übergang von den funktionalen zu den zeitlichen Anforderungen zu unterstützen. Die vorliegende Arbeit wird durch eine Evaluierung der Methodik, sowie der Modelltransformationen auf Basis eines Komfortsteuergerätes abgerundet.\r\n","lang":"ger"}],"status":"public","date_updated":"2022-01-06T06:54:42Z","publisher":"University of Paderborn","author":[{"first_name":"Thorsten","last_name":"Koch","full_name":"Koch, Thorsten","id":"13616"}],"date_created":"2021-01-13T13:44:06Z","title":"Combining Scenario-based and Architecture-based Timing Requirements","year":"2013","citation":{"chicago":"Koch, Thorsten. <i>Combining Scenario-Based and Architecture-Based Timing Requirements</i>. University of Paderborn, 2013.","ieee":"T. Koch, <i>Combining Scenario-based and Architecture-based Timing Requirements</i>. University of Paderborn, 2013.","ama":"Koch T. <i>Combining Scenario-Based and Architecture-Based Timing Requirements</i>. University of Paderborn; 2013.","short":"T. Koch, Combining Scenario-Based and Architecture-Based Timing Requirements, University of Paderborn, 2013.","bibtex":"@book{Koch_2013, title={Combining Scenario-based and Architecture-based Timing Requirements}, publisher={University of Paderborn}, author={Koch, Thorsten}, year={2013} }","mla":"Koch, Thorsten. <i>Combining Scenario-Based and Architecture-Based Timing Requirements</i>. University of Paderborn, 2013.","apa":"Koch, T. (2013). <i>Combining Scenario-based and Architecture-based Timing Requirements</i>. University of Paderborn."}},{"place":"Paderborn","year":"2013","intvolume":"       311","page":"49--60","citation":{"apa":"Petring, R., Eikel, B., Jähn, C., Fischer, M., &#38; Meyer auf der Heide, F. (2013). Darstellung heterogener 3-D-Szenen in Echtzeit. In <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i> (Vol. 311, pp. 49--60). Paderborn.","bibtex":"@inproceedings{Petring_Eikel_Jähn_Fischer_Meyer auf der Heide_2013, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={Darstellung heterogener 3-D-Szenen in Echtzeit}, volume={311}, booktitle={11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung}, author={Petring, Ralf and Eikel, Benjamin and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2013}, pages={49--60}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }","short":"R. Petring, B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: 11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung, Paderborn, 2013, pp. 49--60.","mla":"Petring, Ralf, et al. “Darstellung Heterogener 3-D-Szenen in Echtzeit.” <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung</i>, vol. 311, 2013, pp. 49--60.","ama":"Petring R, Eikel B, Jähn C, Fischer M, Meyer auf der Heide F. Darstellung heterogener 3-D-Szenen in Echtzeit. In: <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung</i>. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts. Paderborn; 2013:49--60.","ieee":"R. Petring, B. Eikel, C. Jähn, M. Fischer, and F. Meyer auf der Heide, “Darstellung heterogener 3-D-Szenen in Echtzeit,” in <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>, 2013, vol. 311, pp. 49--60.","chicago":"Petring, Ralf, Benjamin Eikel, Claudius Jähn, Matthias Fischer, and Friedhelm Meyer auf der Heide. “Darstellung Heterogener 3-D-Szenen in Echtzeit.” In <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung</i>, 311:49--60. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn, 2013."},"date_updated":"2022-01-06T06:53:12Z","volume":311,"date_created":"2020-07-29T08:55:43Z","author":[{"last_name":"Petring","full_name":"Petring, Ralf","first_name":"Ralf"},{"first_name":"Benjamin","last_name":"Eikel","full_name":"Eikel, Benjamin"},{"last_name":"Jähn","full_name":"Jähn, Claudius","first_name":"Claudius"},{"first_name":"Matthias","last_name":"Fischer","id":"146","full_name":"Fischer, Matthias"},{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"}],"title":"Darstellung heterogener 3-D-Szenen in Echtzeit","publication":"11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung","type":"conference","abstract":[{"text":"Viele virtuelle 3-D-Szenen im industriellen Bereich sind nicht gleichmäßig strukturiert, z.B. weil sie eine stark unterschiedliche Dichteverteilung der Polygone aufweisen. Für solch heterogene Daten existiert kein Algorithmus, der die Gesamtheit der Daten sowohl schnell als auch mit guter Qualität darstellen kann. Die Auswahl der richtigen Algorithmen für einzelne Szenenteile durch einen Experten ist zeitintensiv und in vielen Visualisierungssystemen nicht umzusetzen. Um dieses Problem zu lösen, setzt das hier vorgestellte Multi-Algorithmen-Rendering verschiedene Renderingalgorithmen gleichzeitig ein, um eine virtuelle 3-D-Szene darzustellen. Das Verfahren unterteilt die Szene dafür in einem Vorverarbeitungsschritt automatisch in geeignete Teilregionen und bestimmt deren Eigenschaften. Diese Daten werden zur Laufzeit dazu genutzt, um ständig für den aktuellen Standpunkt des Betrachters eine Abschätzung der Qualität und Laufzeit der zur Auswahl stehenden Renderingalgorithmen zu berechnen. Durch die Lösung eines Optimierungsproblems kann so bei vorgegebener Bildrate durch die passende Zuordnung der Algorithmen zu den Regionen die Bildqualität optimiert werden – bei automatischer Anpassung an die Leistungsfähigkeit der eingesetzten Hardware. In einer experimentellen Evaluierung vergleichen wir die Laufzeit und Bildqualität des Verfahrens mit denen verbreiteter Standardrenderingverfahren.","lang":"eng"}],"status":"public","_id":"17439","department":[{"_id":"63"}],"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts","user_id":"15415","language":[{"iso":"eng"}]},{"place":"Universität Paderborn","year":"2013","citation":{"chicago":"Eikel, Benjamin. <i>Spherical Visibility Sampling : Preprocessed Visibility for Occlusion Culling in Complex 3D Scenes</i>. Universität Paderborn, 2013.","ieee":"B. Eikel, <i>Spherical visibility sampling : preprocessed visibility for occlusion culling in complex 3D scenes</i>. Universität Paderborn, 2013.","ama":"Eikel B. <i>Spherical Visibility Sampling : Preprocessed Visibility for Occlusion Culling in Complex 3D Scenes</i>. Universität Paderborn; 2013.","apa":"Eikel, B. (2013). <i>Spherical visibility sampling : preprocessed visibility for occlusion culling in complex 3D scenes</i>. Universität Paderborn.","bibtex":"@book{Eikel_2013, place={Universität Paderborn}, title={Spherical visibility sampling : preprocessed visibility for occlusion culling in complex 3D scenes}, author={Eikel, Benjamin}, year={2013} }","mla":"Eikel, Benjamin. <i>Spherical Visibility Sampling : Preprocessed Visibility for Occlusion Culling in Complex 3D Scenes</i>. 2013.","short":"B. Eikel, Spherical Visibility Sampling : Preprocessed Visibility for Occlusion Culling in Complex 3D Scenes, Universität Paderborn, 2013."},"related_material":{"link":[{"url":"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12683","relation":"confirmation"}]},"title":"Spherical visibility sampling : preprocessed visibility for occlusion culling in complex 3D scenes","date_updated":"2022-01-06T06:53:12Z","date_created":"2020-07-29T09:11:23Z","supervisor":[{"first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm","id":"15523","last_name":"Meyer auf der Heide"}],"author":[{"first_name":"Benjamin","full_name":"Eikel, Benjamin","last_name":"Eikel"}],"status":"public","type":"dissertation","language":[{"iso":"eng"}],"_id":"17440","department":[{"_id":"63"}],"user_id":"15415"},{"title":"Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","date_updated":"2022-01-06T06:53:12Z","volume":311,"date_created":"2020-07-29T09:44:04Z","author":[{"first_name":"Friedhelm","id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide"}],"year":"2013","page":"7-16","intvolume":"       311","citation":{"chicago":"Meyer auf der Heide, Friedhelm. “Algorithmische Grundlagen Für Die Selbstorganisation von Roboterschwärmen.” In <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung</i>, 311:7–16. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.","ieee":"F. Meyer auf der Heide, “Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen,” in <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>, 2013, vol. 311, pp. 7–16.","ama":"Meyer auf der Heide F. Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen. In: <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung</i>. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:7-16.","apa":"Meyer auf der Heide, F. (2013). Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen. <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung</i>, <i>311</i>, 7–16.","mla":"Meyer auf der Heide, Friedhelm. “Algorithmische Grundlagen Für Die Selbstorganisation von Roboterschwärmen.” <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung</i>, vol. 311, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 7–16.","short":"F. Meyer auf der Heide, in: 11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 7–16.","bibtex":"@inproceedings{Meyer auf der Heide_2013, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen}, volume={311}, booktitle={11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Meyer auf der Heide, Friedhelm}, year={2013}, pages={7–16}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }"},"language":[{"iso":"eng"}],"_id":"17442","department":[{"_id":"63"},{"_id":"26"}],"user_id":"5786","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","status":"public","publication":"11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung","type":"conference"}]