Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.”https://doi.org/10.1109/ISoLA.2006.37__In Proc. of ISOLA 06. Paphos, Cyprus, 2006.https://doi.org/10.1109/ISoLA.2006.37 .
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

Enzler, Rolf, Christian Plessl, and Marco Platzner. “System-Level Performance Evaluation of Reconfigurable Processors.”https://doi.org/10.1016/j.micpro.2004.06.004__Microprocessors and Microsystems 29, no. 2–3 (2005): 63–73.https://doi.org/10.1016/j.micpro.2004.06.004 .
LibreCat: /record/2412
DOI: 10.1016/j.micpro.2004.06.004

Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” In Proceedings of ISNG 05. Las Vegas, NV, 2005.
LibreCat: /record/39030

Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.”https://doi.org/10.1109/VLHCC.2005.64__In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005.https://doi.org/10.1109/VLHCC.2005.64 .
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.”https://doi.org/10.1109/DATE.2004.1269214__In Proceedings of DATE’04 Designers’ Forum. Paris, 2004.https://doi.org/10.1109/DATE.2004.1269214 .
LibreCat: /record/39061
DOI: 10.1109/DATE.2004.1269214

Enzler, Rolf, Christian Plessl, and Marco Platzner. “Co-Simulation of a Hybrid Multi-Context Architecture.” In Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 174–80. CSREA Press, 2003.
LibreCat: /record/2422

Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.”https://doi.org/10.1109/ENABL.2001.953425__In Proceedings of IEEE KMN 2001. Cambridge, MA, USA , 2001.https://doi.org/10.1109/ENABL.2001.953425 .
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425

Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.”https://doi.org/10.1109/DATE.2001.915002__In Proceedings of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany : IEEE, 2001.https://doi.org/10.1109/DATE.2001.915002 .
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002

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

Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.”https://doi.org/10.1109/HICSS.1999.772621__In Proceedings of HICSS-32. Maui, Hawaii, 1999.https://doi.org/10.1109/HICSS.1999.772621 .
LibreCat: /record/39487
DOI: 10.1109/HICSS.1999.772621