[{"user_id":"21240","title":"A Bio-inspired Coverage and Connectivity Maintenance Algorithm","publication":"Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems","department":[{"_id":"672"}],"author":[{"last_name":"Mathews","full_name":"Mathews, Emi","first_name":"Emi"},{"first_name":"Tobias","full_name":"Graf, Tobias","last_name":"Graf"},{"last_name":"Kulathunga","first_name":"K. S. S. B.","full_name":"Kulathunga, K. S. S. B."}],"publisher":"Lecture Notes of ICST","date_created":"2021-10-21T10:02:44Z","status":"public","_id":"26663","date_updated":"2022-01-06T06:57:25Z","language":[{"iso":"eng"}],"type":"conference","citation":{"apa":"Mathews, E., Graf, T., & Kulathunga, K. S. S. B. (2011). A Bio-inspired Coverage and Connectivity Maintenance Algorithm. Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems.","ama":"Mathews E, Graf T, Kulathunga KSSB. A Bio-inspired Coverage and Connectivity Maintenance Algorithm. In: Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems. Lecture Notes of ICST; 2011.","chicago":"Mathews, Emi, Tobias Graf, and K. S. S. B. Kulathunga. “A Bio-Inspired Coverage and Connectivity Maintenance Algorithm.” In Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems. 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} }","mla":"Mathews, Emi, et al. “A Bio-Inspired Coverage and Connectivity Maintenance Algorithm.” Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, 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.","ieee":"E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “A Bio-inspired Coverage and Connectivity Maintenance Algorithm,” 2011."},"year":"2011"},{"_id":"26667","date_updated":"2022-01-06T06:57:25Z","type":"conference","citation":{"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} }","mla":"Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.","apa":"Kuznik, C., & Müller, W. (2011). Aspect enhanced functional coverage driven verification in the SystemC HDVL. Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011).","ama":"Kuznik C, Müller W. Aspect enhanced functional coverage driven verification in the SystemC HDVL. In: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011). ; 2011.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” In Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.","ieee":"C. Kuznik and W. Müller, “Aspect enhanced functional coverage driven verification in the SystemC HDVL,” 2011.","short":"C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011."},"year":"2011","language":[{"iso":"eng"}],"title":"Aspect enhanced functional coverage driven verification in the SystemC HDVL","user_id":"21240","date_created":"2021-10-21T10:59:51Z","status":"public","department":[{"_id":"672"}],"publication":"Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)","author":[{"last_name":"Kuznik","first_name":"Christoph","full_name":"Kuznik, Christoph"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}]},{"date_updated":"2022-01-06T06:57:25Z","_id":"26669","year":"2011","citation":{"short":"T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.","ieee":"T. Xie and W. Müller, “IP-XACT based System Level Mutation Testing,” 2011.","chicago":"Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” In Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.","apa":"Xie, T., & Müller, W. (2011). IP-XACT based System Level Mutation Testing. Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT).","ama":"Xie T, Müller W. IP-XACT based System Level Mutation Testing. In: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT). ; 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.” Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011."},"type":"conference","language":[{"iso":"eng"}],"title":"IP-XACT based System Level Mutation Testing","user_id":"21240","author":[{"first_name":"Tao","full_name":"Xie, Tao","last_name":"Xie"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"department":[{"_id":"672"}],"publication":"Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)","status":"public","date_created":"2021-10-21T11:04:35Z"},{"_id":"26670","date_updated":"2022-01-06T06:57:25Z","citation":{"short":"S. Henkler, S. Oberthür, H. Giese, A. Seibel, International Journal of Computer Systems Science & Engineering 26 (6) (2011).","ieee":"S. Henkler, S. Oberthür, H. Giese, and A. Seibel, “Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures,” International Journal of Computer Systems Science & Engineering 26 (6), 2011.","chicago":"Henkler, Stefan, Simon Oberthür, Holger Giese, and Andreas Seibel. “Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures.” International Journal of Computer Systems Science & Engineering 26 (6), 2011.","ama":"Henkler S, Oberthür S, Giese H, Seibel A. Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. International Journal of Computer Systems Science & Engineering 26 (6). Published online 2011.","apa":"Henkler, S., Oberthür, S., Giese, H., & Seibel, A. (2011). Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. International Journal of Computer Systems Science & Engineering 26 (6).","mla":"Henkler, Stefan, et al. “Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures.” International Journal of Computer Systems Science & Engineering 26 (6), 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 & Engineering 26 (6)}, author={Henkler, Stefan and Oberthür, Simon and Giese, Holger and Seibel, Andreas}, year={2011} }"},"year":"2011","type":"journal_article","language":[{"iso":"eng"}],"title":"Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures","user_id":"21240","author":[{"last_name":"Henkler","full_name":"Henkler, Stefan","first_name":"Stefan"},{"last_name":"Oberthür","id":"383","first_name":"Simon","full_name":"Oberthür, Simon"},{"full_name":"Giese, Holger","first_name":"Holger","last_name":"Giese"},{"last_name":"Seibel","first_name":"Andreas","full_name":"Seibel, Andreas"}],"department":[{"_id":"672"}],"publication":"International Journal of Computer Systems Science & Engineering 26 (6)","status":"public","date_created":"2021-10-21T11:08:01Z"},{"_id":"26671","date_updated":"2022-01-06T06:57:25Z","language":[{"iso":"eng"}],"citation":{"short":"D. Baldin, S. Grösbrink, S. Oberthür, International Journal on Computing (JoC) 1(4) (2011).","ieee":"D. Baldin, S. Grösbrink, and S. Oberthür, “Enabling Constraint-based Binary Reconfiguration by Binary Analysis,” International Journal on Computing (JoC) 1(4), 2011.","chicago":"Baldin, Daniel, Stefan Grösbrink, and Simon Oberthür. “Enabling Constraint-Based Binary Reconfiguration by Binary Analysis.” International Journal on Computing (JoC) 1(4), 2011.","ama":"Baldin D, Grösbrink S, Oberthür S. Enabling Constraint-based Binary Reconfiguration by Binary Analysis. International Journal on Computing (JoC) 1(4). Published online 2011.","apa":"Baldin, D., Grösbrink, S., & Oberthür, S. (2011). Enabling Constraint-based Binary Reconfiguration by Binary Analysis. International Journal on Computing (JoC) 1(4).","bibtex":"@article{Baldin_Grösbrink_Oberthür_2011, title={Enabling Constraint-based Binary Reconfiguration by Binary Analysis}, journal={International Journal on Computing (JoC) 1(4)}, author={Baldin, Daniel and Grösbrink, Stefan and Oberthür, Simon}, year={2011} }","mla":"Baldin, Daniel, et al. “Enabling Constraint-Based Binary Reconfiguration by Binary Analysis.” International Journal on Computing (JoC) 1(4), 2011."},"type":"journal_article","year":"2011","user_id":"21240","title":"Enabling Constraint-based Binary Reconfiguration by Binary Analysis","status":"public","date_created":"2021-10-21T11:10:23Z","author":[{"last_name":"Baldin","full_name":"Baldin, Daniel","first_name":"Daniel"},{"last_name":"Grösbrink","first_name":"Stefan","full_name":"Grösbrink, Stefan"},{"id":"383","last_name":"Oberthür","full_name":"Oberthür, Simon","first_name":"Simon"}],"publication":"International Journal on Computing (JoC) 1(4)","department":[{"_id":"672"}]},{"language":[{"iso":"eng"}],"year":"2011","citation":{"chicago":"Bin Tariq, Fahad. “F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems.” In 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011. Poznan, Poland: Springer-Verlag, 2011.","apa":"Bin Tariq, F. (2011). F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems. 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011.","ama":"Bin Tariq F. F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems. In: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011. Springer-Verlag; 2011.","bibtex":"@inproceedings{Bin Tariq_2011, place={Poznan, Poland}, title={F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems}, booktitle={ 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011}, publisher={Springer-Verlag}, author={Bin Tariq, Fahad}, year={2011} }","mla":"Bin Tariq, Fahad. “F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems.” 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, 2011.","short":"F. Bin Tariq, in: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, Poznan, Poland, 2011.","ieee":"F. Bin Tariq, “F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems,” Poznan, Poland, 26. - 28. Okt. 2011, Springer-Verlag, 2011."},"type":"conference","conference":{"location":"Poznan, Poland, 26. - 28. Okt. 2011, Springer-Verlag"},"date_updated":"2022-01-06T06:57:25Z","_id":"26673","date_created":"2021-10-21T11:13:27Z","status":"public","publication":" 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011","department":[{"_id":"672"}],"author":[{"full_name":"Bin Tariq, Fahad","first_name":"Fahad","last_name":"Bin Tariq"}],"publisher":"Springer-Verlag","user_id":"21240","title":"F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems","place":"Poznan, Poland"},{"title":"High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems","user_id":"21240","place":"Salamanca, Spain","date_created":"2021-10-21T11:51:09Z","status":"public","publication":"Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011)","department":[{"_id":"672"}],"author":[{"last_name":"Orfanus","full_name":"Orfanus, Dalimir","first_name":"Dalimir"},{"first_name":"Peter","full_name":"Janacik, Peter","last_name":"Janacik"},{"full_name":"Eliassen, Frank","first_name":"Frank","last_name":"Eliassen"},{"full_name":"Orten, Pal","first_name":"Pal","last_name":"Orten"}],"publisher":"IEEE Computer Society","conference":{"location":"Salamanca, Spain, 19. - 21. Okt. 2011, IEEE Computer Society"},"date_updated":"2022-01-06T06:57:25Z","_id":"26687","year":"2011","type":"conference","citation":{"ieee":"D. Orfanus, P. Janacik, F. Eliassen, and P. Orten, “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems,” Salamanca, Spain, 19. - 21. Okt. 2011, IEEE Computer Society, 2011.","short":"D. Orfanus, P. Janacik, F. Eliassen, P. Orten, in: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), IEEE Computer Society, Salamanca, Spain, 2011.","mla":"Orfanus, Dalimir, et al. “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems.” Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), IEEE Computer Society, 2011.","bibtex":"@inproceedings{Orfanus_Janacik_Eliassen_Orten_2011, place={Salamanca, Spain}, title={High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems}, booktitle={Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011)}, publisher={IEEE Computer Society}, author={Orfanus, Dalimir and Janacik, Peter and Eliassen, Frank and Orten, Pal}, year={2011} }","apa":"Orfanus, D., Janacik, P., Eliassen, F., & Orten, P. (2011). High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems. Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011).","ama":"Orfanus D, Janacik P, Eliassen F, Orten P. High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems. In: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011). IEEE Computer Society; 2011.","chicago":"Orfanus, Dalimir, Peter Janacik, Frank Eliassen, and Pal Orten. “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems.” In Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011). Salamanca, Spain: IEEE Computer Society, 2011."},"language":[{"iso":"eng"}]},{"date_created":"2018-05-07T13:16:27Z","status":"public","editor":[{"full_name":"Betz, Stefan","first_name":"Stefan","id":"54","last_name":"Betz"}],"department":[{"_id":"193"}],"user_id":"21811","title":"Ausgewählte Probleme des Logistikmanagements","place":"Hamburg","citation":{"ieee":"S. Betz, Ed., Ausgewählte Probleme des Logistikmanagements. Hamburg, 2011.","short":"S. Betz, ed., Ausgewählte Probleme Des Logistikmanagements, Hamburg, 2011.","mla":"Betz, Stefan, editor. Ausgewählte Probleme Des Logistikmanagements. 2011.","bibtex":"@book{Betz_2011, place={Hamburg}, title={Ausgewählte Probleme des Logistikmanagements}, year={2011} }","chicago":"Betz, Stefan, ed. Ausgewählte Probleme Des Logistikmanagements. Hamburg, 2011.","apa":"Betz, S. (Ed.). (2011). Ausgewählte Probleme des Logistikmanagements. Hamburg.","ama":"Betz S, ed. Ausgewählte Probleme Des Logistikmanagements. Hamburg; 2011."},"type":"book_editor","year":"2011","date_updated":"2022-01-06T06:57:25Z","_id":"2669"},{"user_id":"21240","title":"HDL-Mutation Based Simulation Data Generation by Propagation Guided Search","date_created":"2021-10-21T12:22:19Z","status":"public","department":[{"_id":"672"}],"publication":"Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)","author":[{"last_name":"Xie","first_name":"Tao","full_name":"Xie, Tao"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_updated":"2022-01-06T06:57:26Z","_id":"26698","language":[{"iso":"eng"}],"year":"2011","type":"conference","citation":{"ieee":"T. Xie and W. Müller, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011.","short":"T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.","mla":"Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.","bibtex":"@inproceedings{Xie_Müller_2011, title={HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}, booktitle={Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)}, author={Xie, Tao and Müller, Wolfgang}, year={2011} }","ama":"Xie T, Müller W. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD). ; 2011.","apa":"Xie, T., & Müller, W. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. Proceedings of the 14th Euromicro Conference on Digital System Design (DSD).","chicago":"Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011."}},{"title":"A Test Bed for Investigating Self-X Properties in Multi-Robot Societies","user_id":"21240","abstract":[{"lang":"eng","text":"In this paper, we introduce a test bed for demonstrating and investigating self-x properties, such as self-optimization and self-organization, within the scope of multi-robot societies under realistic conditions. By doing so, we shift the investigation and demonstration of biologically inspired mechanisms from the simulative point of view to a dynamic and more complex realistic environment. For this purpose, we developed a controlled real-world environment to overcome common problems such as self-localization. Furthermore, we elaborated a concept for a descriptive robotic real-world game. By means of this game, we provide an instrument, which is easily accessible for any kind of audience on the one hand, while it still leaves enough space for an extensive scientific investigation on the other hand."}],"date_created":"2021-10-21T12:24:59Z","status":"public","publication":"Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)","department":[{"_id":"672"}],"publisher":"IEEE","author":[{"last_name":"Jungmann","full_name":"Jungmann, Alexander","first_name":"Alexander"},{"last_name":"Lutterbeck","first_name":"Jan","full_name":"Lutterbeck, Jan"},{"first_name":"Benjamin","full_name":"Werdehausen, Benjamin","last_name":"Werdehausen"},{"first_name":"Bernd","full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann"}],"conference":{"name":"26. - 29. Jul. 2011"},"_id":"26699","date_updated":"2022-01-06T06:57:26Z","citation":{"bibtex":"@inproceedings{Jungmann_Lutterbeck_Werdehausen_Kleinjohann_2011, title={A Test Bed for Investigating Self-X Properties in Multi-Robot Societies}, booktitle={Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)}, publisher={IEEE}, author={Jungmann, Alexander and Lutterbeck, Jan and Werdehausen, Benjamin and Kleinjohann, Bernd}, year={2011} }","mla":"Jungmann, Alexander, et al. “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies.” Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.","chicago":"Jungmann, Alexander, Jan Lutterbeck, Benjamin Werdehausen, and Bernd Kleinjohann. “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies.” In Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). IEEE, 2011.","apa":"Jungmann, A., Lutterbeck, J., Werdehausen, B., & Kleinjohann, B. (2011). A Test Bed for Investigating Self-X Properties in Multi-Robot Societies. Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). 26. - 29. Jul. 2011.","ama":"Jungmann A, Lutterbeck J, Werdehausen B, Kleinjohann B. A Test Bed for Investigating Self-X Properties in Multi-Robot Societies. In: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). IEEE; 2011.","ieee":"A. Jungmann, J. Lutterbeck, B. Werdehausen, and B. Kleinjohann, “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies,” presented at the 26. - 29. Jul. 2011, 2011.","short":"A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011."},"type":"conference","year":"2011","language":[{"iso":"eng"}]}]