@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}},
}

@inproceedings{26027,
  author       = {{Zhao, Yuhong and Rammig, Franz-Josef}},
  booktitle    = {{16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China}},
  pages        = {{154--161}},
  publisher    = {{ IEEE Computer Society}},
  title        = {{{Online Model Checking for Dependable Real-time Systems}}},
  year         = {{2012}},
}

@inproceedings{26028,
  author       = {{Montealegre, Norma and Rammig, Franz-Josef}},
  booktitle    = {{Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)}},
  title        = {{{Agent-Based Modeling and Simulation of Artificial Immune Systems}}},
  year         = {{2012}},
}

@inproceedings{26029,
  author       = {{Rammig, Franz-Josef}},
  booktitle    = {{2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012}},
  pages        = {{45--48}},
  publisher    = {{SBC}},
  title        = {{{Self-Coordination as Fundamental Concept for Cyber Physical Systems}}},
  year         = {{2012}},
}

@inproceedings{26030,
  author       = {{Mathews, Emi}},
  booktitle    = {{Ninth International Conference On Information Technology : New Generations (ITNG)}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks}}},
  year         = {{2012}},
}

@inproceedings{26031,
  author       = {{He, Da and Müller, Wolfgang}},
  booktitle    = {{2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}},
  publisher    = {{IEEE Xplore}},
  title        = {{{Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems}}},
  year         = {{2012}},
}

@inproceedings{26032,
  abstract     = {{Getting a contemporary aerial overview of a disaster area is a foremost task in search and rescue operations. We previously have introduced a novel method for registering a large amount of aerial images when camera parameters are almost unknown and no reference images are available. This paper provides two new methods, which improve our method for image registration based on virtual forces. The goal is to improve the performance of creating a contemporary overview map of a disaster area assembling several images taken by unmanned aerial vehicles (UAVs) equipped with cameras. In this paper, two new methods are introduced: a method for rotation estimation and a method for scale estimation. Both methods use fast heuristic approximation approaches and statistical methods to provide high robustness. We discuss the methods in detail and compare them to our previous approach regarding robustness and calculation speed. We can show that the new methods significantly increase the performance of the image registration process.}},
  author       = {{Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}},
  booktitle    = {{Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)}},
  publisher    = {{IEEE Xplore}},
  title        = {{{Efficient Alignment of Aerial Images Based on Virtual Forces}}},
  year         = {{2012}},
}

@inproceedings{26034,
  abstract     = {{In this paper, a color based feature extraction and classification approach for image processing in embedded systems in presented. The algorithms and data structures developed for this approach pay particular attention to reduce memory consumption and computation power of the entire image processing, since embedded systems usually impose strong restrictions regarding those resources. The feature extraction is realized in terms of an image segmentation algorithm. The criteria of homogeneity for merging pixels and regions is provided by the color classification mechanism, which incorporates appropriate methods for defining, representing and accessing subspaces in the working color space. By doing so, pixels and regions with color values that belong to the same color class can be merged. Furthermore, pixels with redundant color values that do not belong to any pre-defined color class can be completely discarded in order to minimize computational effort. Subsequently, the extracted regions are converted to a more convenient feature representation in terms of statistical moments up to and including second order. For evaluation, the whole image processing approach is applied to a mobile representative of embedded systems within the scope of a simple real-world scenario.}},
  author       = {{Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa and Bieshaar, Maarten}},
  booktitle    = {{Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)}},
  publisher    = {{Xpert Publishing Services}},
  title        = {{{Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems}}},
  year         = {{2012}},
}

@inproceedings{26035,
  author       = {{Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}},
  booktitle    = {{Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012)}},
  title        = {{{Dynamic Resource Management for Virtualized Mixed-Criticality Systems}}},
  year         = {{2012}},
}

@inproceedings{26036,
  author       = {{Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan}},
  booktitle    = {{Proceeding of Design and Verification Conference (DVCON)}},
  title        = {{{A SystemC Library for Advanced TLM Verification}}},
  year         = {{2012}},
}

@article{26037,
  author       = {{Nascimento, Francisco A. M. and Oliveira, Marcio F. and Wagner, Flavio}},
  journal      = {{Innovations in Systems and Software Engineering 8}},
  pages        = {{19--33}},
  title        = {{{A model-driven engineering framework for embedded systems design}}},
  year         = {{2012}},
}

@inproceedings{26079,
  author       = {{Becker, Markus and Gnokam Defo, Gilles Bertrand and Müller, Wolfgang and Fummi, F. and Pravadelli, G. and Vinco, Sara}},
  booktitle    = {{Design, Automation and Test in Europe (DATE 2012)}},
  title        = {{{MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution}}},
  year         = {{2012}},
}

@inproceedings{26080,
  author       = {{Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel and Xie, Tao and Müller, Wolfgang}},
  booktitle    = {{Design, Automation and Test in Europe DATE}},
  title        = {{{XEMU: A QEMU Based Binary Mutation Testing Framework}}},
  year         = {{2012}},
}