Loeser, Chris, Peter Altenbernd, Michael Ditze, and Wolfgang Müller. “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.

Schäfer, Robbie, Wolfgang Müller, and Andreas Dangberg. “Fuzzy Rules for the Transcoding of HTML Files.” In Proceedings of the HICSS-35. Hawaii, USA, 2002.

Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” In Proceedings of the UML 2002 - The Unified Modeling Language. Dresden, Germany: Springer-Verlag, 2002.

Dangelmeier, Wilhelm, C. Darnedde, Stephan Flake, Wolfgang Müller, and U. Pape. “Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Tagungsband: 4. Paderborner Frühlingstagung. Paderborn, Germany, 2002.

Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.”https://doi.org/10.1145/581199.581234 __In Proceedings of the ISS. Nagoya, Japan, 2002.https://doi.org/10.1145/581199.581234  .

Plomp, Johan, Robbie Schäfer, and Wolfgang Müller. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” In Proceedings of the Extreme Markup Languages 2002. Montreal, Canada, 2002.

Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.”https://doi.org/10.1109/HICSS.2002.994469__In Proceedings of HICSS-35. Big Island, HI, USA , 2002.https://doi.org/10.1109/HICSS.2002.994469 .

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

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 .

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.

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 .

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.

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 .

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

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

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

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

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.

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.

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.