S. Flake and W. Müller, “Temporale Erweiterungen der OCL - Überblick und Aussichten.” Halle(Saale), Germany, 2002.

U. Bücker, H. J. Eikerling, and W. Müller, Eds., Proceedings of the VHE Workshop. Paderborn, Germany, 2002.

S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,”10.1109/ENABL.2001.953425__presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi:10.1109/ENABL.2001.953425 .

M. Bauer et al., “Advanced Infrastructure for PAN-European Collaborative Engineering.” Venice, Italy, 2001.

W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,”10.1109/DATE.2001.915002__presented at the10.1109/DATE.2001.915002__Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi:10.1109/DATE.2001.915002 .

S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the Analysis of flexible Manufacturing Systems,” 2001.

W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping of Mobile Evolving Agents,”10.1109/HICSS.2001.926319__2001, doi:10.1109/HICSS.2001.926319 .

G. Lehrenfeld, W. Müller, and R. Tellmann, “Security Concepts for Agent-Based Systems,” 2001.

S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.” Berlin, 2001.

A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for Resource Management,” 2001.

S. Flake, W. Müller, U. Pape, and J. Ruf, “Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.” Siegen, 2000.

A. Braatz, S. Flake, W. Müller, and E. Westkämper, “Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.” Magdeburg, Germany, 2000.

S. Flake, W. Müller, and J. Ruf, “Structured English for Model Checking Specification.” Frankfurt, 2000.

W. Müller, A. Meyer, and H. Zabel, “A Visual Framework for the Scripting of Parallel Agents,” 2000.

P. C. P. Bhatt and W. Müller, “A Methodology for the Protocol-Centered Design of Agent-Based Systems,” 2000.

P. C. P. Bhatt and W. Müller, “Morphic Nets: Model Based Design Diagrams,” 2000.

S. Flake, W. Müller, and J. Ruf, “An Advanced Visual Capture for Model Checking Specifications,” 2000.

A. Dangberg and W. Müller, “Verfahren zur Steuerung der Anordnung von graphischen Elementen.” 2000.

C. Geiger, G. Lehrenfeld, and W. Müller, “Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.” Magdeburg, Germany, 1999.

M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,”10.1109/HICSS.1999.773046__presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi:10.1109/HICSS.1999.773046 .