[{"title":"Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013","date_updated":"2022-01-06T06:57:12Z","publisher":"Springer","date_created":"2021-10-07T09:54:44Z","year":"2013","citation":{"ieee":"G. Schirner, M. Götz, A. Rettberg, M. C. Zanella, and F.-J. Rammig, Eds., <i>Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013</i>. Springer, 2013.","chicago":"Schirner, Gunar, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, and Franz-Josef Rammig, eds. <i>Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013</i>. Band IFIP AICT 403 . Springer, 2013.","ama":"Schirner G, Götz M, Rettberg A, Zanella MC, Rammig F-J, eds. <i>Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013</i>. Springer; 2013.","apa":"Schirner, G., Götz, M., Rettberg, A., Zanella, M. C., &#38; Rammig, F.-J. (Eds.). (2013). <i>Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013</i>. Springer.","mla":"Schirner, Gunar, et al., editors. <i>Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013</i>. Springer, 2013.","bibtex":"@book{Schirner_Götz_Rettberg_Zanella_Rammig_2013, series={Band IFIP AICT 403 }, title={Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013}, publisher={Springer}, year={2013}, collection={Band IFIP AICT 403 } }","short":"G. Schirner, M. Götz, A. Rettberg, M.C. Zanella, F.-J. Rammig, eds., Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013, Springer, 2013."},"language":[{"iso":"eng"}],"_id":"25741","department":[{"_id":"672"}],"series_title":"Band IFIP AICT 403 ","user_id":"21240","editor":[{"full_name":"Schirner, Gunar","last_name":"Schirner","first_name":"Gunar"},{"first_name":"Marcelo","last_name":"Götz","full_name":"Götz, Marcelo"},{"first_name":"Achim","last_name":"Rettberg","full_name":"Rettberg, Achim"},{"first_name":"Mauro C.","full_name":"Zanella, Mauro C.","last_name":"Zanella"},{"full_name":"Rammig, Franz-Josef","last_name":"Rammig","first_name":"Franz-Josef"}],"status":"public","type":"book_editor"},{"type":"conference","publication":"The Ninth International Conference on Autonomic and Autonomous Systems","status":"public","user_id":"21240","department":[{"_id":"672"}],"_id":"25742","language":[{"iso":"eng"}],"citation":{"chicago":"Khaluf, Lial, and Franz-Josef Rammig. “Organic Programming of Real-Time Operating Systems.” In <i>The Ninth International Conference on Autonomic and Autonomous Systems</i>, 2013.","ieee":"L. Khaluf and F.-J. Rammig, “Organic Programming of Real-Time Operating Systems,” 2013.","ama":"Khaluf L, Rammig F-J. Organic Programming of Real-Time Operating Systems. In: <i>The Ninth International Conference on Autonomic and Autonomous Systems</i>. ; 2013.","apa":"Khaluf, L., &#38; Rammig, F.-J. (2013). Organic Programming of Real-Time Operating Systems. <i>The Ninth International Conference on Autonomic and Autonomous Systems</i>.","short":"L. Khaluf, F.-J. Rammig, in: The Ninth International Conference on Autonomic and Autonomous Systems, 2013.","bibtex":"@inproceedings{Khaluf_Rammig_2013, title={Organic Programming of Real-Time Operating Systems}, booktitle={The Ninth International Conference on Autonomic and Autonomous Systems}, author={Khaluf, Lial and Rammig, Franz-Josef}, year={2013} }","mla":"Khaluf, Lial, and Franz-Josef Rammig. “Organic Programming of Real-Time Operating Systems.” <i>The Ninth International Conference on Autonomic and Autonomous Systems</i>, 2013."},"year":"2013","author":[{"full_name":"Khaluf, Lial","last_name":"Khaluf","first_name":"Lial"},{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"}],"date_created":"2021-10-07T09:56:53Z","date_updated":"2022-01-06T06:57:12Z","title":"Organic Programming of Real-Time Operating Systems"},{"department":[{"_id":"672"}],"user_id":"21240","_id":"25743","language":[{"iso":"eng"}],"publication":"Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future","type":"book_chapter","status":"public","date_created":"2021-10-07T10:07:43Z","author":[{"full_name":"Anacker, Harald","last_name":"Anacker","first_name":"Harald"},{"first_name":"Michael","full_name":"Dellnitz, Michael","last_name":"Dellnitz"},{"first_name":"Kathrin","full_name":"Flaßkamp, Kathrin","last_name":"Flaßkamp"},{"last_name":"Grösbrink","full_name":"Grösbrink, Stefan","first_name":"Stefan"},{"first_name":"Philip","full_name":"Hartmann, Philip","last_name":"Hartmann"},{"first_name":"Christian","last_name":"Heinzemann","full_name":"Heinzemann, Christian"},{"first_name":"Christian","last_name":"Horenkamp","full_name":"Horenkamp, Christian"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Lisa","id":"15588","first_name":"Lisa"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"},{"first_name":"Sebastian","last_name":"Korf","full_name":"Korf, Sebastian"},{"first_name":"Martin","full_name":"Krüger, Martin","last_name":"Krüger"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Ober-Blöbaum, Sina","id":"16494","last_name":"Ober-Blöbaum","first_name":"Sina"},{"last_name":"Oberthür","full_name":"Oberthür, Simon","id":"383","first_name":"Simon"},{"full_name":"Porrmann, Mario","last_name":"Porrmann","first_name":"Mario"},{"last_name":"Priesterjahn","full_name":"Priesterjahn, Claudia","first_name":"Claudia"},{"last_name":"Radkowski","full_name":"Radkowski, W.","first_name":"W."},{"full_name":"Rasche, Christoph","last_name":"Rasche","first_name":"Christoph"},{"first_name":"Jan","full_name":"Rieke, Jan","last_name":"Rieke"},{"last_name":"Ringkamp","full_name":"Ringkamp, Maik","first_name":"Maik"},{"full_name":"Stahl, Katharina","last_name":"Stahl","first_name":"Katharina"},{"full_name":"Steenken, Dominik","last_name":"Steenken","first_name":"Dominik"},{"full_name":"Stöcklein, Jörg","last_name":"Stöcklein","first_name":"Jörg"},{"last_name":"Timmermann","full_name":"Timmermann, Robert","first_name":"Robert"},{"last_name":"Trächtler","id":"552","full_name":"Trächtler, Ansgar","first_name":"Ansgar"},{"first_name":"Katrin","last_name":"Witting","full_name":"Witting, Katrin"},{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"first_name":"Steffen","last_name":"Ziegert","full_name":"Ziegert, Steffen"}],"date_updated":"2022-01-06T06:57:12Z","publisher":"Springer-Verlag","title":"Methods for the Design and Development","page":"187-356","citation":{"short":"H. Anacker, M. Dellnitz, K. Flaßkamp, S. Grösbrink, P. Hartmann, C. Heinzemann, C. Horenkamp, L. Kleinjohann, B. Kleinjohann, S. Korf, M. Krüger, W. Müller, S. Ober-Blöbaum, S. Oberthür, M. Porrmann, C. Priesterjahn, W. Radkowski, C. Rasche, J. Rieke, M. Ringkamp, K. Stahl, D. Steenken, J. Stöcklein, R. Timmermann, A. Trächtler, K. Witting, T. Xie, S. Ziegert, in: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Springer-Verlag, Heidelberg, 2013, pp. 187–356.","bibtex":"@inbook{Anacker_Dellnitz_Flaßkamp_Grösbrink_Hartmann_Heinzemann_Horenkamp_Kleinjohann_Kleinjohann_Korf_et al._2013, place={Heidelberg}, title={Methods for the Design and Development}, booktitle={Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future}, publisher={Springer-Verlag}, author={Anacker, Harald and Dellnitz, Michael and Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Horenkamp, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Korf, Sebastian and et al.}, year={2013}, pages={187–356} }","mla":"Anacker, Harald, et al. “Methods for the Design and Development.” <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future</i>, Springer-Verlag, 2013, pp. 187–356.","apa":"Anacker, H., Dellnitz, M., Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Horenkamp, C., Kleinjohann, L., Kleinjohann, B., Korf, S., Krüger, M., Müller, W., Ober-Blöbaum, S., Oberthür, S., Porrmann, M., Priesterjahn, C., Radkowski, W., Rasche, C., Rieke, J., … Ziegert, S. (2013). Methods for the Design and Development. In <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future</i> (pp. 187–356). Springer-Verlag.","chicago":"Anacker, Harald, Michael Dellnitz, Kathrin Flaßkamp, Stefan Grösbrink, Philip Hartmann, Christian Heinzemann, Christian Horenkamp, et al. “Methods for the Design and Development.” In <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future</i>, 187–356. Heidelberg: Springer-Verlag, 2013.","ieee":"H. Anacker <i>et al.</i>, “Methods for the Design and Development,” in <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future</i>, Heidelberg: Springer-Verlag, 2013, pp. 187–356.","ama":"Anacker H, Dellnitz M, Flaßkamp K, et al. Methods for the Design and Development. In: <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future</i>. Springer-Verlag; 2013:187-356."},"place":"Heidelberg","year":"2013"},{"year":"2013","citation":{"ama":"Gausemeier J, Grafe M, Meyer auf der Heide F. 11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung. In: Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 ; 2013.","chicago":"Gausemeier, Jürgen, Michael Grafe, and Friedhelm Meyer auf der Heide. “11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung,” Vol. 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.","ieee":"J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, “11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung,” 2013, vol. 311.","bibtex":"@inproceedings{Gausemeier_Grafe_Meyer auf der Heide_2013, title={11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung}, volume={311}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 }, author={Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm}, year={2013} }","short":"J. Gausemeier, M. Grafe, F. Meyer auf der Heide, in: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.","mla":"Gausemeier, Jürgen, et al. <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in Der Produktentstehung</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.","apa":"Gausemeier, J., Grafe, M., &#38; Meyer auf der Heide, F. (2013). <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>. <i>311</i>."},"intvolume":"       311","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 ","date_updated":"2022-01-06T06:57:33Z","author":[{"first_name":"Jürgen","last_name":"Gausemeier","full_name":"Gausemeier, Jürgen"},{"last_name":"Grafe","full_name":"Grafe, Michael","first_name":"Michael"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"}],"date_created":"2021-11-02T10:53:04Z","volume":311,"title":"11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung","conference":{"name":"18. - 19. Apr. 2013, Heinz Nixdorf Institut"},"type":"conference","status":"public","_id":"27054","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}]},{"type":"conference","abstract":[{"lang":"eng","text":"Faced with increasing demands on energy efficiency, current electronic systems operate according to complex power management schemes including more and more fine-grained voltage frequency scaling and power shutdown scenarios. Consequently, validation of the power design intent should begin as early as possible at electronic system-level (ESL) together with first executable system specifications for integrity tests. However, today's system-level design methodologies usually focus on the abstraction of digital logic and time, so that typical low-power aspects cannot be considered so far. In this paper, we present a high-level modeling approach on top of the SystemC/TLM standard to simulate power distribution and voltage based implications in a \"loosely-timed\" functional execution context. The approach reuses legacy TLM models and prevents the need for detailed lock-step process synchronization in contrast to existing methods. A case study derived from an open source low-power design demonstrates the efficiency of our approach in terms of simulation performance and testability."}],"status":"public","_id":"36919","department":[{"_id":"672"}],"user_id":"5786","keyword":["Time-varying systems","Time-domain analysis","Synchronization","Context modeling","Clocks","Semantics","Standards"],"language":[{"iso":"eng"}],"publication_identifier":{"eisbn":["978-1-4799-1170-7"]},"year":"2013","place":"Karlsruhe","citation":{"apa":"Mischkalla, F., &#38; Müller, W. (2013). <i>Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">https://doi.org/10.1109/PATMOS.2013.6662171</a>","mla":"Mischkalla, Fabian, and Wolfgang Müller. <i>Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. IEEE, 2013, doi:<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>.","short":"F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.","bibtex":"@inproceedings{Mischkalla_Müller_2013, place={Karlsruhe}, title={Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach}, DOI={<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }","ama":"Mischkalla F, Müller W. Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach.” Karlsruhe: IEEE, 2013. <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">https://doi.org/10.1109/PATMOS.2013.6662171</a>.","ieee":"F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>."},"date_updated":"2023-01-16T12:08:17Z","publisher":"IEEE","date_created":"2023-01-16T12:08:03Z","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"}],"title":"Efficient Power-Intent Validation Using \"Loosely-Timed\" Simulation Models: A Non-Invasive Approach","conference":{"name":"23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)"},"doi":"10.1109/PATMOS.2013.6662171"},{"publication_identifier":{"isbn":["978-989-8533-20-3 "]},"year":"2013","place":"Fort Worth, Texas, USA","citation":{"chicago":"He, Da, and Wolfgang Müller. “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors.” In <i>Proceedings of the International Conference on Applied Computing (AC)</i>, edited by Hans Weghorn. Fort Worth, Texas, USA, 2013.","ieee":"D. He and W. Müller, “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors,” in <i>Proceedings of the International Conference on Applied Computing (AC)</i>, 2013.","ama":"He D, Müller W. An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors. In: Weghorn H, ed. <i>Proceedings of the International Conference on Applied Computing (AC)</i>. ; 2013.","apa":"He, D., &#38; Müller, W. (2013). An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors. In H. Weghorn (Ed.), <i>Proceedings of the International Conference on Applied Computing (AC)</i>.","mla":"He, Da, and Wolfgang Müller. “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors.” <i>Proceedings of the International Conference on Applied Computing (AC)</i>, edited by Hans Weghorn, 2013.","bibtex":"@inproceedings{He_Müller_2013, place={Fort Worth, Texas, USA}, title={An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors}, booktitle={Proceedings of the International Conference on Applied Computing (AC)}, author={He, Da and Müller, Wolfgang}, editor={Weghorn, Hans}, year={2013} }","short":"D. He, W. Müller, in: H. Weghorn (Ed.), Proceedings of the International Conference on Applied Computing (AC), Fort Worth, Texas, USA, 2013."},"date_updated":"2023-01-16T12:15:44Z","date_created":"2023-01-16T12:12:58Z","author":[{"first_name":"Da","last_name":"He","full_name":"He, Da"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"title":"An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors","type":"conference","publication":"Proceedings of the International Conference on Applied Computing (AC)","abstract":[{"lang":"eng","text":"In the electronic system development, energy consumption is clearly becoming one of the most important design concerns. From the system level point of view, Dynamic Power Management (DPM) and Dynamic Voltage and Frequency Scaling (DVFS) are two mostly applied techniques to adjust the tradeoff between the performance and power dissipation at runtime. In this paper, we study the problem of combined application of both techniques with regard to hard real-time systems running on cluster-based multi-core processors. To optimize the processor energy consumption, a heuristic based on simulated annealing with efficient termination criterion is proposed. The experiment results show that the proposed algorithm outperforms the existing approaches in terms of the energy reduction. "}],"editor":[{"first_name":"Hans","full_name":"Weghorn, Hans","last_name":"Weghorn"}],"status":"public","_id":"36920","user_id":"5786","department":[{"_id":"672"}],"keyword":["Dynamic Power Management","Dynamic Voltage and Frequency Scaling","Hard Real-Time","Multi-core Processor"],"language":[{"iso":"eng"}]},{"status":"public","type":"conference","publication":" In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)","language":[{"iso":"eng"}],"_id":"25744","user_id":"21240","department":[{"_id":"672"}],"year":"2012","citation":{"ama":"Joy M tech. MM, Becker M, Mathews E, Müller W. Automated Source Code Annotation for Timing Analysis of Embedded Software. In: <i> In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)</i>. IEEE; 2012.","chicago":"Joy, M. tech. Mabel Mary, Markus Becker, Emi Mathews, and Wolfgang Müller. “Automated Source Code Annotation for Timing Analysis of Embedded Software.” In <i> In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)</i>. IEEE, 2012.","ieee":"M. tech. M. M. Joy, M. Becker, E. Mathews, and W. Müller, “Automated Source Code Annotation for Timing Analysis of Embedded Software,”  Bangalore, 14. - 16. Dez. 2012, IEEE, 2012.","bibtex":"@inproceedings{Joy_Becker_Mathews_Müller_2012, title={Automated Source Code Annotation for Timing Analysis of Embedded Software}, booktitle={ In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)}, publisher={IEEE}, author={Joy, M. tech. Mabel Mary and Becker, Markus and Mathews, Emi and Müller, Wolfgang}, year={2012} }","short":"M. tech. M.M. Joy, M. Becker, E. Mathews, W. Müller, in:  In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012), IEEE, 2012.","mla":"Joy, M. tech. Mabel Mary, et al. “Automated Source Code Annotation for Timing Analysis of Embedded Software.” <i> In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)</i>, IEEE, 2012.","apa":"Joy, M. tech. M. M., Becker, M., Mathews, E., &#38; Müller, W. (2012). Automated Source Code Annotation for Timing Analysis of Embedded Software. <i> In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)</i>."},"title":"Automated Source Code Annotation for Timing Analysis of Embedded Software","conference":{"location":" Bangalore, 14. - 16. Dez. 2012, IEEE"},"date_updated":"2022-01-06T06:57:12Z","publisher":"IEEE","author":[{"full_name":"Joy, M. tech. Mabel Mary","last_name":"Joy","first_name":"M. tech. Mabel Mary"},{"first_name":"Markus","full_name":"Becker, Markus","last_name":"Becker"},{"full_name":"Mathews, Emi","last_name":"Mathews","first_name":"Emi"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2021-10-07T10:33:59Z"},{"status":"public","publication":"Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25749","citation":{"apa":"Mauerer, W., Hillier, G., Sawallisch, J., Hönick, S., &#38; Oberthür, S. (2012). Real-Time Android: Deterministic Ease of Use. <i>Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012</i>.","mla":"Mauerer, Wolfgang, et al. “Real-Time Android: Deterministic Ease of Use.” <i>Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012</i>, 2012.","short":"W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012, 2012.","bibtex":"@inproceedings{Mauerer_Hillier_Sawallisch_Hönick_Oberthür_2012, title={Real-Time Android: Deterministic Ease of Use}, booktitle={Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012}, author={Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}, year={2012} }","ama":"Mauerer W, Hillier G, Sawallisch J, Hönick S, Oberthür S. Real-Time Android: Deterministic Ease of Use. In: <i>Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012</i>. ; 2012.","ieee":"W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of Use,” 2012.","chicago":"Mauerer, Wolfgang, Gernot Hillier, Jan Sawallisch, Stefan Hönick, and Simon Oberthür. “Real-Time Android: Deterministic Ease of Use.” In <i>Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012</i>, 2012."},"year":"2012","title":"Real-Time Android: Deterministic Ease of Use","date_created":"2021-10-07T10:59:08Z","author":[{"first_name":"Wolfgang","full_name":"Mauerer, Wolfgang","last_name":"Mauerer"},{"first_name":"Gernot","full_name":"Hillier, Gernot","last_name":"Hillier"},{"last_name":"Sawallisch","full_name":"Sawallisch, Jan","first_name":"Jan"},{"last_name":"Hönick","full_name":"Hönick, Stefan","first_name":"Stefan"},{"full_name":"Oberthür, Simon","id":"383","last_name":"Oberthür","first_name":"Simon"}],"date_updated":"2022-01-06T06:57:12Z"},{"_id":"25752","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"type":"conference","publication":"In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)","status":"public","publisher":"IEEE Computer Society","date_updated":"2022-01-06T06:57:12Z","date_created":"2021-10-07T11:03:25Z","author":[{"first_name":"Emi","full_name":"Mathews, Emi","last_name":"Mathews"},{"last_name":"Graf","full_name":"Graf, Tobias","first_name":"Tobias"},{"first_name":"K. S. S. B.","full_name":"Kulathunga, K. S. S. B.","last_name":"Kulathunga"}],"title":"Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity","conference":{"name":" 14. - 17. Okt. 2012"},"year":"2012","citation":{"apa":"Mathews, E., Graf, T., &#38; Kulathunga, K. S. S. B. (2012). Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity. <i>In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)</i>.  14. - 17. Okt. 2012.","short":"E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012), IEEE Computer Society, 2012.","mla":"Mathews, Emi, et al. “Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity.” <i>In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)</i>, IEEE Computer Society, 2012.","bibtex":"@inproceedings{Mathews_Graf_Kulathunga_2012, title={Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity}, booktitle={In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)}, publisher={IEEE Computer Society}, author={Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B.}, year={2012} }","chicago":"Mathews, Emi, Tobias Graf, and K. S. S. B. Kulathunga. “Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity.” In <i>In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)</i>. IEEE Computer Society, 2012.","ieee":"E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity,” presented at the  14. - 17. Okt. 2012, 2012.","ama":"Mathews E, Graf T, Kulathunga KSSB. Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity. In: <i>In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)</i>. IEEE Computer Society; 2012."}},{"status":"public","publication":"EMSOFT'12: Teenth ACM International Conference on Embedded Software 2012 Proceedings ","type":"conference","language":[{"iso":"eng"}],"_id":"25758","department":[{"_id":"672"}],"user_id":"21240","year":"2012","citation":{"apa":"Becker, M., Baldin, D., Kuznik, C., Joy, M. tech. M. M., Xie, T., &#38; Müller, W. (2012). XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. <i>EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings </i>.","short":"M. Becker, D. Baldin, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in: EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings , 2012.","mla":"Becker, Markus, et al. “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software.” <i>EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings </i>, 2012.","bibtex":"@inproceedings{Becker_Baldin_Kuznik_Joy_Xie_Müller_2012, title={XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software}, booktitle={EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings }, author={Becker, Markus and Baldin, Daniel and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}, year={2012} }","chicago":"Becker, Markus, Daniel Baldin, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and Wolfgang Müller. “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software.” In <i>EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings </i>, 2012.","ieee":"M. Becker, D. Baldin, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software,” 2012.","ama":"Becker M, Baldin D, Kuznik C, Joy M tech. MM, Xie T, Müller W. XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. In: <i>EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings </i>. ; 2012."},"title":"XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software","date_updated":"2022-01-06T06:57:12Z","author":[{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"},{"first_name":"Daniel","full_name":"Baldin, Daniel","last_name":"Baldin"},{"first_name":"Christoph","full_name":"Kuznik, Christoph","last_name":"Kuznik"},{"last_name":"Joy","full_name":"Joy, M. tech. Mabel Mary","first_name":"M. tech. Mabel Mary"},{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_created":"2021-10-07T11:11:30Z"},{"citation":{"short":"M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R. Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.","bibtex":"@inproceedings{Oliveira_Kuznik_Le_Große_Haedicke_Müller_Drechsler_Ecker_Esen_2012, title={The System Verification Methodology for Advanced TLM Verification}, booktitle={CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings}, author={Oliveira, Marcio F. and Kuznik, Christoph and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Müller, Wolfgang and Drechsler, Rolf and Ecker, Wolfgang and Esen, Volkan}, year={2012} }","mla":"Oliveira, Marcio F., et al. “The System Verification Methodology for Advanced TLM Verification.” <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>, 2012.","apa":"Oliveira, M. F., Kuznik, C., Le, H. M., Große, D., Haedicke, F., Müller, W., Drechsler, R., Ecker, W., &#38; Esen, V. (2012). The System Verification Methodology for Advanced TLM Verification. <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>.","chicago":"Oliveira, Marcio F., Christoph Kuznik, Hoang M. Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, and Volkan Esen. “The System Verification Methodology for Advanced TLM Verification.” In <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>, 2012.","ieee":"M. F. Oliveira <i>et al.</i>, “The System Verification Methodology for Advanced TLM Verification,” 2012.","ama":"Oliveira MF, Kuznik C, Le HM, et al. The System Verification Methodology for Advanced TLM Verification. In: <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>. ; 2012."},"year":"2012","author":[{"first_name":"Marcio F.","full_name":"Oliveira, Marcio F.","last_name":"Oliveira"},{"last_name":"Kuznik","full_name":"Kuznik, Christoph","first_name":"Christoph"},{"first_name":"Hoang M.","last_name":"Le","full_name":"Le, Hoang M."},{"first_name":"Daniel","full_name":"Große, Daniel","last_name":"Große"},{"first_name":"Finn","last_name":"Haedicke","full_name":"Haedicke, Finn"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"last_name":"Drechsler","full_name":"Drechsler, Rolf","first_name":"Rolf"},{"first_name":"Wolfgang","last_name":"Ecker","full_name":"Ecker, Wolfgang"},{"first_name":"Volkan","full_name":"Esen, Volkan","last_name":"Esen"}],"date_created":"2021-10-07T11:16:29Z","date_updated":"2022-01-06T06:57:12Z","title":"The System Verification Methodology for Advanced TLM Verification","publication":"CODES/ISSS '12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings","type":"conference","status":"public","department":[{"_id":"672"}],"user_id":"21240","_id":"25761","language":[{"iso":"eng"}]},{"user_id":"21240","department":[{"_id":"672"}],"_id":"25767","language":[{"iso":"eng"}],"type":"conference","publication":"15th Euromicro Conference on Digital System Design (DSD)","status":"public","date_created":"2021-10-07T12:11:29Z","author":[{"last_name":"He","full_name":"He, Da","first_name":"Da"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"publisher":"IEEE Xplore","date_updated":"2022-01-06T06:57:12Z","title":"A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms","citation":{"apa":"He, D., &#38; Müller, W. (2012). A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. <i>15th Euromicro Conference on Digital System Design (DSD)</i>.","short":"D. He, W. Müller, in: 15th Euromicro Conference on Digital System Design (DSD), IEEE Xplore, 2012.","bibtex":"@inproceedings{He_Müller_2012, title={A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms}, booktitle={15th Euromicro Conference on Digital System Design (DSD)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }","mla":"He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” <i>15th Euromicro Conference on Digital System Design (DSD)</i>, IEEE Xplore, 2012.","ama":"He D, Müller W. A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. In: <i>15th Euromicro Conference on Digital System Design (DSD)</i>. IEEE Xplore; 2012.","ieee":"D. He and W. Müller, “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms,” 2012.","chicago":"He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” In <i>15th Euromicro Conference on Digital System Design (DSD)</i>. IEEE Xplore, 2012."},"year":"2012"},{"language":[{"iso":"eng"}],"_id":"25776","user_id":"21240","department":[{"_id":"672"}],"status":"public","type":"conference","publication":" IEEE 10th International Conference on Industrial Informatics,","title":" Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots","date_updated":"2022-01-06T06:57:12Z","publisher":"IEEE Xplore","date_created":"2021-10-07T12:48:41Z","author":[{"full_name":"Rasche, Christoph","last_name":"Rasche","first_name":"Christoph"},{"first_name":"Alexander","last_name":"Jungmann","full_name":"Jungmann, Alexander"},{"first_name":"Thomas","last_name":"Schierbaum","full_name":"Schierbaum, Thomas"},{"last_name":"Werdehausen","full_name":"Werdehausen, Benjamin","first_name":"Benjamin"},{"first_name":"Bernd","full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann"}],"year":"2012","citation":{"ieee":"C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, and B. Kleinjohann, “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots,” 2012.","chicago":"Rasche, Christoph, Alexander Jungmann, Thomas Schierbaum, Benjamin Werdehausen, and Bernd Kleinjohann. “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots.” In <i> IEEE 10th International Conference on Industrial Informatics,</i>. IEEE Xplore, 2012.","ama":"Rasche C, Jungmann A, Schierbaum T, Werdehausen B, Kleinjohann B.  Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. In: <i> IEEE 10th International Conference on Industrial Informatics,</i>. IEEE Xplore; 2012.","short":"C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, B. Kleinjohann, in:  IEEE 10th International Conference on Industrial Informatics, IEEE Xplore, 2012.","bibtex":"@inproceedings{Rasche_Jungmann_Schierbaum_Werdehausen_Kleinjohann_2012, title={ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots}, booktitle={ IEEE 10th International Conference on Industrial Informatics,}, publisher={IEEE Xplore}, author={Rasche, Christoph and Jungmann, Alexander and Schierbaum, Thomas and Werdehausen, Benjamin and Kleinjohann, Bernd}, year={2012} }","mla":"Rasche, Christoph, et al. “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots.” <i> IEEE 10th International Conference on Industrial Informatics,</i> IEEE Xplore, 2012.","apa":"Rasche, C., Jungmann, A., Schierbaum, T., Werdehausen, B., &#38; Kleinjohann, B. (2012).  Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. <i> IEEE 10th International Conference on Industrial Informatics,</i>."}},{"user_id":"21240","department":[{"_id":"672"}],"_id":"25777","language":[{"iso":"eng"}],"type":"conference","publication":"7th IEEE Conference in Industrial Electronics and Applications","status":"public","abstract":[{"lang":"eng","text":"This paper presents a hierarchical hyprid planning approach developed for realizing self-optimizing mechatronic systems. The hybrid planning approach is based on a discrete plan and a forecast of continuous system behavior generated by simulation during runtime. This does not only allow an online adaptation of a previously generated plan with regard to the actual system state as well as the current environmental conditions, even the planning objectives may be adapted to newly arising needs during system operation. The planner exploits the hierarchy already present in the system model by considering hierarchical parameterizations of the system as a discrete dimension of choice. The parameterizations are proposed by a novel hierarchical multiobjective optimization, which calculates Pareto points in a bottom up fashion, taking into account the constraints imposed by lower levels of the system hierarchy on the higher ones. Evaluations of the hierarchical hybrid planner in the context of an innovative railbound transport system show that it outperforms its non-hierarchical predecessor.\r\n"}],"date_created":"2021-10-07T12:56:39Z","author":[{"full_name":"Esau, Natascha","last_name":"Esau","first_name":"Natascha"},{"full_name":"Krüger, Martin","last_name":"Krüger","first_name":"Martin"},{"first_name":"Christoph","full_name":"Rasche, Christoph","last_name":"Rasche"},{"first_name":"Steffen","last_name":"Beringer","full_name":"Beringer, Steffen"},{"first_name":"Lisa","full_name":"Kleinjohann, Lisa","id":"15588","last_name":"Kleinjohann"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd","first_name":"Bernd"}],"date_updated":"2022-01-06T06:57:12Z","publisher":"IEEE","conference":{"location":"Singapore, 18. - 20. Jul. 2012 IEEE, IEEE"},"title":"Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System","citation":{"apa":"Esau, N., Krüger, M., Rasche, C., Beringer, S., Kleinjohann, L., &#38; Kleinjohann, B. (2012). Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. <i>7th IEEE Conference in Industrial Electronics and Applications</i>.","short":"N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, B. Kleinjohann, in: 7th IEEE Conference in Industrial Electronics and Applications, IEEE, Singapore, 2012.","mla":"Esau, Natascha, et al. “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System.” <i>7th IEEE Conference in Industrial Electronics and Applications</i>, IEEE, 2012.","bibtex":"@inproceedings{Esau_Krüger_Rasche_Beringer_Kleinjohann_Kleinjohann_2012, place={Singapore}, title={Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System}, booktitle={7th IEEE Conference in Industrial Electronics and Applications}, publisher={IEEE}, author={Esau, Natascha and Krüger, Martin and Rasche, Christoph and Beringer, Steffen and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }","chicago":"Esau, Natascha, Martin Krüger, Christoph Rasche, Steffen Beringer, Lisa Kleinjohann, and Bernd Kleinjohann. “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System.” In <i>7th IEEE Conference in Industrial Electronics and Applications</i>. Singapore: IEEE, 2012.","ieee":"N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, and B. Kleinjohann, “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System,” Singapore, 18. - 20. Jul. 2012 IEEE, IEEE, 2012.","ama":"Esau N, Krüger M, Rasche C, Beringer S, Kleinjohann L, Kleinjohann B. Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. In: <i>7th IEEE Conference in Industrial Electronics and Applications</i>. IEEE; 2012."},"year":"2012","place":"Singapore"},{"status":"public","publication":"Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition","type":"conference","language":[{"iso":"eng"}],"_id":"25781","department":[{"_id":"672"}],"user_id":"21240","year":"2012","place":"Las Vegas, Nevada, USA","citation":{"apa":"Stern, C., Rasche, C., Kleinjohann, L., &#38; Kleinjohann, B. (2012). Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. <i>Proceedings of The 16th International Conference on Image Processing, Computer Vision, &#38; Pattern Recognition</i>.","short":"C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The 16th International Conference on Image Processing, Computer Vision, &#38; Pattern Recognition, Las Vegas, Nevada, USA, 2012.","bibtex":"@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2012, place={Las Vegas, Nevada, USA}, title={Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces}, booktitle={Proceedings of The 16th International Conference on Image Processing, Computer Vision, &#38; Pattern Recognition}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }","mla":"Stern, Claudius, et al. “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces.” <i>Proceedings of The 16th International Conference on Image Processing, Computer Vision, &#38; Pattern Recognition</i>, 2012.","ama":"Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. In: <i>Proceedings of The 16th International Conference on Image Processing, Computer Vision, &#38; Pattern Recognition</i>. ; 2012.","chicago":"Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces.” In <i>Proceedings of The 16th International Conference on Image Processing, Computer Vision, &#38; Pattern Recognition</i>. Las Vegas, Nevada, USA, 2012.","ieee":"C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces,” 16. - 19. Jul. 2012; Las Vegas, Nevada, USA, 2012."},"title":"Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces","conference":{"location":"16. - 19. Jul. 2012; Las Vegas, Nevada, USA"},"date_updated":"2022-01-06T06:57:12Z","author":[{"first_name":"Claudius","full_name":"Stern, Claudius","last_name":"Stern"},{"last_name":"Rasche","full_name":"Rasche, Christoph","first_name":"Christoph"},{"first_name":"Lisa","id":"15588","full_name":"Kleinjohann, Lisa","last_name":"Kleinjohann"},{"first_name":"Bernd","last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd"}],"date_created":"2021-10-07T13:00:52Z"},{"title":"A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems","conference":{"location":"27. - 29. Jun. 2012"},"date_updated":"2022-01-06T06:57:12Z","date_created":"2021-10-07T13:05:50Z","author":[{"last_name":"Grösbrink","full_name":"Grösbrink, Stefan","first_name":"Stefan"}],"year":"2012","citation":{"ama":"Grösbrink S. A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. In: <i>Symposium on System-Integrated Intelligence</i>. ; 2012.","chicago":"Grösbrink, Stefan. “A First Step Towards Real-Time Virtual Machine Migration in Heterogeneous Multi-Processor Systems.” In <i>Symposium on System-Integrated Intelligence</i>, 2012.","ieee":"S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012.","mla":"Grösbrink, Stefan. “A First Step Towards Real-Time Virtual Machine Migration in Heterogeneous Multi-Processor Systems.” <i>Symposium on System-Integrated Intelligence</i>, 2012.","bibtex":"@inproceedings{Grösbrink_2012, title={A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems}, booktitle={Symposium on System-integrated Intelligence}, author={Grösbrink, Stefan}, year={2012} }","short":"S. Grösbrink, in: Symposium on System-Integrated Intelligence, 2012.","apa":"Grösbrink, S. (2012). A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. <i>Symposium on System-Integrated Intelligence</i>."},"language":[{"iso":"eng"}],"_id":"25783","user_id":"21240","department":[{"_id":"672"}],"status":"public","type":"conference","publication":"Symposium on System-integrated Intelligence"},{"year":"2012","citation":{"short":"M. Becker, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in:  42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.","mla":"Becker, Markus, et al. “Binary Mutation Testing Through Dynamic Translation.” <i> 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)</i>, 2012.","bibtex":"@inproceedings{Becker_Kuznik_Joy_Xie_Müller_2012, title={Binary Mutation Testing Through Dynamic Translation}, booktitle={ 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)}, author={Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}, year={2012} }","apa":"Becker, M., Kuznik, C., Joy, M. tech. M. M., Xie, T., &#38; Müller, W. (2012). Binary Mutation Testing Through Dynamic Translation. <i> 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)</i>.","chicago":"Becker, Markus, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and Wolfgang Müller. “Binary Mutation Testing Through Dynamic Translation.” In <i> 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)</i>, 2012.","ieee":"M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation Testing Through Dynamic Translation,” 2012.","ama":"Becker M, Kuznik C, Joy M tech. MM, Xie T, Müller W. Binary Mutation Testing Through Dynamic Translation. In: <i> 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)</i>. ; 2012."},"title":"Binary Mutation Testing Through Dynamic Translation","main_file_link":[{"url":"http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6263914&isnumber=6263904"}],"date_updated":"2022-01-06T06:57:15Z","author":[{"last_name":"Becker","full_name":"Becker, Markus","first_name":"Markus"},{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"last_name":"Joy","full_name":"Joy, M. tech. Mabel Mary","first_name":"M. tech. Mabel Mary"},{"last_name":"Xie","full_name":"Xie, Tao","first_name":"Tao"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2021-10-11T08:39:53Z","status":"public","publication":" 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)","type":"conference","language":[{"iso":"eng"}],"_id":"26022","department":[{"_id":"672"}],"user_id":"21240"},{"_id":"26023","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)","status":"public","publisher":"IEEE Xplore","date_updated":"2022-01-06T06:57:15Z","author":[{"first_name":"Da","last_name":"He","full_name":"He, Da"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_created":"2021-10-11T08:43:05Z","title":"Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms","year":"2012","citation":{"apa":"He, D., &#38; Müller, W. (2012). Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. <i>Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)</i>.","mla":"He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms.” <i>Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)</i>, IEEE Xplore, 2012.","bibtex":"@inproceedings{He_Müller_2012, title={Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms}, booktitle={Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }","short":"D. He, W. Müller, in: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), IEEE Xplore, 2012.","ama":"He D, Müller W. Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. In: <i>Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)</i>. IEEE Xplore; 2012.","chicago":"He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms.” In <i>Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)</i>. IEEE Xplore, 2012.","ieee":"D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms,” 2012."}},{"year":"2012","citation":{"chicago":"Radke, Stephan, Steffen Rülke, Marcio F. Oliveira, Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, Volkan Esen, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” In <i>EdaWorkshop 12</i>, 2012.","ieee":"S. Radke <i>et al.</i>, “Compilation of Methodologies to Speed up the Verification Process at System Level,” 2012.","ama":"Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed up the Verification Process at System Level. In: <i>EdaWorkshop 12</i>. ; 2012.","apa":"Radke, S., Rülke, S., Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., Esen, V., Hufnagel, S., Bannow, N., Oetjens, J.-H., Brazdrum, H., Janssen, P., Le, H. M., Große, D., Haedicke, F., Drechsler, R., Koch, G., Burger, A., Bringmann, O., … Görgen, R. (2012). Compilation of Methodologies to Speed up the Verification Process at System Level. <i>EdaWorkshop 12</i>.","bibtex":"@inproceedings{Radke_Rülke_Oliveira_Kuznik_Müller_Ecker_Esen_Hufnagel_Bannow_Oetjens_et al._2012, title={Compilation of Methodologies to Speed up the Verification Process at System Level}, booktitle={edaWorkshop 12}, author={Radke, Stephan and Rülke, Steffen and Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan and Hufnagel, Simon and Bannow, Nico and Oetjens, Jan-Hendrik and et al.}, year={2012} }","short":"S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.","mla":"Radke, Stephan, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” <i>EdaWorkshop 12</i>, 2012."},"date_updated":"2022-01-06T06:57:15Z","author":[{"first_name":"Stephan","last_name":"Radke","full_name":"Radke, Stephan"},{"first_name":"Steffen","last_name":"Rülke","full_name":"Rülke, Steffen"},{"first_name":"Marcio F.","full_name":"Oliveira, Marcio F.","last_name":"Oliveira"},{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"full_name":"Ecker, Wolfgang","last_name":"Ecker","first_name":"Wolfgang"},{"last_name":"Esen","full_name":"Esen, Volkan","first_name":"Volkan"},{"first_name":"Simon","last_name":"Hufnagel","full_name":"Hufnagel, Simon"},{"first_name":"Nico","last_name":"Bannow","full_name":"Bannow, Nico"},{"first_name":"Jan-Hendrik","full_name":"Oetjens, Jan-Hendrik","last_name":"Oetjens"},{"first_name":"Helmut","full_name":"Brazdrum, Helmut","last_name":"Brazdrum"},{"full_name":"Janssen, Peter","last_name":"Janssen","first_name":"Peter"},{"last_name":"Le","full_name":"Le, Hoang M.","first_name":"Hoang M."},{"first_name":"Daniel","last_name":"Große","full_name":"Große, Daniel"},{"first_name":"Finn","last_name":"Haedicke","full_name":"Haedicke, Finn"},{"first_name":"Rolf","last_name":"Drechsler","full_name":"Drechsler, Rolf"},{"first_name":"Gernot","full_name":"Koch, Gernot","last_name":"Koch"},{"last_name":"Burger","full_name":"Burger, Andreas","first_name":"Andreas"},{"full_name":"Bringmann, Oliver","last_name":"Bringmann","first_name":"Oliver"},{"last_name":"Rosenstiel","full_name":"Rosenstiel, Wolfgang","first_name":"Wolfgang"},{"first_name":"Ralph","full_name":"Görgen, Ralph","last_name":"Görgen"}],"date_created":"2021-10-11T08:54:53Z","title":"Compilation of Methodologies to Speed up the Verification Process at System Level","main_file_link":[{"url":"http://www.vde-verlag.de/proceedings-de/563428010.html"}],"publication":"edaWorkshop 12","type":"conference","status":"public","_id":"26024","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}]},{"_id":"26025","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"publication":"Journal of Intelligent Manufacturing 23(3)","type":"book_chapter","status":"public","publisher":"Published online on June 2010","date_updated":"2022-01-06T06:57:15Z","date_created":"2021-10-11T09:06:41Z","author":[{"first_name":"Norma","full_name":"Montealegre, Norma","last_name":"Montealegre"},{"full_name":"Hagenkötter, Sebastian","last_name":"Hagenkötter","first_name":"Sebastian"}],"title":"Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks","year":"2012","page":"699-715","citation":{"apa":"Montealegre, N., &#38; Hagenkötter, S. (2012). Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In <i>Journal of Intelligent Manufacturing 23(3)</i> (pp. 699–715). Published online on June 2010.","mla":"Montealegre, Norma, and Sebastian Hagenkötter. “Process Integrated Wire-Bond Quality Control by Means of Cytokine-Formal Immune Networks.” <i>Journal of Intelligent Manufacturing 23(3)</i>, Published online on June 2010, 2012, pp. 699–715.","bibtex":"@inbook{Montealegre_Hagenkötter_2012, title={Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks}, booktitle={Journal of Intelligent Manufacturing 23(3)}, publisher={Published online on June 2010}, author={Montealegre, Norma and Hagenkötter, Sebastian}, year={2012}, pages={699–715} }","short":"N. Montealegre, S. Hagenkötter, in: Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.","ama":"Montealegre N, Hagenkötter S. Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In: <i>Journal of Intelligent Manufacturing 23(3)</i>. Published online on June 2010; 2012:699-715.","chicago":"Montealegre, Norma, and Sebastian Hagenkötter. “Process Integrated Wire-Bond Quality Control by Means of Cytokine-Formal Immune Networks.” In <i>Journal of Intelligent Manufacturing 23(3)</i>, 699–715. Published online on June 2010, 2012.","ieee":"N. Montealegre and S. Hagenkötter, “Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks,” in <i>Journal of Intelligent Manufacturing 23(3)</i>, Published online on June 2010, 2012, pp. 699–715."}}]