@inproceedingsMischkalla_Müller_He_2010, place=Dresden, title=A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis, booktitle=Proceedings of the M-BED Workshop, author=Mischkalla, Fabian and Müller, Wolfgang and He, Da, year=2010 

@inproceedingsBol_Müller_Krupp_2010, place=Dresden, title=Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen, booktitle=Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), author=Bol, Alexander and Müller, Wolfgang and Krupp, Alexander, year=2010 

@inproceedingsMüller_He_Mischkalla_Wegele_Larkham_Whiston_Penil_Villar_Mitas_Kritharidis_et al._2010, series=Lecture Notes in Electrical Engineering, title=The SATURN Approach to SysML-based HW/SW Codesign, DOI=10.1007/978-94-007-1488-5_9, booktitle=Proceedings of the IEEE Computer Society Annual Symposium on VLSI, author=Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and Mitas, Nikolaos and Kritharidis, Dimitros and et al., year=2010, collection=Lecture Notes in Electrical Engineering 

@inproceedingsMüller_Bol_Krupp_Lundkvist_2010, place=Dordrecht, title=Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems, DOI=10.1007/978-3-642-15234-4_9, publisher=Springer Verlag, author=Müller, Wolfgang and Bol, Alexander and Krupp, Alexander and Lundkvist, Ola, editor=Kleinjohann, L. and Kleinjohann, B., year=2010 

@inproceedingsXie_Letombe_Müller_2010, place=Dordrecht, title=Mutation-Analysis Directed Constrained Random Verification, publisher=Springer Verlag, author=Xie, Tao and Letombe, Florian and Müller, Wolfgang, editor=Kleinjohann, L. and Kleinjohann, B., year=2010 

@inproceedingsXie_Defo_Müller_2010, place=Paris, title=An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs, author=Xie, Tao and Defo, Gilles B. and Müller, Wolfgang, year=2010 

@inproceedingsDefo_Müller_Kuznik_2010, place= Trento, Italy, title=Verification of a CAN Bus Model in SystemC with Functional Coverage, DOI=10.1109/SIES.2010.5551379, booktitle=Proceedings of SIES 2010, publisher=IEEE, author=Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph, year=2010 

@inproceedingsKlobedanz_Defo_Müller_Kerstan_2010, place=Trento, Italien, title=Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks, DOI=10.1109/SIES.2010.5551384, booktitle=Proceedings of SIES 2010, author=Klobedanz, Kay and Defo, Gilles B. and Müller, Wolfgang and Kerstan, Timo, year=2010 

@inproceedingsMüller_da S. Oliveira_Zabel_Becker_2010, title=Verification of Real-Time Properties for Hardware-Dependant Software, booktitle=Proceedings of HLD, publisher=IEEE, author=Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus, year=2010 

@inproceedingsOliveira_do Nascimento_Müller_2010, place=Antwerp, Belgium, title=Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration, booktitle=Proceedings of MoMPES 2010, author=Oliveira, Marcio F. S. and do Nascimento, Francisco Assis M. and Müller, Wolfgang, year=2010 

@bookGerard_Müller_Rioux_Selic_2010, place=Dresden, Germany, title=Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design, year=2010 

@inbookZabel_Müller_Gerstlauer_2009, place=Dordrecht, title=Accurate RTOS Modelling and Analysis with SystemC, DOI=10.1007/978-1-4020-9436-1_9, booktitle=Hardware Dependent Software - Principles and Practice, publisher=Springer Verlag, author=Zabel, Henning and Müller, Wolfgang and Gerstlauer, Andreas, editor=Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer, year=2009, pages=233–260 

@inbookEcker_Müller_Dömer_2009, place=Dordrecht, title=Hardware-dependent Software - Introduction and Overview, DOI=10.1007/978-1-4020-9436-1_1, booktitle=Hardware Dependent Software - Principles and Practice, publisher=Springer Verlag, author=Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer, editor=Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer, year=2009, pages=1–14 

@inproceedingsSchattkowsky_Xie_Müller_2009, place=Nice, France, title=A UML Frontend for IP-XACT-based IP Management, DOI=10.1109/DATE.2009.5090664, booktitle=Proceedings of DATE’09, publisher=IEEE, author=Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang, year=2009 

@inproceedingsZabel_Müller_2009, place=Nice, France, title=Increased Accuracy through Noise Injection in Abstract RTOS Simulation, DOI=10.1109/DATE.2009.5090925, booktitle=Proceedings of DATE’09, author=Zabel, Henning and Müller, Wolfgang, year=2009 

@inproceedingsKlobedanz_Kuznik_Elfeky_Müller_2009, title=Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study, DOI=10.1007/978-3-642-04284-3_20, booktitle=Proceedings of IES, publisher=Springer Verlag, author=Klobedanz, Kay and Kuznik, Christoph and Elfeky, Ahmed and Müller, Wolfgang, year=2009 

@inproceedingsBecker_Zabel_Müller_2009, title=Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme, author=Becker, Markus and Zabel, Henning and Müller, Wolfgang, year=2009 

@inproceedingsKrupp_Müller_2009, place=Friedrichshafen, title=Systematic Model-in-the-Loop Test of Embedded Control Systems, booktitle=Proceedings of IES, author=Krupp, Alexander and Müller, Wolfgang, year=2009 

@inproceedingsDoemer_Gerstlauer_Müller_2009, place=Yokohama, Japan, title=Hardware-dependent Software for Multi- and Many-Core Embedded Systems, booktitle=Proceedings of ASP-DAC’09, author=Doemer, R.  and Gerstlauer, A. and Müller, Wolfgang, year=2009 

@bookEcker_Müller_Dömer_2009, place=Dordrecht, title=Hardware-dependent Software, DOI=10.1007/978-1-4020-9436-1, publisher=Springer Netherlands, year=2009