@inproceedingsGroßmann_Müller_2006, place=Paphos, Cyprus, title=A Formal Behavioral Semantics for TestML, DOI=10.1109/ISoLA.2006.37, booktitle=Proc. of ISOLA 06, author=Großmann, Jürgen and Müller, Wolfgang, year=2006 

@articleEnzler_Plessl_Platzner_2005, title=System-level performance evaluation of reconfigurable processors, volume=29, DOI=10.1016/j.micpro.2004.06.004, number=2–3, journal=Microprocessors and Microsystems, publisher=Elsevier, author=Enzler, Rolf and Plessl, Christian and Platzner, Marco, year=2005, pages=63–73 

@inproceedingsSchattkowsky_Müller_2005, place=Las Vegas, NV, title=A UML Virtual Machine for Embedded Systems, booktitle=Proceedings of ISNG 05, author=Schattkowsky, Tim and Müller, Wolfgang, year=2005 

@inproceedingsSchattkowsky_Müller_2005, place=Dallas, TX, USA, title=Transformation of UML State Machines for Direct Execution, DOI=10.1109/VLHCC.2005.64, booktitle=Proceedings of VL/HCC 05, author=Schattkowsky, Tim and Müller, Wolfgang, year=2005 

@inproceedingsKrupp_Müller_Oliver_2004, place=Paris, title=Formal Refinement and Model Checking of An Echo Cancellation Unit, DOI=10.1109/DATE.2004.1269214, booktitle=Proceedings of DATE’04 Designers’ Forum, author=Krupp, Alexander and Müller, Wolfgang and Oliver, Ian, year=2004 

@inproceedingsEnzler_Plessl_Platzner_2003, title=Co-simulation of a Hybrid Multi-Context Architecture, booktitle=Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), publisher=CSREA Press, author=Enzler, Rolf and Plessl, Christian and Platzner, Marco, year=2003, pages=174–180 

@inproceedingsFlake_Geiger_Müller_Ruf_2001, place=Cambridge, MA, USA , title=Customer-Oriented Systems Design through Virtual Prototyps, DOI=10.1109/ENABL.2001.953425, booktitle=Proceedings of IEEE KMN 2001, author=Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen, year=2001 

@inproceedingsMüller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place=Munich, Germany , title=The Simulation Semantics of SystemC, DOI=10.1109/DATE.2001.915002, booktitle=Proceedings of the Design, Automation, and Test in Europe (DATE’01), publisher=IEEE, author=Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W., year=2001 

@bookPlessl_Maurer_2000, title=Hardware/Software Codesign in Speech Compression Applications, publisher=Computer Engineering and Networks Lab, ETH Zurich, Switzerland, author=Plessl, Christian and Maurer, Simon, year=2000 

@inproceedingsGeiger_Lehrenfeld_Müller_1999, place=Maui, Hawaii, title=Visual Specification, Modeling, and Illustrations of Complex Systems, DOI=10.1109/HICSS.1999.772621, booktitle=Proceedings of HICSS-32, author=Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang, year=1999