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.
282 Publications
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz K, Defo GB, Müller W, Kerstan T. Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. In: Proceedings of SIES 2010. ; 2010. doi:10.1109/SIES.2010.5551384
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: Proceedings of HLDVT2010. IEEE; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira MFS, do Nascimento FAM, Müller W. Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. In: Proceedings of MoMPES 2010. ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37039
Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456965
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37047
Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_9
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33813
Zabel H, Müller W, Gerstlauer A. Accurate RTOS Modelling and Analysis with SystemC. In: Ecker W, Müller W, Dömer R, eds. Hardware Dependent Software - Principles and Practice. Springer Verlag; 2009:233-260. doi:10.1007/978-1-4020-9436-1_9
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
Ecker W, Müller W, Dömer R. Hardware-dependent Software - Introduction and Overview. In: Ecker W, Müller W, Dömer R, eds. Hardware Dependent Software - Principles and Practice. Springer Verlag; 2009:1-14. doi:10.1007/978-1-4020-9436-1_1
LibreCat
| DOI
2009 | Book (Editor) | LibreCat-ID: 40119
Ecker W, Müller W, Dömer R, eds. Hardware-Dependent Software. Springer Netherlands; 2009. doi:10.1007/978-1-4020-9436-1
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management. In: Proceedings of DATE’09. IEEE; 2009. doi:10.1109/DATE.2009.5090664
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: Proceedings of DATE’09. ; 2009. doi:10.1109/DATE.2009.5090925
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz K, Kuznik C, Elfeky A, Müller W. Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. In: Proceedings of IESS09. Springer Verlag; 2009. doi:10.1007/978-3-642-04284-3_20
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
Becker M, Zabel H, Müller W. Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. In: ; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37061
Krupp A, Müller W. Systematic Model-in-the-Loop Test of Embedded Control Systems. In: Proceedings of IESS09. ; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
Doemer R, Gerstlauer A, Müller W. Hardware-dependent Software for Multi- and Many-Core Embedded Systems. In: Proceedings of ASP-DAC’09. ; 2009.
LibreCat
2009 | Book Chapter | LibreCat-ID: 33809
Zabel H, Müller W, Gerstlauer A. Accurate RTOS Modelling and Analysis with SystemC. In: Ecker W, Müller W, Dömer R, eds. Hardware Dependent Software - Principles and Practice. Springer Verlag; 2009:233-260.
LibreCat
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems. 2008;12:261-292. doi:10.1007/s10617-008-9028-9
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. Journal on Multimodal User Interfaces. 2008;2(1):25-41. doi:10.1007/s12193-008-0003-3
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 33815
Großmann J, Fey I, Krupp A, Conrad M, Wewetzer C, Müller W. TestML – A Test Exchange Language for Model-based Testing of Embedded Software. In: Broy M, Krüger IH, Meisinger M, eds. ASWSD 2006: Model-Driven Development of Reliable Automotive Services. Springer Verlag; 2008:98-117. doi:10.1007/978-3-540-70930-5_7
LibreCat
| DOI
2008 | Book (Editor) | LibreCat-ID: 53583
Müller W, Wolfe J, eds. Proceedings of the 5th International DAC Workshop of UML for SoC Design.; 2008.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 53594
Wolfe J, Müller W, eds. Proceedings of the 4th DAC Workshop on UML for SOC Design .; 2008.
LibreCat