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

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

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

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

Krupp, A., &; Müller, W. (2003). Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
LibreCat: /record/39360

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

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

Flake, S., &; Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark &; J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag.https://doi.org/10.1007/3-540-45669-4_8 
LibreCat: /record/34447
DOI: 10.1007/3-540-45669-4_8

Eikerling, H. J., Müller, W., &; Wegener, J. (2002). Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. It+ti, 128–136.
LibreCat: /record/34576

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

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

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

Flake, S., &; Müller, W. (2002). A UML Profile for Real-Time Constraints with the OCL. Proceedings of the UML 2002 - The Unified Modeling Language.
LibreCat: /record/39398

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

Müller, W., Dömer, R., &; Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISS.https://doi.org/10.1145/581199.581234  
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

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

Flake, S., &; Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA .https://doi.org/10.1109/HICSS.2002.994469 
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

Flake, S., &; Müller, W. (2002). Temporale Erweiterungen der OCL - Überblick und Aussichten.
LibreCat: /record/39402

Flake, S., Geiger, C., Müller, W., &; Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.https://doi.org/10.1109/ENABL.2001.953425 
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425

Bauer, M., Eikerling, H.-J., Müller, W., Pawlak, A., Siekierska, K., Soderberg, D., &; Warzee, X. (2001). Advanced Infrastructure for PAN-European Collaborative Engineering.
LibreCat: /record/39407