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.
LibreCat: /record/25752

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.
LibreCat: /record/25758

M. F. Oliveira et al., “The System Verification Methodology for Advanced TLM Verification,” 2012.
LibreCat: /record/25761

D. He and W. Müller, “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms,” 2012.
LibreCat: /record/25767

C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, and B. Kleinjohann, “Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots,” 2012.
LibreCat: /record/25776

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.
LibreCat: /record/25777

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.
LibreCat: /record/25781

S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012.
LibreCat: /record/25783

M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation Testing Through Dynamic Translation,” 2012.
LibreCat: /record/26022

D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms,” 2012.
LibreCat: /record/26023

S. Radke et al., “Compilation of Methodologies to Speed up the Verification Process at System Level,” 2012.
LibreCat: /record/26024

N. Montealegre and S. Hagenkötter, “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, pp. 699–715.
LibreCat: /record/26025

S. Grösbrink, S. Oberthür, and D. Baldin, “Towards Adaptive Resource Management for Virtualized Real-Time Systems,” presented at the 16. - 19. Apr. 2012, 2012.
LibreCat: /record/26026

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

N. Montealegre and F.-J. Rammig, “Agent-Based Modeling and Simulation of Artificial Immune Systems,” 2012.
LibreCat: /record/26028

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

E. Mathews, “Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks,” 2012.
LibreCat: /record/26030

D. He and W. Müller, “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems,” 2012.
LibreCat: /record/26031

C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Efficient Alignment of Aerial Images Based on Virtual Forces,” presented at the 25. - 30. Mrz. 2012 IARIA, IEEE Xplore, 2012.
LibreCat: /record/26032

A. Jungmann, B. Kleinjohann, L. Kleinjohann, and M. Bieshaar, “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems,” presented at the 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services, 2012.
LibreCat: /record/26034