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.
327 Publications
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
2013 | Book (Editor) | LibreCat-ID: 25741
Schirner, G., Götz, M., Rettberg, A., Zanella, M. C., & Rammig, F.-J. (Eds.). (2013). Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
Khaluf, L., & Rammig, F.-J. (2013). Organic Programming of Real-Time Operating Systems. The Ninth International Conference on Autonomic and Autonomous Systems.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
Anacker, H., Dellnitz, M., Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Horenkamp, C., Kleinjohann, L., Kleinjohann, B., Korf, S., Krüger, M., Müller, W., Ober-Blöbaum, S., Oberthür, S., Porrmann, M., Priesterjahn, C., Radkowski, W., Rasche, C., Rieke, J., … Ziegert, S. (2013). Methods for the Design and Development. In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future (pp. 187–356). Springer-Verlag.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier, J., Grafe, M., & Meyer auf der Heide, F. (2013). 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. 311.
LibreCat