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

Bücker, U., Eikerling, H. J., &; Müller, W. (Eds.). (2002). Proceedings of the VHE Workshop.
LibreCat: /record/53586

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

Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., &; Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design, Automation, and Test in Europe (DATE’01).https://doi.org/10.1109/DATE.2001.915002__Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.https://doi.org/10.1109/DATE.2001.915002 
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002

Flake, S., Müller, W., Pape, U., &; Ruf, J. (2001). Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. Proceedings of ISI 2001.
LibreCat: /record/39427

Müller, W., Meyer, A., &; Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. Proceedings of the 34th Annual Hawaii International Conference on System Sciences.https://doi.org/10.1109/HICSS.2001.926319 
LibreCat: /record/39432
DOI: 10.1109/HICSS.2001.926319

Lehrenfeld, G., Müller, W., &; Tellmann, R. (2001). Security Concepts for Agent-Based Systems. Proceedings of SCASE 01.
LibreCat: /record/39431

Flake, S., &; Müller, W. (2001). Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.
LibreCat: /record/39406

Dangberg, A., &; Müller, W. (2001). Generation of Interactive Visual Interfaces for Resource Management. Proceedings of ISI 2001.
LibreCat: /record/39425

Flake, S., Müller, W., Pape, U., &; Ruf, J. (2000). Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.
LibreCat: /record/39434

Braatz, A., Flake, S., Müller, W., &; Westkämper, E. (2000). Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.
LibreCat: /record/39444

Flake, S., Müller, W., &; Ruf, J. (2000). Structured English for Model Checking Specification.
LibreCat: /record/39461

Müller, W., Meyer, A., &; Zabel, H. (2000). A Visual Framework for the Scripting of Parallel Agents. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat: /record/39435

Bhatt, P. C. P., &; Müller, W. (2000). A Methodology for the Protocol-Centered Design of Agent-Based Systems. Proceedings of IECON 2000.
LibreCat: /record/39439

Bhatt, P. C. P., &; Müller, W. (2000). Morphic Nets: Model Based Design Diagrams. Proceedings of UKPEW 2000.
LibreCat: /record/39442

Flake, S., Müller, W., &; Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. Proceedings of AVI 2000.
LibreCat: /record/39464

Dangberg, A., &; Müller, W. (2000). Verfahren zur Steuerung der Anordnung von graphischen Elementen.
LibreCat: /record/53588

Geiger, C., Lehrenfeld, G., &; Müller, W. (1999). Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.
LibreCat: /record/39481

Dücker, M., Müller, W., &; Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. https://doi.org/10.1109/HICSS.1999.773046__Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA .https://doi.org/10.1109/HICSS.1999.773046 
LibreCat: /record/39488
DOI: 10.1109/HICSS.1999.773046