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 | Conference Paper | LibreCat-ID: 37051
An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs
T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.
LibreCat
T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.
2010 | Conference Paper | LibreCat-ID: 37057
Verification of a CAN Bus Model in SystemC with Functional Coverage
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
LibreCat
| DOI
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
2010 | Conference Paper | LibreCat-ID: 37056
Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.
LibreCat
| DOI
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.
2010 | Conference Paper | LibreCat-ID: 37053
Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
2010 | Conference Paper | LibreCat-ID: 37060
Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration
M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES 2010, Antwerp, Belgium, 2010.
LibreCat
M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES 2010, Antwerp, Belgium, 2010.
2010 | Book (Editor) | LibreCat-ID: 53582
Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design
S. Gerard, W. Müller, L. Rioux, B. Selic, eds., Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design, Dresden, Germany, 2010.
LibreCat
S. Gerard, W. Müller, L. Rioux, B. Selic, eds., Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design, Dresden, Germany, 2010.
2009 | Book Chapter | LibreCat-ID: 33813
Accurate RTOS Modelling and Analysis with SystemC
H. Zabel, W. Müller, A. Gerstlauer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 233–260.
LibreCat
| DOI
H. Zabel, W. Müller, A. Gerstlauer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 233–260.
2009 | Book Chapter | LibreCat-ID: 33814
Hardware-dependent Software - Introduction and Overview
W. Ecker, W. Müller, R. Dömer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 1–14.
LibreCat
| DOI
W. Ecker, W. Müller, R. Dömer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 1–14.
2009 | Conference Paper | LibreCat-ID: 37067
A UML Frontend for IP-XACT-based IP Management
T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.
LibreCat
| DOI
T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.
2009 | Conference Paper | LibreCat-ID: 37066
Increased Accuracy through Noise Injection in Abstract RTOS Simulation
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
LibreCat
| DOI
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
2009 | Conference Paper | LibreCat-ID: 37063
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study
K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IESS09, Springer Verlag, 2009.
LibreCat
| DOI
K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IESS09, Springer Verlag, 2009.
2009 | Conference Paper | LibreCat-ID: 37064
Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme
M. Becker, H. Zabel, W. Müller, in: 2009.
LibreCat
M. Becker, H. Zabel, W. Müller, in: 2009.
2009 | Conference Paper | LibreCat-ID: 37061
Systematic Model-in-the-Loop Test of Embedded Control Systems
A. Krupp, W. Müller, in: Proceedings of IESS09, Friedrichshafen, 2009.
LibreCat
A. Krupp, W. Müller, in: Proceedings of IESS09, Friedrichshafen, 2009.
2009 | Conference Paper | LibreCat-ID: 37068
Hardware-dependent Software for Multi- and Many-Core Embedded Systems
R. Doemer, A. Gerstlauer, W. Müller, in: Proceedings of ASP-DAC’09, Yokohama, Japan, 2009.
LibreCat
R. Doemer, A. Gerstlauer, W. Müller, in: Proceedings of ASP-DAC’09, Yokohama, Japan, 2009.
2009 | Book (Editor) | LibreCat-ID: 40119
Hardware-dependent Software
W. Ecker, W. Müller, R. Dömer, eds., Hardware-Dependent Software, Springer Netherlands, Dordrecht, 2009.
LibreCat
| DOI
W. Ecker, W. Müller, R. Dömer, eds., Hardware-Dependent Software, Springer Netherlands, Dordrecht, 2009.
2008 | Journal Article | LibreCat-ID: 34563
UML for Electronic Systems Design – A Comprehensive Overview
Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292.
LibreCat
| DOI
Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292.
2008 | Journal Article | LibreCat-ID: 34564
Assessment of a Multimodal Interaction and Rendering System against Established Design Principles
R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.
LibreCat
| DOI
R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.
2008 | Book Chapter | LibreCat-ID: 33815
TestML – A Test Exchange Language for Model-based Testing of Embedded Software
J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, W. Müller, in: M. Broy, I.H. Krüger, M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of Reliable Automotive Services, Springer Verlag, Berlin, Heidelberg, 2008, pp. 98–117.
LibreCat
| DOI
J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, W. Müller, in: M. Broy, I.H. Krüger, M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of Reliable Automotive Services, Springer Verlag, Berlin, Heidelberg, 2008, pp. 98–117.
2008 | Conference Paper | LibreCat-ID: 37075
An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration
H. Zabel, W. Müller, 271 (2008).
LibreCat
| DOI
H. Zabel, W. Müller, 271 (2008).
2008 | Conference Paper | LibreCat-ID: 37072
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC
H. Zabel, W. Müller, in: Ch. Scholl, S. Disch (Eds.), Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, Shaker Verlag, Aachen, 2008.
LibreCat
H. Zabel, W. Müller, in: Ch. Scholl, S. Disch (Eds.), Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, Shaker Verlag, Aachen, 2008.