[{"date_created":"2018-03-28T05:44:12Z","department":[{"_id":"79"}],"type":"conference_editor","citation":{"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>","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.","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>.","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>.","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>"},"_id":"1844","editor":[{"id":"20792","full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler"},{"full_name":"Gilbert, Seth","first_name":"Seth","last_name":"Gilbert"}],"user_id":"15504","doi":"10.1145/2935764","publication_identifier":{"isbn":["978-1-4503-4210-0"]},"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","date_updated":"2022-01-06T06:53:32Z"},{"publication":"Encyclopedia of Algorithms","citation":{"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>.","ieee":"A. W. Richa and C. Scheideler, “Jamming-Resistant MAC Protocols for Wireless Networks,” in <i>Encyclopedia of Algorithms</i>, 2016, pp. 999--1002.","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>.","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>","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} }"},"date_created":"2018-03-28T05:45:04Z","type":"book_chapter","department":[{"_id":"79"}],"title":"Jamming-Resistant MAC Protocols for Wireless Networks","year":"2016","status":"public","author":[{"last_name":"W. Richa","first_name":"Andrea","full_name":"W. Richa, Andrea"},{"id":"20792","full_name":"Scheideler, Christian","last_name":"Scheideler","first_name":"Christian"}],"date_updated":"2022-01-06T06:53:32Z","page":"999--1002","_id":"1845","user_id":"15504","doi":"10.1007/978-1-4939-2864-4_593"},{"status":"public","has_accepted_license":"1","page":"17-18","_id":"186","ddc":["040"],"user_id":"477","editor":[{"first_name":"Uwe Zdun","last_name":"Jens Knoop","full_name":"Jens Knoop, Uwe Zdun"}],"file_date_updated":"2018-03-21T12:32:11Z","citation":{"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.","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.","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} }","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."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"title":"Just test what you cannot verify!","year":"2016","author":[{"first_name":"Mike","last_name":"Czech","full_name":"Czech, Mike"},{"full_name":"Jakobs, Marie-Christine","last_name":"Jakobs","first_name":"Marie-Christine"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"date_updated":"2022-01-06T06:53:43Z","series_title":"Lecture Notes in Informatics","language":[{"iso":"eng"}],"publication":"Software Engineering 2016","abstract":[{"lang":"eng","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."}],"file":[{"date_updated":"2018-03-21T12:32:11Z","relation":"main_file","file_size":55775,"access_level":"closed","file_name":"186-SEsubmission8.pdf","content_type":"application/pdf","success":1,"file_id":"1532","creator":"florida","date_created":"2018-03-21T12:32:11Z"}],"date_created":"2017-10-17T12:41:28Z","type":"conference","department":[{"_id":"77"}]},{"type":"report","department":[{"_id":"66"},{"_id":"76"}],"file":[{"file_name":"221-SFB_SSL_Techreport.pdf","access_level":"closed","file_size":6498677,"relation":"main_file","date_updated":"2018-03-21T10:36:37Z","file_id":"1512","success":1,"content_type":"application/pdf","creator":"florida","date_created":"2018-03-21T10:36:37Z"}],"date_created":"2017-10-17T12:41:35Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"11","name":"SFB 901 - Subproject B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-21T10:36:37Z","citation":{"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.","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.","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.","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.","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} }","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."},"ddc":["040"],"user_id":"477","_id":"221","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:55:25Z","has_accepted_license":"1","year":"2016","title":"An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)","status":"public","author":[{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"},{"first_name":"Klementina","last_name":"Josifovska","full_name":"Josifovska, Klementina"},{"id":"58843","first_name":"Lorijn","last_name":"van Rooijen","full_name":"van Rooijen, Lorijn"},{"first_name":"Svetlana","last_name":"Arifulina","full_name":"Arifulina, Svetlana"},{"full_name":"Becker, Matthias","last_name":"Becker","first_name":"Matthias"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"}]},{"title":"An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip","year":"2016","author":[{"id":"3118","first_name":"Tobias","last_name":"Wiersema","full_name":"Wiersema, Tobias"},{"last_name":"Bockhorn","first_name":"Arne","full_name":"Bockhorn, Arne"},{"full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner","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":[{"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.","lang":"eng"}],"file":[{"file_id":"1511","content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-03-21T10:36:08Z","file_name":"222-1-s2.0-S0045790616300684-main.pdf","access_level":"closed","file_size":931048,"date_created":"2018-03-21T10:36:08Z","creator":"florida"}],"date_created":"2017-10-17T12:41:35Z","type":"journal_article","department":[{"_id":"78"}],"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":{"short":"T. Wiersema, A. Bockhorn, M. Platzner, Computers &#38; Electrical Engineering (2016) 112--122.","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>.","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>","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.","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>","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} }","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"}]},{"status":"public","title":"Aggregation in Overlay Networks","year":"2016","author":[{"id":"32229","last_name":"Hinnenthal","first_name":"Kristian","full_name":"Hinnenthal, Kristian"}],"date_updated":"2022-01-06T06:55:30Z","has_accepted_license":"1","_id":"223","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"ddc":["040"],"user_id":"15504","file_date_updated":"2018-03-21T10:35:39Z","supervisor":[{"id":"20792","full_name":"Scheideler, Christian","last_name":"Scheideler","first_name":"Christian"}],"citation":{"ama":"Hinnenthal K. <i>Aggregation in Overlay Networks</i>. Universität Paderborn; 2016.","short":"K. Hinnenthal, Aggregation in Overlay Networks, Universität Paderborn, 2016.","chicago":"Hinnenthal, Kristian. <i>Aggregation in Overlay Networks</i>. Universität Paderborn, 2016.","bibtex":"@book{Hinnenthal_2016, title={Aggregation in Overlay Networks}, publisher={Universität Paderborn}, author={Hinnenthal, Kristian}, year={2016} }","mla":"Hinnenthal, Kristian. <i>Aggregation in Overlay Networks</i>. Universität Paderborn, 2016.","apa":"Hinnenthal, K. (2016). <i>Aggregation in Overlay Networks</i>. Universität Paderborn.","ieee":"K. Hinnenthal, <i>Aggregation in Overlay Networks</i>. Universität Paderborn, 2016."},"abstract":[{"lang":"eng","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."}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"13","name":"SFB 901 - Subprojekt C1"},{"name":"SFB 901 - Project Area C","_id":"4"}],"file":[{"file_name":"223-MasterarbeitHinnenthal.pdf","access_level":"closed","file_size":1127144,"relation":"main_file","date_updated":"2018-03-21T10:35:39Z","file_id":"1510","content_type":"application/pdf","success":1,"creator":"florida","date_created":"2018-03-21T10:35:39Z"}],"date_created":"2017-10-17T12:41:35Z","type":"mastersthesis","department":[{"_id":"79"}]},{"user_id":"477","ddc":["040"],"page":"248--262","_id":"224","has_accepted_license":"1","status":"public","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-21T10:35:04Z","citation":{"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>","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>.","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.","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>"},"doi":"10.1007/978-3-319-44482-6_16","series_title":"LNCS","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:55:32Z","title":"A short survey on using software error localization for service compositions","year":"2016","author":[{"full_name":"Krämer, Julia","first_name":"Julia","last_name":"Krämer"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"type":"conference","department":[{"_id":"77"}],"file":[{"file_id":"1509","content_type":"application/pdf","success":1,"file_name":"224-chp_3A10.1007_2F978-3-319-44482-6_16.pdf","access_level":"closed","file_size":389042,"relation":"main_file","date_updated":"2018-03-21T10:35:04Z","date_created":"2018-03-21T10:35:04Z","creator":"florida"}],"date_created":"2017-10-17T12:41:35Z","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."}],"publication":"Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)"},{"doi":"10.1007/978-3-319-50230-4_35","series_title":"LNCS","language":[{"iso":"eng"}],"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","first_name":"Julia","last_name":"Krämer"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"type":"conference","department":[{"_id":"77"}],"file":[{"creator":"florida","date_created":"2018-03-21T10:34:08Z","file_name":"226-chp_3A10.1007_2F978-3-319-50230-4_35.pdf","access_level":"closed","file_size":492018,"relation":"main_file","date_updated":"2018-03-21T10:34:08Z","file_id":"1507","success":1,"content_type":"application/pdf"}],"date_created":"2017-10-17T12:41:36Z","abstract":[{"lang":"eng","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."}],"publication":"Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)","user_id":"477","ddc":["040"],"page":"445--457","_id":"226","has_accepted_license":"1","status":"public","project":[{"_id":"1","name":"SFB 901"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-21T10:34:08Z","citation":{"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>.","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>","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} }"}},{"date_created":"2017-10-17T12:41:36Z","file":[{"date_created":"2018-03-21T10:33:38Z","creator":"florida","file_id":"1506","content_type":"application/pdf","success":1,"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"}],"department":[{"_id":"77"}],"type":"conference","publication":"Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)","abstract":[{"lang":"eng","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."}],"language":[{"iso":"eng"}],"series_title":"LNCS","doi":"10.1007/978-3-319-47846-3_29","author":[{"id":"11315","full_name":"Töws, Manuel","last_name":"Töws","first_name":"Manuel"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"title":"A CEGAR Scheme for Information Flow Analysis","year":"2016","date_updated":"2022-01-06T06:55:39Z","citation":{"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>","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."},"file_date_updated":"2018-03-21T10:33:38Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"227","page":"466--483","ddc":["040"],"user_id":"477","status":"public","has_accepted_license":"1"},{"user_id":"21240","_id":"22870","language":[{"iso":"ger"}],"date_updated":"2022-01-06T06:55:42Z","author":[{"full_name":"Röltgen, Daniel","first_name":"Daniel","last_name":"Röltgen"},{"first_name":"Harald","last_name":"Anacker","full_name":"Anacker, Harald"},{"id":"16190","full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman"}],"title":"Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0","status":"public","year":"2016","department":[{"_id":"563"}],"type":"conference","date_created":"2021-07-28T09:34:15Z","citation":{"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>.","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.","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.","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.","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.","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} }"},"publication":"VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016"},{"date_updated":"2022-01-06T06:55:42Z","title":" Einsatz von Leuchten zur Standortbestimmung in der Produktion","year":"2016","status":"public","author":[{"full_name":"Falkowski, Tommy","last_name":"Falkowski","first_name":"Tommy"},{"last_name":"Fechtelpeter","first_name":"Christian","full_name":"Fechtelpeter, Christian"},{"full_name":"Peitz, Christoph","last_name":"Peitz","first_name":"Christoph"},{"first_name":"Arno","last_name":"Kühn","full_name":"Kühn, Arno"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190"}],"user_id":"21240","_id":"22871","language":[{"iso":"ger"}],"publication":"VDE Kongress 2016, 7. - 8. Nov. 2016","citation":{"mla":"Falkowski, Tommy, et al. “ Einsatz von Leuchten zur Standortbestimmung in der Produktion.” <i>VDE Kongress 2016, 7. - 8. Nov. 2016</i>, 2016.","ama":"Falkowski T, Fechtelpeter C, Peitz C, Kühn A, Dumitrescu R.  Einsatz von Leuchten zur Standortbestimmung in der Produktion. In: <i>VDE Kongress 2016, 7. - 8. Nov. 2016</i>. ; 2016.","bibtex":"@inproceedings{Falkowski_Fechtelpeter_Peitz_Kühn_Dumitrescu_2016, title={ Einsatz von Leuchten zur Standortbestimmung in der Produktion}, booktitle={VDE Kongress 2016, 7. - 8. Nov. 2016}, author={Falkowski, Tommy and Fechtelpeter, Christian and Peitz, Christoph and Kühn, Arno and Dumitrescu, Roman}, year={2016} }","apa":"Falkowski, T., Fechtelpeter, C., Peitz, C., Kühn, A., &#38; Dumitrescu, R. (2016).  Einsatz von Leuchten zur Standortbestimmung in der Produktion. In <i>VDE Kongress 2016, 7. - 8. Nov. 2016</i>.","ieee":"T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, and R. Dumitrescu, “ Einsatz von Leuchten zur Standortbestimmung in der Produktion,” in <i>VDE Kongress 2016, 7. - 8. Nov. 2016</i>, 2016.","chicago":"Falkowski, Tommy, Christian Fechtelpeter, Christoph Peitz, Arno Kühn, and Roman Dumitrescu. “ Einsatz von Leuchten zur Standortbestimmung in der Produktion.” In <i>VDE Kongress 2016, 7. - 8. Nov. 2016</i>, 2016.","short":"T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, R. Dumitrescu, in: VDE Kongress 2016, 7. - 8. Nov. 2016, 2016."},"type":"conference","department":[{"_id":"563"}],"date_created":"2021-07-28T09:36:50Z"},{"user_id":"21240","language":[{"iso":"eng"}],"_id":"22872","date_updated":"2022-01-06T06:55:42Z","year":"2016","title":"Reference Architecture and Maturity Levels for Cyber-Physical Systems","status":"public","author":[{"last_name":"Westermann","first_name":"Matthias","full_name":"Westermann, Matthias"},{"full_name":"Anacker, Harald","first_name":"Harald","last_name":"Anacker"},{"id":"16190","last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"},{"first_name":"Anja Maria","last_name":"Czaja","full_name":"Czaja, Anja Maria"}],"type":"conference","department":[{"_id":"563"}],"date_created":"2021-07-28T09:44:26Z","publication":"2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016","citation":{"mla":"Westermann, Matthias, et al. “Reference Architecture and Maturity Levels for Cyber-Physical Systems.” <i>2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016</i>, 2016.","bibtex":"@inproceedings{Westermann_Anacker_Dumitrescu_Czaja_2016, title={Reference Architecture and Maturity Levels for Cyber-Physical Systems}, booktitle={2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016}, author={Westermann, Matthias and Anacker, Harald and Dumitrescu, Roman and Czaja, Anja Maria}, year={2016} }","ama":"Westermann M, Anacker H, Dumitrescu R, Czaja AM. Reference Architecture and Maturity Levels for Cyber-Physical Systems. In: <i>2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016</i>. ; 2016.","ieee":"M. Westermann, H. Anacker, R. Dumitrescu, and A. M. Czaja, “Reference Architecture and Maturity Levels for Cyber-Physical Systems,” in <i>2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016</i>, 2016.","apa":"Westermann, M., Anacker, H., Dumitrescu, R., &#38; Czaja, A. M. (2016). Reference Architecture and Maturity Levels for Cyber-Physical Systems. In <i>2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016</i>.","chicago":"Westermann, Matthias, Harald Anacker, Roman Dumitrescu, and Anja Maria Czaja. “Reference Architecture and Maturity Levels for Cyber-Physical Systems.” In <i>2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016</i>, 2016.","short":"M. Westermann, H. Anacker, R. Dumitrescu, A.M. Czaja, in: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016."}},{"date_created":"2021-07-28T09:51:44Z","type":"conference","department":[{"_id":"563"}],"publication":"12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016","citation":{"short":"C. Fechtelpeter, C. Jürgenhake, R. Dumitrescu, T. Mager, K.-P. Fritz, T. Grötzinger, H. Müller, P. Wild, A. Zimmermann, in: 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016, 2016.","chicago":"Fechtelpeter, Christian, Christoph Jürgenhake, Roman Dumitrescu, Thomas Mager, Karl-Peter Fritz, Tobias Grötzinger, Hagen Müller, Paul Wild, and Andre Zimmermann. “Reliability in MID - Barriers, Potentials, Fields of Action.” In <i>12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016</i>, 2016.","ieee":"C. Fechtelpeter <i>et al.</i>, “Reliability in MID - barriers, potentials, fields of action,” in <i>12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016</i>, 2016.","apa":"Fechtelpeter, C., Jürgenhake, C., Dumitrescu, R., Mager, T., Fritz, K.-P., Grötzinger, T., … Zimmermann, A. (2016). Reliability in MID - barriers, potentials, fields of action. In <i>12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016</i>.","bibtex":"@inproceedings{Fechtelpeter_Jürgenhake_Dumitrescu_Mager_Fritz_Grötzinger_Müller_Wild_Zimmermann_2016, title={Reliability in MID - barriers, potentials, fields of action}, booktitle={12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016}, author={Fechtelpeter, Christian and Jürgenhake, Christoph and Dumitrescu, Roman and Mager, Thomas and Fritz, Karl-Peter and Grötzinger, Tobias and Müller, Hagen and Wild, Paul and Zimmermann, Andre}, year={2016} }","ama":"Fechtelpeter C, Jürgenhake C, Dumitrescu R, et al. Reliability in MID - barriers, potentials, fields of action. In: <i>12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016</i>. ; 2016.","mla":"Fechtelpeter, Christian, et al. “Reliability in MID - Barriers, Potentials, Fields of Action.” <i>12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016</i>, 2016."},"_id":"22873","language":[{"iso":"eng"}],"user_id":"21240","status":"public","title":"Reliability in MID - barriers, potentials, fields of action","year":"2016","author":[{"last_name":"Fechtelpeter","first_name":"Christian","full_name":"Fechtelpeter, Christian"},{"first_name":"Christoph","last_name":"Jürgenhake","full_name":"Jürgenhake, Christoph"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190"},{"full_name":"Mager, Thomas","first_name":"Thomas","last_name":"Mager"},{"first_name":"Karl-Peter","last_name":"Fritz","full_name":"Fritz, Karl-Peter"},{"first_name":"Tobias","last_name":"Grötzinger","full_name":"Grötzinger, Tobias"},{"full_name":"Müller, Hagen","first_name":"Hagen","last_name":"Müller"},{"last_name":"Wild","first_name":"Paul","full_name":"Wild, Paul"},{"last_name":"Zimmermann","first_name":"Andre","full_name":"Zimmermann, Andre"}],"date_updated":"2022-01-06T06:55:42Z"},{"user_id":"21240","language":[{"iso":"eng"}],"_id":"22874","date_updated":"2022-01-06T06:55:42Z","title":"Classification of MID-prototypes","year":"2016","status":"public","author":[{"last_name":"Jürgenhake","first_name":"Christoph","full_name":"Jürgenhake, Christoph"},{"first_name":"Tommy","last_name":"Falkowski","full_name":"Falkowski, Tommy"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190"}],"type":"conference","department":[{"_id":"563"}],"date_created":"2021-07-28T10:00:10Z","publication":"12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016","citation":{"mla":"Jürgenhake, Christoph, et al. “Classification of MID-Prototypes.” <i>12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016</i>, 2016.","ama":"Jürgenhake C, Falkowski T, Dumitrescu R. Classification of MID-prototypes. In: <i>12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016</i>. ; 2016.","bibtex":"@inproceedings{Jürgenhake_Falkowski_Dumitrescu_2016, title={Classification of MID-prototypes}, booktitle={12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016}, author={Jürgenhake, Christoph and Falkowski, Tommy and Dumitrescu, Roman}, year={2016} }","apa":"Jürgenhake, C., Falkowski, T., &#38; Dumitrescu, R. (2016). Classification of MID-prototypes. In <i>12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016</i>.","ieee":"C. Jürgenhake, T. Falkowski, and R. Dumitrescu, “Classification of MID-prototypes,” in <i>12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016</i>, 2016.","short":"C. Jürgenhake, T. Falkowski, R. Dumitrescu, in: 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.","chicago":"Jürgenhake, Christoph, Tommy Falkowski, and Roman Dumitrescu. “Classification of MID-Prototypes.” In <i>12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016</i>, 2016."}},{"language":[{"iso":"eng"}],"_id":"22876","user_id":"21240","year":"2016","status":"public","title":"Systematic for function-oriented development of spatial integrated circuit carriers","author":[{"full_name":"Jürgenhake, Christoph","first_name":"Christoph","last_name":"Jürgenhake"},{"id":"16190","first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"}],"date_updated":"2022-01-06T06:55:42Z","date_created":"2021-07-28T10:33:35Z","type":"conference","department":[{"_id":"563"}],"publication":"International Design Conference - Design 2016, 16. - 19. Mai 2016","citation":{"chicago":"Jürgenhake, Christoph, and Roman Dumitrescu. “Systematic for Function-Oriented Development of Spatial Integrated Circuit Carriers.” In <i>International Design Conference - Design 2016, 16. - 19. Mai 2016</i>, 2016.","short":"C. Jürgenhake, R. Dumitrescu, in: International Design Conference - Design 2016, 16. - 19. Mai 2016, 2016.","ieee":"C. Jürgenhake and R. Dumitrescu, “Systematic for function-oriented development of spatial integrated circuit carriers,” in <i>International Design Conference - Design 2016, 16. - 19. Mai 2016</i>, 2016.","apa":"Jürgenhake, C., &#38; Dumitrescu, R. (2016). Systematic for function-oriented development of spatial integrated circuit carriers. In <i>International Design Conference - Design 2016, 16. - 19. Mai 2016</i>.","bibtex":"@inproceedings{Jürgenhake_Dumitrescu_2016, title={Systematic for function-oriented development of spatial integrated circuit carriers}, booktitle={International Design Conference - Design 2016, 16. - 19. Mai 2016}, author={Jürgenhake, Christoph and Dumitrescu, Roman}, year={2016} }","ama":"Jürgenhake C, Dumitrescu R. Systematic for function-oriented development of spatial integrated circuit carriers. In: <i>International Design Conference - Design 2016, 16. - 19. Mai 2016</i>. ; 2016.","mla":"Jürgenhake, Christoph, and Roman Dumitrescu. “Systematic for Function-Oriented Development of Spatial Integrated Circuit Carriers.” <i>International Design Conference - Design 2016, 16. - 19. Mai 2016</i>, 2016."}},{"citation":{"short":"L. Kaiser, C. Bremer, R. Dumitrescu, in: Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering, 2016.","chicago":"Kaiser, Lydia, Christian Bremer, and Roman Dumitrescu. “Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems.” In <i>Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>, 2016.","ieee":"L. Kaiser, C. Bremer, and R. Dumitrescu, “Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems,” in <i>Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>, 2016.","apa":"Kaiser, L., Bremer, C., &#38; Dumitrescu, R. (2016). Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems. In <i>Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>.","bibtex":"@inproceedings{Kaiser_Bremer_Dumitrescu_2016, title={Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems}, booktitle={Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering}, author={Kaiser, Lydia and Bremer, Christian and Dumitrescu, Roman}, year={2016} }","ama":"Kaiser L, Bremer C, Dumitrescu R. Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems. In: <i>Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>. ; 2016.","mla":"Kaiser, Lydia, et al. “Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems.” <i>Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>, 2016."},"publication":"Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering","date_created":"2021-07-28T10:42:13Z","department":[{"_id":"563"}],"type":"conference","author":[{"full_name":"Kaiser, Lydia","last_name":"Kaiser","first_name":"Lydia"},{"first_name":"Christian","last_name":"Bremer","full_name":"Bremer, Christian"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190"}],"year":"2016","title":"Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems","status":"public","date_updated":"2022-01-06T06:55:42Z","_id":"22878","language":[{"iso":"eng"}],"user_id":"21240"},{"citation":{"short":"C. Jürgenhake, T. Falkowski, C. Fechtelpeter, R. Dumitrescu, in: Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering, 2016.","chicago":"Jürgenhake, Christoph, Tommy Falkowski, Christian Fechtelpeter, and Roman Dumitrescu. “ Function-Based Feasibility Study and Benchmark for MID Concepts.” In <i>Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>, 2016.","ieee":"C. Jürgenhake, T. Falkowski, C. Fechtelpeter, and R. Dumitrescu, “ Function-based feasibility study and benchmark for MID concepts,” in <i>Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>, 2016.","apa":"Jürgenhake, C., Falkowski, T., Fechtelpeter, C., &#38; Dumitrescu, R. (2016).  Function-based feasibility study and benchmark for MID concepts. In <i>Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>.","bibtex":"@inproceedings{Jürgenhake_Falkowski_Fechtelpeter_Dumitrescu_2016, title={ Function-based feasibility study and benchmark for MID concepts}, booktitle={Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering}, author={Jürgenhake, Christoph and Falkowski, Tommy and Fechtelpeter, Christian and Dumitrescu, Roman}, year={2016} }","ama":"Jürgenhake C, Falkowski T, Fechtelpeter C, Dumitrescu R.  Function-based feasibility study and benchmark for MID concepts. In: <i>Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>. ; 2016.","mla":"Jürgenhake, Christoph, et al. “ Function-Based Feasibility Study and Benchmark for MID Concepts.” <i>Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>, 2016."},"publication":"Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering","date_created":"2021-07-28T10:47:50Z","department":[{"_id":"563"}],"type":"conference","author":[{"last_name":"Jürgenhake","first_name":"Christoph","full_name":"Jürgenhake, Christoph"},{"full_name":"Falkowski, Tommy","last_name":"Falkowski","first_name":"Tommy"},{"full_name":"Fechtelpeter, Christian","first_name":"Christian","last_name":"Fechtelpeter"},{"id":"16190","full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu"}],"title":" Function-based feasibility study and benchmark for MID concepts","status":"public","year":"2016","date_updated":"2022-01-06T06:55:42Z","language":[{"iso":"eng"}],"_id":"22879","user_id":"21240"},{"type":"conference","department":[{"_id":"563"}],"date_created":"2021-07-28T10:50:44Z","place":"Edinburgh, Scotland","publication":"IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering","citation":{"bibtex":"@inproceedings{Bretz_Tschirner_Dumitrescu_2016, place={Edinburgh, Scotland}, title={ A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems}, booktitle={IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering}, author={Bretz, Lukas Helmut and Tschirner, Christian and Dumitrescu, Roman}, year={2016}, pages={143–150} }","short":"L.H. Bretz, C. Tschirner, R. Dumitrescu, in: IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering, Edinburgh, Scotland, 2016, pp. 143–150.","ama":"Bretz LH, Tschirner C, Dumitrescu R.  A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems. In: <i>IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering</i>. Edinburgh, Scotland; 2016:143-150.","chicago":"Bretz, Lukas Helmut, Christian Tschirner, and Roman Dumitrescu. “ A Concept for Managing Information in Early Stages of Product Engineering by Integrating MBSE and Workflow Management Systems.” In <i>IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering</i>, 143–50. Edinburgh, Scotland, 2016.","ieee":"L. H. Bretz, C. Tschirner, and R. Dumitrescu, “ A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems,” in <i>IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering</i>, 2016, pp. 143–150.","apa":"Bretz, L. H., Tschirner, C., &#38; Dumitrescu, R. (2016).  A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems. In <i>IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering</i> (pp. 143–150). Edinburgh, Scotland.","mla":"Bretz, Lukas Helmut, et al. “ A Concept for Managing Information in Early Stages of Product Engineering by Integrating MBSE and Workflow Management Systems.” <i>IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering</i>, 2016, pp. 143–50."},"user_id":"21240","page":"143-150","_id":"22880","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:55:42Z","status":"public","title":" A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems","year":"2016","author":[{"last_name":"Bretz","first_name":"Lukas Helmut","full_name":"Bretz, Lukas Helmut"},{"first_name":"Christian","last_name":"Tschirner","full_name":"Tschirner, Christian"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu","id":"16190"}]},{"user_id":"477","ddc":["040"],"page":"815-818","_id":"217","has_accepted_license":"1","status":"public","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-21T10:39:14Z","citation":{"chicago":"Schwichtenberg, Simon. “Automatized Derivation of Comprehensive Specifications for Black-Box Services.” In <i>Proceedings of the 38th International Conference on Software Engineering Companion (ICSE)</i>, 815–18, 2016. <a href=\"https://doi.org/10.1145/2889160.2889271\">https://doi.org/10.1145/2889160.2889271</a>.","short":"S. Schwichtenberg, in: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.","apa":"Schwichtenberg, S. (2016). Automatized Derivation of Comprehensive Specifications for Black-box Services. In <i>Proceedings of the 38th International Conference on Software Engineering Companion (ICSE)</i> (pp. 815–818). <a href=\"https://doi.org/10.1145/2889160.2889271\">https://doi.org/10.1145/2889160.2889271</a>","ieee":"S. Schwichtenberg, “Automatized Derivation of Comprehensive Specifications for Black-box Services,” in <i>Proceedings of the 38th International Conference on Software Engineering Companion (ICSE)</i>, 2016, pp. 815–818.","ama":"Schwichtenberg S. Automatized Derivation of Comprehensive Specifications for Black-box Services. In: <i>Proceedings of the 38th International Conference on Software Engineering Companion (ICSE)</i>. ; 2016:815-818. doi:<a href=\"https://doi.org/10.1145/2889160.2889271\">10.1145/2889160.2889271</a>","bibtex":"@inproceedings{Schwichtenberg_2016, title={Automatized Derivation of Comprehensive Specifications for Black-box Services}, DOI={<a href=\"https://doi.org/10.1145/2889160.2889271\">10.1145/2889160.2889271</a>}, booktitle={Proceedings of the 38th International Conference on Software Engineering Companion (ICSE)}, author={Schwichtenberg, Simon}, year={2016}, pages={815–818} }","mla":"Schwichtenberg, Simon. “Automatized Derivation of Comprehensive Specifications for Black-Box Services.” <i>Proceedings of the 38th International Conference on Software Engineering Companion (ICSE)</i>, 2016, pp. 815–18, doi:<a href=\"https://doi.org/10.1145/2889160.2889271\">10.1145/2889160.2889271</a>."},"doi":"10.1145/2889160.2889271","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:55:11Z","title":"Automatized Derivation of Comprehensive Specifications for Black-box Services","year":"2016","author":[{"last_name":"Schwichtenberg","first_name":"Simon","full_name":"Schwichtenberg, Simon","id":"13235"}],"type":"conference","department":[{"_id":"66"}],"file":[{"file_id":"1516","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-03-21T10:39:14Z","file_name":"217-sig-alternate.pdf","file_size":691294,"access_level":"closed","date_created":"2018-03-21T10:39:14Z","creator":"florida"}],"date_created":"2017-10-17T12:41:34Z","abstract":[{"text":"Today, cloud vendors host third party black-box services, whose developers usually provide only textual descriptions or purely syntactical interface specifications. Cloud vendors that give substantial support to other third party developers to integrate hosted services into new software solutions would have a unique selling feature over their competitors. However, to reliably determine if a service is reusable, comprehensive service specifications are needed. Characteristic for comprehensive in contrast to syntactical specifications are the formalization of ontological and behavioral semantics, homogeneity according to a global ontology, and a service grounding that links the abstract service description and its technical realization. Homogeneous, semantical specifications enable to reliably identify reusable services, whereas the service grounding is needed for the technical service integration. In general, comprehensive specifications are not availableand have to be derived. Existing automatized approaches are restricted to certain characteristics of comprehensiveness. In my PhD, I consider an automatized approach to derive fully-fledged comprehensive specifications for black-box services. Ontological semantics are derived from syntactical interface specifications. Behavioral semantics are mined from call logs that cloud vendors create to monitor the hosted services. The specifications are harmonized over a global ontology. The service grounding is established using traceability information. The approach enables third party developers to compose services into complex systems and creates new sales channels for cloud and service providers.","lang":"eng"}],"publication":"Proceedings of the 38th International Conference on Software Engineering Companion (ICSE)"},{"date_updated":"2022-01-06T06:55:12Z","year":"2016","title":"Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests","status":"public","publication_identifier":{"isbn":["978-3-88579-653-4"]},"author":[{"last_name":"Heppner","first_name":"Sabrina","full_name":"Heppner, Sabrina"},{"full_name":"Dransfeld, Marius","first_name":"Marius","last_name":"Dransfeld"},{"full_name":"Domik, Gitta","first_name":"Gitta","last_name":"Domik","id":"90"}],"user_id":"90","editor":[{"full_name":"Pinzger, Martin","first_name":"Martin","last_name":"Pinzger"},{"full_name":"Mayr, Heinrich","first_name":"Heinrich","last_name":"Mayr"}],"page":"1591-1604","_id":"21728","language":[{"iso":"eng"}],"publisher":"Gesellschaft für Informatik e.V.","publication":"Informatik 2016","citation":{"bibtex":"@inproceedings{Heppner_Dransfeld_Domik_2016, place={Bonn}, title={Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests}, booktitle={Informatik 2016}, publisher={Gesellschaft für Informatik e.V.}, author={Heppner, Sabrina and Dransfeld, Marius and Domik, Gitta}, editor={Pinzger, Martin and Mayr, HeinrichEditors}, year={2016}, pages={1591–1604} }","ama":"Heppner S, Dransfeld M, Domik G. Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests. In: Pinzger M, Mayr H, eds. <i>Informatik 2016</i>. Bonn: Gesellschaft für Informatik e.V.; 2016:1591-1604.","mla":"Heppner, Sabrina, et al. “Adding Atmospheric Scattering and Transparency to a Deferred Rendering Pipeline for Camera Based ADAS Tests.” <i>Informatik 2016</i>, edited by Martin Pinzger and Heinrich Mayr, Gesellschaft für Informatik e.V., 2016, pp. 1591–604.","chicago":"Heppner, Sabrina, Marius Dransfeld, and Gitta Domik. “Adding Atmospheric Scattering and Transparency to a Deferred Rendering Pipeline for Camera Based ADAS Tests.” In <i>Informatik 2016</i>, edited by Martin Pinzger and Heinrich Mayr, 1591–1604. Bonn: Gesellschaft für Informatik e.V., 2016.","short":"S. Heppner, M. Dransfeld, G. Domik, in: M. Pinzger, H. Mayr (Eds.), Informatik 2016, Gesellschaft für Informatik e.V., Bonn, 2016, pp. 1591–1604.","ieee":"S. Heppner, M. Dransfeld, and G. Domik, “Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests,” in <i>Informatik 2016</i>, 2016, pp. 1591–1604.","apa":"Heppner, S., Dransfeld, M., &#38; Domik, G. (2016). Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests. In M. Pinzger &#38; H. Mayr (Eds.), <i>Informatik 2016</i> (pp. 1591–1604). Bonn: Gesellschaft für Informatik e.V."},"type":"conference","department":[{"_id":"65"}],"place":"Bonn","date_created":"2021-04-25T13:35:34Z"}]