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, G. B., Müller, W., & Kerstan, T. (2010). Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES). https://doi.org/10.1109/SIES.2010.5551384
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, W., da S. Oliveira, M. F., Zabel, H., & Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLDVT2010. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, M. F. S., do Nascimento, F. A. M., & Müller, W. (2010). Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. Proceedings of MoMPES 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37039
Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., & Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37047
Müller, W., Bol, A., Krupp, A., & Lundkvist, O. (2010). Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_9
LibreCat
| DOI
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