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.

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.

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.

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.

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.

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.

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.

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.

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.

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.