[{"date_created":"2021-10-04T10:40:28Z","author":[{"last_name":"Farshizadeh","full_name":"Farshizadeh, Emad","first_name":"Emad"},{"full_name":"Briese, Herrmann","last_name":"Briese","first_name":"Herrmann"},{"first_name":"David","full_name":"Steinmann, David","last_name":"Steinmann"},{"first_name":"Lars","last_name":"Stockmann","id":"48144","full_name":"Stockmann, Lars"},{"last_name":"Beringer","full_name":"Beringer, Steffen","first_name":"Steffen"},{"last_name":"Holler","full_name":"Holler, Dominik","first_name":"Dominik"},{"last_name":"Klobedanz","full_name":"Klobedanz, Kay","first_name":"Kay"},{"first_name":"Christian","last_name":"Heinzemann","full_name":"Heinzemann, Christian"},{"last_name":"Peter","full_name":"Peter, Klaus","first_name":"Klaus"},{"last_name":"Leuer","full_name":"Leuer, Michael","first_name":"Michael"}],"date_updated":"2022-01-06T06:56:58Z","title":"Simulationsgestützter Entwurf für Elektrofahrzeuge","citation":{"ama":"Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf für Elektrofahrzeuge. In: <i>8. Dortmunder Autotag, Sep. 2013</i>. ; 2013.","chicago":"Farshizadeh, Emad, Herrmann Briese, David Steinmann, Lars Stockmann, Steffen Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In <i>8. Dortmunder Autotag, Sep. 2013</i>, 2013.","ieee":"E. Farshizadeh <i>et al.</i>, “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.","apa":"Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., Klobedanz, K., Heinzemann, C., Peter, K., &#38; Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. <i>8. Dortmunder Autotag, Sep. 2013</i>.","bibtex":"@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder Autotag, Sep. 2013}, author={Farshizadeh, Emad and Briese, Herrmann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }","mla":"Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” <i>8. Dortmunder Autotag, Sep. 2013</i>, 2013.","short":"E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, Sep. 2013, 2013."},"year":"2013","department":[{"_id":"672"}],"user_id":"21240","_id":"25277","language":[{"iso":"eng"}],"publication":"8. Dortmunder Autotag, Sep. 2013","type":"conference","status":"public","abstract":[{"text":"Das Thema Elektromobilität hat in der Fahrzeugindustrie in den letzten Jahren viel Aufmerksamkeit erhalten. Gerade im Bereich der Entwicklung von Steuergeräte-Software ist der Bedarf an frühzeitiger Absicherung hoch. Nur so können Produkteinführungszeiten minimiert und effektiv Entwicklungskosten eingespart werden. Komplexe Werkzeugketten und die verteilte Entwicklung erschweren den Prozess und verlängern die Entwicklungszeit. Das Förderprojekt „Simulationsgestützter Entwurf für Elektrofahrzeuge“, kurz „E-Mobil“, nimmt sich der Herausforderungen einer verteilten Entwicklung von Steuergeräte-Software an. Vier Projektpartner aus Industrie und Forschung untersuchen die Besonderheiten sowohl bzgl. des Entwurfsprozesses, als auch der beteiligten Entwurfswerkzeuge im Vergleich zur konventionellen Fahrzeugentwicklung. Im Fokus stehen die Modellierung und die simulationsgestützte Absicherung in frühen Entwurfsstadien. Die Modellierung umfasst Regelungssoftware sowie die für die Simulation nötigen elektrischen und mechatronischen Komponenten. Die vorliegende Arbeit stellt die Kernthemen sowie aktuelle Ergebnisse aus dem Projekt vor.","lang":"eng"}]},{"department":[{"_id":"672"}],"user_id":"21240","_id":"25284","language":[{"iso":"eng"}],"publication":" 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013","type":"conference","status":"public","date_created":"2021-10-04T11:15:10Z","author":[{"full_name":"Mischkalla, Fabian","last_name":"Mischkalla","first_name":"Fabian"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_updated":"2022-01-06T06:56:59Z","title":" Efficient Power Intent Validation Using Loosely-Timed Simulation Models","citation":{"mla":"Mischkalla, Fabian, and Wolfgang Müller. “ Efficient Power Intent Validation Using Loosely-Timed Simulation Models.” <i> 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013</i>, 2013.","short":"F. Mischkalla, W. Müller, in:  23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013, 2013.","bibtex":"@inproceedings{Mischkalla_Müller_2013, title={ Efficient Power Intent Validation Using Loosely-Timed Simulation Models}, booktitle={ 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }","apa":"Mischkalla, F., &#38; Müller, W. (2013).  Efficient Power Intent Validation Using Loosely-Timed Simulation Models. <i> 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013</i>.","ama":"Mischkalla F, Müller W.  Efficient Power Intent Validation Using Loosely-Timed Simulation Models. In: <i> 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013</i>. ; 2013.","ieee":"F. Mischkalla and W. Müller, “ Efficient Power Intent Validation Using Loosely-Timed Simulation Models,” 2013.","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “ Efficient Power Intent Validation Using Loosely-Timed Simulation Models.” In <i> 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013</i>, 2013."},"year":"2013"},{"abstract":[{"text":"The as a Service paradigm reflects the fundamental idea of providing basic coherent functionality in terms of components that can be utilized on demand. These so-called services may also be interconnected in order to provide more complex functionality. Automation of this service composition process is indeed a formidable challenge. In our work, we are addressing this challenge by decomposing service composition into sequential decision making steps. Each step is supported by a recommendation mechanism. If composition requests recur over time and if evaluations of composition results are fed back, a proper recommendation strategy can evolve over time through learning from experience. In this paper, we describe our general idea of modeling this service composition and recommendation process as Markov Decision Process and of solving it by means of Reinforcement Learning. A case study serves as proof of concept.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of the 10th IEEE International Conference on Services Computing (SCC)","language":[{"iso":"eng"}],"_id":"25286","user_id":"21240","department":[{"_id":"672"}],"year":"2013","citation":{"apa":"Jungmann, A., &#38; Kleinjohann, B. (2013). Learning Recommendation System for Automated Service Composition. <i>Proceedings of the 10th IEEE International Conference on Services Computing (SCC)</i>, 97–104.","mla":"Jungmann, Alexander, and Bernd Kleinjohann. “Learning Recommendation System for Automated Service Composition.” <i>Proceedings of the 10th IEEE International Conference on Services Computing (SCC)</i>,  IEEE Computer Society, 2013, pp. 97–104.","bibtex":"@inproceedings{Jungmann_Kleinjohann_2013, title={Learning Recommendation System for Automated Service Composition}, booktitle={Proceedings of the 10th IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2013}, pages={97–104} }","short":"A. Jungmann, B. Kleinjohann, in: Proceedings of the 10th IEEE International Conference on Services Computing (SCC),  IEEE Computer Society, 2013, pp. 97–104.","ieee":"A. Jungmann and B. Kleinjohann, “Learning Recommendation System for Automated Service Composition,” in <i>Proceedings of the 10th IEEE International Conference on Services Computing (SCC)</i>, 27. Jun. - 2. Jul. 2013 IEEE Computer Society, , 2013, pp. 97–104.","chicago":"Jungmann, Alexander, and Bernd Kleinjohann. “Learning Recommendation System for Automated Service Composition.” In <i>Proceedings of the 10th IEEE International Conference on Services Computing (SCC)</i>, 97–104.  IEEE Computer Society, 2013.","ama":"Jungmann A, Kleinjohann B. Learning Recommendation System for Automated Service Composition. In: <i>Proceedings of the 10th IEEE International Conference on Services Computing (SCC)</i>.  IEEE Computer Society; 2013:97-104."},"page":"97-104","title":"Learning Recommendation System for Automated Service Composition","conference":{"location":"27. Jun. - 2. Jul. 2013 IEEE Computer Society, "},"publisher":" IEEE Computer Society","date_updated":"2022-01-06T06:56:59Z","date_created":"2021-10-04T11:34:09Z","author":[{"first_name":"Alexander","last_name":"Jungmann","full_name":"Jungmann, Alexander"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd","first_name":"Bernd"}]},{"title":"Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems","language":[{"iso":"eng"}],"_id":"25287","date_updated":"2022-01-06T06:56:59Z","department":[{"_id":"672"}],"user_id":"21240","author":[{"first_name":"Katharina","full_name":"Gilles, Katharina","last_name":"Gilles"},{"last_name":"Grösbrink","full_name":"Grösbrink, Stefan","first_name":"Stefan"},{"first_name":"Daniel","full_name":"Baldin, Daniel","last_name":"Baldin"},{"last_name":"Kerstan","full_name":"Kerstan, Timo","first_name":"Timo"}],"date_created":"2021-10-04T11:51:22Z","year":"2013","status":"public","citation":{"ama":"Gilles K, Grösbrink S, Baldin D, Kerstan T. Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems. In: <i>International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>. ; 2013.","ieee":"K. Gilles, S. Grösbrink, D. Baldin, and T. Kerstan, “Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems,” 2013.","chicago":"Gilles, Katharina, Stefan Grösbrink, Daniel Baldin, and Timo Kerstan. “Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems.” In <i>International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>, 2013.","mla":"Gilles, Katharina, et al. “Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems.” <i>International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>, 2013.","bibtex":"@inproceedings{Gilles_Grösbrink_Baldin_Kerstan_2013, title={Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems}, booktitle={International Embedded Systems Symposium, 17. - 19. Jun. 2013}, author={Gilles, Katharina and Grösbrink, Stefan and Baldin, Daniel and Kerstan, Timo}, year={2013} }","short":"K. Gilles, S. Grösbrink, D. Baldin, T. Kerstan, in: International Embedded Systems Symposium, 17. - 19. Jun. 2013, 2013.","apa":"Gilles, K., Grösbrink, S., Baldin, D., &#38; Kerstan, T. (2013). Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems. <i>International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>."},"publication":"International Embedded Systems Symposium, 17. - 19. Jun. 2013","type":"conference"},{"date_updated":"2022-01-06T06:56:59Z","date_created":"2021-10-04T12:05:58Z","author":[{"full_name":"Grösbrink, Stefan","last_name":"Grösbrink","first_name":"Stefan"}],"title":"On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem","year":"2013","citation":{"apa":"Grösbrink, S. (2013). On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem. <i> International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>.","short":"S. Grösbrink, in:  International Embedded Systems Symposium, 17. - 19. Jun. 2013, 2013.","bibtex":"@inproceedings{Grösbrink_2013, title={On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem}, booktitle={ International Embedded Systems Symposium, 17. - 19. Jun. 2013}, author={Grösbrink, Stefan}, year={2013} }","mla":"Grösbrink, Stefan. “On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem.” <i> International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>, 2013.","ama":"Grösbrink S. On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem. In: <i> International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>. ; 2013.","chicago":"Grösbrink, Stefan. “On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem.” In <i> International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>, 2013.","ieee":"S. Grösbrink, “On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem,” 2013."},"_id":"25289","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"publication":" International Embedded Systems Symposium, 17. - 19. Jun. 2013","type":"conference","status":"public"},{"status":"public","publication":"Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25290","citation":{"apa":"Rammig, F.-J., Khaluf, L., Montealegre, N., Stahl, K., &#38; Zhao, Y. (2013). Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software. <i>Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013</i>. 17. - 18. Jun. 2013 IEEE.","bibtex":"@inproceedings{Rammig_Khaluf_Montealegre_Stahl_Zhao_2013, title={Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software}, booktitle={Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013}, publisher={IEEE}, author={Rammig, Franz-Josef and Khaluf, Lial and Montealegre, Norma and Stahl, Katharina and Zhao, Yuhong}, year={2013} }","short":"F.-J. Rammig, L. Khaluf, N. Montealegre, K. Stahl, Y. Zhao, in: Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013, IEEE, 2013.","mla":"Rammig, Franz-Josef, et al. “Organic Real-Time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-Time Software.” <i>Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013</i>, IEEE, 2013.","chicago":"Rammig, Franz-Josef, Lial Khaluf, Norma Montealegre, Katharina Stahl, and Yuhong Zhao. “Organic Real-Time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-Time Software.” In <i>Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013</i>. IEEE, 2013.","ieee":"F.-J. Rammig, L. Khaluf, N. Montealegre, K. Stahl, and Y. Zhao, “Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software,” presented at the 17. - 18. Jun. 2013 IEEE, 2013.","ama":"Rammig F-J, Khaluf L, Montealegre N, Stahl K, Zhao Y. Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software. In: <i>Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013</i>. IEEE; 2013."},"year":"2013","conference":{"name":"17. - 18. Jun. 2013 IEEE"},"title":"Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software","author":[{"full_name":"Rammig, Franz-Josef","last_name":"Rammig","first_name":"Franz-Josef"},{"full_name":"Khaluf, Lial","last_name":"Khaluf","first_name":"Lial"},{"first_name":"Norma","last_name":"Montealegre","full_name":"Montealegre, Norma"},{"full_name":"Stahl, Katharina","last_name":"Stahl","first_name":"Katharina"},{"full_name":"Zhao, Yuhong","last_name":"Zhao","first_name":"Yuhong"}],"date_created":"2021-10-04T12:14:32Z","publisher":"IEEE","date_updated":"2022-01-06T06:56:59Z"},{"_id":"25291","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"publication":"16th IEEE Computer Society Symposium on Object/Component/Service-oriented Real-time Distributed Computing","type":"conference","status":"public","date_updated":"2022-01-06T06:56:59Z","date_created":"2021-10-04T12:20:10Z","author":[{"first_name":"Markus","full_name":"Becker, Markus","last_name":"Becker"},{"first_name":"Ulrich","last_name":"Kiffmeier","full_name":"Kiffmeier, Ulrich"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"title":"HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures","year":"2013","citation":{"bibtex":"@inproceedings{Becker_Kiffmeier_Müller_2013, title={HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures}, booktitle={16th IEEE Computer Society Symposium on Object/Component/Service-oriented Real-time Distributed Computing}, author={Becker, Markus and Kiffmeier, Ulrich and Müller, Wolfgang}, year={2013} }","mla":"Becker, Markus, et al. “HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures.” <i>16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing</i>, 2013.","short":"M. Becker, U. Kiffmeier, W. Müller, in: 16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013.","apa":"Becker, M., Kiffmeier, U., &#38; Müller, W. (2013). HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures. <i>16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing</i>.","chicago":"Becker, Markus, Ulrich Kiffmeier, and Wolfgang Müller. “HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures.” In <i>16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing</i>, 2013.","ieee":"M. Becker, U. Kiffmeier, and W. Müller, “HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures,” 2013.","ama":"Becker M, Kiffmeier U, Müller W. HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures. In: <i>16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing</i>. ; 2013."}},{"year":"2013","citation":{"ieee":"F.-J. Rammig, K. Stahl, and G. F. Vaz, “A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems,” 2013.","chicago":"Rammig, Franz-Josef, Katharina Stahl, and Gavin Francis Vaz. “A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems.” In <i>Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013</i>. IEEE, 2013.","ama":"Rammig F-J, Stahl K, Vaz GF. A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems. In: <i>Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013</i>. IEEE; 2013.","short":"F.-J. Rammig, K. Stahl, G.F. Vaz, in: Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013, IEEE, 2013.","mla":"Rammig, Franz-Josef, et al. “A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems.” <i>Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013</i>, IEEE, 2013.","bibtex":"@inproceedings{Rammig_Stahl_Vaz_2013, title={A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems}, booktitle={Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013}, publisher={IEEE}, author={Rammig, Franz-Josef and Stahl, Katharina and Vaz, Gavin Francis}, year={2013} }","apa":"Rammig, F.-J., Stahl, K., &#38; Vaz, G. F. (2013). A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems. <i>Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013</i>."},"date_updated":"2022-01-06T06:56:59Z","publisher":"IEEE","author":[{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"},{"first_name":"Katharina","full_name":"Stahl, Katharina","last_name":"Stahl"},{"last_name":"Vaz","id":"30332","full_name":"Vaz, Gavin Francis","first_name":"Gavin Francis"}],"date_created":"2021-10-04T12:29:09Z","title":"A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems","publication":"Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013","type":"conference","status":"public","_id":"25292","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}]},{"date_created":"2021-10-04T12:39:28Z","author":[{"first_name":"Christoph","last_name":"Rasche","full_name":"Rasche, Christoph"},{"last_name":"Ziegert","full_name":"Ziegert, Steffen","first_name":"Steffen"}],"publisher":"ThinkMind","date_updated":"2022-01-06T06:56:59Z","conference":{"name":"27. Mai - 1. Jun. 2013 IARIA"},"title":"Multilevel Planning for Self-Optimizing Mechatronic Systems","page":"6","citation":{"chicago":"Rasche, Christoph, and Steffen Ziegert. “Multilevel Planning for Self-Optimizing Mechatronic Systems.” In <i>Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications</i>, 6. ThinkMind, 2013.","ieee":"C. Rasche and S. Ziegert, “Multilevel Planning for Self-Optimizing Mechatronic Systems,” in <i>Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications</i>, 2013, p. 6.","ama":"Rasche C, Ziegert S. Multilevel Planning for Self-Optimizing Mechatronic Systems. In: <i>Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications</i>. ThinkMind; 2013:6.","mla":"Rasche, Christoph, and Steffen Ziegert. “Multilevel Planning for Self-Optimizing Mechatronic Systems.” <i>Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications</i>, ThinkMind, 2013, p. 6.","bibtex":"@inproceedings{Rasche_Ziegert_2013, title={Multilevel Planning for Self-Optimizing Mechatronic Systems}, booktitle={Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications}, publisher={ThinkMind}, author={Rasche, Christoph and Ziegert, Steffen}, year={2013}, pages={6} }","short":"C. Rasche, S. Ziegert, in: Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, ThinkMind, 2013, p. 6.","apa":"Rasche, C., &#38; Ziegert, S. (2013). Multilevel Planning for Self-Optimizing Mechatronic Systems. <i>Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications</i>, 6."},"year":"2013","department":[{"_id":"672"}],"user_id":"21240","_id":"25296","language":[{"iso":"eng"}],"publication":"Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications","type":"conference","status":"public"},{"_id":"25298","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"publication":"Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC'13)","type":"conference","status":"public","date_updated":"2022-01-06T06:56:59Z","publisher":"Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg","author":[{"last_name":"Stahl","full_name":"Stahl, Katharina","first_name":"Katharina"}],"date_created":"2021-10-04T12:45:34Z","title":"AIS-based Anomaly Detection for Self-X Systems","related_material":{"link":[{"relation":"confirmation","url":"http://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/2355"}]},"year":"2013","page":"24-26","citation":{"bibtex":"@inproceedings{Stahl_2013, title={AIS-based Anomaly Detection for Self-X Systems}, booktitle={Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13)}, publisher={Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg}, author={Stahl, Katharina}, year={2013}, pages={24–26} }","short":"K. Stahl, in: Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13), Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, 2013, pp. 24–26.","mla":"Stahl, Katharina. “AIS-Based Anomaly Detection for Self-X Systems.” <i>Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13)</i>, Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, 2013, pp. 24–26.","apa":"Stahl, K. (2013). AIS-based Anomaly Detection for Self-X Systems. <i>Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13)</i>, 24–26.","ama":"Stahl K. AIS-based Anomaly Detection for Self-X Systems. In: <i>Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13)</i>. Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg; 2013:24-26.","ieee":"K. Stahl, “AIS-based Anomaly Detection for Self-X Systems,” in <i>Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13)</i>, 2013, pp. 24–26.","chicago":"Stahl, Katharina. “AIS-Based Anomaly Detection for Self-X Systems.” In <i>Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13)</i>, 24–26. Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, 2013."}},{"title":"Safe Self-Evolving Embedded Software via System Virtualization","date_created":"2021-10-04T12:48:59Z","author":[{"first_name":"Stefan","last_name":"Grösbrink","full_name":"Grösbrink, Stefan"},{"last_name":"Rammig","full_name":"Rammig, Franz-Josef","first_name":"Franz-Josef"}],"publisher":"SBC","date_updated":"2022-01-06T06:56:59Z","citation":{"ieee":"S. Grösbrink and F.-J. Rammig, “Safe Self-Evolving Embedded Software via System Virtualization,” 2013.","chicago":"Grösbrink, Stefan, and Franz-Josef Rammig. “Safe Self-Evolving Embedded Software via System Virtualization.” In <i>3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013</i>. Brasilia, Brazil: SBC, 2013.","ama":"Grösbrink S, Rammig F-J. Safe Self-Evolving Embedded Software via System Virtualization. In: <i>3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013</i>. SBC; 2013.","apa":"Grösbrink, S., &#38; Rammig, F.-J. (2013). Safe Self-Evolving Embedded Software via System Virtualization. <i>3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013</i>.","short":"S. Grösbrink, F.-J. Rammig, in: 3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013, SBC, Brasilia, Brazil, 2013.","bibtex":"@inproceedings{Grösbrink_Rammig_2013, place={Brasilia, Brazil}, title={Safe Self-Evolving Embedded Software via System Virtualization}, booktitle={3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013}, publisher={SBC}, author={Grösbrink, Stefan and Rammig, Franz-Josef}, year={2013} }","mla":"Grösbrink, Stefan, and Franz-Josef Rammig. “Safe Self-Evolving Embedded Software via System Virtualization.” <i>3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013</i>, SBC, 2013."},"year":"2013","place":"Brasilia, Brazil","language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"25299","status":"public","type":"conference","publication":"3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013"},{"status":"public","publication":"5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25548","citation":{"ama":"Grösbrink S, Almeida L, de Sousa M, Petters SM. Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope. In: <i>5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013)</i>. ; 2013.","ieee":"S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope,” presented at the 8. - 11. Apr. 2013, 2013.","chicago":"Grösbrink, Stefan, Luis Almeida, Mario de Sousa, and Stefan M. Petters. “Fair Bandwidth Sharing among Virtual Machines in a Multi-Criticality Scope.” In <i>5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013)</i>, 2013.","apa":"Grösbrink, S., Almeida, L., de Sousa, M., &#38; Petters, S. M. (2013). Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope. <i>5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013)</i>. 8. - 11. Apr. 2013.","short":"S. Grösbrink, L. Almeida, M. de Sousa, S.M. Petters, in: 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013), 2013.","bibtex":"@inproceedings{Grösbrink_Almeida_de Sousa_Petters_2013, title={Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope}, booktitle={5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013)}, author={Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M.}, year={2013} }","mla":"Grösbrink, Stefan, et al. “Fair Bandwidth Sharing among Virtual Machines in a Multi-Criticality Scope.” <i>5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013)</i>, 2013."},"year":"2013","conference":{"name":"8. - 11. Apr. 2013"},"title":"Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope","date_created":"2021-10-06T10:27:23Z","author":[{"first_name":"Stefan","full_name":"Grösbrink, Stefan","last_name":"Grösbrink"},{"last_name":"Almeida","full_name":"Almeida, Luis","first_name":"Luis"},{"full_name":"de Sousa, Mario","last_name":"de Sousa","first_name":"Mario"},{"first_name":"Stefan M.","last_name":"Petters","full_name":"Petters, Stefan M."}],"date_updated":"2022-01-06T06:57:07Z"},{"title":"Accelerating Online Model Checking","author":[{"full_name":"Qanadilo, Mona","last_name":"Qanadilo","first_name":"Mona"},{"first_name":"Sufyan","last_name":"Samara","full_name":"Samara, Sufyan"},{"last_name":"Zhao","full_name":"Zhao, Yuhong","first_name":"Yuhong"}],"date_created":"2021-10-06T10:43:15Z","date_updated":"2022-01-06T06:57:07Z","citation":{"mla":"Qanadilo, Mona, et al. “Accelerating Online Model Checking.” <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>, 2013.","bibtex":"@inproceedings{Qanadilo_Samara_Zhao_2013, title={Accelerating Online Model Checking}, booktitle={6’th Latin-American Symposium on Dependable Computing (LADC 2013)}, author={Qanadilo, Mona and Samara, Sufyan and Zhao, Yuhong}, year={2013} }","short":"M. Qanadilo, S. Samara, Y. Zhao, in: 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.","apa":"Qanadilo, M., Samara, S., &#38; Zhao, Y. (2013). Accelerating Online Model Checking. <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>.","chicago":"Qanadilo, Mona, Sufyan Samara, and Yuhong Zhao. “Accelerating Online Model Checking.” In <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>, 2013.","ieee":"M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,” 2013.","ama":"Qanadilo M, Samara S, Zhao Y. Accelerating Online Model Checking. In: <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>. ; 2013."},"year":"2013","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25557","status":"public","publication":"6'th Latin-American Symposium on Dependable Computing (LADC 2013)","type":"conference"},{"language":[{"iso":"ger"}],"_id":"25573","department":[{"_id":"672"}],"user_id":"21240","status":"public","publication":"11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung","type":"conference","title":"Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen","date_updated":"2022-01-06T06:57:07Z","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311","volume":311,"date_created":"2021-10-06T11:54:43Z","author":[{"first_name":"Claudius","last_name":"Stern","full_name":"Stern, Claudius"},{"first_name":"Christoph","last_name":"Rasche","full_name":"Rasche, Christoph"},{"first_name":"Lisa","id":"15588","full_name":"Kleinjohann, Lisa","last_name":"Kleinjohann"},{"first_name":"Bernd","full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann"}],"year":"2013","intvolume":"       311","citation":{"bibtex":"@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2013, title={Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen}, volume={311}, booktitle={11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2013} }","short":"C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: 11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311, 2013.","mla":"Stern, Claudius, et al. “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen.” <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>, vol. 311, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311, 2013.","apa":"Stern, C., Rasche, C., Kleinjohann, L., &#38; Kleinjohann, B. (2013). Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen. <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>, <i>311</i>.","ama":"Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen. In: <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311; 2013.","chicago":"Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen.” In <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>, Vol. 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311, 2013.","ieee":"C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen,” in <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>, 2013, vol. 311."}},{"date_created":"2021-10-06T12:14:24Z","author":[{"first_name":"Christoph","last_name":"Rasche","full_name":"Rasche, Christoph"},{"first_name":"Maarten","last_name":"Bieshaar","full_name":"Bieshaar, Maarten"},{"first_name":"Alexander","full_name":"Jungmann, Alexander","last_name":"Jungmann"},{"id":"15588","full_name":"Kleinjohann, Lisa","last_name":"Kleinjohann","first_name":"Lisa"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"}],"volume":310,"date_updated":"2022-01-06T06:57:07Z","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","title":"Statistisches Planen in einem realen Roboterszenario","citation":{"chicago":"Rasche, Christoph, Maarten Bieshaar, Alexander Jungmann, Lisa Kleinjohann, and Bernd Kleinjohann. “Statistisches Planen in einem realen Roboterszenario.” In <i>Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310</i>, 310:133–46. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.","ieee":"C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, and B. Kleinjohann, “Statistisches Planen in einem realen Roboterszenario,” in <i>Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310</i>, 2013, vol. 310, pp. 133–146.","ama":"Rasche C, Bieshaar M, Jungmann A, Kleinjohann L, Kleinjohann B. Statistisches Planen in einem realen Roboterszenario. In: <i>Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310</i>. Vol 310. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:133-146.","bibtex":"@inproceedings{Rasche_Bieshaar_Jungmann_Kleinjohann_Kleinjohann_2013, title={Statistisches Planen in einem realen Roboterszenario}, volume={310}, booktitle={Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Rasche, Christoph and Bieshaar, Maarten and Jungmann, Alexander and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2013}, pages={133–146} }","mla":"Rasche, Christoph, et al. “Statistisches Planen in einem realen Roboterszenario.” <i>Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310</i>, vol. 310, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 133–46.","short":"C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, B. Kleinjohann, in: Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 133–146.","apa":"Rasche, C., Bieshaar, M., Jungmann, A., Kleinjohann, L., &#38; Kleinjohann, B. (2013). Statistisches Planen in einem realen Roboterszenario. <i>Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310</i>, <i>310</i>, 133–146."},"page":"133-146","intvolume":"       310","year":"2013","user_id":"21240","department":[{"_id":"672"}],"_id":"25574","language":[{"iso":"ger"}],"type":"conference","publication":"Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310","status":"public"},{"publication":"ACM SIGBED Review, Band 10","type":"conference","status":"public","department":[{"_id":"672"}],"user_id":"21240","_id":"25575","language":[{"iso":"eng"}],"citation":{"mla":"Grösbrink, Stefan, et al. “Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems.” <i>ACM SIGBED Review, Band 10</i>, ACM, 2013.","bibtex":"@inproceedings{Grösbrink_Baldin_Oberthür_2013, title={Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems}, booktitle={ACM SIGBED Review, Band 10}, publisher={ACM}, author={Grösbrink, Stefan and Baldin, Daniel and Oberthür, Simon}, year={2013} }","short":"S. Grösbrink, D. Baldin, S. Oberthür, in: ACM SIGBED Review, Band 10, ACM, 2013.","apa":"Grösbrink, S., Baldin, D., &#38; Oberthür, S. (2013). Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems. <i>ACM SIGBED Review, Band 10</i>.","chicago":"Grösbrink, Stefan, Daniel Baldin, and Simon Oberthür. “Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems.” In <i>ACM SIGBED Review, Band 10</i>. ACM, 2013.","ieee":"S. Grösbrink, D. Baldin, and S. Oberthür, “Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems,” 2013.","ama":"Grösbrink S, Baldin D, Oberthür S. Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems. In: <i>ACM SIGBED Review, Band 10</i>. ACM; 2013."},"year":"2013","author":[{"first_name":"Stefan","full_name":"Grösbrink, Stefan","last_name":"Grösbrink"},{"first_name":"Daniel","last_name":"Baldin","full_name":"Baldin, Daniel"},{"last_name":"Oberthür","id":"383","full_name":"Oberthür, Simon","first_name":"Simon"}],"date_created":"2021-10-06T12:43:51Z","publisher":"ACM","date_updated":"2022-01-06T06:57:07Z","title":"Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems"},{"year":"2013","citation":{"ama":"Kuznik C, F. S. Oliveira M, Müller W. SystemC Verification Components - An enhanced OVM/UVM for SystemC. In: <i>EdaWorkshop 13</i>. ; 2013.","chicago":"Kuznik, Christoph, Marcio F. S. Oliveira, and Wolfgang Müller. “SystemC Verification Components - An Enhanced OVM/UVM for SystemC.” In <i>EdaWorkshop 13</i>, 2013.","ieee":"C. Kuznik, M. F. S. Oliveira, and W. Müller, “SystemC Verification Components - An enhanced OVM/UVM for SystemC,” Mrz. 2013 - Poster, 2013.","short":"C. Kuznik, M. F. S. Oliveira, W. Müller, in: EdaWorkshop 13, 2013.","bibtex":"@inproceedings{Kuznik_F. S. Oliveira_Müller_2013, title={SystemC Verification Components - An enhanced OVM/UVM for SystemC}, booktitle={edaWorkshop 13}, author={Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang}, year={2013} }","mla":"Kuznik, Christoph, et al. “SystemC Verification Components - An Enhanced OVM/UVM for SystemC.” <i>EdaWorkshop 13</i>, 2013.","apa":"Kuznik, C., F. S. Oliveira, M., &#38; Müller, W. (2013). SystemC Verification Components - An enhanced OVM/UVM for SystemC. <i>EdaWorkshop 13</i>."},"date_updated":"2022-01-06T06:57:07Z","author":[{"first_name":"Christoph","full_name":"Kuznik, Christoph","last_name":"Kuznik"},{"first_name":"Marcio","full_name":"F. S. Oliveira, Marcio","last_name":"F. S. Oliveira"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2021-10-07T07:58:38Z","title":"SystemC Verification Components - An enhanced OVM/UVM for SystemC","conference":{"location":"Mrz. 2013 - Poster"},"publication":"edaWorkshop 13","type":"conference","status":"public","_id":"25606","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}]},{"status":"public","publication":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","type":"conference","language":[{"iso":"ger"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25612","citation":{"mla":"Mischkalla, Fabian, and Wolfgang Müller. “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen.” <i>Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)</i>, 2013.","bibtex":"@inproceedings{Mischkalla_Müller_2013, title={Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }","short":"F. Mischkalla, W. Müller, in: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.","apa":"Mischkalla, F., &#38; Müller, W. (2013). Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. <i>Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)</i>.","ieee":"F. Mischkalla and W. Müller, “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen,” 2013.","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen.” In <i>Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)</i>, 2013.","ama":"Mischkalla F, Müller W. Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. In: <i>Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)</i>. ; 2013."},"year":"2013","title":"Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen","date_created":"2021-10-07T08:27:55Z","author":[{"first_name":"Fabian","full_name":"Mischkalla, Fabian","last_name":"Mischkalla"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_updated":"2022-01-06T06:57:08Z"},{"language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25614","status":"public","publication":"Open SANITAS SystemC Verification Workshop","type":"conference","title":"SC OVM: An Advanced SystemC Library for OVM-based Verification","author":[{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"},{"first_name":"Marcio","full_name":"F. S. Oliveira, Marcio","last_name":"F. S. Oliveira"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_created":"2021-10-07T08:31:07Z","date_updated":"2022-01-06T06:57:08Z","citation":{"ama":"Kuznik C, F. S. Oliveira M, Müller W. SC OVM: An Advanced SystemC Library for OVM-based Verification. In: <i>Open SANITAS SystemC Verification Workshop</i>. ; 2013.","ieee":"C. Kuznik, M. F. S. Oliveira, and W. Müller, “SC OVM: An Advanced SystemC Library for OVM-based Verification,” 2013.","chicago":"Kuznik, Christoph, Marcio F. S. Oliveira, and Wolfgang Müller. “SC OVM: An Advanced SystemC Library for OVM-Based Verification.” In <i>Open SANITAS SystemC Verification Workshop</i>, 2013.","apa":"Kuznik, C., F. S. Oliveira, M., &#38; Müller, W. (2013). SC OVM: An Advanced SystemC Library for OVM-based Verification. <i>Open SANITAS SystemC Verification Workshop</i>.","short":"C. Kuznik, M. F. S. Oliveira, W. Müller, in: Open SANITAS SystemC Verification Workshop, 2013.","bibtex":"@inproceedings{Kuznik_F. S. Oliveira_Müller_2013, title={SC OVM: An Advanced SystemC Library for OVM-based Verification}, booktitle={Open SANITAS SystemC Verification Workshop}, author={Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang}, year={2013} }","mla":"Kuznik, Christoph, et al. “SC OVM: An Advanced SystemC Library for OVM-Based Verification.” <i>Open SANITAS SystemC Verification Workshop</i>, 2013."},"year":"2013"},{"_id":"25615","publication_date":"2013-02-01","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"ger"}],"publication":"ForschungsForum Paderborn ","type":"newspaper_article","status":"public","date_updated":"2022-01-06T06:57:08Z","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"first_name":"Christian","last_name":"Gerth","full_name":"Gerth, Christian"},{"first_name":"Lisa","last_name":"Kleinjohann","id":"15588","full_name":"Kleinjohann, Lisa"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2021-10-07T08:34:47Z","title":" Informationstechnik spart Ressourcen","year":"2013","citation":{"apa":"Engels, G., Gerth, C., Kleinjohann, L., Kleinjohann, B., &#38; Müller, W. (2013).  Informationstechnik spart Ressourcen. <i>ForschungsForum Paderborn </i>.","bibtex":"@article{Engels_Gerth_Kleinjohann_Kleinjohann_Müller_2013, title={ Informationstechnik spart Ressourcen}, journal={ForschungsForum Paderborn }, author={Engels, Gregor and Gerth, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Müller, Wolfgang}, year={2013} }","mla":"Engels, Gregor, et al. “ Informationstechnik spart Ressourcen.” <i>ForschungsForum Paderborn </i>, 2013.","short":"G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, W. Müller, ForschungsForum Paderborn  (2013).","ama":"Engels G, Gerth C, Kleinjohann L, Kleinjohann B, Müller W.  Informationstechnik spart Ressourcen. <i>ForschungsForum Paderborn </i>. 2013.","chicago":"Engels, Gregor, Christian Gerth, Lisa Kleinjohann, Bernd Kleinjohann, and Wolfgang Müller. “ Informationstechnik spart Ressourcen.” <i>ForschungsForum Paderborn </i>, 2013.","ieee":"G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, and W. Müller, “ Informationstechnik spart Ressourcen,” <i>ForschungsForum Paderborn </i>, 2013."}}]