Rammig F-J, Khaluf L, Montealegre N, Stahl K, Zhao Y. Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software. In: Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013. IEEE; 2013.
LibreCat: /record/25290

Becker M, Kiffmeier U, Müller W. HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures. In: 16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. ; 2013.
LibreCat: /record/25291

Rammig F-J, Stahl K, Vaz GF. A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems. In: Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013. IEEE; 2013.
LibreCat: /record/25292

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

Stahl K. AIS-based Anomaly Detection for Self-X Systems. In: Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13). Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg; 2013:24-26.
LibreCat: /record/25298

Grösbrink S, Rammig F-J. Safe Self-Evolving Embedded Software via System Virtualization. In: 3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013. SBC; 2013.
LibreCat: /record/25299

Grösbrink S, Almeida L, de Sousa M, Petters SM. Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope. In: 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013). ; 2013.
LibreCat: /record/25548

Qanadilo M, Samara S, Zhao Y. Accelerating Online Model Checking. In: 6’th Latin-American Symposium on Dependable Computing (LADC 2013). ; 2013.
LibreCat: /record/25557

Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen. In: 11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311; 2013.
LibreCat: /record/25573

Rasche C, Bieshaar M, Jungmann A, Kleinjohann L, Kleinjohann B. Statistisches Planen in einem realen Roboterszenario. In: Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310. Vol 310. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:133-146.
LibreCat: /record/25574

Grösbrink S, Baldin D, Oberthür S. Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems. In: ACM SIGBED Review, Band 10. ACM; 2013.
LibreCat: /record/25575

Kuznik C, F. S. Oliveira M, Müller W. SystemC Verification Components - An enhanced OVM/UVM for SystemC. In: EdaWorkshop 13. ; 2013.
LibreCat: /record/25606

Mischkalla F, Müller W. Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ; 2013.
LibreCat: /record/25612

Kuznik C, F. S. Oliveira M, Müller W. SC OVM: An Advanced SystemC Library for OVM-based Verification. In: Open SANITAS SystemC Verification Workshop. ; 2013.
LibreCat: /record/25614

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

Grösbrink S. Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues. Production Engineering Research &; Development 7(1). Published online 2013:69-79.
LibreCat: /record/25616

Jungmann A, Kleinjohann B, Kleinjohann L. Learning Service Recommendations. International Journal of Business Process Integration and Management 6(4). Published online 2013:284-297.
LibreCat: /record/25618

Kuznik C, Oliveira MF, Defo B, Müller W. Systematic Application of UCIS to Improve the Automation on Verification Closure. In: Proceedings of DVCON. ; 2013.
LibreCat: /record/25620

Rasche C, Stern C, Kleinjohann L, Kleinjohann B. A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights. In: Sen Gupta G, Bailey D, Demidenko S, Carnegie D, eds. Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480. Vol 480. Springer ; 2013:103-113.
LibreCat: /record/25625

Klobedanz K, Jatzkowski J, Rettberg A, Müller W. Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. In: International Embedded Systems Symposium (IESS) 2013. Springer; 2013.
LibreCat: /record/25632