Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., Klobedanz, K., Heinzemann, C., Peter, K., &; Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. 8. Dortmunder Autotag, Sep. 2013.
LibreCat: /record/25277

Mischkalla, F., &; Müller, W. (2013).  Efficient Power Intent Validation Using Loosely-Timed Simulation Models.  23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013.
LibreCat: /record/25284

Jungmann, A., &; Kleinjohann, B. (2013). Learning Recommendation System for Automated Service Composition. Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 97–104.
LibreCat: /record/25286

Gilles, K., Grösbrink, S., Baldin, D., &; Kerstan, T. (2013). Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems. International Embedded Systems Symposium, 17. - 19. Jun. 2013.
LibreCat: /record/25287

Grösbrink, S. (2013). On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem.  International Embedded Systems Symposium, 17. - 19. Jun. 2013.
LibreCat: /record/25289

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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