@articleFlake_Müller_2002, place=Halle(Saale), Germany, series=Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”, title=Temporale Erweiterungen der OCL - Überblick und Aussichten, author=Flake, Stephan and Müller, Wolfgang, year=2002, collection=Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen” 

@bookBücker_Eikerling_Müller_2002, place=Paderborn, Germany, title=Proceedings of the VHE Workshop, year=2002 

@inproceedingsFlake_Geiger_Müller_Ruf_2001, place=Cambridge, MA, USA , title=Customer-Oriented Systems Design through Virtual Prototyps, DOI=10.1109/ENABL.2001.953425, booktitle=Proceedings of IEEE KMN 2001, author=Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen, year=2001 

@articleBauer_Eikerling_Müller_Pawlak_Siekierska_Soderberg_Warzee_2001, place=Venice, Italy, series=The e-Business and e-Work Conference and Exhibition, title=Advanced Infrastructure for PAN-European Collaborative Engineering, author=Bauer, M. and Eikerling, Heinz-Josef and Müller, Wolfgang and Pawlak, A. and Siekierska, K. and Soderberg, D. and Warzee, X., year=2001, collection=The e-Business and e-Work Conference and Exhibition 

@inproceedingsMüller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place=Munich, Germany , title=The Simulation Semantics of SystemC, DOI=10.1109/DATE.2001.915002, booktitle=Proceedings of the Design, Automation, and Test in Europe (DATE’01), publisher=IEEE, author=Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W., year=2001 

@inproceedingsFlake_Müller_Pape_Ruf_2001, place=Dubai, title=Real-Time Model Checking for the Analysis of flexible Manufacturing Systems, booktitle=Proceedings of ISI 2001, author=Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf, Jürgen, year=2001 

@inproceedingsMüller_Meyer_Zabel_2001, place=Maui, HI, USA , title=A Language for the Rapid Prototyping of Mobile Evolving Agents, DOI=10.1109/HICSS.2001.926319, booktitle=Proceedings of the 34th Annual Hawaii International Conference on System Sciences, author=Müller, Wolfgang and Meyer, A. and Zabel, Henning, year=2001 

@inproceedingsLehrenfeld_Müller_Tellmann_2001, place=Enschede, Netherlands, title=Security Concepts for Agent-Based Systems, booktitle=Proceedings of SCASE 01, author=Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer, year=2001 

@articleFlake_Müller_2001, place=Berlin, series=Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen, title=Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie, author=Flake, Stephan and Müller, Wolfgang, year=2001, collection=Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen 

@inproceedingsDangberg_Müller_2001, place=Dubai, title=Generation of Interactive Visual Interfaces for Resource Management, booktitle=Proceedings of ISI 2001, author=Dangberg, Andreas and Müller, Wolfgang, year=2001 

@articleFlake_Müller_Pape_Ruf_2000, place=Siegen, series=Mobis 2000, title=Modellprüfung für den Entwurf von Fertigungssteuerungssystemen, author=Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen, year=2000, collection=Mobis 2000 

@articleBraatz_Flake_Müller_Westkämper_2000, place=Magdeburg, Germany, series=Simulation und Visualisierung 2000, title=Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung, author=Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E., year=2000, collection=Simulation und Visualisierung 2000 

@articleFlake_Müller_Ruf_2000, place=Frankfurt, series=Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, title=Structured English for Model Checking Specification, author=Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen, year=2000, collection=Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 

@inproceedingsMüller_Meyer_Zabel_2000, place=Seattle, Washington, USA, title=A Visual Framework for the Scripting of Parallel Agents, booktitle=Proceedings of the IEEE Symposium on Visual Languages, author=Müller, Wolfgang and Meyer, Arne and Zabel, Henning, year=2000 

@inproceedingsBhatt_Müller_2000, place=Nagoya, Japan, title=A Methodology for the Protocol-Centered Design of Agent-Based Systems, booktitle=Proceedings of IECON 2000, author=Bhatt, P. C. P. and Müller, Wolfgang, year=2000 

@inproceedingsBhatt_Müller_2000, place=Durham, UK, title=Morphic Nets: Model Based Design Diagrams, booktitle=Proceedings of UKPEW 2000, author=Bhatt, P. C. P. and Müller, Wolfgang, year=2000 

@inproceedingsFlake_Müller_Ruf_2000, place=Palermo, Italy, title=An Advanced Visual Capture for Model Checking Specifications, booktitle=Proceedings of AVI 2000, author=Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen, year=2000 

@articleDangberg_Müller_2000, title=Verfahren zur Steuerung der Anordnung von graphischen Elementen, author=Dangberg, Andreas and Müller, Wolfgang, year=2000 

@articleGeiger_Lehrenfeld_Müller_1999, place=Magdeburg, Germany, series=Simulation und Visualisierung, title=Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation, author=Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang, year=1999, collection=Simulation und Visualisierung 

@inproceedingsDücker_Müller_Rubart_1999, place=Maui, HI, USA , title=Innovative Concepts for Configurating Shared Workspaces through Visual Programming, DOI=10.1109/HICSS.1999.773046, booktitle= Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, author=Dücker, M. and Müller, Wolfgang and Rubart, Jessica, year=1999