Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
332 Publications
2013 | Conference Paper | LibreCat-ID: 25291
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
2013 | Conference Paper | LibreCat-ID: 25292
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
2013 | Conference Paper | LibreCat-ID: 25296
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
2013 | Conference Paper | LibreCat-ID: 25298
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
| Files available
2013 | Conference Paper | LibreCat-ID: 25299
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
2013 | Conference Paper | LibreCat-ID: 25548
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
2013 | Conference Paper | LibreCat-ID: 25557
Qanadilo, M., Samara, S., & Zhao, Y. (2013). Accelerating Online Model Checking. 6’th Latin-American Symposium on Dependable Computing (LADC 2013).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
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
2013 | Conference Paper | LibreCat-ID: 25574
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
2013 | Conference Paper | LibreCat-ID: 25575
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
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SystemC Verification Components - An enhanced OVM/UVM for SystemC. EdaWorkshop 13.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
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
2013 | Conference Paper | LibreCat-ID: 25614
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
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, G., Gerth, C., Kleinjohann, L., Kleinjohann, B., & Müller, W. (2013). Informationstechnik spart Ressourcen. ForschungsForum Paderborn .
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
Grösbrink, S. (2013). Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues. Production Engineering Research & Development 7(1), 69–79.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
Jungmann, A., Kleinjohann, B., & Kleinjohann, L. (2013). Learning Service Recommendations. International Journal of Business Process Integration and Management 6(4), 284–297.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik, C., Oliveira, M. F., Defo, B., & Müller, W. (2013). Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
Rasche, C., Stern, C., Kleinjohann, L., & Kleinjohann, B. (2013). A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights. In G. Sen Gupta, D. Bailey, S. Demidenko, & D. Carnegie (Eds.), Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480 (Vol. 480, pp. 103–113). Springer .
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz, K., Jatzkowski, J., Rettberg, A., & Müller, W. (2013). Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. International Embedded Systems Symposium (IESS) 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, D., & Müller, W. (2013). A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 845–857.
LibreCat