Zhao, Yuhong, and Franz-Josef 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, 154–61.  IEEE Computer Society, 2012.
LibreCat: /record/26027

Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation of Artificial Immune Systems.” In Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012). Shenzhen, China, 2012.
LibreCat: /record/26028

Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber Physical Systems.” In 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 45–48. Ouro Preto, Brazil: SBC, 2012.
LibreCat: /record/26029

Mathews, Emi. “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, Da, and Wolfgang Müller. “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, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Efficient Alignment of Aerial Images Based on Virtual Forces.” In Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). St. Maarten, Netherlands Antilles: IEEE Xplore, 2012.
LibreCat: /record/26032

Jungmann, Alexander, Bernd Kleinjohann, Lisa Kleinjohann, and Maarten Bieshaar. “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, Stefan, Simon Oberthür, and Daniel Baldin. “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, Marcio F., Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, and Volkan Esen. “A SystemC Library for Advanced TLM Verification.” In Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat: /record/26036

Nascimento, Francisco A. M., Marcio F. Oliveira, and Flavio Wagner. “A Model-Driven Engineering Framework for Embedded Systems Design.” Innovations in Systems and Software Engineering 8, 2012, 19–33.
LibreCat: /record/26037