A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
LibreCat: /record/37042

Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.
LibreCat: /record/37043

The SATURN Approach to SysML-based HW/SW Codesign
W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil, E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010.
LibreCat: /record/37050
DOI: 10.1007/978-94-007-1488-5_9

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat: /record/37048
DOI: 10.1007/978-3-642-15234-4_9

Mutation-Analysis Directed Constrained Random Verification
T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat: /record/37049

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: /record/37051

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: /record/37057
DOI: 10.1109/SIES.2010.5551379

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: /record/37056
DOI: 10.1109/SIES.2010.5551384

Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLD, IEEE, 2010.
LibreCat: /record/37053

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: /record/37060

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: /record/53582

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: /record/33813
DOI: 10.1007/978-1-4020-9436-1_9

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: /record/33814
DOI: 10.1007/978-1-4020-9436-1_1

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: /record/37067
DOI: 10.1109/DATE.2009.5090664

Increased Accuracy through Noise Injection in Abstract RTOS Simulation
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

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 IES, Springer Verlag, 2009.
LibreCat: /record/37063
DOI: 10.1007/978-3-642-04284-3_20

Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme
M. Becker, H. Zabel, W. Müller, in: 2009.
LibreCat: /record/37064

Systematic Model-in-the-Loop Test of Embedded Control Systems
A. Krupp, W. Müller, in: Proceedings of IES, Friedrichshafen, 2009.
LibreCat: /record/37061

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: /record/37068

Hardware-dependent Software
W. Ecker, W. Müller, R. Dömer, eds., Hardware-Dependent Software, Springer Netherlands, Dordrecht, 2009.
LibreCat: /record/40119
DOI: 10.1007/978-1-4020-9436-1