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.
264 Publications
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 | 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 | 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 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: 36919
Mischkalla F, Müller W. Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:10.1109/PATMOS.2013.6662171
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
He D, Müller W. An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors. In: Weghorn H, ed. Proceedings of the International Conference on Applied Computing (AC). ; 2013.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25744
Joy M tech. MM, Becker M, Mathews E, Müller W. Automated Source Code Annotation for Timing Analysis of Embedded Software. In: In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012). IEEE; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
Becker M, Baldin D, Kuznik C, Joy M tech. MM, Xie T, Müller W. XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. In: EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings . ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
Oliveira MF, Kuznik C, Le HM, et al. The System Verification Methodology for Advanced TLM Verification. In: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
He D, Müller W. A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. In: 15th Euromicro Conference on Digital System Design (DSD). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
Becker M, Kuznik C, Joy M tech. MM, Xie T, Müller W. Binary Mutation Testing Through Dynamic Translation. In: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). ; 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
He D, Müller W. Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. In: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed up the Verification Process at System Level. In: EdaWorkshop 12. ; 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26031
He D, Müller W. Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. In: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira MF, Kuznik C, Müller W, Ecker W, Esen V. A SystemC Library for Advanced TLM Verification. In: Proceeding of Design and Verification Conference (DVCON). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
Becker M, Gnokam Defo GB, Müller W, Fummi F, Pravadelli G, Vinco S. MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. In: Design, Automation and Test in Europe (DATE 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
Becker M, Kuznik C, Joy M tech. M, Xie T, Müller W. XEMU: A QEMU Based Binary Mutation Testing Framework. In: Design, Automation and Test in Europe DATE. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
Müller W, Becker M, Zabel H, Elfeky A, DiPasquale A. Virtual Prototyping of Cyber-Physical Systems. In: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012. ; 2012.
LibreCat