[{"status":"public","year":"2016","title":"The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling","author":[{"first_name":"Stefan","last_name":"Dziwok","orcid":"http://orcid.org/0000-0002-8679-6673","full_name":"Dziwok, Stefan","id":"3901"},{"first_name":"Uwe","last_name":"Pohlmann","full_name":"Pohlmann, Uwe"},{"full_name":"Piskachev, Goran","orcid":"0000-0003-4424-5838","first_name":"Goran","last_name":"Piskachev","id":"41936"},{"id":"9106","full_name":"Schubert, David","first_name":"David","last_name":"Schubert"},{"full_name":"Thiele, Sebastian","last_name":"Thiele","first_name":"Sebastian"},{"full_name":"Gerking, Christopher","first_name":"Christopher","last_name":"Gerking"}],"date_updated":"2022-01-06T06:54:40Z","_id":"20822","language":[{"iso":"eng"}],"user_id":"5786","citation":{"mla":"Dziwok, Stefan, et al. <i>The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>. 2016.","bibtex":"@book{Dziwok_Pohlmann_Piskachev_Schubert_Thiele_Gerking_2016, place={Zukunftsmeile 1, 33102 Paderborn, Germany}, title={The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling}, author={Dziwok, Stefan and Pohlmann, Uwe and Piskachev, Goran and Schubert, David and Thiele, Sebastian and Gerking, Christopher}, year={2016} }","ama":"Dziwok S, Pohlmann U, Piskachev G, Schubert D, Thiele S, Gerking C. <i>The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>.; 2016.","ieee":"S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, and C. Gerking, <i>The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.","apa":"Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., &#38; Gerking, C. (2016). <i>The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>.","chicago":"Dziwok, Stefan, Uwe Pohlmann, Goran Piskachev, David Schubert, Sebastian Thiele, and Christopher Gerking. <i>The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.","short":"S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking, The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016."},"abstract":[{"text":"Several examples of mechatronic systems can be found nowadays in modern cars, production systems, and medical technology. Day by day, the number of innovative functionalities in such mechatronic systems is increasing. These functionalities are realized with complex software. Such software exhibits hard real-time, safety requirements. The adherence to these requirements must be thoroughly analyzed and verified. Moreover, to obtain a significant increment in the reliability, performance, and efficiency of such software, it needs to maintain the self-adaptation of its properties. In order to develop such systems with a high quality and within a short time, we need a systematic and consistent design method. For this purpose, the software engineering group at the University of Paderborn and the Fraunhofer IEM in Paderborn propose the MechatronicUML method. This method provides a comprehensive model-driven process support, that starts from requirements and reaches the executable software after passing through several design and analysis steps. This process improves the comprehension during development and makes complex systems manageable. MechatronicUML emphasizes mainly on: (1) modeling and (formal) verification of reconfigurable software architectures, (2) the coordination among system components in such architectures, and (3) the integration of discrete software events with the continuous behavior of control devices.","lang":"eng"}],"date_created":"2020-12-22T09:24:42Z","place":"Zukunftsmeile 1, 33102 Paderborn, Germany","type":"report","department":[{"_id":"76"},{"_id":"241"}]},{"date_updated":"2022-01-06T06:54:40Z","author":[{"id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg","full_name":"Holtmann, Jörg"},{"orcid":"0000-0002-1269-0702","first_name":"Markus","last_name":"Fockel","full_name":"Fockel, Markus","id":"8472"},{"last_name":"Koch","first_name":"Thorsten","full_name":"Koch, Thorsten","id":"13616"},{"last_name":"Schmelter","first_name":"David","orcid":"0000-0001-7787-5380","full_name":"Schmelter, David","id":"40982"},{"last_name":"Brenner","first_name":"Christian","full_name":"Brenner, Christian"},{"first_name":"Ruslan","last_name":"Bernijazov","full_name":"Bernijazov, Ruslan"},{"full_name":"Sander, Marcel","last_name":"Sander","first_name":"Marcel"}],"status":"public","year":"2016","title":"The MechatronicUML Requirements Engineering Method: Process and Language","user_id":"5786","doi":"10.13140/RG.2.2.33223.29606","language":[{"iso":"eng"}],"_id":"20823","abstract":[{"text":"In this technical report, we present the MechatronicUML requirements engineering method. The method encompasses a process and a scenario-based modeling language for the documentation and analysis of requirements on the message-based interaction behavior of software-intensive systems. The modeling language uses a scenario notation based on Modal Sequence Diagrams (MSDs), which borrows concepts of UML Interactions as well as of Live Sequence Charts. Furthermore, we introduce the so-called Emergency Braking & Evasion System (EBEAS) as a running example, which is based on current and upcoming real-world driver assistance systems. ","lang":"eng"}],"citation":{"apa":"Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov, R., &#38; Sander, M. (2016). <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>. <a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">https://doi.org/10.13140/RG.2.2.33223.29606</a>","ieee":"J. Holtmann <i>et al.</i>, <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>. 2016.","chicago":"Holtmann, Jörg, Markus Fockel, Thorsten Koch, David Schmelter, Christian Brenner, Ruslan Bernijazov, and Marcel Sander. <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>, 2016. <a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">https://doi.org/10.13140/RG.2.2.33223.29606</a>.","short":"J. Holtmann, M. Fockel, T. Koch, D. Schmelter, C. Brenner, R. Bernijazov, M. Sander, The MechatronicUML Requirements Engineering Method: Process and Language, 2016.","mla":"Holtmann, Jörg, et al. <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>. 2016, doi:<a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">10.13140/RG.2.2.33223.29606</a>.","ama":"Holtmann J, Fockel M, Koch T, et al. <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>.; 2016. doi:<a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">10.13140/RG.2.2.33223.29606</a>","bibtex":"@book{Holtmann_Fockel_Koch_Schmelter_Brenner_Bernijazov_Sander_2016, title={The MechatronicUML Requirements Engineering Method: Process and Language}, DOI={<a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">10.13140/RG.2.2.33223.29606</a>}, author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David and Brenner, Christian and Bernijazov, Ruslan and Sander, Marcel}, year={2016} }"},"department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"type":"report","date_created":"2020-12-22T09:28:23Z"},{"type":"conference","department":[{"_id":"76"}],"date_created":"2020-12-22T09:32:08Z","abstract":[{"text":"Das Systemmodell ist der Kern des Model-Based Systems Engineering (MBSE). Während jedoch im Systems Engineering dem Zusammenspiel von Produkt und Projekt ein hoher Stellenwert beigemessen wird, liegt der Fokus im MBSE noch sehr stark auf technischen Prozessen. Im Hinblick auf die Idee des Systemmodells als zentrale Datenquelle sollten auch Stakeholder jenseits der direkten Entwicklungsaktivitäten das Systemmodell entsprechend nutzen können und davon profitieren. Dazu wird ein Demonstrator vorgestellt, welcher die Anwendung einer Komplexitätsanalyse auf Basis des Systemmodells mechatronischer Systeme stellvertretend für Methoden in Sinne der technischen Managementprozesse der ISO/IEC 15288 aufzeigt. Grundlage des Demonstrators bildet das Systemmodell eines Pedelecs. Die darin modellierten Strukturen dienen als Input für die Komplexitätsanalyse. Über die automatisierte Anwendung der Komplexitätsanalyse ergibt sich als Output ein Portfolio, das die Komplexität der funktionserfüllenden Komponenten mit der Bewertung der Funktionalität in Beziehung setzt und somit eine Beurteilung und entsprechende Handlungsempfehlungen der Komponenten ermöglicht.","lang":"ger"}],"publication":"Tag des Systems Engineering 2016","citation":{"ieee":"M. Greinert, C. Tschirner, and J. Holtmann, “Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme,” in <i>Tag des Systems Engineering 2016</i>, 2016, pp. 77–86, doi: <a href=\"https://doi.org/10.3139/9783446451414.008\">10.3139/9783446451414.008</a>.","apa":"Greinert, M., Tschirner, C., &#38; Holtmann, J. (2016). Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. <i>Tag Des Systems Engineering 2016</i>, 77–86. <a href=\"https://doi.org/10.3139/9783446451414.008\">https://doi.org/10.3139/9783446451414.008</a>","chicago":"Greinert, Matthias, Christian Tschirner, and Jörg Holtmann. “Anwendung von Methoden Der Produktentstehung Auf Basis Des Systemmodells Mechatronischer Systeme.” In <i>Tag Des Systems Engineering 2016</i>, 77–86. Gesellschaft f{\\\"u}r Systems Engineering e.V., 2016. <a href=\"https://doi.org/10.3139/9783446451414.008\">https://doi.org/10.3139/9783446451414.008</a>.","short":"M. Greinert, C. Tschirner, J. Holtmann, in: Tag Des Systems Engineering 2016, Gesellschaft f{\\\"u}r Systems Engineering e.V., 2016, pp. 77–86.","mla":"Greinert, Matthias, et al. “Anwendung von Methoden Der Produktentstehung Auf Basis Des Systemmodells Mechatronischer Systeme.” <i>Tag Des Systems Engineering 2016</i>, Gesellschaft f{\\\"u}r Systems Engineering e.V., 2016, pp. 77–86, doi:<a href=\"https://doi.org/10.3139/9783446451414.008\">10.3139/9783446451414.008</a>.","bibtex":"@inproceedings{Greinert_Tschirner_Holtmann_2016, title={Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme}, DOI={<a href=\"https://doi.org/10.3139/9783446451414.008\">10.3139/9783446451414.008</a>}, booktitle={Tag des Systems Engineering 2016}, publisher={Gesellschaft f{\\\"u}r Systems Engineering e.V.}, author={Greinert, Matthias and Tschirner, Christian and Holtmann, Jörg}, year={2016}, pages={77–86} }","ama":"Greinert M, Tschirner C, Holtmann J. Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. In: <i>Tag Des Systems Engineering 2016</i>. Gesellschaft f{\\\"u}r Systems Engineering e.V.; 2016:77-86. doi:<a href=\"https://doi.org/10.3139/9783446451414.008\">10.3139/9783446451414.008</a>"},"user_id":"5786","doi":"10.3139/9783446451414.008","page":"77-86","_id":"20825","language":[{"iso":"eng"}],"publisher":"Gesellschaft f{\\\"u}r Systems Engineering e.V.","date_updated":"2022-01-06T06:54:40Z","status":"public","year":"2016","title":"Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme","author":[{"full_name":"Greinert, Matthias","last_name":"Greinert","first_name":"Matthias"},{"first_name":"Christian","last_name":"Tschirner","full_name":"Tschirner, Christian"},{"id":"3875","last_name":"Holtmann","first_name":"Jörg","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg"}]},{"_id":"20830","publisher":"ACM","language":[{"iso":"eng"}],"user_id":"5786","year":"2016","title":"Towards Safe Execution of Reconfigurations in Cyber-Physical Systems","status":"public","author":[{"id":"9106","last_name":"Schubert","first_name":"David","full_name":"Schubert, David"},{"full_name":"Heinzemann, Christian","first_name":"Christian","last_name":"Heinzemann"},{"last_name":"Gerking","first_name":"Christopher","full_name":"Gerking, Christopher"}],"date_updated":"2022-01-06T06:54:40Z","date_created":"2020-12-22T09:41:56Z","type":"conference","department":[{"_id":"76"},{"_id":"241"}],"publication":"Proceedings of the 19th international ACM Sigsoft symposium on component-based software engineering","citation":{"apa":"Schubert, D., Heinzemann, C., &#38; Gerking, C. (2016). Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. <i>Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>.","ieee":"D. Schubert, C. Heinzemann, and C. Gerking, “Towards Safe Execution of Reconfigurations in Cyber-Physical Systems,” 2016.","chicago":"Schubert, David, Christian Heinzemann, and Christopher Gerking. “Towards Safe Execution of Reconfigurations in Cyber-Physical Systems.” In <i>Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>. ACM, 2016.","short":"D. Schubert, C. Heinzemann, C. Gerking, in: Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering, ACM, 2016.","mla":"Schubert, David, et al. “Towards Safe Execution of Reconfigurations in Cyber-Physical Systems.” <i>Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>, ACM, 2016.","ama":"Schubert D, Heinzemann C, Gerking C. Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. In: <i>Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>. ACM; 2016.","bibtex":"@inproceedings{Schubert_Heinzemann_Gerking_2016, title={Towards Safe Execution of Reconfigurations in Cyber-Physical Systems}, booktitle={Proceedings of the 19th international ACM Sigsoft symposium on component-based software engineering}, publisher={ACM}, author={Schubert, David and Heinzemann, Christian and Gerking, Christopher}, year={2016} }"}},{"doi":"10.1007/978-3-319-48749-6_47","series_title":"LNCS","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:41Z","author":[{"id":"14052","full_name":"Feldotto, Matthias","last_name":"Feldotto","first_name":"Matthias","orcid":"0000-0003-1348-6516"},{"full_name":"Leder, Lennart","first_name":"Lennart","last_name":"Leder"},{"id":"40384","full_name":"Skopalik, Alexander","last_name":"Skopalik","first_name":"Alexander"}],"year":"2016","title":"Congestion Games with Mixed Objectives","department":[{"_id":"63"},{"_id":"541"}],"type":"conference","date_created":"2017-10-17T12:41:32Z","file":[{"creator":"feldi","date_created":"2018-10-31T17:03:44Z","file_size":235739,"access_level":"closed","file_name":"Feldotto2016_Chapter_CongestionGamesWithMixedObject.pdf","date_updated":"2018-10-31T17:03:44Z","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"5233"}],"abstract":[{"lang":"eng","text":"We study a new class of games which generalizes congestion games and its bottleneck variant. We introduce congestion games with mixed objectives to model network scenarios in which players seek to optimize for latency and bandwidths alike. We characterize the existence of pure Nash equilibria (PNE) and the convergence of improvement dynamics. For games that do not possess PNE we give bounds on the approximation ratio of approximate pure Nash equilibria."}],"publication":"Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)","user_id":"14052","ddc":["000"],"_id":"209","page":"655--669","has_accepted_license":"1","status":"public","external_id":{"arxiv":["1607.05143"]},"project":[{"name":"SFB 901","_id":"1"},{"_id":"7","name":"SFB 901 - Subprojekt A3"},{"name":"SFB 901 - Project Area A","_id":"2"}],"citation":{"mla":"Feldotto, Matthias, et al. “Congestion Games with Mixed Objectives.” <i>Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)</i>, 2016, pp. 655--669, doi:<a href=\"https://doi.org/10.1007/978-3-319-48749-6_47\">10.1007/978-3-319-48749-6_47</a>.","ama":"Feldotto M, Leder L, Skopalik A. Congestion Games with Mixed Objectives. In: <i>Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)</i>. LNCS. ; 2016:655--669. doi:<a href=\"https://doi.org/10.1007/978-3-319-48749-6_47\">10.1007/978-3-319-48749-6_47</a>","bibtex":"@inproceedings{Feldotto_Leder_Skopalik_2016, series={LNCS}, title={Congestion Games with Mixed Objectives}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-48749-6_47\">10.1007/978-3-319-48749-6_47</a>}, booktitle={Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)}, author={Feldotto, Matthias and Leder, Lennart and Skopalik, Alexander}, year={2016}, pages={655--669}, collection={LNCS} }","apa":"Feldotto, M., Leder, L., &#38; Skopalik, A. (2016). Congestion Games with Mixed Objectives. In <i>Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)</i> (pp. 655--669). <a href=\"https://doi.org/10.1007/978-3-319-48749-6_47\">https://doi.org/10.1007/978-3-319-48749-6_47</a>","ieee":"M. Feldotto, L. Leder, and A. Skopalik, “Congestion Games with Mixed Objectives,” in <i>Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)</i>, 2016, pp. 655--669.","short":"M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.","chicago":"Feldotto, Matthias, Lennart Leder, and Alexander Skopalik. “Congestion Games with Mixed Objectives.” In <i>Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)</i>, 655--669. LNCS, 2016. <a href=\"https://doi.org/10.1007/978-3-319-48749-6_47\">https://doi.org/10.1007/978-3-319-48749-6_47</a>."},"file_date_updated":"2018-10-31T17:03:44Z"},{"author":[{"full_name":"Heuchler, Sebastian","last_name":"Heuchler","first_name":"Sebastian"}],"title":"Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem","year":"2016","status":"public","date_updated":"2022-01-06T06:53:25Z","language":[{"iso":"eng"}],"_id":"18025","user_id":"15504","supervisor":[{"full_name":"Scheideler, Christian","last_name":"Scheideler","first_name":"Christian","id":"20792"}],"citation":{"mla":"Heuchler, Sebastian. <i>Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem</i>. 2016.","ama":"Heuchler S. <i>Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem</i>.; 2016.","bibtex":"@book{Heuchler_2016, title={Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem}, author={Heuchler, Sebastian}, year={2016} }","apa":"Heuchler, S. (2016). <i>Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem</i>.","ieee":"S. Heuchler, <i>Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem</i>. 2016.","chicago":"Heuchler, Sebastian. <i>Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem</i>, 2016.","short":"S. Heuchler, Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016."},"date_created":"2020-08-18T08:38:22Z","department":[{"_id":"79"}],"type":"bachelorsthesis"},{"page":"1421--1433","_id":"1835","doi":"10.1109/TNET.2015.2410313","user_id":"15504","status":"public","year":"2016","title":"SplayNet: Towards Locally Self-Adjusting Networks","author":[{"full_name":"Schmid, Stefan","last_name":"Schmid","first_name":"Stefan"},{"last_name":"Avin","first_name":"Chen","full_name":"Avin, Chen"},{"id":"20792","full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler"},{"last_name":"Borokhovich","first_name":"Michael","full_name":"Borokhovich, Michael"},{"last_name":"Haeupler","first_name":"Bernhard","full_name":"Haeupler, Bernhard"},{"full_name":"Lotker, Zvi","last_name":"Lotker","first_name":"Zvi"}],"date_updated":"2022-01-06T06:53:29Z","date_created":"2018-03-27T12:40:24Z","type":"journal_article","department":[{"_id":"79"}],"publication":"IEEE/ACM Trans. Netw.","issue":"3","citation":{"ieee":"S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, and Z. Lotker, “SplayNet: Towards Locally Self-Adjusting Networks,” <i>IEEE/ACM Trans. Netw.</i>, no. 3, pp. 1421--1433, 2016.","apa":"Schmid, S., Avin, C., Scheideler, C., Borokhovich, M., Haeupler, B., &#38; Lotker, Z. (2016). SplayNet: Towards Locally Self-Adjusting Networks. <i>IEEE/ACM Trans. Netw.</i>, (3), 1421--1433. <a href=\"https://doi.org/10.1109/TNET.2015.2410313\">https://doi.org/10.1109/TNET.2015.2410313</a>","mla":"Schmid, Stefan, et al. “SplayNet: Towards Locally Self-Adjusting Networks.” <i>IEEE/ACM Trans. Netw.</i>, no. 3, 2016, pp. 1421--1433, doi:<a href=\"https://doi.org/10.1109/TNET.2015.2410313\">10.1109/TNET.2015.2410313</a>.","bibtex":"@article{Schmid_Avin_Scheideler_Borokhovich_Haeupler_Lotker_2016, title={SplayNet: Towards Locally Self-Adjusting Networks}, DOI={<a href=\"https://doi.org/10.1109/TNET.2015.2410313\">10.1109/TNET.2015.2410313</a>}, number={3}, journal={IEEE/ACM Trans. Netw.}, author={Schmid, Stefan and Avin, Chen and Scheideler, Christian and Borokhovich, Michael and Haeupler, Bernhard and Lotker, Zvi}, year={2016}, pages={1421--1433} }","chicago":"Schmid, Stefan, Chen Avin, Christian Scheideler, Michael Borokhovich, Bernhard Haeupler, and Zvi Lotker. “SplayNet: Towards Locally Self-Adjusting Networks.” <i>IEEE/ACM Trans. Netw.</i>, no. 3 (2016): 1421--1433. <a href=\"https://doi.org/10.1109/TNET.2015.2410313\">https://doi.org/10.1109/TNET.2015.2410313</a>.","ama":"Schmid S, Avin C, Scheideler C, Borokhovich M, Haeupler B, Lotker Z. SplayNet: Towards Locally Self-Adjusting Networks. <i>IEEE/ACM Trans Netw</i>. 2016;(3):1421--1433. doi:<a href=\"https://doi.org/10.1109/TNET.2015.2410313\">10.1109/TNET.2015.2410313</a>","short":"S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, Z. Lotker, IEEE/ACM Trans. Netw. (2016) 1421--1433."}},{"page":"148--164","_id":"1836","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-319-43994-5_10","user_id":"15504","volume":9818,"status":"public","title":"On the Runtime of Universal Coating for Programmable Matter","year":"2016","publication_identifier":{"unknown":["978-3-319-43993-8"]},"author":[{"last_name":"Derakhshandeh","first_name":"Zahra","full_name":"Derakhshandeh, Zahra"},{"full_name":"Gmyr, Robert","first_name":"Robert","last_name":"Gmyr"},{"last_name":"Porter","first_name":"Alexandra","full_name":"Porter, Alexandra"},{"last_name":"W. Richa","first_name":"Andrea","full_name":"W. Richa, Andrea"},{"id":"20792","last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian"},{"id":"11319","full_name":"Strothmann, Thim Frederik","last_name":"Strothmann","first_name":"Thim Frederik"}],"date_updated":"2022-01-06T06:53:30Z","intvolume":"      9818","date_created":"2018-03-27T12:41:45Z","type":"conference","department":[{"_id":"79"}],"publication":"DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings","citation":{"ama":"Derakhshandeh Z, Gmyr R, Porter A, W. Richa A, Scheideler C, Strothmann TF. On the Runtime of Universal Coating for Programmable Matter. In: <i>DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings</i>. Vol 9818. Lecture Notes in Computer Science. ; 2016:148--164. doi:<a href=\"https://doi.org/10.1007/978-3-319-43994-5_10\">10.1007/978-3-319-43994-5_10</a>","bibtex":"@inproceedings{Derakhshandeh_Gmyr_Porter_W. Richa_Scheideler_Strothmann_2016, series={Lecture Notes in Computer Science}, title={On the Runtime of Universal Coating for Programmable Matter}, volume={9818}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-43994-5_10\">10.1007/978-3-319-43994-5_10</a>}, booktitle={DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings}, author={Derakhshandeh, Zahra and Gmyr, Robert and Porter, Alexandra and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2016}, pages={148--164}, collection={Lecture Notes in Computer Science} }","mla":"Derakhshandeh, Zahra, et al. “On the Runtime of Universal Coating for Programmable Matter.” <i>DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings</i>, vol. 9818, 2016, pp. 148--164, doi:<a href=\"https://doi.org/10.1007/978-3-319-43994-5_10\">10.1007/978-3-319-43994-5_10</a>.","chicago":"Derakhshandeh, Zahra, Robert Gmyr, Alexandra Porter, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “On the Runtime of Universal Coating for Programmable Matter.” In <i>DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings</i>, 9818:148--164. Lecture Notes in Computer Science, 2016. <a href=\"https://doi.org/10.1007/978-3-319-43994-5_10\">https://doi.org/10.1007/978-3-319-43994-5_10</a>.","short":"Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, in: DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, pp. 148--164.","apa":"Derakhshandeh, Z., Gmyr, R., Porter, A., W. Richa, A., Scheideler, C., &#38; Strothmann, T. F. (2016). On the Runtime of Universal Coating for Programmable Matter. In <i>DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings</i> (Vol. 9818, pp. 148--164). <a href=\"https://doi.org/10.1007/978-3-319-43994-5_10\">https://doi.org/10.1007/978-3-319-43994-5_10</a>","ieee":"Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, and T. F. Strothmann, “On the Runtime of Universal Coating for Programmable Matter,” in <i>DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings</i>, 2016, vol. 9818, pp. 148--164."}},{"department":[{"_id":"79"}],"type":"conference","date_created":"2018-03-27T12:44:09Z","citation":{"bibtex":"@inproceedings{Derakhshandeh_Gmyr_W. Richa_Scheideler_Strothmann_2016, title={Universal Shape Formation for Programmable Matter}, DOI={<a href=\"https://doi.org/10.1145/2935764.2935784\">10.1145/2935764.2935784</a>}, booktitle={Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016}, publisher={ACM}, author={Derakhshandeh, Zahra and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2016}, pages={289--299} }","ama":"Derakhshandeh Z, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Universal Shape Formation for Programmable Matter. In: <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>. ACM; 2016:289--299. doi:<a href=\"https://doi.org/10.1145/2935764.2935784\">10.1145/2935764.2935784</a>","mla":"Derakhshandeh, Zahra, et al. “Universal Shape Formation for Programmable Matter.” <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>, ACM, 2016, pp. 289--299, doi:<a href=\"https://doi.org/10.1145/2935764.2935784\">10.1145/2935764.2935784</a>.","short":"Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, ACM, 2016, pp. 289--299.","chicago":"Derakhshandeh, Zahra, Robert Gmyr, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “Universal Shape Formation for Programmable Matter.” In <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>, 289--299. ACM, 2016. <a href=\"https://doi.org/10.1145/2935764.2935784\">https://doi.org/10.1145/2935764.2935784</a>.","ieee":"Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann, “Universal Shape Formation for Programmable Matter,” in <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>, 2016, pp. 289--299.","apa":"Derakhshandeh, Z., Gmyr, R., W. Richa, A., Scheideler, C., &#38; Strothmann, T. F. (2016). Universal Shape Formation for Programmable Matter. In <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i> (pp. 289--299). ACM. <a href=\"https://doi.org/10.1145/2935764.2935784\">https://doi.org/10.1145/2935764.2935784</a>"},"publication":"Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016","user_id":"15504","doi":"10.1145/2935764.2935784","_id":"1837","publisher":"ACM","language":[{"iso":"eng"}],"page":"289--299","date_updated":"2022-01-06T06:53:30Z","publication_identifier":{"unknown":["978-1-4503-4210-0"]},"author":[{"full_name":"Derakhshandeh, Zahra","first_name":"Zahra","last_name":"Derakhshandeh"},{"last_name":"Gmyr","first_name":"Robert","full_name":"Gmyr, Robert"},{"full_name":"W. Richa, Andrea","last_name":"W. Richa","first_name":"Andrea"},{"full_name":"Scheideler, Christian","last_name":"Scheideler","first_name":"Christian","id":"20792"},{"id":"11319","last_name":"Strothmann","first_name":"Thim Frederik","full_name":"Strothmann, Thim Frederik"}],"title":"Universal Shape Formation for Programmable Matter","status":"public","year":"2016"},{"has_accepted_license":"1","status":"public","user_id":"15504","ddc":["040"],"page":"756-771","_id":"184","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-03-21T12:32:44Z","citation":{"chicago":"Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.” In <i>Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016)</i>, 756–71. LNCS, 2016. <a href=\"https://doi.org/10.1007/978-3-319-46227-1_47\">https://doi.org/10.1007/978-3-319-46227-1_47</a>.","short":"V. Melnikov, E. Hüllermeier, in: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.","apa":"Melnikov, V., &#38; Hüllermeier, E. (2016). Learning to Aggregate Using Uninorms. In <i>Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016)</i> (pp. 756–771). <a href=\"https://doi.org/10.1007/978-3-319-46227-1_47\">https://doi.org/10.1007/978-3-319-46227-1_47</a>","ieee":"V. Melnikov and E. Hüllermeier, “Learning to Aggregate Using Uninorms,” in <i>Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016)</i>, 2016, pp. 756–771.","ama":"Melnikov V, Hüllermeier E. Learning to Aggregate Using Uninorms. In: <i>Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016)</i>. LNCS. ; 2016:756-771. doi:<a href=\"https://doi.org/10.1007/978-3-319-46227-1_47\">10.1007/978-3-319-46227-1_47</a>","bibtex":"@inproceedings{Melnikov_Hüllermeier_2016, series={LNCS}, title={Learning to Aggregate Using Uninorms}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-46227-1_47\">10.1007/978-3-319-46227-1_47</a>}, booktitle={Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016)}, author={Melnikov, Vitaly and Hüllermeier, Eyke}, year={2016}, pages={756–771}, collection={LNCS} }","mla":"Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.” <i>Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016)</i>, 2016, pp. 756–71, doi:<a href=\"https://doi.org/10.1007/978-3-319-46227-1_47\">10.1007/978-3-319-46227-1_47</a>."},"date_updated":"2022-01-06T06:53:32Z","title":"Learning to Aggregate Using Uninorms","year":"2016","author":[{"id":"58747","last_name":"Melnikov","first_name":"Vitaly","full_name":"Melnikov, Vitaly"},{"first_name":"Eyke","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke","id":"48129"}],"doi":"10.1007/978-3-319-46227-1_47","series_title":"LNCS","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"In this paper, we propose a framework for a class of learning problems that we refer to as “learning to aggregate”. Roughly, learning-to-aggregate problems are supervised machine learning problems, in which instances are represented in the form of a composition of a (variable) number on constituents; such compositions are associated with an evaluation, score, or label, which is the target of the prediction task, and which can presumably be modeled in the form of a suitable aggregation of the properties of its constituents. Our learning-to-aggregate framework establishes a close connection between machine learning and a branch of mathematics devoted to the systematic study of aggregation functions. We specifically focus on a class of functions called uninorms, which combine conjunctive and disjunctive modes of aggregation. Experimental results for a corresponding model are presented for a review data set, for which the aggregation problem consists of combining different reviewer opinions about a paper into an overall decision of acceptance or rejection."}],"publication":"Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016)","type":"conference","department":[{"_id":"355"}],"file":[{"creator":"florida","date_created":"2018-03-21T12:32:44Z","file_size":472159,"access_level":"closed","file_name":"184-chp_3A10.1007_2F978-3-319-46227-1_47.pdf","date_updated":"2018-03-21T12:32:44Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"1533"}],"date_created":"2017-10-17T12:41:27Z"},{"date_updated":"2022-01-06T06:53:32Z","status":"public","year":"2016","title":"Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016","publication_identifier":{"isbn":["978-1-4503-4210-0"]},"doi":"10.1145/2935764","user_id":"15504","editor":[{"full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler","id":"20792"},{"first_name":"Seth","last_name":"Gilbert","full_name":"Gilbert, Seth"}],"_id":"1844","citation":{"bibtex":"@book{Scheideler_Gilbert_2016, title={Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016}, DOI={<a href=\"https://doi.org/10.1145/2935764\">10.1145/2935764</a>}, year={2016} }","ama":"Scheideler C, Gilbert S, eds. <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>.; 2016. doi:<a href=\"https://doi.org/10.1145/2935764\">10.1145/2935764</a>","mla":"Scheideler, Christian, and Seth Gilbert, editors. <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>. 2016, doi:<a href=\"https://doi.org/10.1145/2935764\">10.1145/2935764</a>.","chicago":"Scheideler, Christian, and Seth Gilbert, eds. <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>, 2016. <a href=\"https://doi.org/10.1145/2935764\">https://doi.org/10.1145/2935764</a>.","short":"C. Scheideler, S. Gilbert, eds., Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, 2016.","ieee":"C. Scheideler and S. Gilbert, Eds., <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>. 2016.","apa":"Scheideler, C., &#38; Gilbert, S. (Eds.). (2016). <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>. <a href=\"https://doi.org/10.1145/2935764\">https://doi.org/10.1145/2935764</a>"},"type":"conference_editor","department":[{"_id":"79"}],"date_created":"2018-03-28T05:44:12Z"},{"citation":{"bibtex":"@inbook{W. Richa_Scheideler_2016, title={Jamming-Resistant MAC Protocols for Wireless Networks}, DOI={<a href=\"https://doi.org/10.1007/978-1-4939-2864-4_593\">10.1007/978-1-4939-2864-4_593</a>}, booktitle={Encyclopedia of Algorithms}, author={W. Richa, Andrea and Scheideler, Christian}, year={2016}, pages={999--1002} }","short":"A. W. Richa, C. Scheideler, in: Encyclopedia of Algorithms, 2016, pp. 999--1002.","ama":"W. Richa A, Scheideler C. Jamming-Resistant MAC Protocols for Wireless Networks. In: <i>Encyclopedia of Algorithms</i>. ; 2016:999--1002. doi:<a href=\"https://doi.org/10.1007/978-1-4939-2864-4_593\">10.1007/978-1-4939-2864-4_593</a>","chicago":"W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols for Wireless Networks.” In <i>Encyclopedia of Algorithms</i>, 999--1002, 2016. <a href=\"https://doi.org/10.1007/978-1-4939-2864-4_593\">https://doi.org/10.1007/978-1-4939-2864-4_593</a>.","ieee":"A. W. Richa and C. Scheideler, “Jamming-Resistant MAC Protocols for Wireless Networks,” in <i>Encyclopedia of Algorithms</i>, 2016, pp. 999--1002.","apa":"W. Richa, A., &#38; Scheideler, C. (2016). Jamming-Resistant MAC Protocols for Wireless Networks. In <i>Encyclopedia of Algorithms</i> (pp. 999--1002). <a href=\"https://doi.org/10.1007/978-1-4939-2864-4_593\">https://doi.org/10.1007/978-1-4939-2864-4_593</a>","mla":"W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols for Wireless Networks.” <i>Encyclopedia of Algorithms</i>, 2016, pp. 999--1002, doi:<a href=\"https://doi.org/10.1007/978-1-4939-2864-4_593\">10.1007/978-1-4939-2864-4_593</a>."},"publication":"Encyclopedia of Algorithms","department":[{"_id":"79"}],"type":"book_chapter","date_created":"2018-03-28T05:45:04Z","date_updated":"2022-01-06T06:53:32Z","author":[{"first_name":"Andrea","last_name":"W. Richa","full_name":"W. Richa, Andrea"},{"full_name":"Scheideler, Christian","last_name":"Scheideler","first_name":"Christian","id":"20792"}],"status":"public","title":"Jamming-Resistant MAC Protocols for Wireless Networks","year":"2016","doi":"10.1007/978-1-4939-2864-4_593","user_id":"15504","_id":"1845","page":"999--1002"},{"type":"conference","department":[{"_id":"77"}],"file":[{"date_created":"2018-03-21T12:32:11Z","creator":"florida","file_id":"1532","content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-03-21T12:32:11Z","file_name":"186-SEsubmission8.pdf","access_level":"closed","file_size":55775}],"date_created":"2017-10-17T12:41:28Z","abstract":[{"text":"Software verification is an established method to ensure software safety. Nevertheless, verification still often fails, either because it consumes too much resources, e.g., time or memory, or the technique is not mature enough to verify the property. Often then discarding the partial verification, the validation process proceeds with techniques like testing.To enable standard testing to profit from previous, partial verification, we use a summary of the verification effort to simplify the program for subsequent testing. Our techniques use this summary to construct a residual program which only contains program paths with unproven assertions. Afterwards, the residual program can be used with standard testing tools.Our first experiments show that testing profits from the partial verification.The test effort is reduced and combined verification and testing is faster than a complete verification.","lang":"eng"}],"publication":"Software Engineering 2016","series_title":"Lecture Notes in Informatics","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:53:43Z","title":"Just test what you cannot verify!","year":"2016","author":[{"full_name":"Czech, Mike","first_name":"Mike","last_name":"Czech"},{"last_name":"Jakobs","first_name":"Marie-Christine","full_name":"Jakobs, Marie-Christine"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-03-21T12:32:11Z","citation":{"apa":"Czech, M., Jakobs, M.-C., &#38; Wehrheim, H. (2016). Just test what you cannot verify! In U. Z. Jens Knoop (Ed.), <i>Software Engineering 2016</i> (pp. 17–18).","ieee":"M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in <i>Software Engineering 2016</i>, 2016, pp. 17–18.","short":"M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software Engineering 2016, 2016, pp. 17–18.","chicago":"Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!” In <i>Software Engineering 2016</i>, edited by Uwe Zdun Jens Knoop, 17–18. Lecture Notes in Informatics, 2016.","mla":"Czech, Mike, et al. “Just Test What You Cannot Verify!” <i>Software Engineering 2016</i>, edited by Uwe Zdun Jens Knoop, 2016, pp. 17–18.","ama":"Czech M, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Jens Knoop UZ, ed. <i>Software Engineering 2016</i>. Lecture Notes in Informatics. ; 2016:17-18.","bibtex":"@inproceedings{Czech_Jakobs_Wehrheim_2016, series={Lecture Notes in Informatics}, title={Just test what you cannot verify!}, booktitle={Software Engineering 2016}, author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Jens Knoop, Uwe ZdunEditor}, year={2016}, pages={17–18}, collection={Lecture Notes in Informatics} }"},"ddc":["040"],"user_id":"477","editor":[{"full_name":"Jens Knoop, Uwe Zdun","last_name":"Jens Knoop","first_name":"Uwe Zdun"}],"page":"17-18","_id":"186","has_accepted_license":"1","status":"public"},{"user_id":"477","ddc":["040"],"_id":"221","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"has_accepted_license":"1","date_updated":"2022-01-06T06:55:25Z","author":[{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"},{"full_name":"Josifovska, Klementina","first_name":"Klementina","last_name":"Josifovska"},{"id":"58843","full_name":"van Rooijen, Lorijn","first_name":"Lorijn","last_name":"van Rooijen"},{"last_name":"Arifulina","first_name":"Svetlana","full_name":"Arifulina, Svetlana"},{"first_name":"Matthias","last_name":"Becker","full_name":"Becker, Matthias"},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Schäfer, Wilhelm","first_name":"Wilhelm","last_name":"Schäfer"}],"title":"An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)","status":"public","year":"2016","department":[{"_id":"66"},{"_id":"76"}],"type":"report","date_created":"2017-10-17T12:41:35Z","file":[{"date_created":"2018-03-21T10:36:37Z","creator":"florida","content_type":"application/pdf","success":1,"file_id":"1512","access_level":"closed","file_size":6498677,"file_name":"221-SFB_SSL_Techreport.pdf","date_updated":"2018-03-21T10:36:37Z","relation":"main_file"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"11","name":"SFB 901 - Subproject B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"citation":{"ama":"Platenius MC, Josifovska K, van Rooijen L, et al. <i>An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)</i>. Universität Paderborn; 2016.","bibtex":"@book{Platenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016, title={An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)}, publisher={Universität Paderborn}, author={Platenius, Marie Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm}, year={2016} }","mla":"Platenius, Marie Christin, et al. <i>An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)</i>. Universität Paderborn, 2016.","short":"M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G. Engels, W. Schäfer, An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.","chicago":"Platenius, Marie Christin, Klementina Josifovska, Lorijn van Rooijen, Svetlana Arifulina, Matthias Becker, Gregor Engels, and Wilhelm Schäfer. <i>An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)</i>. Universität Paderborn, 2016.","apa":"Platenius, M. C., Josifovska, K., van Rooijen, L., Arifulina, S., Becker, M., Engels, G., &#38; Schäfer, W. (2016). <i>An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)</i>. Universität Paderborn.","ieee":"M. C. Platenius <i>et al.</i>, <i>An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)</i>. Universität Paderborn, 2016."},"file_date_updated":"2018-03-21T10:36:37Z"},{"status":"public","has_accepted_license":"1","page":"112--122","_id":"222","publisher":"Elsevier","ddc":["040"],"user_id":"477","file_date_updated":"2018-03-21T10:36:08Z","citation":{"chicago":"Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.” <i>Computers &#38; Electrical Engineering</i>, 2016, 112--122. <a href=\"https://doi.org/10.1016/j.compeleceng.2016.04.005\">https://doi.org/10.1016/j.compeleceng.2016.04.005</a>.","short":"T. Wiersema, A. Bockhorn, M. Platzner, Computers &#38; Electrical Engineering (2016) 112--122.","ieee":"T. Wiersema, A. Bockhorn, and M. Platzner, “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip,” <i>Computers &#38; Electrical Engineering</i>, pp. 112--122, 2016.","apa":"Wiersema, T., Bockhorn, A., &#38; Platzner, M. (2016). An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. <i>Computers &#38; Electrical Engineering</i>, 112--122. <a href=\"https://doi.org/10.1016/j.compeleceng.2016.04.005\">https://doi.org/10.1016/j.compeleceng.2016.04.005</a>","bibtex":"@article{Wiersema_Bockhorn_Platzner_2016, title={An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip}, DOI={<a href=\"https://doi.org/10.1016/j.compeleceng.2016.04.005\">10.1016/j.compeleceng.2016.04.005</a>}, journal={Computers &#38; Electrical Engineering}, publisher={Elsevier}, author={Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco}, year={2016}, pages={112--122} }","ama":"Wiersema T, Bockhorn A, Platzner M. An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. <i>Computers &#38; Electrical Engineering</i>. 2016:112--122. doi:<a href=\"https://doi.org/10.1016/j.compeleceng.2016.04.005\">10.1016/j.compeleceng.2016.04.005</a>","mla":"Wiersema, Tobias, et al. “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.” <i>Computers &#38; Electrical Engineering</i>, Elsevier, 2016, pp. 112--122, doi:<a href=\"https://doi.org/10.1016/j.compeleceng.2016.04.005\">10.1016/j.compeleceng.2016.04.005</a>."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"year":"2016","title":"An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip","author":[{"last_name":"Wiersema","first_name":"Tobias","full_name":"Wiersema, Tobias","id":"3118"},{"last_name":"Bockhorn","first_name":"Arne","full_name":"Bockhorn, Arne"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"}],"date_updated":"2022-01-06T06:55:29Z","language":[{"iso":"eng"}],"doi":"10.1016/j.compeleceng.2016.04.005","publication":"Computers & Electrical Engineering","abstract":[{"lang":"eng","text":"Virtual field programmable gate arrays (FPGA) are overlay architectures realized on top of physical FPGAs. They are proposed to enhance or abstract away from the physical FPGA for experimenting with novel architectures and design tool flows. In this paper, we present an embedding of a ZUMA-based virtual FPGA fabric into a complete configurable system-on-chip. Such an embedding is required to fully harness the potential of virtual FPGAs, in particular to give the virtual circuits access to main memory and operating system services, and to enable a concurrent operation of virtualized and non-virtualized circuitry. We discuss our extension to ZUMA and its embedding into the ReconOS operating system for hardware/software systems. Furthermore, we present an open source tool flow to synthesize configurations for the virtual FPGA, along with an analysis of the area and delay overheads involved."}],"file":[{"creator":"florida","date_created":"2018-03-21T10:36:08Z","file_size":931048,"access_level":"closed","file_name":"222-1-s2.0-S0045790616300684-main.pdf","date_updated":"2018-03-21T10:36:08Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"1511"}],"date_created":"2017-10-17T12:41:35Z","type":"journal_article","department":[{"_id":"78"}]},{"user_id":"15504","ddc":["040"],"publisher":"Universität Paderborn","_id":"223","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:55:30Z","has_accepted_license":"1","title":"Aggregation in Overlay Networks","year":"2016","status":"public","author":[{"full_name":"Hinnenthal, Kristian","last_name":"Hinnenthal","first_name":"Kristian","id":"32229"}],"type":"mastersthesis","department":[{"_id":"79"}],"file":[{"file_id":"1510","content_type":"application/pdf","success":1,"file_name":"223-MasterarbeitHinnenthal.pdf","access_level":"closed","file_size":1127144,"relation":"main_file","date_updated":"2018-03-21T10:35:39Z","date_created":"2018-03-21T10:35:39Z","creator":"florida"}],"date_created":"2017-10-17T12:41:35Z","abstract":[{"text":"We consider the problem of aggregation in overlay networks. We use a synchronous time model in which each node has polylogarithmic memory and can send at most a polylogarithmic number of messages per round. We investigate how to quickly compute the result of an aggregate functionf over elements that are distributed among the nodes of the network such that the result is eventually known by a selected root node. We show how to compute distributive aggregate functions such as SUM, MAX, and OR in time $O(\\log n / \\log\\log n)$ using a tree that is created in a pre-processing phase. If only a polylogarithmic number of data items need to be aggregated, we show how to compute the result in time $O(\\sqrt{\\log n / \\log\\log n})$. Furthermore, we show how to compute holistic aggregate functions such as DISTINCT, SMALLEST(k) and MODE(k) in time $O(\\log n / \\log\\log n)$. Finally, we show a lower bound of $\\Omega(\\sqrt{\\log n / \\log\\log n})$ for deterministic algorithms that compute any of the aggregate functions in the scope of the thesis.","lang":"eng"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"13","name":"SFB 901 - Subprojekt C1"},{"name":"SFB 901 - Project Area C","_id":"4"}],"file_date_updated":"2018-03-21T10:35:39Z","citation":{"chicago":"Hinnenthal, Kristian. <i>Aggregation in Overlay Networks</i>. Universität Paderborn, 2016.","ama":"Hinnenthal K. <i>Aggregation in Overlay Networks</i>. Universität Paderborn; 2016.","short":"K. Hinnenthal, Aggregation in Overlay Networks, Universität Paderborn, 2016.","bibtex":"@book{Hinnenthal_2016, title={Aggregation in Overlay Networks}, publisher={Universität Paderborn}, author={Hinnenthal, Kristian}, year={2016} }","apa":"Hinnenthal, K. (2016). <i>Aggregation in Overlay Networks</i>. Universität Paderborn.","mla":"Hinnenthal, Kristian. <i>Aggregation in Overlay Networks</i>. Universität Paderborn, 2016.","ieee":"K. Hinnenthal, <i>Aggregation in Overlay Networks</i>. Universität Paderborn, 2016."},"supervisor":[{"id":"20792","full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler"}]},{"_id":"224","page":"248--262","user_id":"477","ddc":["040"],"status":"public","has_accepted_license":"1","citation":{"mla":"Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error Localization for Service Compositions.” <i>Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)</i>, 2016, pp. 248--262, doi:<a href=\"https://doi.org/10.1007/978-3-319-44482-6_16\">10.1007/978-3-319-44482-6_16</a>.","bibtex":"@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A short survey on using software error localization for service compositions}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-44482-6_16\">10.1007/978-3-319-44482-6_16</a>}, booktitle={Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016}, pages={248--262}, collection={LNCS} }","ama":"Krämer J, Wehrheim H. A short survey on using software error localization for service compositions. In: <i>Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)</i>. LNCS. ; 2016:248--262. doi:<a href=\"https://doi.org/10.1007/978-3-319-44482-6_16\">10.1007/978-3-319-44482-6_16</a>","ieee":"J. Krämer and H. Wehrheim, “A short survey on using software error localization for service compositions,” in <i>Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)</i>, 2016, pp. 248--262.","apa":"Krämer, J., &#38; Wehrheim, H. (2016). A short survey on using software error localization for service compositions. In <i>Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)</i> (pp. 248--262). <a href=\"https://doi.org/10.1007/978-3-319-44482-6_16\">https://doi.org/10.1007/978-3-319-44482-6_16</a>","short":"J. Krämer, H. Wehrheim, in: Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.","chicago":"Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error Localization for Service Compositions.” In <i>Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)</i>, 248--262. LNCS, 2016. <a href=\"https://doi.org/10.1007/978-3-319-44482-6_16\">https://doi.org/10.1007/978-3-319-44482-6_16</a>."},"file_date_updated":"2018-03-21T10:35:04Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"series_title":"LNCS","language":[{"iso":"eng"}],"doi":"10.1007/978-3-319-44482-6_16","author":[{"first_name":"Julia","last_name":"Krämer","full_name":"Krämer, Julia"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"year":"2016","title":"A short survey on using software error localization for service compositions","date_updated":"2022-01-06T06:55:32Z","date_created":"2017-10-17T12:41:35Z","file":[{"date_updated":"2018-03-21T10:35:04Z","relation":"main_file","access_level":"closed","file_size":389042,"file_name":"224-chp_3A10.1007_2F978-3-319-44482-6_16.pdf","success":1,"content_type":"application/pdf","file_id":"1509","creator":"florida","date_created":"2018-03-21T10:35:04Z"}],"department":[{"_id":"77"}],"type":"conference","publication":"Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)","abstract":[{"lang":"eng","text":"In modern software development, paradigms like component-based software engineering (CBSE) and service-oriented architectures (SOA) emphasize the construction of large software systems out of existing components or services. Therein, a service is a self-contained piece of software, which adheres to a specified interface. In a model-based software design, this interface constitutes our sole knowledge of the service at design time, while service implementations are not available. Therefore, correctness checks or detection of potential errors in service compositions has to be carried out without the possibility of executing services. This challenges the usage of standard software error localization techniques for service compositions. In this paper, we review state-of-the-art approaches for error localization of software and discuss their applicability to service compositions."}]},{"ddc":["040"],"user_id":"477","page":"445--457","_id":"226","has_accepted_license":"1","status":"public","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-21T10:34:08Z","citation":{"apa":"Krämer, J., &#38; Wehrheim, H. (2016). A Formal Approach to Error Localization and Correction in Service Compositions. In <i>Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)</i> (pp. 445--457). <a href=\"https://doi.org/10.1007/978-3-319-50230-4_35\">https://doi.org/10.1007/978-3-319-50230-4_35</a>","mla":"Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization and Correction in Service Compositions.” <i>Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)</i>, 2016, pp. 445--457, doi:<a href=\"https://doi.org/10.1007/978-3-319-50230-4_35\">10.1007/978-3-319-50230-4_35</a>.","ieee":"J. Krämer and H. Wehrheim, “A Formal Approach to Error Localization and Correction in Service Compositions,” in <i>Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)</i>, 2016, pp. 445--457.","chicago":"Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization and Correction in Service Compositions.” In <i>Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)</i>, 445--457. LNCS, 2016. <a href=\"https://doi.org/10.1007/978-3-319-50230-4_35\">https://doi.org/10.1007/978-3-319-50230-4_35</a>.","ama":"Krämer J, Wehrheim H. A Formal Approach to Error Localization and Correction in Service Compositions. In: <i>Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)</i>. LNCS. ; 2016:445--457. doi:<a href=\"https://doi.org/10.1007/978-3-319-50230-4_35\">10.1007/978-3-319-50230-4_35</a>","short":"J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.","bibtex":"@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A Formal Approach to Error Localization and Correction in Service Compositions}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-50230-4_35\">10.1007/978-3-319-50230-4_35</a>}, booktitle={Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016}, pages={445--457}, collection={LNCS} }"},"doi":"10.1007/978-3-319-50230-4_35","language":[{"iso":"eng"}],"series_title":"LNCS","date_updated":"2022-01-06T06:55:37Z","year":"2016","title":"A Formal Approach to Error Localization and Correction in Service Compositions","author":[{"full_name":"Krämer, Julia","last_name":"Krämer","first_name":"Julia"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"type":"conference","department":[{"_id":"77"}],"file":[{"creator":"florida","date_created":"2018-03-21T10:34:08Z","relation":"main_file","date_updated":"2018-03-21T10:34:08Z","file_name":"226-chp_3A10.1007_2F978-3-319-50230-4_35.pdf","file_size":492018,"access_level":"closed","file_id":"1507","success":1,"content_type":"application/pdf"}],"date_created":"2017-10-17T12:41:36Z","abstract":[{"text":"Error detection, localization and correction are time-intensive tasks in software development, but crucial to deliver functionally correct products. Thus, automated approaches to these tasks have been intensively studied for standard software systems. For model-based software systems, the situation is different. While error detection is still well-studied, error localization and correction is a less-studied domain. In this paper, we examine error localization and correction for models of service compositions. Based on formal definitions of error and correction in this context, we show that the classical approach of error localization and correction, i.e. first determining a set of suspicious statements and then proposing changes to these statements, is ineffective in our context. In fact, it lessens the chance to succeed in finding a correction at all.In this paper, we introduce correction proposal as a novel approach on error correction in service compositions integrating error localization and correction in one combined step. In addition, we provide an algorithm to compute such correction proposals automatically.","lang":"eng"}],"publication":"Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)"},{"file_date_updated":"2018-03-21T10:33:38Z","citation":{"ieee":"M. Töws and H. Wehrheim, “A CEGAR Scheme for Information Flow Analysis,” in <i>Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)</i>, 2016, pp. 466--483.","apa":"Töws, M., &#38; Wehrheim, H. (2016). A CEGAR Scheme for Information Flow Analysis. In <i>Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)</i> (pp. 466--483). <a href=\"https://doi.org/10.1007/978-3-319-47846-3_29\">https://doi.org/10.1007/978-3-319-47846-3_29</a>","chicago":"Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.” In <i>Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)</i>, 466--483. LNCS, 2016. <a href=\"https://doi.org/10.1007/978-3-319-47846-3_29\">https://doi.org/10.1007/978-3-319-47846-3_29</a>.","short":"M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.","mla":"Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.” <i>Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)</i>, 2016, pp. 466--483, doi:<a href=\"https://doi.org/10.1007/978-3-319-47846-3_29\">10.1007/978-3-319-47846-3_29</a>.","bibtex":"@inproceedings{Töws_Wehrheim_2016, series={LNCS}, title={A CEGAR Scheme for Information Flow Analysis}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-47846-3_29\">10.1007/978-3-319-47846-3_29</a>}, booktitle={Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)}, author={Töws, Manuel and Wehrheim, Heike}, year={2016}, pages={466--483}, collection={LNCS} }","ama":"Töws M, Wehrheim H. A CEGAR Scheme for Information Flow Analysis. In: <i>Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)</i>. LNCS. ; 2016:466--483. doi:<a href=\"https://doi.org/10.1007/978-3-319-47846-3_29\">10.1007/978-3-319-47846-3_29</a>"},"project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"page":"466--483","_id":"227","ddc":["040"],"user_id":"477","status":"public","has_accepted_license":"1","file":[{"relation":"main_file","date_updated":"2018-03-21T10:33:38Z","file_name":"227-chp_3A10.1007_2F978-3-319-47846-3_29.pdf","file_size":682849,"access_level":"closed","file_id":"1506","success":1,"content_type":"application/pdf","creator":"florida","date_created":"2018-03-21T10:33:38Z"}],"date_created":"2017-10-17T12:41:36Z","type":"conference","department":[{"_id":"77"}],"publication":"Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)","abstract":[{"text":"Information flow analysis studies the flow of data between program entities (e.g. variables), where the allowed flow is specified via security policies. Typical information flow analyses compute a conservative (over-)approximation of the flows in a program. Such an analysis may thus signal non-existing violations of the security policy.In this paper, we propose a new technique for inspecting the reported violations (counterexamples) for spuriousity. Similar to counterexample-guided-abstraction-refinement (CEGAR) in software verification, we use the result of this inspection to improve the next round of the analysis. We prove soundness of this scheme.","lang":"eng"}],"language":[{"iso":"eng"}],"series_title":"LNCS","doi":"10.1007/978-3-319-47846-3_29","year":"2016","title":"A CEGAR Scheme for Information Flow Analysis","author":[{"full_name":"Töws, Manuel","last_name":"Töws","first_name":"Manuel","id":"11315"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"date_updated":"2022-01-06T06:55:39Z"},{"publication":"VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016","citation":{"bibtex":"@inproceedings{Röltgen_Anacker_Dumitrescu_2016, title={Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0}, booktitle={VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016}, author={Röltgen, Daniel and Anacker, Harald and Dumitrescu, Roman}, year={2016} }","ama":"Röltgen D, Anacker H, Dumitrescu R. Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0. In: <i>VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016</i>. ; 2016.","mla":"Röltgen, Daniel, et al. “Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0.” <i>VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016</i>, 2016.","chicago":"Röltgen, Daniel, Harald Anacker, and Roman Dumitrescu. “Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0.” In <i>VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016</i>, 2016.","short":"D. Röltgen, H. Anacker, R. Dumitrescu, in: VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.","ieee":"D. Röltgen, H. Anacker, and R. Dumitrescu, “Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0,” in <i>VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016</i>, 2016.","apa":"Röltgen, D., Anacker, H., &#38; Dumitrescu, R. (2016). Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0. In <i>VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016</i>."},"date_created":"2021-07-28T09:34:15Z","type":"conference","department":[{"_id":"563"}],"title":"Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0","status":"public","year":"2016","author":[{"full_name":"Röltgen, Daniel","first_name":"Daniel","last_name":"Röltgen"},{"last_name":"Anacker","first_name":"Harald","full_name":"Anacker, Harald"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu","id":"16190"}],"date_updated":"2022-01-06T06:55:42Z","language":[{"iso":"ger"}],"_id":"22870","user_id":"21240"}]