J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,”10.1109/ISoLA.2006.37__Paphos, Cyprus, 2006, doi:10.1109/ISoLA.2006.37 .
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

R. Enzler, C. Plessl, and M. Platzner, “System-level performance evaluation of reconfigurable processors,” Microprocessors and Microsystems, vol. 29, no. 2–3, pp. 63–73, 2005.
LibreCat: /record/2412
DOI: 10.1016/j.micpro.2004.06.004

T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.
LibreCat: /record/39030

T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,”10.1109/VLHCC.2005.64__2005, doi:10.1109/VLHCC.2005.64 .
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,”10.1109/DATE.2004.1269214__presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi:10.1109/DATE.2004.1269214 .
LibreCat: /record/39061
DOI: 10.1109/DATE.2004.1269214

R. Enzler, C. Plessl, and M. Platzner, “Co-simulation of a Hybrid Multi-Context Architecture,” in Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 2003, pp. 174–180.
LibreCat: /record/2422

S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,”10.1109/ENABL.2001.953425__presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi:10.1109/ENABL.2001.953425 .
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425

W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,”10.1109/DATE.2001.915002__presented at the10.1109/DATE.2001.915002__Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi:10.1109/DATE.2001.915002 .
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002

C. Plessl and S. Maurer, Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
LibreCat: /record/2433

C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,”10.1109/HICSS.1999.772621__presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi:10.1109/HICSS.1999.772621 .
LibreCat: /record/39487
DOI: 10.1109/HICSS.1999.772621