@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 
LibreCat: /record/37042

@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 
LibreCat: /record/37043

@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 
LibreCat: /record/37050
DOI: 10.1007/978-94-007-1488-5_9

@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 
LibreCat: /record/37048
DOI: 10.1007/978-3-642-15234-4_9

@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 
LibreCat: /record/37049

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

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

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

@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 
LibreCat: /record/37053

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

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

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

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

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

@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 
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

@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 
LibreCat: /record/37063
DOI: 10.1007/978-3-642-04284-3_20

@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 
LibreCat: /record/37064

@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 
LibreCat: /record/37061

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

@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 
LibreCat: /record/40119
DOI: 10.1007/978-1-4020-9436-1