[{"language":[{"iso":"eng"}],"title":"Aspect enhanced functional coverage driven verification in the SystemC HDVL","user_id":"21240","author":[{"last_name":"Kuznik","full_name":"Kuznik, Christoph","first_name":"Christoph"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2021-10-21T10:59:51Z","department":[{"_id":"672"}],"date_updated":"2022-01-06T06:57:25Z","_id":"26667","citation":{"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.","ieee":"C. Kuznik and W. Müller, “Aspect enhanced functional coverage driven verification in the SystemC HDVL,” 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.","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>.","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} }","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."},"status":"public","year":"2011","type":"conference","publication":"Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)"},{"date_updated":"2022-01-06T06:57:25Z","date_created":"2021-10-21T11:04:35Z","author":[{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"title":"IP-XACT based System Level Mutation Testing","year":"2011","citation":{"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.","short":"T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 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>.","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.","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."},"_id":"26669","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)","status":"public"},{"date_created":"2021-10-21T11:08:01Z","author":[{"first_name":"Stefan","last_name":"Henkler","full_name":"Henkler, Stefan"},{"first_name":"Simon","last_name":"Oberthür","id":"383","full_name":"Oberthür, Simon"},{"first_name":"Holger","full_name":"Giese, Holger","last_name":"Giese"},{"first_name":"Andreas","last_name":"Seibel","full_name":"Seibel, Andreas"}],"date_updated":"2022-01-06T06:57:25Z","title":"Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures","citation":{"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.","short":"S. Henkler, S. Oberthür, H. Giese, A. Seibel, International Journal of Computer Systems Science &#38; 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 &#38; Engineering 26 (6)}, author={Henkler, Stefan and Oberthür, Simon and Giese, Holger and Seibel, Andreas}, year={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>.","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.","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.","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."},"year":"2011","department":[{"_id":"672"}],"user_id":"21240","_id":"26670","language":[{"iso":"eng"}],"publication":"International Journal of Computer Systems Science & Engineering 26 (6)","type":"journal_article","status":"public"},{"date_created":"2021-10-21T11:10:23Z","author":[{"first_name":"Daniel","last_name":"Baldin","full_name":"Baldin, Daniel"},{"first_name":"Stefan","last_name":"Grösbrink","full_name":"Grösbrink, Stefan"},{"full_name":"Oberthür, Simon","id":"383","last_name":"Oberthür","first_name":"Simon"}],"date_updated":"2022-01-06T06:57:25Z","title":"Enabling Constraint-based Binary Reconfiguration by Binary Analysis","citation":{"ama":"Baldin D, Grösbrink S, Oberthür S. Enabling Constraint-based Binary Reconfiguration by Binary Analysis. <i>International Journal on Computing (JoC) 1(4)</i>. Published online 2011.","ieee":"D. Baldin, S. Grösbrink, and S. Oberthür, “Enabling Constraint-based Binary Reconfiguration by Binary Analysis,” <i>International Journal on Computing (JoC) 1(4)</i>, 2011.","chicago":"Baldin, Daniel, Stefan Grösbrink, and Simon Oberthür. “Enabling Constraint-Based Binary Reconfiguration by Binary Analysis.” <i>International Journal on Computing (JoC) 1(4)</i>, 2011.","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} }","short":"D. Baldin, S. Grösbrink, S. Oberthür, International Journal on Computing (JoC) 1(4) (2011).","mla":"Baldin, Daniel, et al. “Enabling Constraint-Based Binary Reconfiguration by Binary Analysis.” <i>International Journal on Computing (JoC) 1(4)</i>, 2011.","apa":"Baldin, D., Grösbrink, S., &#38; Oberthür, S. (2011). Enabling Constraint-based Binary Reconfiguration by Binary Analysis. <i>International Journal on Computing (JoC) 1(4)</i>."},"year":"2011","department":[{"_id":"672"}],"user_id":"21240","_id":"26671","language":[{"iso":"eng"}],"publication":"International Journal on Computing (JoC) 1(4)","type":"journal_article","status":"public"},{"status":"public","publication":" 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011","type":"conference","language":[{"iso":"eng"}],"_id":"26673","department":[{"_id":"672"}],"user_id":"21240","year":"2011","place":"Poznan, Poland","citation":{"chicago":"Bin Tariq, Fahad. “F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems.” In <i> 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011</i>. Poznan, Poland: Springer-Verlag, 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.","ama":"Bin Tariq F. F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems. In: <i> 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011</i>. 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.","mla":"Bin Tariq, Fahad. “F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems.” <i> 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011</i>, 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} }","apa":"Bin Tariq, F. (2011). F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems. <i> 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011</i>."},"title":"F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems","conference":{"location":"Poznan, Poland, 26. - 28. Okt. 2011, Springer-Verlag"},"date_updated":"2022-01-06T06:57:25Z","publisher":"Springer-Verlag","author":[{"last_name":"Bin Tariq","full_name":"Bin Tariq, Fahad","first_name":"Fahad"}],"date_created":"2021-10-21T11:13:27Z"},{"publication":"Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011)","type":"conference","status":"public","_id":"26687","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"place":"Salamanca, Spain","year":"2011","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.","chicago":"Orfanus, Dalimir, Peter Janacik, Frank Eliassen, and Pal Orten. “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems.” In <i>Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011)</i>. Salamanca, Spain: IEEE Computer Society, 2011.","ama":"Orfanus D, Janacik P, Eliassen F, Orten P. High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems. In: <i>Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011)</i>. IEEE Computer Society; 2011.","mla":"Orfanus, Dalimir, et al. “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems.” <i>Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011)</i>, 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} }","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.","apa":"Orfanus, D., Janacik, P., Eliassen, F., &#38; Orten, P. (2011). High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems. <i>Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011)</i>."},"date_updated":"2022-01-06T06:57:25Z","publisher":"IEEE Computer Society","author":[{"first_name":"Dalimir","last_name":"Orfanus","full_name":"Orfanus, Dalimir"},{"first_name":"Peter","last_name":"Janacik","full_name":"Janacik, Peter"},{"first_name":"Frank","last_name":"Eliassen","full_name":"Eliassen, Frank"},{"first_name":"Pal","last_name":"Orten","full_name":"Orten, Pal"}],"date_created":"2021-10-21T11:51:09Z","title":"High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems","conference":{"location":"Salamanca, Spain, 19. - 21. Okt. 2011, IEEE Computer Society"}},{"type":"book_editor","editor":[{"id":"54","full_name":"Betz, Stefan","last_name":"Betz","first_name":"Stefan"}],"status":"public","_id":"2669","user_id":"21811","department":[{"_id":"193"}],"place":"Hamburg","year":"2011","citation":{"chicago":"Betz, Stefan, ed. <i>Ausgewählte Probleme Des Logistikmanagements</i>. Hamburg, 2011.","ieee":"S. Betz, Ed., <i>Ausgewählte Probleme des Logistikmanagements</i>. Hamburg, 2011.","ama":"Betz S, ed. <i>Ausgewählte Probleme Des Logistikmanagements</i>. Hamburg; 2011.","short":"S. Betz, ed., Ausgewählte Probleme Des Logistikmanagements, Hamburg, 2011.","mla":"Betz, Stefan, editor. <i>Ausgewählte Probleme Des Logistikmanagements</i>. 2011.","bibtex":"@book{Betz_2011, place={Hamburg}, title={Ausgewählte Probleme des Logistikmanagements}, year={2011} }","apa":"Betz, S. (Ed.). (2011). <i>Ausgewählte Probleme des Logistikmanagements</i>. Hamburg."},"date_updated":"2022-01-06T06:57:25Z","date_created":"2018-05-07T13:16:27Z","title":"Ausgewählte Probleme des Logistikmanagements"},{"department":[{"_id":"672"}],"user_id":"21240","_id":"26698","language":[{"iso":"eng"}],"publication":"Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)","type":"conference","status":"public","date_created":"2021-10-21T12:22:19Z","author":[{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_updated":"2022-01-06T06:57:26Z","title":"HDL-Mutation Based Simulation Data Generation by Propagation Guided Search","citation":{"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} }","mla":"Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” <i>Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)</i>, 2011.","short":"T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.","apa":"Xie, T., &#38; Müller, W. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. <i>Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)</i>.","ama":"Xie T, Müller W. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: <i>Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)</i>. ; 2011.","chicago":"Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In <i>Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)</i>, 2011.","ieee":"T. Xie and W. Müller, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011."},"year":"2011"},{"language":[{"iso":"eng"}],"_id":"26699","user_id":"21240","department":[{"_id":"672"}],"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."}],"status":"public","type":"conference","publication":"Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)","title":"A Test Bed for Investigating Self-X Properties in Multi-Robot Societies","conference":{"name":"26. - 29. Jul. 2011"},"publisher":"IEEE","date_updated":"2022-01-06T06:57:26Z","date_created":"2021-10-21T12:24:59Z","author":[{"last_name":"Jungmann","full_name":"Jungmann, Alexander","first_name":"Alexander"},{"first_name":"Jan","last_name":"Lutterbeck","full_name":"Lutterbeck, Jan"},{"full_name":"Werdehausen, Benjamin","last_name":"Werdehausen","first_name":"Benjamin"},{"first_name":"Bernd","full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann"}],"year":"2011","citation":{"mla":"Jungmann, Alexander, et al. “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies.” <i>Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)</i>, IEEE, 2011.","short":"A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.","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} }","apa":"Jungmann, A., Lutterbeck, J., Werdehausen, B., &#38; Kleinjohann, B. (2011). A Test Bed for Investigating Self-X Properties in Multi-Robot Societies. <i>Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)</i>. 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: <i>Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)</i>. 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.","chicago":"Jungmann, Alexander, Jan Lutterbeck, Benjamin Werdehausen, and Bernd Kleinjohann. “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies.” In <i>Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)</i>. IEEE, 2011."}},{"status":"public","abstract":[{"lang":"eng","text":"Machines are omnipresent. They produce, they transport. Machines facilitate work and assist. The increasing penetration of mechanical engineering by information technology enables considerable benefits. We refer to such systems as advanced mechatronic systems, which relay on the close interaction of mechanics, electric/electronics, control engineering and software engineering. Hence, the design and production of such systems is an interdisciplinary and complex task. Our ambition is a new school for the design of advanced mechatronic systems. Consequently, we need an avant-garde basic system which can be used to develop and to test future applications. The miniature robot BeBot is such a basic system. This robot constitutes the test bench for the applications, being based on modern approaches, such as self-optimization, self-organization and self-coordination as well as on the use of new manufacturing technologies.\r\n"}],"publication":"Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"26701","citation":{"bibtex":"@inproceedings{Gausemeier_Schierbaum_Dumitrescu_Herbrechtsmeier_Jungmann_2011, title={Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties}, booktitle={Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)}, publisher={IEEE}, author={Gausemeier, Jürgen and Schierbaum, Thomas and Dumitrescu, Roman and Herbrechtsmeier, Stefan and Jungmann, Alexander}, year={2011} }","short":"J. Gausemeier, T. Schierbaum, R. Dumitrescu, S. Herbrechtsmeier, A. Jungmann, in: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.","mla":"Gausemeier, Jürgen, et al. “Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties.” <i>Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)</i>, IEEE, 2011.","apa":"Gausemeier, J., Schierbaum, T., Dumitrescu, R., Herbrechtsmeier, S., &#38; Jungmann, A. (2011). Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties. <i>Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)</i>. 26. - 29. Jul. 2011.","ama":"Gausemeier J, Schierbaum T, Dumitrescu R, Herbrechtsmeier S, Jungmann A. Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties. In: <i>Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)</i>. IEEE; 2011.","ieee":"J. Gausemeier, T. Schierbaum, R. Dumitrescu, S. Herbrechtsmeier, and A. Jungmann, “Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties,” presented at the 26. - 29. Jul. 2011, 2011.","chicago":"Gausemeier, Jürgen, Thomas Schierbaum, Roman Dumitrescu, Stefan Herbrechtsmeier, and Alexander Jungmann. “Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties.” In <i>Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)</i>. IEEE, 2011."},"year":"2011","conference":{"name":"26. - 29. Jul. 2011"},"title":"Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties","date_created":"2021-10-21T12:27:55Z","author":[{"first_name":"Jürgen","last_name":"Gausemeier","full_name":"Gausemeier, Jürgen"},{"first_name":"Thomas","last_name":"Schierbaum","full_name":"Schierbaum, Thomas"},{"last_name":"Dumitrescu","id":"16190","full_name":"Dumitrescu, Roman","first_name":"Roman"},{"full_name":"Herbrechtsmeier, Stefan","last_name":"Herbrechtsmeier","first_name":"Stefan"},{"first_name":"Alexander","full_name":"Jungmann, Alexander","last_name":"Jungmann"}],"date_updated":"2022-01-06T06:57:26Z","publisher":"IEEE"},{"citation":{"ama":"Thuy A.  Comparison of periodic and aperiodic task models for cyber-physical-systems. In: <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On </i>. IEEE Xplore; 2011.","chicago":"Thuy, Andreas. “ Comparison of Periodic and Aperiodic Task Models for Cyber-Physical-Systems.” In <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On </i>. IEEE Xplore, 2011.","ieee":"A. Thuy, “ Comparison of periodic and aperiodic task models for cyber-physical-systems,” presented at the 20. - 22. Jun. 2011, 2011.","mla":"Thuy, Andreas. “ Comparison of Periodic and Aperiodic Task Models for Cyber-Physical-Systems.” <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On </i>, IEEE Xplore, 2011.","short":"A. Thuy, in: Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On , IEEE Xplore, 2011.","bibtex":"@inproceedings{Thuy_2011, title={ Comparison of periodic and aperiodic task models for cyber-physical-systems}, booktitle={Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on }, publisher={IEEE Xplore}, author={Thuy, Andreas}, year={2011} }","apa":"Thuy, A. (2011).  Comparison of periodic and aperiodic task models for cyber-physical-systems. <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On </i>. 20. - 22. Jun. 2011."},"year":"2011","conference":{"name":"20. - 22. Jun. 2011"},"title":" Comparison of periodic and aperiodic task models for cyber-physical-systems","author":[{"first_name":"Andreas","last_name":"Thuy","full_name":"Thuy, Andreas"}],"date_created":"2021-10-21T12:31:52Z","date_updated":"2022-01-06T06:57:26Z","publisher":"IEEE Xplore","status":"public","publication":"Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on ","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"26702"},{"citation":{"ama":"Kuznik C, Müller W. Verification Closure of SystemC Designs with Functional Coverage. <i>North American SystemC User Group Meeting (16th)</i>. Published online 2011.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs with Functional Coverage.” <i>North American SystemC User Group Meeting (16th)</i>, 2011.","ieee":"C. Kuznik and W. Müller, “Verification Closure of SystemC Designs with Functional Coverage,” <i>North American SystemC User Group Meeting (16th)</i>, 2011.","apa":"Kuznik, C., &#38; Müller, W. (2011). Verification Closure of SystemC Designs with Functional Coverage. <i>North American SystemC User Group Meeting (16th)</i>. Jun. 2011 - 16th North American User Group Meeting (NASCUG).","bibtex":"@article{Kuznik_Müller_2011, title={Verification Closure of SystemC Designs with Functional Coverage}, journal={North American SystemC User Group Meeting (16th)}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }","mla":"Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs with Functional Coverage.” <i>North American SystemC User Group Meeting (16th)</i>, 2011.","short":"C. Kuznik, W. Müller, North American SystemC User Group Meeting (16th) (2011)."},"year":"2011","conference":{"name":"Jun. 2011 - 16th North American User Group Meeting (NASCUG)"},"title":"Verification Closure of SystemC Designs with Functional Coverage","date_created":"2021-10-21T12:37:44Z","author":[{"last_name":"Kuznik","full_name":"Kuznik, Christoph","first_name":"Christoph"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_updated":"2022-01-06T06:57:26Z","status":"public","abstract":[{"text":"In the area of dynamic verification of virtual prototypes, functional coverage is a valuable tool for answering the \"Are we done?\" question and achieving verification closure. Recent verification methodologies such as OVM and UVM contain multi-language support that provides a basic SystemC version. However, due to language shortcoming they cannot be utilized for the same amount of verification tasks in the SystemC ecosystem as in other supported hardware design and verification languages. In this presentation, we propose to boost the verification capabilities of SystemC by implementing functional coverage collection and evaluation according to the same metric as defined in the widely accepted IEEE-1800 SystemVerilog cover group feature. We implement a functional coverage library to enable coverage-driven verification of SystemC designs on multiple levels of abstraction enabling value, transition, and expression coverage. To our knowledge, the overall functionalities are not available in the IEEE-1666 SystemC standard or the SCV add-on library, nor are they complete compared to the aforementioned in any publicly available SystemC library.\r\n","lang":"eng"}],"publication":"North American SystemC User Group Meeting (16th)","type":"journal_article","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"26705"},{"language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"26707","status":"public","abstract":[{"lang":"eng","text":"Planar graph routing works provably correct if the underlying network graph is connected and planar. Typically, wireless networks modeled as 2D graphs, are not planar and planar graph routing applied on such unprocessed network graphs may fail. Planarizing a given connected graph by removing intersecting links might be impossible if the outcome still needs to be a connected subgraph. It becomes even more difficult with distributed planarization techniques, where each node is allowed to use only the information about its local neighborhood. Furthermore, it is getting complicated if the nodes' assigned positions do not reflect the exact physical location. With or without exact location information, the outcome might be disconnected, nonplanar, or both of it. With all these unsolvable problems, the question arises how to apply planar graph routing in a realistic network setting? Fortunately, wireless network graphs bear one property which distinguishes them from arbitrary graphs: due to limited communication range, network links cannot become arbitrarily long. In this work we exploit this locality property to build a new localized planarization algorithm, which is location fault tolerant and which produces planar connected graphs in most cases in realistic wireless models. We evaluate our algorithm using the Log Normal Shadowing model and show that our algorithm always produces planar connected graphs in all simulations even when large location errors are present.\r\n"}],"publication":"IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)","type":"conference","title":"A Localized Planarization Algorithm for Realistic Wireless Networks","author":[{"last_name":"Mathews","full_name":"Mathews, Emi","first_name":"Emi"},{"full_name":"Frey, Hannes","last_name":"Frey","first_name":"Hannes"}],"date_created":"2021-10-21T12:40:58Z","publisher":" IEEE Computer Society","date_updated":"2022-01-06T06:57:26Z","page":"1-9","citation":{"ama":"Mathews E, Frey H. A Localized Planarization Algorithm for Realistic Wireless Networks. In: <i>IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)</i>.  IEEE Computer Society; 2011:1-9.","ieee":"E. Mathews and H. Frey, “A Localized Planarization Algorithm for Realistic Wireless Networks,” in <i>IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)</i>, 2011, pp. 1–9.","chicago":"Mathews, Emi, and Hannes Frey. “A Localized Planarization Algorithm for Realistic Wireless Networks.” In <i>IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)</i>, 1–9.  IEEE Computer Society, 2011.","apa":"Mathews, E., &#38; Frey, H. (2011). A Localized Planarization Algorithm for Realistic Wireless Networks. <i>IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)</i>, 1–9.","short":"E. Mathews, H. Frey, in: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM),  IEEE Computer Society, 2011, pp. 1–9.","mla":"Mathews, Emi, and Hannes Frey. “A Localized Planarization Algorithm for Realistic Wireless Networks.” <i>IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)</i>,  IEEE Computer Society, 2011, pp. 1–9.","bibtex":"@inproceedings{Mathews_Frey_2011, title={A Localized Planarization Algorithm for Realistic Wireless Networks}, booktitle={IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)}, publisher={ IEEE Computer Society}, author={Mathews, Emi and Frey, Hannes}, year={2011}, pages={1–9} }"},"year":"2011"},{"_id":"26710","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"type":"conference","publication":"8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294","status":"public","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","date_updated":"2022-01-06T06:57:26Z","date_created":"2021-10-21T12:46:10Z","author":[{"last_name":"Becker","full_name":"Becker, Markus","first_name":"Markus"},{"last_name":"Zabel","full_name":"Zabel, Henning","first_name":"Henning"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Ahmed","full_name":"Elfeky, Ahmed","last_name":"Elfeky"},{"first_name":"Anthony","full_name":"DiPasquale, Anthony","last_name":"DiPasquale"}],"volume":294,"title":"Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie","year":"2011","citation":{"ama":"Becker M, Zabel H, Müller W, Elfeky A, DiPasquale A. Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. In: <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294</i>. Vol 294. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2011:315-327.","ieee":"M. Becker, H. Zabel, W. Müller, A. Elfeky, and A. DiPasquale, “Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie,” in <i>8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294</i>, 2011, vol. 294, pp. 315–327.","chicago":"Becker, Markus, Henning Zabel, Wolfgang Müller, Ahmed Elfeky, and Anthony DiPasquale. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme – Eine Fallstudie.” In <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294</i>, 294:315–27. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.","short":"M. Becker, H. Zabel, W. Müller, A. Elfeky, A. DiPasquale, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–327.","bibtex":"@inproceedings{Becker_Zabel_Müller_Elfeky_DiPasquale_2011, title={Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie}, volume={294}, booktitle={8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang and Elfeky, Ahmed and DiPasquale, Anthony}, year={2011}, pages={315–327} }","mla":"Becker, Markus, et al. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme – Eine Fallstudie.” <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294</i>, vol. 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–27.","apa":"Becker, M., Zabel, H., Müller, W., Elfeky, A., &#38; DiPasquale, A. (2011). Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294</i>, <i>294</i>, 315–327."},"page":"315-327","intvolume":"       294"},{"status":"public","type":"journal_article","publication":"ThinkMind, International Journal On Advances in Software 3 (3&4)","language":[{"iso":"eng"}],"_id":"26711","user_id":"21240","department":[{"_id":"672"}],"year":"2011","citation":{"short":"C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, ThinkMind, International Journal On Advances in Software 3 (3&#38;4) (2011) 351–370.","bibtex":"@article{Rasche_Stern_Kleinjohann_Kleinjohann_2011, title={Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs}, journal={ThinkMind, International Journal On Advances in Software 3 (3&#38;4)}, author={Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2011}, pages={351–370} }","mla":"Rasche, Christoph, et al. “Coordinated Exploration and Goal-Oriented Path Planning Using Multiple UAVs.” <i>ThinkMind, International Journal On Advances in Software 3 (3&#38;4)</i>, 2011, pp. 351–70.","apa":"Rasche, C., Stern, C., Kleinjohann, L., &#38; Kleinjohann, B. (2011). Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs. <i>ThinkMind, International Journal On Advances in Software 3 (3&#38;4)</i>, 351–370.","ama":"Rasche C, Stern C, Kleinjohann L, Kleinjohann B. Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs. <i>ThinkMind, International Journal On Advances in Software 3 (3&#38;4)</i>. Published online 2011:351-370.","ieee":"C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs,” <i>ThinkMind, International Journal On Advances in Software 3 (3&#38;4)</i>, pp. 351–370, 2011.","chicago":"Rasche, Christoph, Claudius Stern, Lisa Kleinjohann, and Bernd Kleinjohann. “Coordinated Exploration and Goal-Oriented Path Planning Using Multiple UAVs.” <i>ThinkMind, International Journal On Advances in Software 3 (3&#38;4)</i>, 2011, 351–70."},"page":"351-370","title":"Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs","date_updated":"2022-01-06T06:57:26Z","author":[{"full_name":"Rasche, Christoph","last_name":"Rasche","first_name":"Christoph"},{"first_name":"Claudius","last_name":"Stern","full_name":"Stern, Claudius"},{"full_name":"Kleinjohann, Lisa","id":"15588","last_name":"Kleinjohann","first_name":"Lisa"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"}],"date_created":"2021-10-21T12:56:18Z"},{"author":[{"full_name":"Khaluf, Yara","last_name":"Khaluf","first_name":"Yara"},{"full_name":"Mathews, Emi","last_name":"Mathews","first_name":"Emi"},{"last_name":"Rammig","full_name":"Rammig, Franz-Josef","first_name":"Franz-Josef"}],"date_created":"2021-10-21T12:59:04Z","publisher":"IEEE Computer Society","date_updated":"2022-01-06T06:57:26Z","conference":{"name":"Newport Beach, California, USA, 28. - 31. Mrz. 2011 IEEE, IEEE Computer Society"},"title":" Self-Organized Cooperation in Swarm Robotics","page":"217-226","citation":{"bibtex":"@inproceedings{Khaluf_Mathews_Rammig_2011, place={Newport Beach, California, USA}, title={ Self-Organized Cooperation in Swarm Robotics}, booktitle={14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)}, publisher={IEEE Computer Society}, author={Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}, year={2011}, pages={217–226} }","mla":"Khaluf, Yara, et al. “ Self-Organized Cooperation in Swarm Robotics.” <i>14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)</i>, IEEE Computer Society, 2011, pp. 217–26.","short":"Y. Khaluf, E. Mathews, F.-J. Rammig, in: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE Computer Society, Newport Beach, California, USA, 2011, pp. 217–226.","apa":"Khaluf, Y., Mathews, E., &#38; Rammig, F.-J. (2011).  Self-Organized Cooperation in Swarm Robotics. <i>14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)</i>, 217–226.","ama":"Khaluf Y, Mathews E, Rammig F-J.  Self-Organized Cooperation in Swarm Robotics. In: <i>14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)</i>. IEEE Computer Society; 2011:217-226.","ieee":"Y. Khaluf, E. Mathews, and F.-J. Rammig, “ Self-Organized Cooperation in Swarm Robotics,” in <i>14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)</i>, 2011, pp. 217–226.","chicago":"Khaluf, Yara, Emi Mathews, and Franz-Josef Rammig. “ Self-Organized Cooperation in Swarm Robotics.” In <i>14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)</i>, 217–26. Newport Beach, California, USA: IEEE Computer Society, 2011."},"year":"2011","place":"Newport Beach, California, USA","department":[{"_id":"672"}],"user_id":"21240","_id":"26712","language":[{"iso":"eng"}],"publication":"14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)","type":"conference","status":"public"},{"language":[{"iso":"eng"}],"_id":"26713","department":[{"_id":"672"}],"user_id":"21240","status":"public","publication":"Proceedings of Design, Automation, Test Europe - DATE2011","type":"conference","title":"A Reconfiguration Approach for Fault-Tolerant FlexRay Networks","conference":{"location":"14. - 18. Mrz. 2011"},"date_updated":"2022-01-06T06:57:26Z","publisher":"IEEE Computer Society Press","author":[{"full_name":"Klobedanz, Kay","last_name":"Klobedanz","first_name":"Kay"},{"first_name":"A.","full_name":"König, A.","last_name":"König"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_created":"2021-10-21T13:01:47Z","year":"2011","place":"Grenoble, France","citation":{"apa":"Klobedanz, K., König, A., &#38; Müller, W. (2011). A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. <i>Proceedings of Design, Automation, Test Europe - DATE2011</i>.","mla":"Klobedanz, Kay, et al. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” <i>Proceedings of Design, Automation, Test Europe - DATE2011</i>, IEEE Computer Society Press, 2011.","short":"K. Klobedanz, A. König, W. Müller, in: Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, Grenoble, France, 2011.","bibtex":"@inproceedings{Klobedanz_König_Müller_2011, place={Grenoble, France}, title={A Reconfiguration Approach for Fault-Tolerant FlexRay Networks}, booktitle={Proceedings of Design, Automation, Test Europe - DATE2011}, publisher={IEEE Computer Society Press}, author={Klobedanz, Kay and König, A. and Müller, Wolfgang}, year={2011} }","ama":"Klobedanz K, König A, Müller W. A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. In: <i>Proceedings of Design, Automation, Test Europe - DATE2011</i>. IEEE Computer Society Press; 2011.","chicago":"Klobedanz, Kay, A. König, and Wolfgang Müller. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” In <i>Proceedings of Design, Automation, Test Europe - DATE2011</i>. Grenoble, France: IEEE Computer Society Press, 2011.","ieee":"K. Klobedanz, A. König, and W. Müller, “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks,” 14. - 18. Mrz. 2011, 2011."}},{"language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"26714","status":"public","type":"conference","publication":"Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011","title":"Self-Reconfiguration for Fault-Tolerant FlexRay Networks","author":[{"full_name":"Klobedanz, Kay","last_name":"Klobedanz","first_name":"Kay"},{"first_name":"A.","last_name":"König","full_name":"König, A."},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"first_name":"Achim","full_name":"Rettberg, Achim","last_name":"Rettberg"}],"date_created":"2021-10-21T13:06:26Z","date_updated":"2022-01-06T06:57:26Z","publisher":"IEEE Computer Society Press","citation":{"chicago":"Klobedanz, Kay, A. König, Wolfgang Müller, and Achim Rettberg. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” In <i>Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011</i>. Newport Beach, California, USA: IEEE Computer Society Press, 2011.","ieee":"K. Klobedanz, A. König, W. Müller, and A. Rettberg, “Self-Reconfiguration for Fault-Tolerant FlexRay Networks,” 2011.","ama":"Klobedanz K, König A, Müller W, Rettberg A. Self-Reconfiguration for Fault-Tolerant FlexRay Networks. In: <i>Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011</i>. IEEE Computer Society Press; 2011.","bibtex":"@inproceedings{Klobedanz_König_Müller_Rettberg_2011, place={Newport Beach, California, USA}, title={Self-Reconfiguration for Fault-Tolerant FlexRay Networks}, booktitle={Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011}, publisher={IEEE Computer Society Press}, author={Klobedanz, Kay and König, A. and Müller, Wolfgang and Rettberg, Achim}, year={2011} }","mla":"Klobedanz, Kay, et al. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” <i>Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011</i>, IEEE Computer Society Press, 2011.","short":"K. Klobedanz, A. König, W. Müller, A. Rettberg, in: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, Newport Beach, California, USA, 2011.","apa":"Klobedanz, K., König, A., Müller, W., &#38; Rettberg, A. (2011). Self-Reconfiguration for Fault-Tolerant FlexRay Networks. <i>Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011</i>."},"year":"2011","place":"Newport Beach, California, USA"},{"status":"public","abstract":[{"lang":"eng","text":"SystemC is a versatile C++ based design and verification language, offering various mechanisms and constructs required for embedded systems modeling. Using the add-on SystemC Verification Library (SCV) elemental constrained-random stimuli techniques may be used for verification. However, SCV has several drawbacks such as lack of a functional coverage facility supporting coverage collection on RTL and TLM models. In this article we present a functional coverage library which implements parts of the IEEE 1800-2005 SystemVerilog standard capturing functional coverage throughout the design and verification process, and allows to facilitate coverage-driven verification in SystemC."}],"publication":"Proceedings of DVCON ","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"26715","citation":{"ieee":"C. Kuznik and W. Müller, “Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction,” 2011.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” In <i>Proceedings of DVCON </i>, 2011.","ama":"Kuznik C, Müller W. Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. In: <i>Proceedings of DVCON </i>. ; 2011.","short":"C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.","mla":"Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” <i>Proceedings of DVCON </i>, 2011.","bibtex":"@inproceedings{Kuznik_Müller_2011, title={Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction}, booktitle={Proceedings of DVCON }, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }","apa":"Kuznik, C., &#38; Müller, W. (2011). Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. <i>Proceedings of DVCON </i>."},"year":"2011","title":"Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction","date_created":"2021-10-21T13:10:10Z","author":[{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_updated":"2022-01-06T06:57:26Z"},{"_id":"26716","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)","abstract":[{"text":"UML profiles like SysML and MARTE have been a major research topic in electronic system design, but are mainly applied for specification and analysis in early design phases. High-Level Synthesis (HLS), however, addresses the physical implementation aspect of electronic systems, and thus leads to different requirements on the accuracy of models. For this, modular interfaces are a novel object-oriented synthesizable technique to overcome the conflict between a higher degree of abstraction and necessary details for further synthesis. In this paper, we present our approach to use SysML as an adequate modeling language for modular interfaces and C/C++/SystemC-based HLS. We extended SysML with annotations for synthesizable SystemC and high-level synthesis constraints and implemented a code generation scheme to achieve design flow automation. Based on the SysML editor Artisan Studio and an industrial case study, we demonstrate the applicability of SysML as a retargetable front-end for HLS design flows.","lang":"eng"}],"status":"public","date_updated":"2022-01-06T06:57:26Z","date_created":"2021-10-21T13:16:24Z","author":[{"last_name":"Mischkalla","full_name":"Mischkalla, Fabian","first_name":"Fabian"},{"first_name":"Da","full_name":"He, Da","last_name":"He"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"title":"A Retargetable SysML-based Front-End for High-Level Synthesis","year":"2011","citation":{"ama":"Mischkalla F, He D, Müller W. A Retargetable SysML-based Front-End for High-Level Synthesis. In: <i>Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)</i>. ; 2011.","ieee":"F. Mischkalla, D. He, and W. Müller, “A Retargetable SysML-based Front-End for High-Level Synthesis,” 2011.","chicago":"Mischkalla, Fabian, Da He, and Wolfgang Müller. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” In <i>Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)</i>, 2011.","apa":"Mischkalla, F., He, D., &#38; Müller, W. (2011). A Retargetable SysML-based Front-End for High-Level Synthesis. <i>Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)</i>.","mla":"Mischkalla, Fabian, et al. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” <i>Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)</i>, 2011.","bibtex":"@inproceedings{Mischkalla_He_Müller_2011, title={A Retargetable SysML-based Front-End for High-Level Synthesis}, booktitle={Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2011} }","short":"F. Mischkalla, D. He, W. Müller, in: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011."}}]