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 | Book (Editor) | LibreCat-ID: 25741
G. Schirner, M. Götz, A. Rettberg, M. C. Zanella, and F.-J. Rammig, 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
L. Khaluf and F.-J. Rammig, “Organic Programming of Real-Time Operating Systems,” 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
H. Anacker et al., “Methods for the Design and Development,” in Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Heidelberg: Springer-Verlag, 2013, pp. 187–356.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, “11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung,” 2013, vol. 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 36919
F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: 10.1109/PATMOS.2013.6662171.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
D. He and W. Müller, “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors,” in Proceedings of the International Conference on Applied Computing (AC), 2013.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25744
M. tech. M. M. Joy, M. Becker, E. Mathews, and W. Müller, “Automated Source Code Annotation for Timing Analysis of Embedded Software,” Bangalore, 14. - 16. Dez. 2012, IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25749
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of Use,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25752
E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity,” presented at the 14. - 17. Okt. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
M. Becker, D. Baldin, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
M. F. Oliveira et al., “The System Verification Methodology for Advanced TLM Verification,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
D. He and W. Müller, “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, and B. Kleinjohann, “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, and B. Kleinjohann, “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System,” Singapore, 18. - 20. Jul. 2012 IEEE, IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces,” 16. - 19. Jul. 2012; Las Vegas, Nevada, USA, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation Testing Through Dynamic Translation,” 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
S. Radke et al., “Compilation of Methodologies to Speed up the Verification Process at System Level,” 2012.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
N. Montealegre and S. Hagenkötter, “Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks,” in Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.
LibreCat