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

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

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

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

Krupp A, Müller W. Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. Published online 2003.
LibreCat: /record/39360

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

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

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
LibreCat: /record/34447
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.
LibreCat: /record/34576

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.
LibreCat: /record/39371

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.
LibreCat: /record/39370

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

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.
LibreCat: /record/39398

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

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 
LibreCat: /record/39382
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.
LibreCat: /record/39387

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
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

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

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
LibreCat: /record/39411
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.
LibreCat: /record/39407