[{"title":"ANALISA - A Tool for Static Instruction Set Analysis","conference":{"location":"Lausanne, CH, Mrz. 2017"},"date_updated":"2025-02-26T14:45:23Z","author":[{"last_name":"Adelt","full_name":"Adelt, Peer","id":"5603","first_name":"Peer"},{"last_name":"Koppelmann","full_name":"Koppelmann, Bastian","id":"25260","first_name":"Bastian"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd","first_name":"Bernd"},{"first_name":"J. Christoph","full_name":"Scheytt, J. Christoph","id":"37144","last_name":"Scheytt","orcid":"0000-0002-5950-6618 "}],"date_created":"2021-09-28T11:12:00Z","year":"2017","citation":{"apa":"Adelt, P., Koppelmann, B., Müller, W., Kleinjohann, B., &#38; Scheytt, J. C. (2017). ANALISA - A Tool for Static Instruction Set Analysis. In University Booth Interactive Presentation (Ed.), <i>Design Automation and Testing in Europe (DATE)</i>.","mla":"Adelt, Peer, et al. “ANALISA - A Tool for Static Instruction Set Analysis.” <i>Design Automation and Testing in Europe (DATE)</i>, edited by University Booth Interactive Presentation, 2017.","short":"P. Adelt, B. Koppelmann, W. Müller, B. Kleinjohann, J.C. Scheytt, in: University Booth Interactive Presentation (Ed.), Design Automation and Testing in Europe (DATE), 2017.","bibtex":"@inproceedings{Adelt_Koppelmann_Müller_Kleinjohann_Scheytt_2017, title={ANALISA - A Tool for Static Instruction Set Analysis}, booktitle={Design Automation and Testing in Europe (DATE)}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Kleinjohann, Bernd and Scheytt, J. Christoph}, editor={University Booth Interactive Presentation}, year={2017} }","ama":"Adelt P, Koppelmann B, Müller W, Kleinjohann B, Scheytt JC. ANALISA - A Tool for Static Instruction Set Analysis. In: University Booth Interactive Presentation, ed. <i>Design Automation and Testing in Europe (DATE)</i>. ; 2017.","chicago":"Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Bernd Kleinjohann, and J. Christoph Scheytt. “ANALISA - A Tool for Static Instruction Set Analysis.” In <i>Design Automation and Testing in Europe (DATE)</i>, edited by University Booth Interactive Presentation, 2017.","ieee":"P. Adelt, B. Koppelmann, W. Müller, B. Kleinjohann, and J. C. Scheytt, “ANALISA - A Tool for Static Instruction Set Analysis,” in <i>Design Automation and Testing in Europe (DATE)</i>, Lausanne, CH, Mrz. 2017, 2017."},"corporate_editor":["University Booth Interactive Presentation"],"language":[{"iso":"eng"}],"_id":"25069","user_id":"5603","department":[{"_id":"672"}],"status":"public","type":"conference","publication":"Design Automation and Testing in Europe (DATE)"},{"citation":{"ama":"Jungmann A, Kleinjohann B. Automatic Composition of Service-based Image Processing Applications. In: <i>Proceedings of the 13th IEEE International Conference on Services Computing (SCC)</i>. IEEE Computer Society; 2016:106-113.","chicago":"Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Composition of Service-Based Image Processing Applications.” In <i>Proceedings of the 13th IEEE International Conference on Services Computing (SCC)</i>, 106–13. IEEE Computer Society, 2016.","ieee":"A. Jungmann and B. Kleinjohann, “Automatic Composition of Service-based Image Processing Applications,” in <i>Proceedings of the 13th IEEE International Conference on Services Computing (SCC)</i>, 2016, pp. 106–113.","short":"A. Jungmann, B. Kleinjohann, in: Proceedings of the 13th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2016, pp. 106–113.","mla":"Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Composition of Service-Based Image Processing Applications.” <i>Proceedings of the 13th IEEE International Conference on Services Computing (SCC)</i>, IEEE Computer Society, 2016, pp. 106–13.","bibtex":"@inproceedings{Jungmann_Kleinjohann_2016, title={Automatic Composition of Service-based Image Processing Applications}, booktitle={Proceedings of the 13th IEEE International Conference on Services Computing (SCC)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2016}, pages={106–113} }","apa":"Jungmann, A., &#38; Kleinjohann, B. (2016). Automatic Composition of Service-based Image Processing Applications. <i>Proceedings of the 13th IEEE International Conference on Services Computing (SCC)</i>, 106–113."},"page":"106-113","year":"2016","conference":{"end_date":"2016-07-02","start_date":"2016-06-27"},"title":"Automatic Composition of Service-based Image Processing Applications","author":[{"last_name":"Jungmann","full_name":"Jungmann, Alexander","first_name":"Alexander"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd","first_name":"Bernd"}],"date_created":"2021-09-28T11:29:00Z","date_updated":"2022-01-06T06:56:50Z","publisher":"IEEE Computer Society","status":"public","abstract":[{"lang":"eng","text":"In the Image Processing domain, automated generation of complex Image Processing functionality is highly desirable; e.g., for rapid prototyping. Service composition techniques, in turn, facilitate automated generation of complex functionality based on building blocks in terms of services. For that reason, we aim for transferring the Service Composition paradigm into the Image Processing domain. In this paper, we present our symbolic composition approach that enables us to automatically generate Image Processing applications. Functionality of Image Processing services is described by means of a variant of first-order logic, which grounds on domain knowledge operationalized in terms of ontologies. A Petri-net formalism serves as basis for modeling data-flow of services and composed services. A planning-based composition algorithm automatically composes complex data-flow for a required functionality. A brief evaluation serves as proof of concept."}],"type":"conference","publication":"Proceedings of the 13th IEEE International Conference on Services Computing (SCC)","language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"25070"},{"user_id":"21240","department":[{"_id":"672"}],"_id":"25073","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)","status":"public","abstract":[{"lang":"eng","text":"In this paper, we introduce an approach for combining embedded systems with Service-oriented Computing techniques based on a concrete application scenario from the robotics domain. Our proposed Service-oriented Architecture allows for incorporating computational expensive functionality as services into a distributed computing environment. Furthermore, our framework facilitates a seamless integration of embedded systems such as robots as service providers into the computing environment. The entire communication is based on so-called recipes, which can be interpreted as autonomous messages that contain all necessary information for executing compositions of services."}],"author":[{"first_name":"Alexander","full_name":"Jungmann, Alexander","last_name":"Jungmann"},{"first_name":"Jan","full_name":"Jatzkowski, Jan","last_name":"Jatzkowski"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"}],"date_created":"2021-09-28T11:42:10Z","date_updated":"2022-01-06T06:56:50Z","publisher":"Springer-Verlag","conference":{"start_date":"2015-11-03","end_date":"2015-11-06"},"title":"Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study","citation":{"ieee":"A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study,” 2015.","chicago":"Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” In <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>. Springer-Verlag, 2015.","ama":"Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. In: <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>. Springer-Verlag; 2015.","mla":"Jungmann, Alexander, et al. “Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>, Springer-Verlag, 2015.","bibtex":"@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer-Verlag}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }","short":"A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.","apa":"Jungmann, A., Jatzkowski, J., &#38; Kleinjohann, B. (2015). Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>."},"year":"2015"},{"year":"2015","citation":{"ama":"Jatzkowski J, Kreutz ME, Rettberg A. Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems. In: <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>. Springer; 2015.","chicago":"Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems.” In <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>. Springer, 2015.","ieee":"J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems,” 2015.","apa":"Jatzkowski, J., Kreutz, M. E., &#38; Rettberg, A. (2015). Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems. <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>.","bibtex":"@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }","short":"J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015.","mla":"Jatzkowski, Jan, et al. “Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems.” <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>, Springer, 2015."},"date_updated":"2022-01-06T06:56:50Z","publisher":"Springer","date_created":"2021-09-28T11:45:59Z","author":[{"full_name":"Jatzkowski, Jan","last_name":"Jatzkowski","first_name":"Jan"},{"full_name":"Kreutz, Marcio Eduardo","last_name":"Kreutz","first_name":"Marcio Eduardo"},{"full_name":"Rettberg, Achim","last_name":"Rettberg","first_name":"Achim"}],"title":"Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems","conference":{"start_date":"2015-11-03","end_date":"2015-11-06"},"publication":"Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)","type":"conference","status":"public","_id":"25074","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}]},{"conference":{"location":"Los Angeles, CA, USA, 2. - 7. Aug. 2015","end_date":"2015-08-07","start_date":"2015-08-02"},"title":"Evaluation of Autonomous Approaches using Virtual Environments","date_created":"2021-09-28T11:54:54Z","author":[{"full_name":"Stahl, Katharina","last_name":"Stahl","first_name":"Katharina"},{"first_name":"Jörg","last_name":"Stöcklein","full_name":"Stöcklein, Jörg"},{"first_name":"Silja","last_name":"Li","full_name":"Li, Silja"}],"volume":" 9179","date_updated":"2022-01-06T06:56:50Z","publisher":"Springer International Publishing Switzerland","citation":{"ama":"Stahl K, Stöcklein J, Li S. Evaluation of Autonomous Approaches using Virtual Environments. In: Shumaker R, Lackey S, eds. <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015</i>. Vol 9179. LNCS. Springer International Publishing Switzerland; 2015:499-512.","ieee":"K. Stahl, J. Stöcklein, and S. Li, “Evaluation of Autonomous Approaches using Virtual Environments,” in <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015</i>, Los Angeles, CA, USA, 2. - 7. Aug. 2015, 2015, vol. 9179, pp. 499–512.","chicago":"Stahl, Katharina, Jörg Stöcklein, and Silja Li. “Evaluation of Autonomous Approaches Using Virtual Environments.” In <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015</i>, edited by Randall Shumaker and Stephanie Lackey, 9179:499–512. LNCS. Springer International Publishing Switzerland, 2015.","mla":"Stahl, Katharina, et al. “Evaluation of Autonomous Approaches Using Virtual Environments.” <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015</i>, edited by Randall Shumaker and Stephanie Lackey, vol. 9179, Springer International Publishing Switzerland, 2015, pp. 499–512.","bibtex":"@inproceedings{Stahl_Stöcklein_Li_2015, series={LNCS}, title={Evaluation of Autonomous Approaches using Virtual Environments}, volume={9179}, booktitle={Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015}, publisher={Springer International Publishing Switzerland}, author={Stahl, Katharina and Stöcklein, Jörg and Li, Silja}, editor={Shumaker, Randall and Lackey, Stephanie}, year={2015}, pages={499–512}, collection={LNCS} }","short":"K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Springer International Publishing Switzerland, 2015, pp. 499–512.","apa":"Stahl, K., Stöcklein, J., &#38; Li, S. (2015). Evaluation of Autonomous Approaches using Virtual Environments. In R. Shumaker &#38; S. Lackey (Eds.), <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015</i> (Vol. 9179, pp. 499–512). Springer International Publishing Switzerland."},"page":"499-512","year":"2015","language":[{"iso":"eng"}],"user_id":"21240","series_title":"LNCS","department":[{"_id":"672"}],"_id":"25075","status":"public","editor":[{"last_name":"Shumaker","full_name":"Shumaker, Randall","first_name":"Randall"},{"full_name":"Lackey, Stephanie","last_name":"Lackey","first_name":"Stephanie"}],"type":"conference","publication":"Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015"},{"page":"329-332","citation":{"ieee":"A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,” in <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>, 2015, pp. 329–332.","chicago":"Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.” In <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>, 329–32. IEEE Computer Society, 2015.","ama":"Jungmann A. On Adaptivity for Automated Composition of Service Functionality. In: <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>. IEEE Computer Society; 2015:329-332.","short":"A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–332.","mla":"Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.” <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>, IEEE Computer Society, 2015, pp. 329–32.","bibtex":"@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition of Service Functionality}, booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander}, year={2015}, pages={329–332} }","apa":"Jungmann, A. (2015). On Adaptivity for Automated Composition of Service Functionality. <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>, 329–332."},"year":"2015","date_created":"2021-09-28T12:06:08Z","author":[{"first_name":"Alexander","full_name":"Jungmann, Alexander","last_name":"Jungmann"}],"publisher":"IEEE Computer Society","date_updated":"2022-01-06T06:56:50Z","conference":{"end_date":"2015-07-02","start_date":"2016-06-26"},"title":"On Adaptivity for Automated Composition of Service Functionality","publication":"Proceedings of the IEEE 11th World Congress on Services (SERVICES)","type":"conference","status":"public","abstract":[{"text":"Automated service composition aims at automatically generating software solutions based on services to provide more complex functionality. In this paper, we give an initial overview about why adaptivity becomes increasingly important when aiming for automated composition of service functionality in dynamic and freely accessible environments such as service markets. We systematically derive dependencies among crucial processes such as service composition and service execution in a holistic view. Furthermore, we briefly discuss the influences and effects of changes in the environment according to the derived dependencies, and discuss possible future research directions.","lang":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25076","language":[{"iso":"eng"}]},{"year":"2015","citation":{"ieee":"F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,” in <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>, 2015, pp. 57–64.","chicago":"Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online Service Composition.” In <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>, 57–64.  IEEE Computer Society, 2015.","ama":"Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition. In: <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>.  IEEE Computer Society; 2015:57-64.","apa":"Mohr, F., Jungmann, A., &#38; Kleine Büning, H. (2015). Automated Online Service Composition. <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>, 57–64.","short":"F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC),  IEEE Computer Society, 2015, pp. 57–64.","bibtex":"@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online Service Composition}, booktitle={Proceedings of the 12th IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57–64} }","mla":"Mohr, Felix, et al. “Automated Online Service Composition.” <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>,  IEEE Computer Society, 2015, pp. 57–64."},"page":"57-64","publisher":" IEEE Computer Society","date_updated":"2022-01-06T06:56:50Z","date_created":"2021-09-28T12:27:27Z","author":[{"full_name":"Mohr, Felix","last_name":"Mohr","first_name":"Felix"},{"full_name":"Jungmann, Alexander","last_name":"Jungmann","first_name":"Alexander"},{"last_name":"Kleine Büning","full_name":"Kleine Büning, Hans","first_name":"Hans"}],"title":"Automated Online Service Composition","conference":{"end_date":"2015-07-02","start_date":"2015-06-26"},"type":"conference","publication":"Proceedings of the 12th IEEE International Conference on Services Computing (SCC)","abstract":[{"lang":"eng","text":"ervices are self-contained and platform independent software components that aim at maximizing software reuse. The automated composition of services to a target software artifact has been tackled with many AI techniques, but existing approaches make unreasonably strong assumptions such as a predefined data flow, are limited to tiny problem sizes, ignore non-functional properties, or assume offline service repositories. This paper presents an algorithm that automatically composes services without making such assumptions. We employ a backward search algorithm that starts from an empty composition and prepends service calls to already discovered candidates until a solution is found. Available services are determined during the search process. We implemented our algorithm, performed an experimental evaluation, and compared it to other approaches."}],"status":"public","_id":"25080","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}]},{"year":"2015","citation":{"apa":"Jatzkowski, J., Kreutz, M. E., &#38; Rettberg, A. (2015). Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization. <i>Proceedings of Electronic System Level Synthesis Conference (ESLsyn)</i>.","bibtex":"@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization}, booktitle={Proceedings of Electronic System Level Synthesis Conference (ESLsyn)}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }","short":"J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System Level Synthesis Conference (ESLsyn), 2015.","mla":"Jatzkowski, Jan, et al. “Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-Based Virtualization.” <i>Proceedings of Electronic System Level Synthesis Conference (ESLsyn)</i>, 2015.","chicago":"Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-Based Virtualization.” In <i>Proceedings of Electronic System Level Synthesis Conference (ESLsyn)</i>, 2015.","ieee":"J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization,” 2015.","ama":"Jatzkowski J, Kreutz ME, Rettberg A. Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization. In: <i>Proceedings of Electronic System Level Synthesis Conference (ESLsyn)</i>. ; 2015."},"title":"Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization","conference":{"end_date":"2015-06-11","start_date":"2015-06-10"},"date_updated":"2022-01-06T06:56:50Z","author":[{"last_name":"Jatzkowski","full_name":"Jatzkowski, Jan","first_name":"Jan"},{"last_name":"Kreutz","full_name":"Kreutz, Marcio Eduardo","first_name":"Marcio Eduardo"},{"last_name":"Rettberg","full_name":"Rettberg, Achim","first_name":"Achim"}],"date_created":"2021-09-28T12:31:36Z","status":"public","publication":"Proceedings of Electronic System Level Synthesis Conference (ESLsyn)","type":"conference","language":[{"iso":"eng"}],"_id":"25082","department":[{"_id":"672"}],"user_id":"21240"},{"type":"conference","publication":"Mechatronics","status":"public","_id":"25083","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"year":"2015","citation":{"ama":"Jatzkowski J, Kleinjohann B. Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. In: <i>Mechatronics</i>. Elsevier; 2015.","ieee":"J. Jatzkowski and B. Kleinjohann, “Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems,” Mai 2015, 2015.","chicago":"Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems.” In <i>Mechatronics</i>. Elsevier, 2015.","bibtex":"@inproceedings{Jatzkowski_Kleinjohann_2015, title={Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems}, booktitle={Mechatronics}, publisher={Elsevier}, author={Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }","short":"J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015.","mla":"Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems.” <i>Mechatronics</i>, Elsevier, 2015.","apa":"Jatzkowski, J., &#38; Kleinjohann, B. (2015). Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. <i>Mechatronics</i>."},"date_updated":"2022-01-06T06:56:50Z","publisher":"Elsevier","date_created":"2021-09-28T12:42:40Z","author":[{"full_name":"Jatzkowski, Jan","last_name":"Jatzkowski","first_name":"Jan"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd","first_name":"Bernd"}],"title":"Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems","conference":{"location":"Mai 2015"}},{"title":"An approach towards adaptive service composition in markets of composed services","date_updated":"2022-01-06T06:56:51Z","date_created":"2021-09-29T09:39:32Z","author":[{"first_name":"Alexander","full_name":"Jungmann, Alexander","last_name":"Jungmann"},{"full_name":"Mohr, Felix","last_name":"Mohr","first_name":"Felix"}],"year":"2015","citation":{"apa":"Jungmann, A., &#38; Mohr, F. (2015). An approach towards adaptive service composition in markets of composed services. <i>Journal of Internet Services and Applications 6(1)</i>, 1–18.","short":"A. Jungmann, F. Mohr, Journal of Internet Services and Applications 6(1) (2015) 1–18.","bibtex":"@article{Jungmann_Mohr_2015, title={An approach towards adaptive service composition in markets of composed services}, journal={Journal of Internet Services and Applications 6(1)}, author={Jungmann, Alexander and Mohr, Felix}, year={2015}, pages={1–18} }","mla":"Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.” <i>Journal of Internet Services and Applications 6(1)</i>, 2015, pp. 1–18.","ieee":"A. Jungmann and F. Mohr, “An approach towards adaptive service composition in markets of composed services,” <i>Journal of Internet Services and Applications 6(1)</i>, pp. 1–18, 2015.","chicago":"Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.” <i>Journal of Internet Services and Applications 6(1)</i>, 2015, 1–18.","ama":"Jungmann A, Mohr F. An approach towards adaptive service composition in markets of composed services. <i>Journal of Internet Services and Applications 6(1)</i>. Published online 2015:1-18."},"page":"1-18","language":[{"iso":"eng"}],"_id":"25107","user_id":"21240","department":[{"_id":"672"}],"abstract":[{"text":"On-the-fly composition of service-based software solutions is still a challenging task. Even more challenges emerge when facing automatic service composition in markets of composed services for end users. In this paper, we focus on the functional discrepancy between “what a user wants” specified in terms of a request and “what a user gets” when executing a composed service. To meet the challenge of functional discrepancy, we propose the combination of existing symbolic composition approaches with machine learning techniques. We developed a learning recommendation system that expands the capabilities of existing composition algorithms to facilitate adaptivity and consequently reduces functional discrepancy. As a representative of symbolic techniques, an Artificial Intelligence planning based approach produces solutions that are correct with respect to formal specifications. Our learning recommendation system supports the symbolic approach in decision-making. Reinforcement Learning techniques enable the recommendation system to adjust its recommendation strategy over time based on user ratings. We implemented the proposed functionality in terms of a prototypical composition framework. Preliminary results from experiments conducted in the image processing domain illustrate the benefit of combining both complementary techniques.","lang":"eng"}],"status":"public","type":"journal_article","publication":"Journal of Internet Services and Applications 6(1)"},{"status":"public","abstract":[{"lang":"eng","text":"Autonomous adaptation in self-adapting embedded real-time systems introduces novel risks as it may lead to unforeseen system behavior. An anomaly detection framework integrated in a real-time operating system can ease the identification of such suspicious novel behavior and, thereby, offers the potential to enhance the reliability of the considered self-x system. However, anomaly detection is based on knowledge about normal behavior. When dealing with self-reconfiguring applications, normal behavior changes. Hence, knowledge base requires adaptation or even re-construction at runtime. The stringent restrictions of real-time systems considering runtime and memory consumption make this task to a really challenging problem. We present our idea for online construction of application behavior knowledge that does not rely on training phase. The applications' behavior is defined by the application's system call invocations. For the knowledge base, we exploit suffix trees as they offer potentials to represent application behavior patterns and associated information in a compact manner. The online algorithm provided by suffix trees is a basis to construct the knowledge base with low computational effort. Anomaly detection and classification is integrated into the online construction method. New behavioral patterns do not unconditionally update the behavior knowledge base. They are evaluated in a context-related manner inspired by Danger Theory, a special discipline of artificial immune systems. Copyright © 2015 John Wiley & Sons, Ltd."}],"type":"journal_article","publication":"Concurrency and Computation: Practice and Experience ","language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"25108","citation":{"ama":"Rammig F-J, Stahl K. Online behavior classification for anomaly detection in self-x real-time systems. <i>Concurrency and Computation: Practice and Experience </i>. Published online 2015.","ieee":"F.-J. Rammig and K. Stahl, “Online behavior classification for anomaly detection in self-x real-time systems,” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","chicago":"Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification for Anomaly Detection in Self-x Real-Time Systems.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","bibtex":"@article{Rammig_Stahl_2015, title={Online behavior classification for anomaly detection in self-x real-time systems}, journal={Concurrency and Computation: Practice and Experience }, author={Rammig, Franz-Josef and Stahl, Katharina}, year={2015} }","mla":"Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification for Anomaly Detection in Self-x Real-Time Systems.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","short":"F.-J. Rammig, K. Stahl, Concurrency and Computation: Practice and Experience  (2015).","apa":"Rammig, F.-J., &#38; Stahl, K. (2015). Online behavior classification for anomaly detection in self-x real-time systems. <i>Concurrency and Computation: Practice and Experience </i>."},"year":"2015","title":"Online behavior classification for anomaly detection in self-x real-time systems","date_created":"2021-09-29T09:43:32Z","author":[{"full_name":"Rammig, Franz-Josef","last_name":"Rammig","first_name":"Franz-Josef"},{"last_name":"Stahl","full_name":"Stahl, Katharina","first_name":"Katharina"}],"date_updated":"2022-01-06T06:56:51Z"},{"user_id":"21240","author":[{"first_name":"Krishna","full_name":"Sudhakar, Krishna","last_name":"Sudhakar"},{"full_name":"Zhao, Yuhong","last_name":"Zhao","first_name":"Yuhong"},{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"}],"date_created":"2021-09-29T09:53:25Z","department":[{"_id":"672"}],"date_updated":"2022-01-06T06:56:51Z","_id":"25109","language":[{"iso":"eng"}],"title":"Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System","type":"journal_article","publication":"Concurrency and Computation: Practice and Experience ","citation":{"bibtex":"@article{Sudhakar_Zhao_Rammig_2015, title={Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}, journal={Concurrency and Computation: Practice and Experience }, author={Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2015} }","short":"K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice and Experience  (2015).","mla":"Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","apa":"Sudhakar, K., Zhao, Y., &#38; Rammig, F.-J. (2015). Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. <i>Concurrency and Computation: Practice and Experience </i>.","ama":"Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. <i>Concurrency and Computation: Practice and Experience </i>. Published online 2015.","chicago":"Sudhakar, Krishna, Yuhong Zhao, and Franz-Josef Rammig. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","ieee":"K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System,” <i>Concurrency and Computation: Practice and Experience </i>, 2015."},"status":"public","year":"2015"},{"citation":{"apa":"Joy, M. tech. M. M., &#38; Rammig, F.-J. (2015). A hybrid methodology to detect memory leaks in soft real time embedded systems software. <i>Int. J. of Embedded Systems</i>.","bibtex":"@article{Joy_Rammig_2015, title={A hybrid methodology to detect memory leaks in soft real time embedded systems software}, journal={Int. J. of Embedded Systems}, author={Joy, M. tech. Mabel Mary and Rammig, Franz-Josef}, year={2015} }","short":"M. tech. M.M. Joy, F.-J. Rammig, Int. J. of Embedded Systems (2015).","mla":"Joy, M. tech. Mabel Mary, and Franz-Josef Rammig. “A Hybrid Methodology to Detect Memory Leaks in Soft Real Time Embedded Systems Software.” <i>Int. J. of Embedded Systems</i>, 2015.","ieee":"M. tech. M. M. Joy and F.-J. Rammig, “A hybrid methodology to detect memory leaks in soft real time embedded systems software,” <i>Int. J. of Embedded Systems</i>, 2015.","chicago":"Joy, M. tech. Mabel Mary, and Franz-Josef Rammig. “A Hybrid Methodology to Detect Memory Leaks in Soft Real Time Embedded Systems Software.” <i>Int. J. of Embedded Systems</i>, 2015.","ama":"Joy M tech. MM, Rammig F-J. A hybrid methodology to detect memory leaks in soft real time embedded systems software. <i>Int J of Embedded Systems</i>. Published online 2015."},"year":"2015","title":"A hybrid methodology to detect memory leaks in soft real time embedded systems software","date_created":"2021-09-29T09:55:59Z","author":[{"full_name":"Joy, M. tech. Mabel Mary","last_name":"Joy","first_name":"M. tech. Mabel Mary"},{"first_name":"Franz-Josef","last_name":"Rammig","full_name":"Rammig, Franz-Josef"}],"date_updated":"2022-01-06T06:56:51Z","status":"public","type":"journal_article","publication":"Int. J. of Embedded Systems","language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"25110"},{"language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25111","status":"public","publication":"Springer Jounal Soft Computing ","type":"journal_article","title":"Analysis of long-term swarm performance based on short-term experiments","date_created":"2021-09-29T09:58:49Z","author":[{"full_name":"Khaluf, Yara","last_name":"Khaluf","first_name":"Yara"},{"last_name":"Birattari","full_name":"Birattari, Mauro","first_name":"Mauro"},{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"}],"date_updated":"2022-01-06T06:56:51Z","citation":{"apa":"Khaluf, Y., Birattari, M., &#38; Rammig, F.-J. (2015). Analysis of long-term swarm performance based on short-term experiments. <i>Springer Jounal Soft Computing </i>.","short":"Y. Khaluf, M. Birattari, F.-J. Rammig, Springer Jounal Soft Computing  (2015).","mla":"Khaluf, Yara, et al. “Analysis of Long-Term Swarm Performance Based on Short-Term Experiments.” <i>Springer Jounal Soft Computing </i>, 2015.","bibtex":"@article{Khaluf_Birattari_Rammig_2015, title={Analysis of long-term swarm performance based on short-term experiments}, journal={Springer Jounal Soft Computing }, author={Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2015} }","ama":"Khaluf Y, Birattari M, Rammig F-J. Analysis of long-term swarm performance based on short-term experiments. <i>Springer Jounal Soft Computing </i>. Published online 2015.","ieee":"Y. Khaluf, M. Birattari, and F.-J. Rammig, “Analysis of long-term swarm performance based on short-term experiments,” <i>Springer Jounal Soft Computing </i>, 2015.","chicago":"Khaluf, Yara, Mauro Birattari, and Franz-Josef Rammig. “Analysis of Long-Term Swarm Performance Based on Short-Term Experiments.” <i>Springer Jounal Soft Computing </i>, 2015."},"year":"2015"},{"type":"conference","publication":"Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom)","status":"public","abstract":[{"text":"Automatically composing service-based software solutions is a challenging task. Considering context information during this service composition process is even more challenging. In domains such as image processing, however, context-sensitivity is inherent and cannot be ignored when developing techniques for automatic service composition. Formal approaches tend to create ambiguous solutions, whenever the expressive power of the applied formalism is limited. For example, services may have the same formal specification, although their actual functionality depends on the concrete context. In order to satisfy individual user requests while providing data-dependent functionality, formal approaches have to be extended. We propose to incorporate Reinforcement Learning techniques and combine them with planning based composition approaches. While planning ensures formally correct solutions, learning enables the composition process to resolve ambiguity by implicitly considering context information. Preliminary results show that our combined approach adapts to a static context while still satisfying formally specified requirements.","lang":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"25112","language":[{"iso":"eng"}],"citation":{"bibtex":"@inproceedings{Jungmann_Kleinjohann_2014, title={Towards Context-Sensitive Service Composition for Service-Oriented Image Processing}, booktitle={Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2014}, pages={755–758} }","short":"A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), IEEE, 2014, pp. 755–758.","mla":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing.” <i>Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom)</i>, IEEE, 2014, pp. 755–58.","apa":"Jungmann, A., &#38; Kleinjohann, B. (2014). Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. <i>Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom)</i>, 755–758.","chicago":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing.” In <i>Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom)</i>, 755–58. IEEE, 2014.","ieee":"A. Jungmann and B. Kleinjohann, “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing,” in <i>Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom)</i>, 2014, pp. 755–758.","ama":"Jungmann A, Kleinjohann B. Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. In: <i>Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom)</i>. IEEE; 2014:755-758."},"page":"755-758","year":"2014","date_created":"2021-09-29T10:07:26Z","author":[{"last_name":"Jungmann","full_name":"Jungmann, Alexander","first_name":"Alexander"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"}],"publisher":"IEEE","date_updated":"2022-01-06T06:56:51Z","conference":{"end_date":"2014-12-18","start_date":"2014-12-15"},"title":"Towards Context-Sensitive Service Composition for Service-Oriented Image Processing"},{"date_created":"2021-09-29T10:18:29Z","author":[{"last_name":"Jungmann","full_name":"Jungmann, Alexander","first_name":"Alexander"},{"full_name":"Brangewitz, Sonja","last_name":"Brangewitz","first_name":"Sonja"},{"last_name":"Petrlic","full_name":"Petrlic, Ronald","first_name":"Ronald"},{"last_name":"Platenius","full_name":"Platenius, Marie Christin","first_name":"Marie Christin"}],"date_updated":"2022-01-06T06:56:51Z","title":"Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services","page":"572-594","citation":{"ama":"Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. <i>International Journal on Advances in Intelligent Systems 7(3&#38;4)</i>. Published online 2014:572-594.","ieee":"A. Jungmann, S. Brangewitz, R. Petrlic, and M. C. Platenius, “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services,” <i>International Journal on Advances in Intelligent Systems 7(3&#38;4)</i>, pp. 572–594, 2014.","chicago":"Jungmann, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin Platenius. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” <i>International Journal on Advances in Intelligent Systems 7(3&#38;4)</i>, 2014, 572–94.","apa":"Jungmann, A., Brangewitz, S., Petrlic, R., &#38; Platenius, M. C. (2014). Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. <i>International Journal on Advances in Intelligent Systems 7(3&#38;4)</i>, 572–594.","short":"A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal on Advances in Intelligent Systems 7(3&#38;4) (2014) 572–594.","bibtex":"@article{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services}, journal={International Journal on Advances in Intelligent Systems 7(3&#38;4)}, author={Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={572–594} }","mla":"Jungmann, Alexander, et al. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” <i>International Journal on Advances in Intelligent Systems 7(3&#38;4)</i>, 2014, pp. 572–94."},"year":"2014","department":[{"_id":"672"}],"user_id":"21240","_id":"25114","language":[{"iso":"eng"}],"publication":"International Journal on Advances in Intelligent Systems 7(3&4)","type":"journal_article","status":"public","abstract":[{"lang":"eng","text":"One goal of service-oriented computing is to realize future markets of composed services. In such markets, service providers offer services that can be flexibly combined with each other. However, although crucial for decision-making, market participants are usually not able to individually estimate the quality of traded services in advance. To overcome this problem, we present a conceptual design for a reputation system that collects and processes user feedback on transactions, and provides this information as a signal for quality to participants in the market. Based on our proposed concept, we describe the incorporation of reputation information into distinct decisionmaking processes that are crucial in such service markets. In this context, we present a fuzzy service matching approach that takes reputation information into account. Furthermore, we introduce an adaptive service composition approach, and investigate the impact of exchanging immediate user feedback by reputation information. Last but not least, we describe the importance of reputation information for economic decisions of different market participants. The overall output of this paper is a comprehensive view on managing and exploiting reputation information in markets of composed services using the example of On-The-Fly Computing."}]},{"title":"Applying Reinforcement Learning for Resolving Ambiguity in Service Composition","date_created":"2021-09-29T10:35:37Z","author":[{"first_name":"Alexander","last_name":"Jungmann","full_name":"Jungmann, Alexander"},{"first_name":"Felix","last_name":"Mohr","full_name":"Mohr, Felix"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"}],"publisher":"IEEE Computer Society","date_updated":"2022-01-06T06:56:51Z","citation":{"bibtex":"@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Applying Reinforcement Learning for Resolving Ambiguity in Service Composition}, booktitle={Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={105–112} }","short":"A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), IEEE Computer Society, 2014, pp. 105–112.","mla":"Jungmann, Alexander, et al. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.” <i>Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)</i>, IEEE Computer Society, 2014, pp. 105–12.","apa":"Jungmann, A., Mohr, F., &#38; Kleinjohann, B. (2014). Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. <i>Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)</i>, 105–112.","ama":"Jungmann A, Mohr F, Kleinjohann B. Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. In: <i>Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)</i>. IEEE Computer Society; 2014:105-112.","ieee":"A. Jungmann, F. Mohr, and B. Kleinjohann, “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition,” in <i>Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)</i>, 2014, pp. 105–112.","chicago":"Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.” In <i>Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)</i>, 105–12. IEEE Computer Society, 2014."},"page":"105-112","year":"2014","language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"25115","status":"public","abstract":[{"lang":"eng","text":"Automatically composing service-based software solutions is still a challenging task. Functional as well as nonfunctional properties have to be considered in order to satisfy individual user requests. Regarding non-functional properties, the composition process can be modeled as optimization problem and solved accordingly. Functional properties, in turn, can be described by means of a formal specification language. Statespace based planning approaches can then be applied to solve the underlying composition problem. However, depending on the expressiveness of the applied formalism and the completeness of the functional descriptions, formally equivalent services may still differ with respect to their implemented functionality. As a consequence, the most appropriate solution for a desired functionality can hardly be determined without considering additional information. In this paper, we demonstrate how to overcome this lack of information by means of Reinforcement Learning. In order to resolve ambiguity, we expand state-space based service composition by a recommendation mechanism that supports decision-making beyond formal specifications. The recommendation mechanism adjusts its recommendation strategy based on feedback from previous composition runs. Image processing serves as case study. Experimental results show the benefit of our proposed solution."}],"type":"conference","publication":"Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)"},{"language":[{"iso":"eng"}],"_id":"25116","user_id":"21240","department":[{"_id":"672"}],"status":"public","type":"journal_article","publication":"Forum on Specification & Design Languages (FDL 2014)","title":"Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation","date_updated":"2022-01-06T06:56:51Z","author":[{"last_name":"Becker","full_name":"Becker, Markus","first_name":"Markus"},{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"}],"date_created":"2021-09-29T10:43:10Z","year":"2014","citation":{"mla":"Becker, Markus, and Christoph Kuznik. “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation.” <i>Forum on Specification &#38; Design Languages (FDL 2014)</i>, 2014.","bibtex":"@article{Becker_Kuznik_2014, title={Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation}, journal={Forum on Specification &#38; Design Languages (FDL 2014)}, author={Becker, Markus and Kuznik, Christoph}, year={2014} }","short":"M. Becker, C. Kuznik, Forum on Specification &#38; Design Languages (FDL 2014) (2014).","apa":"Becker, M., &#38; Kuznik, C. (2014). Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation. <i>Forum on Specification &#38; Design Languages (FDL 2014)</i>.","ama":"Becker M, Kuznik C. Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation. <i>Forum on Specification &#38; Design Languages (FDL 2014)</i>. Published online 2014.","chicago":"Becker, Markus, and Christoph Kuznik. “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation.” <i>Forum on Specification &#38; Design Languages (FDL 2014)</i>, 2014.","ieee":"M. Becker and C. Kuznik, “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation,” <i>Forum on Specification &#38; Design Languages (FDL 2014)</i>, 2014."}},{"conference":{"location":"Kitakyushu, Japan, 26. - 29. Sep. 2014"},"title":"Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces","date_created":"2021-09-29T11:56:44Z","author":[{"full_name":"Stern, Claudius","last_name":"Stern","first_name":"Claudius"},{"first_name":"Lisa","full_name":"Kleinjohann, Lisa","id":"15588","last_name":"Kleinjohann"}],"date_updated":"2022-01-06T06:56:51Z","publisher":" Institute of Industrial Applications Engineers","page":"209-215","citation":{"ieee":"C. Stern and L. Kleinjohann, “Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces,” in <i>Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014</i>, Kitakyushu, Japan, 26. - 29. Sep. 2014, 2014, pp. 209–215.","chicago":"Stern, Claudius, and Lisa Kleinjohann. “Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces.” In <i>Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014</i>, 209–15.  Institute of Industrial Applications Engineers, 2014.","ama":"Stern C, Kleinjohann L. Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces. In: <i>Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014</i>.  Institute of Industrial Applications Engineers; 2014:209-215.","apa":"Stern, C., &#38; Kleinjohann, L. (2014). Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces. <i>Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014</i>, 209–215.","short":"C. Stern, L. Kleinjohann, in: Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014,  Institute of Industrial Applications Engineers, 2014, pp. 209–215.","bibtex":"@inproceedings{Stern_Kleinjohann_2014, title={Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces}, booktitle={Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014}, publisher={ Institute of Industrial Applications Engineers}, author={Stern, Claudius and Kleinjohann, Lisa}, year={2014}, pages={209–215} }","mla":"Stern, Claudius, and Lisa Kleinjohann. “Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces.” <i>Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014</i>,  Institute of Industrial Applications Engineers, 2014, pp. 209–15."},"year":"2014","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25119","status":"public","abstract":[{"text":"In case of a disaster it is of utmost importance to obtain an overview of the affected area in order to coordinate rescue operations. Recent research and development has led to affordable unmanned aerial vehicles (UAVs) and enabled (semi-)autonomous surveillance and mapping of a disaster areas by UAVs. Mapping an area from many images incorporates image registration. Commonly used registration techniques expect static images to be registered. However, while mapping a disaster area, it is very likely that objects like vehicles or persons are moving on the ground, thus leading to dynamic scenes. We formerly introduced a fast and robust approach to register large amounts of successively arriving images, e.g., from UAVs. The approach only uses rigid-body transformations, but the usage of virtual forces enables the registration to tolerate small perspective distortions. This paper investigates the performance of our approach when applied to dynamic scenes, which are represented by nonlinear disturbances within image correspondences. We show that our approach not only tolerates small perspective distortions but also is able to register dynamic scenes.\r\n","lang":"eng"}],"publication":"Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014","type":"conference"},{"type":"conference","publication":"19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","status":"public","_id":"25122","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"year":"2014","citation":{"apa":"Grösbrink, S., &#38; Almeida, L. (2014). A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors. <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>.","short":"S. Grösbrink, L. Almeida, in: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2014.","bibtex":"@inproceedings{Grösbrink_Almeida_2014, title={A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors}, booktitle={19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}, author={Grösbrink, Stefan and Almeida, Luis}, year={2014} }","mla":"Grösbrink, Stefan, and Luis Almeida. “A Criticality-Aware Mapping of Real-Time Virtual Machines to Multi-Core Processors.” <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>, 2014.","ieee":"S. Grösbrink and L. Almeida, “A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors,” 2014.","chicago":"Grösbrink, Stefan, and Luis Almeida. “A Criticality-Aware Mapping of Real-Time Virtual Machines to Multi-Core Processors.” In <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>, 2014.","ama":"Grösbrink S, Almeida L. A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors. In: <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. ; 2014."},"date_updated":"2022-01-06T06:56:52Z","author":[{"first_name":"Stefan","last_name":"Grösbrink","full_name":"Grösbrink, Stefan"},{"first_name":"Luis","last_name":"Almeida","full_name":"Almeida, Luis"}],"date_created":"2021-09-29T12:14:06Z","title":"A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors"}]