Flake, Stephan, and Wolfgang Müller. “Temporale Erweiterungen Der OCL - Überblick Und Aussichten.” Tagungsband: 2. Workshop “Ablaufmodellierung in Ingenieurwissenschaftlichen Anwendungen.” Halle(Saale), Germany, 2002.
LibreCat: /record/39402

Bücker, Ulrich, Heinz Josef Eikerling, and Wolfgang Müller, eds. Proceedings of the VHE Workshop. Paderborn, Germany, 2002.
LibreCat: /record/53586

Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.”https://doi.org/10.1109/ENABL.2001.953425__In Proceedings of IEEE KMN 2001. Cambridge, MA, USA , 2001.https://doi.org/10.1109/ENABL.2001.953425 .
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425

Bauer, M., Heinz-Josef Eikerling, Wolfgang Müller, A. Pawlak, K. Siekierska, D. Soderberg, and X. Warzee. “Advanced Infrastructure for PAN-European Collaborative Engineering.” The E-Business and e-Work Conference and Exhibition. Venice, Italy, 2001.
LibreCat: /record/39407

Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.”https://doi.org/10.1109/DATE.2001.915002__In Proceedings of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany : IEEE, 2001.https://doi.org/10.1109/DATE.2001.915002 .
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002

Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” In Proceedings of ISI 2001. Dubai, 2001.
LibreCat: /record/39427

Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid Prototyping of Mobile Evolving Agents.”https://doi.org/10.1109/HICSS.2001.926319__In Proceedings of the 34th Annual Hawaii International Conference on System Sciences. Maui, HI, USA , 2001.https://doi.org/10.1109/HICSS.2001.926319 .
LibreCat: /record/39432
DOI: 10.1109/HICSS.2001.926319

Lehrenfeld, Georg, Wolfgang Müller, and Rainer Tellmann. “Security Concepts for Agent-Based Systems.” In Proceedings of SCASE 01. Enschede, Netherlands, 2001.
LibreCat: /record/39431

Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001.
LibreCat: /record/39406

Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” In Proceedings of ISI 2001. Dubai, 2001.
LibreCat: /record/39425

Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen.” Mobis 2000. Siegen, 2000.
LibreCat: /record/39434

Braatz, A., Stephan Flake, Wolfgang Müller, and E. Westkämper. “Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung.” Simulation Und Visualisierung 2000. Magdeburg, Germany, 2000.
LibreCat: /record/39444

Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “Structured English for Model Checking Specification.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. Frankfurt, 2000.
LibreCat: /record/39461

Müller, Wolfgang, Arne Meyer, and Henning Zabel. “A Visual Framework for the Scripting of Parallel Agents.” In Proceedings of the IEEE Symposium on Visual Languages. Seattle, Washington, USA, 2000.
LibreCat: /record/39435

Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” In Proceedings of IECON 2000. Nagoya, Japan, 2000.
LibreCat: /record/39439

Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” In Proceedings of UKPEW 2000. Durham, UK, 2000.
LibreCat: /record/39442

Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “An Advanced Visual Capture for Model Checking Specifications.” In Proceedings of AVI 2000. Palermo, Italy, 2000.
LibreCat: /record/39464

Dangberg, Andreas, and Wolfgang Müller. “Verfahren Zur Steuerung Der Anordnung von Graphischen Elementen,” 2000.
LibreCat: /record/53588

Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Virtuelles Prototyping Einer Robotersteuerung Durch Interaktive 3D-Simulation.” Simulation Und Visualisierung. Magdeburg, Germany, 1999.
LibreCat: /record/39481

Dücker, M., Wolfgang Müller, and Jessica Rubart. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.”https://doi.org/10.1109/HICSS.1999.773046__In https://doi.org/10.1109/HICSS.1999.773046__Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Maui, HI, USA , 1999.https://doi.org/10.1109/HICSS.1999.773046 .
LibreCat: /record/39488
DOI: 10.1109/HICSS.1999.773046