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
2009 | Book Chapter | LibreCat-ID: 33813
Zabel, H., Müller, W., & Gerstlauer, A. (2009). Accurate RTOS Modelling and Analysis with SystemC. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 233–260). Springer Verlag. https://doi.org/10.1007/978-1-4020-9436-1_9
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
Ecker, W., Müller, W., & Dömer, R. (2009). Hardware-dependent Software - Introduction and Overview. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 1–14). Springer Verlag. https://doi.org/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.). (2009). Hardware-dependent Software. Springer Netherlands. https://doi.org/10.1007/978-1-4020-9436-1
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, T., Xie, T., & Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090664
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, H., & Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090925
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz, K., Kuznik, C., Elfeky, A., & Müller, W. (2009). Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. Proceedings of IESS09. https://doi.org/10.1007/978-3-642-04284-3_20
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
Becker, M., Zabel, H., & Müller, W. (2009). Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37061
Krupp, A., & Müller, W. (2009). Systematic Model-in-the-Loop Test of Embedded Control Systems. Proceedings of IESS09.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
Doemer, R., Gerstlauer, A., & Müller, W. (2009). Hardware-dependent Software for Multi- and Many-Core Embedded Systems. Proceedings of ASP-DAC’09.
LibreCat
2009 | Book Chapter | LibreCat-ID: 33809
Zabel, H., Müller, W., & Gerstlauer, A. (2009). Accurate RTOS Modelling and Analysis with SystemC. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 233–260). Springer Verlag.
LibreCat
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren, Y., Müller, W., & Dahaene, W. (2008). UML for Electronic Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems, 12, 261–292. https://doi.org/10.1007/s10617-008-9028-9
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
Schäfer, R., & Müller, W. (2008). Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. Journal on Multimodal User Interfaces, 2(1), 25–41. https://doi.org/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. (2008). TestML – A Test Exchange Language for Model-based Testing of Embedded Software. In M. Broy, I. H. Krüger, & M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of Reliable Automotive Services (pp. 98–117). Springer Verlag. https://doi.org/10.1007/978-3-540-70930-5_7
LibreCat
| DOI
2008 | Book (Editor) | LibreCat-ID: 53583
Müller, W., & Wolfe, J. (Eds.). (2008). Proceedings of the 5th International DAC Workshop of UML for SoC Design.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 53594
Wolfe, J., & Müller, W. (Eds.). (2008). Proceedings of the 4th DAC Workshop on UML for SOC Design .
LibreCat
2008 | Conference Paper | LibreCat-ID: 37075
Zabel, H., & Müller, W. (2008). An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration (L. Kleinjohann & B. Kleinjohann, Eds.; Vol. 271). Springer Verlag. https://doi.org/10.1007/978-0-387-09661-2_18
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37072
Zabel, H., & Müller, W. (2008). Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In Ch. Scholl & S. Disch (Eds.), Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System. Shaker Verlag.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37076
Zabel, H., & Müller, W. (2007). Simulation mit abstrakten RTOS Modellen in SystemC (Vol. 6, Issue 4).
LibreCat
2007 | Conference Paper | LibreCat-ID: 37083
Krupp, A., & Müller, W. (2007). Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007).
LibreCat
2007 | Conference Paper | LibreCat-ID: 37080
Großmann, J., Fey, I., Conrad, M., Wewetzer, Ch., & Müller, W. (2007). TestML - A Test Exchange Language for Model-based Testing of Embedded Software. Proceedings of the Automotive Software Workshop ’06.
LibreCat