Grösbrink S. A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. In: Symposium on System-Integrated Intelligence. ; 2012.
LibreCat: /record/25783

Becker M, Kuznik C, Joy M tech. MM, Xie T, Müller W. Binary Mutation Testing Through Dynamic Translation. In:  42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). ; 2012.
LibreCat: /record/26022

He D, Müller W. Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. In: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). IEEE Xplore; 2012.
LibreCat: /record/26023

Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed up the Verification Process at System Level. In: EdaWorkshop 12. ; 2012.
LibreCat: /record/26024

Montealegre N, Hagenkötter S. Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In: Journal of Intelligent Manufacturing 23(3). Published online on June 2010; 2012:699-715.
LibreCat: /record/26025

Grösbrink S, Oberthür S, Baldin D. Towards Adaptive Resource Management for Virtualized Real-Time Systems. In: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012). ; 2012.
LibreCat: /record/26026

Zhao Y, Rammig F-J. Online Model Checking for Dependable Real-time Systems. In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China.  IEEE Computer Society; 2012:154-161.
LibreCat: /record/26027

Montealegre N, Rammig F-J. Agent-Based Modeling and Simulation of Artificial Immune Systems. In: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012). ; 2012.
LibreCat: /record/26028

Rammig F-J. Self-Coordination as Fundamental Concept for Cyber Physical Systems. In: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012. SBC; 2012:45-48.
LibreCat: /record/26029

Mathews E. Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. In: Ninth International Conference On Information Technologyf: New Generations (ITNG). IEEE Computer Society; 2012.
LibreCat: /record/26030

He D, Müller W. Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. In: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore; 2012.
LibreCat: /record/26031

Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Efficient Alignment of Aerial Images Based on Virtual Forces. In: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). IEEE Xplore; 2012.
LibreCat: /record/26032

Jungmann A, Kleinjohann B, Kleinjohann L, Bieshaar M. Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE). Xpert Publishing Services; 2012.
LibreCat: /record/26034

Grösbrink S, Oberthür S, Baldin D. Dynamic Resource Management for Virtualized Mixed-Criticality Systems. In: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012). ; 2012.
LibreCat: /record/26035

Oliveira MF, Kuznik C, Müller W, Ecker W, Esen V. A SystemC Library for Advanced TLM Verification. In: Proceeding of Design and Verification Conference (DVCON). ; 2012.
LibreCat: /record/26036

Nascimento FAM, Oliveira MF, Wagner F. A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering 8. Published online 2012:19-33.
LibreCat: /record/26037

Becker M, Gnokam Defo GB, Müller W, Fummi F, Pravadelli G, Vinco S. MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. In: Design, Automation and Test in Europe (DATE 2012). ; 2012.
LibreCat: /record/26079

Becker M, Kuznik C, Joy M tech. M, Xie T, Müller W. XEMU: A QEMU Based Binary Mutation Testing Framework. In: Design, Automation and Test in Europe DATE. ; 2012.
LibreCat: /record/26080

Mauerer W, Hillier G, Sawallisch J, Hönick S, Oberthür S. Real-Time Android: Deterministic Ease of use. In: Proceedings of Embedded World Conference. ; 2012.
LibreCat: /record/26081

Jungmann A, Schierbaum T, Kleinjohann B. Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot. In: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP).  INSTICC PRESS; 2012:441-444.
LibreCat: /record/26086