Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: Proceedings of SERP’03. ; 2003.

Schattkowsky T, Müller W. Distributed Engineering Environment for the Design of Electronic Systems. In: Proceedings of CCE’03. ; 2003.

Flake S, Müller W. Semantics of State-Oriented Expressions in the Object Constraint Language. In: Proceedings of SEKE 2003. ; 2003.

Wang J, Müller W. SmartCard for Secure Collaborative Engineering. In: Proceedings of CCE’03. ; 2003.

Krupp A, Müller W. Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. Published online 2003.

Krupp A, Müller W. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Proceedings of FDL’03. ; 2003.

Flake S, Müller W. Formal Semantics of OCL Messages. In: Proceedings of the Workshop OCL 2.0 at UML 2003. ; 2003.

Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. Advances in Object Modelling with the OCL. Springer-Verlag; 2002:150-171. doi:10.1007/3-540-45669-4_8

Eikerling HJ, Müller W, Wegener J. Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. it+ti. Published online 2002:128-136.

Schäfer R, Dangberg A, Müller W. RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. In: Proceedings of the VHE Workshop. ; 2002.

Loeser C, Altenbernd P, Ditze M, Müller W. Distributed Video-on-Demand Services on Peer to Peer Basis. In: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002). ; 2002.

Schäfer R, Müller W, Dangberg A. Fuzzy Rules for the Transcoding of HTML Files. In: Proceedings of the HICSS-35. ; 2002.

Flake S, Müller W. A UML Profile for Real-Time Constraints with the OCL. In: Proceedings of the UML 2002 - The Unified Modeling Language. Springer-Verlag; 2002.

Dangelmeier W, Darnedde C, Flake S, Müller W, Pape U. Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. Published online 2002.

Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC. In: Proceedings of the ISS. ; 2002. doi:10.1145/581199.581234 

Plomp J, Schäfer R, Müller W. Comparing Transcoding Tools for Use with a Generic User Interface Format. In: Proceedings of the Extreme Markup Languages 2002. ; 2002.

Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469

Flake S, Müller W. Temporale Erweiterungen der OCL - Überblick und Aussichten. Published online 2002.

Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425

Bauer M, Eikerling H-J, Müller W, et al. Advanced Infrastructure for PAN-European Collaborative Engineering. Published online 2001.