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. Safe Self-Evolving Embedded Software via System Virtualization. In: 3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013. SBC; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
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
2013 | Conference Paper | LibreCat-ID: 25557
Qanadilo M, Samara S, Zhao Y. Accelerating Online Model Checking. In: 6’th Latin-American Symposium on Dependable Computing (LADC 2013). ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
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
2013 | Conference Paper | LibreCat-ID: 25574
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
2013 | Conference Paper | LibreCat-ID: 25575
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
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik C, F. S. Oliveira M, Müller W. SystemC Verification Components - An enhanced OVM/UVM for SystemC. In: EdaWorkshop 13. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
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
2013 | Conference Paper | LibreCat-ID: 25614
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
2013 | Newspaper Article | LibreCat-ID: 25615
Engels G, Gerth C, Kleinjohann L, Kleinjohann B, Müller W. Informationstechnik spart Ressourcen. ForschungsForum Paderborn . 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
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
2013 | Journal Article | LibreCat-ID: 25618
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
2013 | Conference Paper | LibreCat-ID: 25620
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
2013 | Book Chapter | LibreCat-ID: 25625
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
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
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
2013 | Journal Article | LibreCat-ID: 25740
He D, Müller W. A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7). Published online 2013:845-857.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
Schirner G, Götz M, Rettberg A, Zanella MC, Rammig F-J, eds. Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
Khaluf L, Rammig F-J. Organic Programming of Real-Time Operating Systems. In: The Ninth International Conference on Autonomic and Autonomous Systems. ; 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
Anacker H, Dellnitz M, Flaßkamp K, et al. Methods for the Design and Development. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future. Springer-Verlag; 2013:187-356.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier J, Grafe M, Meyer auf der Heide F. 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. In: Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 ; 2013.
LibreCat