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


2010 | Book (Editor) | LibreCat-ID: 53582
S. Gerard, W. Müller, L. Rioux, and B. Selic, Eds., Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design. Dresden, Germany, 2010.
LibreCat
 

2009 | Book Chapter | LibreCat-ID: 33813
H. Zabel, W. Müller, and A. Gerstlauer, “Accurate RTOS Modelling and Analysis with SystemC,” in Hardware Dependent Software - Principles and Practice, W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp. 233–260.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 33814
W. Ecker, W. Müller, and R. Dömer, “Hardware-dependent Software - Introduction and Overview,” in Hardware Dependent Software - Principles and Practice, W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp. 1–14.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37067
T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based IP Management,” presented at the Design, Automation & Test in Europe Conference & Exhibition, 2009, doi: 10.1109/DATE.2009.5090664.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37066
H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,” presented at the Design, Automation & Test in Europe Conference & Exhibition, 2009, doi: 10.1109/DATE.2009.5090925.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37063
K. Klobedanz, C. Kuznik, A. Elfeky, and W. Müller, “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study,” 2009, doi: 10.1007/978-3-642-04284-3_20.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37064
M. Becker, H. Zabel, and W. Müller, “Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme,” presented at the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 37061
A. Krupp and W. Müller, “Systematic Model-in-the-Loop Test of Embedded Control Systems,” 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 37068
R. Doemer, A. Gerstlauer, and W. Müller, “Hardware-dependent Software for Multi- and Many-Core Embedded Systems,” 2009.
LibreCat
 

2009 | Book (Editor) | LibreCat-ID: 40119
W. Ecker, W. Müller, and R. Dömer, Eds., Hardware-dependent Software. Dordrecht: Springer Netherlands, 2009.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 34563
Y. Vanderperren, W. Müller, and W. Dahaene, “UML for Electronic Systems Design – A Comprehensive Overview,” Design Automation for Embedded Systems, vol. 12, pp. 261–292, 2008, doi: 10.1007/s10617-008-9028-9.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 34564
R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles,” Journal on Multimodal User Interfaces, vol. 2, no. 1, pp. 25–41, 2008, doi: 10.1007/s12193-008-0003-3.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 33815
J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, and W. Müller, “TestML – A Test Exchange Language for Model-based Testing of Embedded Software,” in ASWSD 2006: Model-Driven Development of Reliable Automotive Services, M. Broy, I. H. Krüger, and M. Meisinger, Eds. Berlin, Heidelberg: Springer Verlag, 2008, pp. 98–117.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 37075
H. Zabel and W. Müller, “An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration,” vol. 271. Springer Verlag, Dordrecht, 2008, doi: 10.1007/978-0-387-09661-2_18.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 37072
H. Zabel and W. Müller, “Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC,” in Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System, 2008.
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 53583
W. Müller and J. Wolfe, Eds., Proceedings of the 5th International DAC Workshop of UML for SoC Design. Anaheim, CA, USA, 2008.
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 53594
J. Wolfe and W. Müller, Eds., Proceedings of the 4th DAC Workshop on UML for SOC Design . Anaheim CA, USA, 2008.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 37076
H. Zabel and W. Müller, “Simulation mit abstrakten RTOS Modellen in SystemC,” vol. 6, no. 4. Paderborn, 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 37083
A. Krupp and W. Müller, “Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage,” 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 37080
J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, and W. Müller, “TestML - A Test Exchange Language for Model-based Testing of Embedded Software,” 2007.
LibreCat
 

Filters and Search Terms

(person=16243)

status=public

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed