@inproceedings{25767, author = {{He, Da and Müller, Wolfgang}}, booktitle = {{15th Euromicro Conference on Digital System Design (DSD)}}, publisher = {{IEEE Xplore}}, title = {{{A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms}}}, year = {{2012}}, } @inproceedings{25776, author = {{Rasche, Christoph and Jungmann, Alexander and Schierbaum, Thomas and Werdehausen, Benjamin and Kleinjohann, Bernd}}, booktitle = {{ IEEE 10th International Conference on Industrial Informatics,}}, publisher = {{IEEE Xplore}}, title = {{{ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots}}}, year = {{2012}}, } @inproceedings{25777, abstract = {{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. }}, author = {{Esau, Natascha and Krüger, Martin and Rasche, Christoph and Beringer, Steffen and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{7th IEEE Conference in Industrial Electronics and Applications}}, location = {{Singapore, 18. - 20. Jul. 2012 IEEE, IEEE}}, publisher = {{IEEE}}, title = {{{Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System}}}, year = {{2012}}, } @inproceedings{25781, author = {{Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition}}, location = {{16. - 19. Jul. 2012; Las Vegas, Nevada, USA}}, title = {{{Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces}}}, year = {{2012}}, } @inproceedings{25783, author = {{Grösbrink, Stefan}}, booktitle = {{Symposium on System-integrated Intelligence}}, location = {{27. - 29. Jun. 2012}}, title = {{{A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems}}}, year = {{2012}}, } @inproceedings{26022, author = {{Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}}, booktitle = {{ 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)}}, title = {{{Binary Mutation Testing Through Dynamic Translation}}}, year = {{2012}}, } @inproceedings{26023, author = {{He, Da and Müller, Wolfgang}}, booktitle = {{Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)}}, publisher = {{IEEE Xplore}}, title = {{{Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms}}}, year = {{2012}}, } @inproceedings{26024, 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 Brazdrum, Helmut and Janssen, Peter and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Drechsler, Rolf and Koch, Gernot and Burger, Andreas and Bringmann, Oliver and Rosenstiel, Wolfgang and Görgen, Ralph}}, booktitle = {{edaWorkshop 12}}, title = {{{Compilation of Methodologies to Speed up the Verification Process at System Level}}}, year = {{2012}}, } @inbook{26025, author = {{Montealegre, Norma and Hagenkötter, Sebastian}}, booktitle = {{Journal of Intelligent Manufacturing 23(3)}}, pages = {{699--715}}, publisher = {{Published online on June 2010}}, title = {{{Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks}}}, year = {{2012}}, } @inproceedings{26026, author = {{Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}}, booktitle = {{4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)}}, title = {{{Towards Adaptive Resource Management for Virtualized Real-Time Systems}}}, year = {{2012}}, }