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

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

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

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. EdaWorkshop 12.
LibreCat: /record/26024

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

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

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

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

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

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

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

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

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

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

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

Nascimento, F. A. M., Oliveira, M. F., &; Wagner, F. (2012). A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering 8, 19–33.
LibreCat: /record/26037

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

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

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

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