S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization,” 2014.
LibreCat: /record/25160

B. Koppelmann, M. Becker, and W. Müller, “Portierung der TriCore-Architektur auf QEMU,” 2014.
LibreCat: /record/25161

S. Grösbrink, S. Korrapati, A. Schmitz, and A. Schreckenberg, “Hypervisor-based Consolidation for Automated Teller Machines,” 2014.
LibreCat: /record/25165

A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Evaluation of Color Spaces for Robust Image Segmentation,” 2014.
LibreCat: /record/25167

J. Gausemeier, F.-J. Rammig, W. Schäfer, and W. Sextro, Dependability of Self-Optimizing Mechatronic Systems.  Heidelberg, Germany: Springer-Verlag, 2014.
LibreCat: /record/25168

S. Grösbrink, S. Korf, M. Porrmann, C. Priesterjahn, and K. Stahl, “Self-optimization by Reconfiguration,” in Design Methodology for Intelligent Technical Systems, Heidelberg, Germany: Springer-Verlag, 2014, pp. 19–22.
LibreCat: /record/25170

S. Grösbrink, “Virtualization,” in Dependability of Self-Optimizing Mechatronic Systems, Heidelberg, Germany: Springer-Verlag , 2014, pp. 152–157.
LibreCat: /record/25171

F.-J. Rammig, S. Grösbrink, K. Stahl, and Y. Zhao, “Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation,” 2014.
LibreCat: /record/25172

M. Dellnitz et al., “Self-optimizing Mechatronic Systems,” in Dependability of Self-optimizing Mechatronic Systems, Kapitel: 1.1, Heidelberg, Germany: Springer-Verlag, 2014, pp. 3–12.
LibreCat: /record/25173

S. Grösbrink, S. Oberthür, and K. Stahl, “System Software,” in Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development, Heidelberg, Germany: Springer-Verlag, 2014, pp. 298–317.
LibreCat: /record/25175

J. Gausemeier, S. Korf, M. Porrmann, K. Stahl, O. Sudmann, and M. Vaßholz, “Development of Self-Optimizing Systems,” in Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3, Heidelberg, Germany: Springer-Verlag , 2014, pp. 65–117.
LibreCat: /record/25176

K. Flaßkamp et al., “Development of the RailCab Vehicle,” in Dependability of Self-Optimizing Mechatronic Systems, Heidelberg, Germany: Springer-Verlag , 2014, pp. 184–190.
LibreCat: /record/25177

F.-J. Rammig and Y. Zhao, “Online Model Checking,” in Dependability of Self-Optimizing Mechatronic Systems,  Heidelberg, Germany: Springer-Verlag, 2014, pp. 147–152.
LibreCat: /record/25179

J. Gausemeier, F.-J. Rammig, and W. Schäfer, Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future. Heidelberg, Germany: Springer-Verlag, 2014.
LibreCat: /record/25180

M. Becker, W. Müller, J. Stroop, and U. Kiffmeier, “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC,” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat: /record/25164

Y. Khaluf, M. Birattari, and F.-J. Rammig, “Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences,” in Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, Cáceres, Spain, 3. - 5. Dez. 2013, 2013, vol. 8273.
LibreCat: /record/25269

M. tech. M. M. Joy, W. Müller, and F.-J. Rammig, “Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model,” 2013.
LibreCat: /record/25270

D. He and W. Müller, “AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS,” 2013.
LibreCat: /record/25271

M. A. Wehrmeister, C. E. Pereira, and F.-J. Rammig, “Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems,” in  IEEE Trans. on Industrial Informatics vol. 9 (no. 4), 2013, pp. 2373–2386.
LibreCat: /record/25273

Y. Khaluf and F.-J. Rammig, “Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms,”  2. - 6. Sep. 2013, 2013.
LibreCat: /record/25274