Guideline for the dependability-oriented design of self-optimizing systems
C. Sondermann-Wölke, T. Hemsel, W. Sextro, J. Gausemeier, S. Pook, in: Industrial Informatics (INDIN), 2010 8th IEEE International Conference On, 2010, pp. 739–744.

RTOS-Aware Refinement for TLM2.0-based HW/SW Design
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.

A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.

Work roll cooling system design optimisation in presence of uncertainty and constrains
Y.T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, H. Trautmann, CIRP Journal of Manufacturing Science and Technology 2 (2010) 290–298.

Design and modeling of a domain ontology for fire protection
J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski, C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, Seattle, WA, 2010.

UML for Electronic Systems Design – A Comprehensive Overview
Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292.

Assessment of a Multimodal Interaction and Rendering System against Established Design Principles
R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.

The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis
G. Schryen, Computers &; Security 2 (2007) 361–372.

MOVES: A Modular Framework for Hardware Evolution
P. Kaufmann, M. Platzner, in: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), IEEE, 2007, pp. 447–454.

Model based design of piezoelectric generators utilizing geometrical and material properties
B. Richter, J. Twiefel, T. Hemsel, J. Wallaschek, in: ASME 2006 International Mechanical Engineering Congress and Exposition, Chicago, Illinois, USA, 2006.

A Formal Behavioral Semantics for TestML
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.

System-level performance evaluation of reconfigurable processors
R. Enzler, C. Plessl, M. Platzner, Microprocessors and Microsystems 29 (2005) 63–73.

A UML Virtual Machine for Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.

Transformation of UML State Machines for Direct Execution
T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.

Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.

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

Customer-Oriented Systems Design through Virtual Prototyps
S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.

The Simulation Semantics of SystemC
W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.

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

Visual Specification, Modeling, and Illustrations of Complex Systems
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.