E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat: /record/25277

F. Mischkalla and W. Müller, “Efficient Power Intent Validation Using Loosely-Timed Simulation Models,” 2013.
LibreCat: /record/25284

A. Jungmann and B. Kleinjohann, “Learning Recommendation System for Automated Service Composition,” in Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 27. Jun. - 2. Jul. 2013 IEEE Computer Society, , 2013, pp. 97–104.
LibreCat: /record/25286

K. Gilles, S. Grösbrink, D. Baldin, and T. Kerstan, “Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems,” 2013.
LibreCat: /record/25287

S. Grösbrink, “On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem,” 2013.
LibreCat: /record/25289

F.-J. Rammig, L. Khaluf, N. Montealegre, K. Stahl, and Y. Zhao, “Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software,” presented at the 17. - 18. Jun. 2013 IEEE, 2013.
LibreCat: /record/25290

M. Becker, U. Kiffmeier, and W. Müller, “HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures,” 2013.
LibreCat: /record/25291

F.-J. Rammig, K. Stahl, and G. F. Vaz, “A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems,” 2013.
LibreCat: /record/25292

C. Rasche and S. Ziegert, “Multilevel Planning for Self-Optimizing Mechatronic Systems,” in Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, 2013, p. 6.
LibreCat: /record/25296

K. Stahl, “AIS-based Anomaly Detection for Self-X Systems,” in Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13), 2013, pp. 24–26.
LibreCat: /record/25298

S. Grösbrink and F.-J. Rammig, “Safe Self-Evolving Embedded Software via System Virtualization,” 2013.
LibreCat: /record/25299

S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope,” presented at the 8. - 11. Apr. 2013, 2013.
LibreCat: /record/25548

M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,” 2013.
LibreCat: /record/25557

C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen,” in 11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, 2013, vol. 311.
LibreCat: /record/25573

C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, and B. Kleinjohann, “Statistisches Planen in einem realen Roboterszenario,” in Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, 2013, vol. 310, pp. 133–146.
LibreCat: /record/25574

S. Grösbrink, D. Baldin, and S. Oberthür, “Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems,” 2013.
LibreCat: /record/25575

C. Kuznik, M. F. S. Oliveira, and W. Müller, “SystemC Verification Components - An enhanced OVM/UVM for SystemC,” Mrz. 2013 - Poster, 2013.
LibreCat: /record/25606

F. Mischkalla and W. Müller, “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen,” 2013.
LibreCat: /record/25612

C. Kuznik, M. F. S. Oliveira, and W. Müller, “SC OVM: An Advanced SystemC Library for OVM-based Verification,” 2013.
LibreCat: /record/25614

G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, and W. Müller, “Informationstechnik spart Ressourcen,” ForschungsForum Paderborn , 2013.
LibreCat: /record/25615