[{"date_updated":"2022-01-06T06:57:16Z","title":"Biologically Inspired Information Technology: Towards a Cyber Biosphere","status":"public","year":"2012","author":[{"full_name":"Rammig, Franz-Josef","first_name":"Franz-Josef","last_name":"Rammig"}],"user_id":"21240","editor":[{"last_name":"Conradi","first_name":"Tobias","full_name":"Conradi, Tobias"},{"full_name":"Ecker, Gisela","first_name":"Gisela","last_name":"Ecker"},{"full_name":"Eke, Norbert Otto","first_name":"Norbert Otto","last_name":"Eke"},{"first_name":"Florian","last_name":"Muhle","full_name":"Muhle, Florian"}],"page":"141-160","publisher":"Wilhelm Fink Verlag","_id":"26094","language":[{"iso":"eng"}],"publication":"Schemata und Praktiken","citation":{"apa":"Rammig, F.-J. (2012). Biologically Inspired Information Technology: Towards a Cyber Biosphere. In T. Conradi, G. Ecker, N. O. Eke, &#38; F. Muhle (Eds.), <i>Schemata und Praktiken</i> (pp. 141–160). Wilhelm Fink Verlag.","mla":"Rammig, Franz-Josef. “Biologically Inspired Information Technology: Towards a Cyber Biosphere.” <i>Schemata Und Praktiken</i>, edited by Tobias Conradi et al., Wilhelm Fink Verlag, 2012, pp. 141–60.","ieee":"F.-J. Rammig, “Biologically Inspired Information Technology: Towards a Cyber Biosphere,” in <i>Schemata und Praktiken</i>, T. Conradi, G. Ecker, N. O. Eke, and F. Muhle, Eds. München: Wilhelm Fink Verlag, 2012, pp. 141–160.","ama":"Rammig F-J. Biologically Inspired Information Technology: Towards a Cyber Biosphere. In: Conradi T, Ecker G, Eke NO, Muhle F, eds. <i>Schemata Und Praktiken</i>. Wilhelm Fink Verlag; 2012:141-160.","short":"F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.","chicago":"Rammig, Franz-Josef. “Biologically Inspired Information Technology: Towards a Cyber Biosphere.” In <i>Schemata Und Praktiken</i>, edited by Tobias Conradi, Gisela Ecker, Norbert Otto Eke, and Florian Muhle, 141–60. München: Wilhelm Fink Verlag, 2012.","bibtex":"@inbook{Rammig_2012, place={München}, title={Biologically Inspired Information Technology: Towards a Cyber Biosphere}, booktitle={Schemata und Praktiken}, publisher={Wilhelm Fink Verlag}, author={Rammig, Franz-Josef}, editor={Conradi, Tobias and Ecker, Gisela and Eke, Norbert Otto and Muhle, Florian}, year={2012}, pages={141–160} }"},"type":"book_chapter","department":[{"_id":"672"}],"date_created":"2021-10-13T11:53:31Z","place":"München"},{"page":"263-276","_id":"26102","language":[{"iso":"eng"}],"publisher":" IGI Global","user_id":"21240","year":"2012","status":"public","title":"Adaptive Web Services for Modular and Reusable Software Development","author":[{"full_name":"Bin Tariq, Fahad","first_name":"Fahad","last_name":"Bin Tariq"},{"last_name":"Korrapati","first_name":"Sandeep","full_name":"Korrapati, Sandeep"}],"date_updated":"2022-01-06T06:57:16Z","date_created":"2021-10-13T12:48:56Z","type":"book_chapter","department":[{"_id":"672"}],"publication":"Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems","citation":{"chicago":"Bin Tariq, Fahad, and Sandeep Korrapati. “Adaptive Web Services for Modular and Reusable Software Development.” In <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems</i>, 263–76.  IGI Global, 2012.","short":"F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems,  IGI Global, 2012, pp. 263–276.","ieee":"F. Bin Tariq and S. Korrapati, “Adaptive Web Services for Modular and Reusable Software Development,” in <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems</i>,  IGI Global, 2012, pp. 263–276.","apa":"Bin Tariq, F., &#38; Korrapati, S. (2012). Adaptive Web Services for Modular and Reusable Software Development. In <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems</i> (pp. 263–276).  IGI Global.","bibtex":"@inbook{Bin Tariq_Korrapati_2012, title={Adaptive Web Services for Modular and Reusable Software Development}, booktitle={Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems}, publisher={ IGI Global}, author={Bin Tariq, Fahad and Korrapati, Sandeep}, year={2012}, pages={263–276} }","ama":"Bin Tariq F, Korrapati S. Adaptive Web Services for Modular and Reusable Software Development. In: <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems</i>.  IGI Global; 2012:263-276.","mla":"Bin Tariq, Fahad, and Sandeep Korrapati. “Adaptive Web Services for Modular and Reusable Software Development.” <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems</i>,  IGI Global, 2012, pp. 263–76."}},{"_id":"26181","language":[{"iso":"eng"}],"publisher":"Xpert Publishing Services","page":"43-47","user_id":"21240","author":[{"full_name":"Jungmann, Alexander","last_name":"Jungmann","first_name":"Alexander"},{"first_name":"Bernd","last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd"}],"status":"public","title":"Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition","year":"2012","date_updated":"2022-01-06T06:57:17Z","date_created":"2021-10-15T07:14:05Z","department":[{"_id":"672"}],"type":"conference","citation":{"short":"A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.","chicago":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition.” In <i>Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 43–47. Xpert Publishing Services, 2012.","apa":"Jungmann, A., &#38; Kleinjohann, B. (2012). Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. <i>Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 43–47.","ieee":"A. Jungmann and B. Kleinjohann, “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition,” in <i>Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 2012, pp. 43–47.","ama":"Jungmann A, Kleinjohann B. Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. In: <i>Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>. Xpert Publishing Services; 2012:43-47.","bibtex":"@inproceedings{Jungmann_Kleinjohann_2012, title={Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition}, booktitle={Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, publisher={Xpert Publishing Services}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012}, pages={43–47} }","mla":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition.” <i>Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, Xpert Publishing Services, 2012, pp. 43–47."},"publication":"Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)","abstract":[{"lang":"eng","text":"The paradigm shift from purchasing monolithic software solutions to a dynamic composition of individual solutions entails many new possibilities yet great challenges, too. In order to satisfy user requirements, complex services have to be automatically composed of elementary services. Multiple possibilities of composing a complex service inevitably emerge. The problem of selecting the most appropriate services has to be solved by comparing the different service candidates with respect to their quality in terms of inherent non-functional properties while simultaneously taking the user requirements into account.We are aiming for an integrated service rating and ranking methodology in order to support the automation of the underlying decision-making process. The main contribution of this paper is a first decomposition of the quality-based service selection process, while emphasizing major issues and challenges, which we are addressing in the On-The-Fly Computing project."}]},{"department":[{"_id":"672"}],"type":"conference","date_created":"2021-10-15T07:52:47Z","abstract":[{"text":"A major goal of the On-The-Fly Computing project is the automated composition of individual services based on services that are available in dynamic markets. Dependent on the granularity of a market, different alternatives that satisfy the requested functional requirements may emerge. In order to select the best solution, services are usually selected with respect to their quality in terms of inherent non-functional properties. In this paper, we describe our idea of how to model this service selection process as a Markov Decision Process, which we in turn intend to solve by means of Reinforcement Learning techniques in order to control the underlying service composition process. In addition, some initial issues with respect to our approach are addressed.","lang":"eng"}],"citation":{"ieee":"A. Jungmann and B. Kleinjohann, “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition,” 2012.","apa":"Jungmann, A., &#38; Kleinjohann, B. (2012). Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. <i>Proceedings of the 9th IEEE International Conference on Services Computing (SCC)</i>.","chicago":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition.” In <i>Proceedings of the 9th IEEE International Conference on Services Computing (SCC)</i>. IEEE, 2012.","short":"A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.","mla":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition.” <i>Proceedings of the 9th IEEE International Conference on Services Computing (SCC)</i>, IEEE, 2012.","bibtex":"@inproceedings{Jungmann_Kleinjohann_2012, title={Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition}, booktitle={Proceedings of the 9th IEEE International Conference on Services Computing (SCC)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012} }","ama":"Jungmann A, Kleinjohann B. Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. In: <i>Proceedings of the 9th IEEE International Conference on Services Computing (SCC)</i>. IEEE; 2012."},"publication":"Proceedings of the 9th IEEE International Conference on Services Computing (SCC)","user_id":"21240","_id":"26190","language":[{"iso":"eng"}],"publisher":"IEEE","date_updated":"2022-01-06T06:57:17Z","author":[{"full_name":"Jungmann, Alexander","first_name":"Alexander","last_name":"Jungmann"},{"first_name":"Bernd","last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd"}],"year":"2012","title":"Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition","status":"public"},{"language":[{"iso":"eng"}],"_id":"26212","user_id":"21240","author":[{"last_name":"Khaluf","first_name":"Yara","full_name":"Khaluf, Yara"},{"full_name":"Weiss, Fabian","last_name":"Weiss","first_name":"Fabian"},{"full_name":"Micus, Sebastian","first_name":"Sebastian","last_name":"Micus"}],"year":"2012","title":"Master Election for Time Synchronization in Swarm Robotic Systems","status":"public","date_updated":"2022-01-06T06:57:18Z","place":" Leganés, Madrid","date_created":"2021-10-15T09:16:19Z","department":[{"_id":"672"}],"type":"conference","citation":{"apa":"Khaluf, Y., Weiss, F., &#38; Micus, S. (2012). Master Election for Time Synchronization in Swarm Robotic Systems. <i>The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications</i>.","ieee":"Y. Khaluf, F. Weiss, and S. Micus, “Master Election for Time Synchronization in Swarm Robotic Systems,” 2012.","short":"Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications,  Leganés, Madrid, 2012.","chicago":"Khaluf, Yara, Fabian Weiss, and Sebastian Micus. “Master Election for Time Synchronization in Swarm Robotic Systems.” In <i>The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications</i>.  Leganés, Madrid, 2012.","mla":"Khaluf, Yara, et al. “Master Election for Time Synchronization in Swarm Robotic Systems.” <i>The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications</i>, 2012.","ama":"Khaluf Y, Weiss F, Micus S. Master Election for Time Synchronization in Swarm Robotic Systems. In: <i>The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications</i>. ; 2012.","bibtex":"@inproceedings{Khaluf_Weiss_Micus_2012, place={ Leganés, Madrid}, title={Master Election for Time Synchronization in Swarm Robotic Systems}, booktitle={The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications}, author={Khaluf, Yara and Weiss, Fabian and Micus, Sebastian}, year={2012} }"},"publication":"The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications"},{"department":[{"_id":"672"}],"type":"conference","date_created":"2021-10-15T11:20:32Z","place":"Bangalore, India","citation":{"ieee":"E. Mathews and C. Mathew, “Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks,” 2012.","mla":"Mathews, Emi, and Ciby Mathew. “Connectivity of Autonomous Agents Using Ad-Hoc Mobile Router Networks.” <i>Third International Conference on Networks &#38; Communications, LNICST</i>, Springer, 2012.","apa":"Mathews, E., &#38; Mathew, C. (2012). Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. <i>Third International Conference on Networks &#38; Communications, LNICST</i>.","bibtex":"@inproceedings{Mathews_Mathew_2012, place={Bangalore, India}, title={Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks}, booktitle={Third International Conference on Networks &#38; Communications, LNICST}, publisher={Springer}, author={Mathews, Emi and Mathew, Ciby}, year={2012} }","chicago":"Mathews, Emi, and Ciby Mathew. “Connectivity of Autonomous Agents Using Ad-Hoc Mobile Router Networks.” In <i>Third International Conference on Networks &#38; Communications, LNICST</i>. Bangalore, India: Springer, 2012.","ama":"Mathews E, Mathew C. Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. In: <i>Third International Conference on Networks &#38; Communications, LNICST</i>. Springer; 2012.","short":"E. Mathews, C. Mathew, in: Third International Conference on Networks &#38; Communications, LNICST, Springer, Bangalore, India, 2012."},"publication":"Third International Conference on Networks & Communications, LNICST","user_id":"21240","publisher":"Springer","_id":"26264","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:57:18Z","author":[{"full_name":"Mathews, Emi","first_name":"Emi","last_name":"Mathews"},{"full_name":"Mathew, Ciby","last_name":"Mathew","first_name":"Ciby"}],"title":"Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks","year":"2012","status":"public"},{"publication_identifier":{"isbn":["978-94-007-1125-9"]},"author":[{"last_name":"Vanderperren","first_name":"Yves","full_name":"Vanderperren, Yves"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"last_name":"He","first_name":"Da","full_name":"He, Da"},{"last_name":"Mischkalla","first_name":"Fabian","full_name":"Mischkalla, Fabian"},{"last_name":"Dahaene","first_name":"Wim","full_name":"Dahaene, Wim"}],"title":"Extending UML for Electronic Systems Design: A Code Generation Perspective","year":"2012","status":"public","date_updated":"2022-10-18T09:53:40Z","_id":"26695","edition":"1st Edition. Auflage","publisher":"Springer Verlag","language":[{"iso":"eng"}],"page":"13-39","editor":[{"first_name":"Gabriela","last_name":"Nicolescu","full_name":"Nicolescu, Gabriela"},{"full_name":"O'Connor, Ian","first_name":"Ian","last_name":"O'Connor"},{"full_name":"Piguet, Christian","last_name":"Piguet","first_name":"Christian"}],"user_id":"5786","citation":{"apa":"Vanderperren, Y., Müller, W., He, D., Mischkalla, F., &#38; Dahaene, W. (2012). Extending UML for Electronic Systems Design: A Code Generation Perspective. In G. Nicolescu, I. O’Connor, &#38; C. Piguet (Eds.), <i>Design Technology for Heterogeneous Embedded Systems</i> (1st Edition. Auflage, pp. 13–39). Springer Verlag.","mla":"Vanderperren, Yves, et al. “Extending UML for Electronic Systems Design: A Code Generation Perspective.” <i>Design Technology for Heterogeneous Embedded Systems</i>, edited by Gabriela Nicolescu et al., 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.","ieee":"Y. Vanderperren, W. Müller, D. He, F. Mischkalla, and W. Dahaene, “Extending UML for Electronic Systems Design: A Code Generation Perspective,” in <i>Design Technology for Heterogeneous Embedded Systems</i>, 1st Edition. Auflage., G. Nicolescu, I. O’Connor, and C. Piguet, Eds. Springer Verlag, 2012, pp. 13–39.","ama":"Vanderperren Y, Müller W, He D, Mischkalla F, Dahaene W. Extending UML for Electronic Systems Design: A Code Generation Perspective. In: Nicolescu G, O’Connor I, Piguet C, eds. <i>Design Technology for Heterogeneous Embedded Systems</i>. 1st Edition. Auflage. Springer Verlag; 2012:13-39.","short":"Y. Vanderperren, W. Müller, D. He, F. Mischkalla, W. Dahaene, in: G. Nicolescu, I. O’Connor, C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.","chicago":"Vanderperren, Yves, Wolfgang Müller, Da He, Fabian Mischkalla, and Wim Dahaene. “Extending UML for Electronic Systems Design: A Code Generation Perspective.” In <i>Design Technology for Heterogeneous Embedded Systems</i>, edited by Gabriela Nicolescu, Ian O’Connor, and Christian Piguet, 1st Edition. Auflage., 13–39. Springer Verlag, 2012.","bibtex":"@inbook{Vanderperren_Müller_He_Mischkalla_Dahaene_2012, edition={1st Edition. Auflage}, title={Extending UML for Electronic Systems Design: A Code Generation Perspective}, booktitle={Design Technology for Heterogeneous Embedded Systems}, publisher={Springer Verlag}, author={Vanderperren, Yves and Müller, Wolfgang and He, Da and Mischkalla, Fabian and Dahaene, Wim}, editor={Nicolescu, Gabriela and O’Connor, Ian and Piguet, Christian}, year={2012}, pages={13–39} }"},"publication":"Design Technology for Heterogeneous Embedded Systems","abstract":[{"lang":"eng","text":"The Unified Modeling Language (UML) is now widely accepted by the software community. More recently, UML has attracted attention as a unification language for systems description combining both hardware and software components. First, it has been recognized that electronic systems design can no longer be seen as an isolated hardware design activity. In addition, recent advances in tools supporting high level hardware synthesis from electronic system level languages, which are predominantly based on C/C++, open new perspectives for automatic code generation from UML models and opportunities to enhance the link between a high level specification and a concrete hardware/software implementation. Finally, UML has become a general purpose language which can be customized for specific purposes, such as the modelization of electronic systems. This chapter presents recent advances of the UML language applied to System-on-Chip (SoC) and hardware-related embedded systems design. In particular, several examples of specific UML customizations (UML profiles) relevant for SoC design are summarized. Various approaches associating UML with existing hardware/software design languages are presented. The question of tool support and association with well-known simulation environments, such as MATLAB/Simulink, is addressed as well. A concrete example of a UML profile for hardware/software co-modeling and code generation for hardware/software co-simulation is presented in more details for illustration purposes."}],"date_created":"2021-10-21T12:14:17Z","department":[{"_id":"672"}],"type":"book_chapter"},{"date_updated":"2024-04-18T21:07:25Z","conference":{"location":" University Booth, Dresden , Mrz. 2012"},"author":[{"full_name":"Kuznik, Christoph","first_name":"Christoph","last_name":"Kuznik"},{"full_name":"Oliveira, Marcio F.","last_name":"Oliveira","first_name":"Marcio F."},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"status":"public","year":"2012","title":"SYSTEMC UVM VERIFICATION COMPONENTS","user_id":"5786","language":[{"iso":"eng"}],"_id":"26038","abstract":[{"text":"We present an enhanced UVM for SystemC library which incorporates verification best practices from OVM-ML and UVM as well as project partner implementations. Moreover, we extended functionality and implemented missing features, such as domain specific components, stimuli sequence generation and management, call-back facilities, response to request routing, transaction recording and many more. Apart from that, we added crucial verification components, such as functional coverage.","lang":"eng"}],"citation":{"mla":"Kuznik, Christoph, et al. “SYSTEMC UVM VERIFICATION COMPONENTS.” <i>Design, Automation and Test in Europe DATE</i>, 2012.","ama":"Kuznik C, Oliveira MF, Müller W. SYSTEMC UVM VERIFICATION COMPONENTS. <i>Design, Automation and Test in Europe DATE</i>. Published online 2012.","bibtex":"@article{Kuznik_Oliveira_Müller_2012, title={SYSTEMC UVM VERIFICATION COMPONENTS}, journal={Design, Automation and Test in Europe DATE}, author={Kuznik, Christoph and Oliveira, Marcio F. and Müller, Wolfgang}, year={2012} }","apa":"Kuznik, C., Oliveira, M. F., &#38; Müller, W. (2012). SYSTEMC UVM VERIFICATION COMPONENTS. <i>Design, Automation and Test in Europe DATE</i>.","ieee":"C. Kuznik, M. F. Oliveira, and W. Müller, “SYSTEMC UVM VERIFICATION COMPONENTS,” <i>Design, Automation and Test in Europe DATE</i>, 2012.","short":"C. Kuznik, M.F. Oliveira, W. Müller, Design, Automation and Test in Europe DATE (2012).","chicago":"Kuznik, Christoph, Marcio F. Oliveira, and Wolfgang Müller. “SYSTEMC UVM VERIFICATION COMPONENTS.” <i>Design, Automation and Test in Europe DATE</i>, 2012."},"publication":"Design, Automation and Test in Europe DATE","department":[{"_id":"672"}],"type":"journal_article","date_created":"2021-10-11T12:48:21Z"},{"type":"conference","keyword":["Real time systems","Fault tolerant systems","Schedules","Protocols","Redundancy","Delay"],"department":[{"_id":"672"}],"date_created":"2023-01-16T12:23:50Z","place":"Shenzhen, China ","abstract":[{"text":"In this paper we present an approach for the self reconfiguration of distributed micro-controllers for increased fault tolerance. Based on a modified distributed system topology utilizing a time division multiple access (TDMA) protocol, i.e., Flex Ray, we present a self-organized distributed coordinator concept which performs the self-reconfiguration in the case of node failures. We introduce a distributed coordinator, which utilizes redundant slots in the Flex Ray communication schedule and combines messages in configured protocol frames and slots to avoid a complete bus restart. As such, the self-reconfiguration is realized by means of predetermined information about resulting changes in the communication dependencies and (re-)assignments determined in the design phase. To retrieve the necessary information, we present an analytical approach, which determines a combined solution for the initial configuration and all possible reconfigurations for the remaining nodes of the Flex Ray network in case of node failures. Hence, through this method we can design self-reconfiguring network-based systems enabling the handling of node failures for an increased fault tolerance.","lang":"eng"}],"citation":{"chicago":"Klobedanz, Kay, Wolfgang Müller, and Achim Rettberg. “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems.” Shenzhen, China : IEEE, 2012. <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">https://doi.org/10.1109/ISORCW.2012.41</a>.","ama":"Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>","short":"K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.","bibtex":"@inproceedings{Klobedanz_Müller_Rettberg_2012, place={Shenzhen, China }, title={An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems}, DOI={<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>}, publisher={IEEE}, author={Klobedanz, Kay and Müller, Wolfgang and Rettberg, Achim}, year={2012} }","mla":"Klobedanz, Kay, et al. <i>An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems</i>. IEEE, 2012, doi:<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>.","apa":"Klobedanz, K., Müller, W., &#38; Rettberg, A. (2012). <i>An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems</i>. IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">https://doi.org/10.1109/ISORCW.2012.41</a>","ieee":"K. Klobedanz, W. Müller, and A. Rettberg, “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems,” presented at the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012, doi: <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>."},"user_id":"5786","doi":"10.1109/ISORCW.2012.41","_id":"36922","publisher":"IEEE","language":[{"iso":"eng"}],"date_updated":"2023-01-16T12:25:33Z","title":"An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems","year":"2012","status":"public","publication_identifier":{"eisbn":["978-0-7695-4669-8"]},"author":[{"first_name":"Kay","last_name":"Klobedanz","full_name":"Klobedanz, Kay"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"last_name":"Rettberg","first_name":"Achim","full_name":"Rettberg, Achim"}],"conference":{"name":"IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops"}},{"citation":{"ama":"Oliveira MF, Kuznik C, Müller W, Esen V, Ecker W. Towards an Enhanced UVM for SystemC. In: <i>Proceedings of the Design &#38; Verification Conference (DVCon)</i>. ; 2012.","bibtex":"@inproceedings{Oliveira_Kuznik_Müller_Esen_Ecker_2012, place={San Jose}, title={Towards an Enhanced UVM for SystemC}, booktitle={Proceedings of the Design &#38; Verification Conference (DVCon)}, author={Oliveira, M. F. and Kuznik, Christoph and Müller, Wolfgang and Esen, V. and Ecker, W.}, year={2012} }","mla":"Oliveira, M. F., et al. “Towards an Enhanced UVM for SystemC.” <i>Proceedings of the Design &#38; Verification Conference (DVCon)</i>, 2012.","chicago":"Oliveira, M. F., Christoph Kuznik, Wolfgang Müller, V. Esen, and W. Ecker. “Towards an Enhanced UVM for SystemC.” In <i>Proceedings of the Design &#38; Verification Conference (DVCon)</i>. San Jose, 2012.","short":"M.F. Oliveira, C. Kuznik, W. Müller, V. Esen, W. Ecker, in: Proceedings of the Design &#38; Verification Conference (DVCon), San Jose, 2012.","apa":"Oliveira, M. F., Kuznik, C., Müller, W., Esen, V., &#38; Ecker, W. (2012). Towards an Enhanced UVM for SystemC. <i>Proceedings of the Design &#38; Verification Conference (DVCon)</i>.","ieee":"M. F. Oliveira, C. Kuznik, W. Müller, V. Esen, and W. Ecker, “Towards an Enhanced UVM for SystemC,” 2012."},"publication":"Proceedings of the Design & Verification Conference (DVCon)","department":[{"_id":"672"}],"type":"conference","date_created":"2023-01-16T12:19:39Z","place":"San Jose","date_updated":"2023-01-16T12:21:17Z","author":[{"full_name":"Oliveira, M. F.","first_name":"M. F.","last_name":"Oliveira"},{"full_name":"Kuznik, Christoph","first_name":"Christoph","last_name":"Kuznik"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"last_name":"Esen","first_name":"V.","full_name":"Esen, V."},{"full_name":"Ecker, W.","last_name":"Ecker","first_name":"W."}],"year":"2012","title":"Towards an Enhanced UVM for SystemC","status":"public","user_id":"5786","language":[{"iso":"eng"}],"_id":"36921"},{"place":" Niagara Falls, NY, USA ","date_created":"2023-01-17T08:46:14Z","keyword":["Analytical models","Hardware design languages","Microprocessors","Cost function","Data models","Search problems","IP networks"],"type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of SOCC2012","citation":{"ieee":"T. Xie, W. Müller, and F. Letombe, “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor,” 2012, doi: <a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">10.1109/SOCC.2012.6398362</a>.","apa":"Xie, T., Müller, W., &#38; Letombe, F. (2012). Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. <i>Proceedings of SOCC2012</i>. <a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">https://doi.org/10.1109/SOCC.2012.6398362</a>","short":"T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE,  Niagara Falls, NY, USA , 2012.","chicago":"Xie, Tao , Wolfgang Müller, and Florian Letombe. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.” In <i>Proceedings of SOCC2012</i>.  Niagara Falls, NY, USA : IEEE, 2012. <a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">https://doi.org/10.1109/SOCC.2012.6398362</a>.","mla":"Xie, Tao, et al. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.” <i>Proceedings of SOCC2012</i>, IEEE, 2012, doi:<a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">10.1109/SOCC.2012.6398362</a>.","bibtex":"@inproceedings{Xie_Müller_Letombe_2012, place={ Niagara Falls, NY, USA }, title={Mutation-Analysis Driven Functional Verification of a Soft Microprocessor}, DOI={<a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">10.1109/SOCC.2012.6398362</a>}, booktitle={Proceedings of SOCC2012}, publisher={IEEE}, author={Xie, Tao  and Müller, Wolfgang and Letombe, Florian}, year={2012} }","ama":"Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. In: <i>Proceedings of SOCC2012</i>. IEEE; 2012. doi:<a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">10.1109/SOCC.2012.6398362</a>"},"abstract":[{"text":"This paper proposes a quality driven, simulation based approach to functional design verification, which applies mainly to IP-level HDL designs with well specified test instruction format and is evaluated on a soft microprocessor core MB-LITE [5]. The approach utilizes mutation analysis as the quality metric to steer an automated simulation data generation process. It leads to a simulation flow with two phases towards an enhanced mutation analysis result. First in a random simulation phase, an in-loop heuristics is deployed and adjusts dynamically the test probability distribution so as to improve the coverage efficiency. Next, for each remaining hard-to-kill mutant, a search heuristics on test input space is developed to iteratively locate a target test, using a specific objective cost function for the goal of killing HDL mutant. The effectiveness of this integrated two-phase simulation flow is demonstrated by the results with the MB-LITE microprocessor IP.","lang":"eng"}],"_id":"36994","language":[{"iso":"eng"}],"publisher":"IEEE","doi":"10.1109/SOCC.2012.6398362","user_id":"5786","title":"Mutation-Analysis Driven Functional Verification of a Soft Microprocessor","year":"2012","status":"public","publication_identifier":{"eisbn":["978-1-4673-1295-0"]},"author":[{"last_name":"Xie","first_name":"Tao ","full_name":"Xie, Tao "},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"full_name":"Letombe, Florian","first_name":"Florian","last_name":"Letombe"}],"date_updated":"2023-01-17T08:46:29Z"},{"user_id":"5786","_id":"36997","language":[{"iso":"eng"}],"date_updated":"2023-01-17T08:53:54Z","author":[{"full_name":"Xie, Tao","first_name":"Tao","last_name":"Xie"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"title":"An IP-XACT-TO-SystemC Model Generator for Mutation Analysis","year":"2012","status":"public","department":[{"_id":"672"}],"type":"conference","place":"Tampere, Finnland","date_created":"2023-01-17T08:52:59Z","citation":{"chicago":"Xie, Tao, and Wolfgang Müller. “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis.” In <i>Proceedings of the MeCoES’12</i>. Tampere, Finnland, 2012.","short":"T. Xie, W. Müller, in: Proceedings of the MeCoES’12, Tampere, Finnland, 2012.","apa":"Xie, T., &#38; Müller, W. (2012). An IP-XACT-TO-SystemC Model Generator for Mutation Analysis. <i>Proceedings of the MeCoES’12</i>.","ieee":"T. Xie and W. Müller, “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis,” 2012.","ama":"Xie T, Müller W. An IP-XACT-TO-SystemC Model Generator for Mutation Analysis. In: <i>Proceedings of the MeCoES’12</i>. ; 2012.","bibtex":"@inproceedings{Xie_Müller_2012, place={Tampere, Finnland}, title={An IP-XACT-TO-SystemC Model Generator for Mutation Analysis}, booktitle={Proceedings of the MeCoES’12}, author={Xie, Tao and Müller, Wolfgang}, year={2012} }","mla":"Xie, Tao, and Wolfgang Müller. “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis.” <i>Proceedings of the MeCoES’12</i>, 2012."},"publication":"Proceedings of the MeCoES’12"},{"citation":{"apa":"Hosseinimehr, M., &#38; Montealegre, N. (2011). Implementation of a Singular Value Decomposition Module on an FPGA. <i>The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011)</i>.","ieee":"M. Hosseinimehr and N. Montealegre, “Implementation of a Singular Value Decomposition Module on an FPGA,”  14. - 16. Dez. 2011, ACTA Press, Calgary, Canada, 2011.","short":"M. Hosseinimehr, N. Montealegre, in: The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), ACTA Press, Calgary, Canada, 2011.","chicago":"Hosseinimehr, Masoud, and Norma Montealegre. “Implementation of a Singular Value Decomposition Module on an FPGA.” In <i>The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011)</i>. Calgary, Canada: ACTA Press, 2011.","mla":"Hosseinimehr, Masoud, and Norma Montealegre. “Implementation of a Singular Value Decomposition Module on an FPGA.” <i>The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011)</i>, ACTA Press, 2011.","ama":"Hosseinimehr M, Montealegre N. Implementation of a Singular Value Decomposition Module on an FPGA. In: <i>The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011)</i>. ACTA Press; 2011.","bibtex":"@inproceedings{Hosseinimehr_Montealegre_2011, place={Calgary, Canada}, title={Implementation of a Singular Value Decomposition Module on an FPGA}, booktitle={The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011)}, publisher={ACTA Press}, author={Hosseinimehr, Masoud and Montealegre, Norma}, year={2011} }"},"publication":"The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011)","department":[{"_id":"672"}],"type":"conference","date_created":"2021-10-15T12:01:22Z","place":"Calgary, Canada","date_updated":"2022-01-06T06:57:18Z","author":[{"full_name":"Hosseinimehr, Masoud","first_name":"Masoud","last_name":"Hosseinimehr"},{"full_name":"Montealegre, Norma","first_name":"Norma","last_name":"Montealegre"}],"conference":{"location":" 14. - 16. Dez. 2011, ACTA Press, Calgary, Canada"},"title":"Implementation of a Singular Value Decomposition Module on an FPGA","year":"2011","status":"public","user_id":"21240","_id":"26276","publisher":"ACTA Press","language":[{"iso":"eng"}]},{"date_created":"2021-10-15T12:38:27Z","place":"Wellington, New Zealand","department":[{"_id":"672"}],"type":"conference","citation":{"apa":"Jungmann, A., &#38; Kleinjohann, B. (2011). Automatic Feature Classification for Object Detection based on Motion Analysis. <i>Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA)</i>.","ieee":"A. Jungmann and B. Kleinjohann, “Automatic Feature Classification for Object Detection based on Motion Analysis,” Wellington, New Zealand, 6. - 8. Dez. 2011, IEEE, 2011.","short":"A. Jungmann, B. Kleinjohann, in: Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), IEEE, Wellington, New Zealand, 2011.","chicago":"Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Feature Classification for Object Detection Based on Motion Analysis.” In <i>Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA)</i>. Wellington, New Zealand: IEEE, 2011.","mla":"Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Feature Classification for Object Detection Based on Motion Analysis.” <i>Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA)</i>, IEEE, 2011.","ama":"Jungmann A, Kleinjohann B. Automatic Feature Classification for Object Detection based on Motion Analysis. In: <i>Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA)</i>. IEEE; 2011.","bibtex":"@inproceedings{Jungmann_Kleinjohann_2011, place={Wellington, New Zealand}, title={Automatic Feature Classification for Object Detection based on Motion Analysis}, booktitle={Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2011} }"},"publication":"Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA)","abstract":[{"text":"In this paper an approach for automatic feature classification based on their motion in the image plane is introduced. By combining concepts of the human perception of motion with techniques belonging to the area of cluster analysis, we subsequently abstract the visual data in order to separate features, whose motion is caused by the sensor motion from features, which possibly belong to dynamic objects in the environment. The presented algorithm exclusively works on data, that can be extracted from the two dimensional image plane. Hence, no external data like the current motion of the applied camera is required. Furthermore, the algorithm works on any type of tracked feature, as long as it can be statistically represented. The results of the presented approach constitute a very good starting point for additional object detection mechanisms.","lang":"eng"}],"publisher":"IEEE","_id":"26279","language":[{"iso":"eng"}],"user_id":"21240","author":[{"full_name":"Jungmann, Alexander","first_name":"Alexander","last_name":"Jungmann"},{"first_name":"Bernd","last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd"}],"conference":{"location":"Wellington, New Zealand, 6. - 8. Dez. 2011, IEEE"},"status":"public","year":"2011","title":"Automatic Feature Classification for Object Detection based on Motion Analysis","date_updated":"2022-01-06T06:57:18Z"},{"date_updated":"2022-01-06T06:57:18Z","conference":{"location":"Wellington, New Zealand, Dez. 2011"},"author":[{"first_name":"Claudius","last_name":"Stern","full_name":"Stern, Claudius"},{"full_name":"Rasche, Christoph","first_name":"Christoph","last_name":"Rasche"},{"id":"15588","last_name":"Kleinjohann","first_name":"Lisa","full_name":"Kleinjohann, Lisa"},{"first_name":"Bernd","last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd"}],"status":"public","title":"Towards Using Virtual Forces for Image Registration","year":"2011","user_id":"21240","_id":"26281","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"This paper introduces a novel method for registering a large amount of aerial images when camera parameters are almost unknown and no reference images are available. The envisioned application is the creation of an overview map of a disaster area from images made by unmanned aerial vehicles (UAVs) equipped with cameras. The camera systems only have uncertain information about flight attitude. With traditional methods, the relatively small perspective errors per image sum up over time resulting in perspective errors which prevent building a consistent map from successively arriving images. By using virtual forces between images, the image parameters are continuously adapted to the current map. The small projective errors of quasi orthographic images are distributed among overlapping images. Having UAVs which deliver quasi orthographic images, our approach can build a contemporary overview without the need to have all images in advance."}],"citation":{"chicago":"Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Towards Using Virtual Forces for Image Registration.” In <i>The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)</i>. Wellington, New Zealand, 2011.","short":"C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.","ieee":"C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Towards Using Virtual Forces for Image Registration,” Wellington, New Zealand, Dez. 2011, 2011.","apa":"Stern, C., Rasche, C., Kleinjohann, L., &#38; Kleinjohann, B. (2011). Towards Using Virtual Forces for Image Registration. <i>The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)</i>.","bibtex":"@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2011, place={Wellington, New Zealand}, title={Towards Using Virtual Forces for Image Registration}, booktitle={The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2011} }","ama":"Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Towards Using Virtual Forces for Image Registration. In: <i>The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)</i>. ; 2011.","mla":"Stern, Claudius, et al. “Towards Using Virtual Forces for Image Registration.” <i>The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)</i>, 2011."},"publication":"The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)","department":[{"_id":"672"}],"type":"conference","place":"Wellington, New Zealand","date_created":"2021-10-15T12:49:47Z"},{"language":[{"iso":"eng"}],"_id":"26660","user_id":"21240","author":[{"last_name":"Rasche","first_name":"Christoph","full_name":"Rasche, Christoph"},{"full_name":"Stern, Claudius","first_name":"Claudius","last_name":"Stern"},{"id":"15588","first_name":"Lisa","last_name":"Kleinjohann","full_name":"Kleinjohann, Lisa"},{"full_name":"Kleinjohann, Bernd","first_name":"Bernd","last_name":"Kleinjohann"}],"title":"A Distributed Multi-UAV Path Planning Approach for 3D Environments","status":"public","year":"2011","date_updated":"2022-01-06T06:57:25Z","place":"Wellington, New Zealand,","date_created":"2021-10-21T09:57:11Z","department":[{"_id":"672"}],"type":"conference","citation":{"mla":"Rasche, Christoph, et al. “A Distributed Multi-UAV Path Planning Approach for 3D Environments.” <i>The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)</i>, 2011.","bibtex":"@inproceedings{Rasche_Stern_Kleinjohann_Kleinjohann_2011, place={Wellington, New Zealand,}, title={A Distributed Multi-UAV Path Planning Approach for 3D Environments}, booktitle={The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)}, author={Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2011} }","ama":"Rasche C, Stern C, Kleinjohann L, Kleinjohann B. A Distributed Multi-UAV Path Planning Approach for 3D Environments. In: <i>The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)</i>. ; 2011.","ieee":"C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A Distributed Multi-UAV Path Planning Approach for 3D Environments,” 2011.","apa":"Rasche, C., Stern, C., Kleinjohann, L., &#38; Kleinjohann, B. (2011). A Distributed Multi-UAV Path Planning Approach for 3D Environments. <i>The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)</i>.","short":"C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.","chicago":"Rasche, Christoph, Claudius Stern, Lisa Kleinjohann, and Bernd Kleinjohann. “A Distributed Multi-UAV Path Planning Approach for 3D Environments.” In <i>The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)</i>. Wellington, New Zealand, 2011."},"publication":"The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)","abstract":[{"lang":"eng","text":"During rescue scenarios it is indispensable to obtain an overview of the situation. Unmanned aerial vehicles (UAVs) can gather the necessary information in a fast and efficient way. This paper presents an approach for path planning in 3D environments offering a solution to explore disaster areas including, e.g., partially or completely destroyed buildings. Using multiple UAVs decreases the time needed to receive a complete overview if the problem of coordination and task allocation is solved. We present an approach for the use of multiple UAVs. The UAVs work in a distributed manner without any central coordination instance and cover the exploration of terrains as well as goal-oriented path planning. When using multiple UAVs redundant exploration is avoided through the use of inter-UAV-communication. The approach is based on potential fields and uses the simplicity of the gradient method to calculate paths for fast exploration of the terrain.\r\n"}]},{"publication":"Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems","citation":{"ieee":"E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “A Bio-inspired Coverage and Connectivity Maintenance Algorithm,” 2011.","apa":"Mathews, E., Graf, T., &#38; Kulathunga, K. S. S. B. (2011). A Bio-inspired Coverage and Connectivity Maintenance Algorithm. <i>Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems</i>.","mla":"Mathews, Emi, et al. “A Bio-Inspired Coverage and Connectivity Maintenance Algorithm.” <i>Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems</i>, Lecture Notes of ICST, 2011.","bibtex":"@inproceedings{Mathews_Graf_Kulathunga_2011, title={A Bio-inspired Coverage and Connectivity Maintenance Algorithm}, booktitle={Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems}, publisher={Lecture Notes of ICST}, author={Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B.}, year={2011} }","chicago":"Mathews, Emi, Tobias Graf, and K. S. S. B. Kulathunga. “A Bio-Inspired Coverage and Connectivity Maintenance Algorithm.” In <i>Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems</i>. Lecture Notes of ICST, 2011.","short":"E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture Notes of ICST, 2011.","ama":"Mathews E, Graf T, Kulathunga KSSB. A Bio-inspired Coverage and Connectivity Maintenance Algorithm. In: <i>Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems</i>. Lecture Notes of ICST; 2011."},"date_created":"2021-10-21T10:02:44Z","type":"conference","department":[{"_id":"672"}],"title":"A Bio-inspired Coverage and Connectivity Maintenance Algorithm","year":"2011","status":"public","author":[{"first_name":"Emi","last_name":"Mathews","full_name":"Mathews, Emi"},{"first_name":"Tobias","last_name":"Graf","full_name":"Graf, Tobias"},{"last_name":"Kulathunga","first_name":"K. S. S. B.","full_name":"Kulathunga, K. S. S. B."}],"date_updated":"2022-01-06T06:57:25Z","publisher":"Lecture Notes of ICST","_id":"26663","language":[{"iso":"eng"}],"user_id":"21240"},{"department":[{"_id":"672"}],"type":"conference","date_created":"2021-10-21T10:59:51Z","citation":{"apa":"Kuznik, C., &#38; Müller, W. (2011). Aspect enhanced functional coverage driven verification in the SystemC HDVL. <i>Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)</i>.","ieee":"C. Kuznik and W. Müller, “Aspect enhanced functional coverage driven verification in the SystemC HDVL,” 2011.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” In <i>Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)</i>, 2011.","short":"C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.","mla":"Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” <i>Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)</i>, 2011.","ama":"Kuznik C, Müller W. Aspect enhanced functional coverage driven verification in the SystemC HDVL. In: <i>Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)</i>. ; 2011.","bibtex":"@inproceedings{Kuznik_Müller_2011, title={Aspect enhanced functional coverage driven verification in the SystemC HDVL}, booktitle={Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }"},"publication":"Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)","user_id":"21240","language":[{"iso":"eng"}],"_id":"26667","date_updated":"2022-01-06T06:57:25Z","author":[{"last_name":"Kuznik","first_name":"Christoph","full_name":"Kuznik, Christoph"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"year":"2011","status":"public","title":"Aspect enhanced functional coverage driven verification in the SystemC HDVL"},{"_id":"26669","language":[{"iso":"eng"}],"user_id":"21240","title":"IP-XACT based System Level Mutation Testing","status":"public","year":"2011","author":[{"full_name":"Xie, Tao","first_name":"Tao","last_name":"Xie"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"date_updated":"2022-01-06T06:57:25Z","date_created":"2021-10-21T11:04:35Z","type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)","citation":{"short":"T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.","chicago":"Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” In <i>Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)</i>, 2011.","apa":"Xie, T., &#38; Müller, W. (2011). IP-XACT based System Level Mutation Testing. <i>Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)</i>.","ieee":"T. Xie and W. Müller, “IP-XACT based System Level Mutation Testing,” 2011.","ama":"Xie T, Müller W. IP-XACT based System Level Mutation Testing. In: <i>Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)</i>. ; 2011.","bibtex":"@inproceedings{Xie_Müller_2011, title={IP-XACT based System Level Mutation Testing}, booktitle={Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)}, author={Xie, Tao and Müller, Wolfgang}, year={2011} }","mla":"Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” <i>Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)</i>, 2011."}},{"citation":{"ieee":"S. Henkler, S. Oberthür, H. Giese, and A. Seibel, “Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures,” <i>International Journal of Computer Systems Science &#38; Engineering 26 (6)</i>, 2011.","apa":"Henkler, S., Oberthür, S., Giese, H., &#38; Seibel, A. (2011). Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. <i>International Journal of Computer Systems Science &#38; Engineering 26 (6)</i>.","chicago":"Henkler, Stefan, Simon Oberthür, Holger Giese, and Andreas Seibel. “Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures.” <i>International Journal of Computer Systems Science &#38; Engineering 26 (6)</i>, 2011.","short":"S. Henkler, S. Oberthür, H. Giese, A. Seibel, International Journal of Computer Systems Science &#38; Engineering 26 (6) (2011).","mla":"Henkler, Stefan, et al. “Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures.” <i>International Journal of Computer Systems Science &#38; Engineering 26 (6)</i>, 2011.","bibtex":"@article{Henkler_Oberthür_Giese_Seibel_2011, title={Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures}, journal={International Journal of Computer Systems Science &#38; Engineering 26 (6)}, author={Henkler, Stefan and Oberthür, Simon and Giese, Holger and Seibel, Andreas}, year={2011} }","ama":"Henkler S, Oberthür S, Giese H, Seibel A. Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. <i>International Journal of Computer Systems Science &#38; Engineering 26 (6)</i>. Published online 2011."},"publication":"International Journal of Computer Systems Science & Engineering 26 (6)","date_created":"2021-10-21T11:08:01Z","department":[{"_id":"672"}],"type":"journal_article","author":[{"full_name":"Henkler, Stefan","last_name":"Henkler","first_name":"Stefan"},{"id":"383","full_name":"Oberthür, Simon","last_name":"Oberthür","first_name":"Simon"},{"last_name":"Giese","first_name":"Holger","full_name":"Giese, Holger"},{"full_name":"Seibel, Andreas","first_name":"Andreas","last_name":"Seibel"}],"title":"Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures","year":"2011","status":"public","date_updated":"2022-01-06T06:57:25Z","language":[{"iso":"eng"}],"_id":"26670","user_id":"21240"}]