Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
264 Publications
2002 | Conference Paper | LibreCat-ID: 39402
Flake S, Müller W. Temporale Erweiterungen der OCL - Überblick und Aussichten. Published online 2002.
LibreCat
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker U, Eikerling HJ, Müller W, eds. Proceedings of the VHE Workshop.; 2002.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39411
Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39407
Bauer M, Eikerling H-J, Müller W, et al. Advanced Infrastructure for PAN-European Collaborative Engineering. Published online 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39421
Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: Proceedings of the Design, Automation, and Test in Europe (DATE’01). IEEE; 2001. doi:10.1109/DATE.2001.915002
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39427
Flake S, Müller W, Pape U, Ruf J. Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. In: Proceedings of ISI 2001. ; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39432
Müller W, Meyer A, Zabel H. A Language for the Rapid Prototyping of Mobile Evolving Agents. In: Proceedings of the 34th Annual Hawaii International Conference on System Sciences. ; 2001. doi:10.1109/HICSS.2001.926319
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld G, Müller W, Tellmann R. Security Concepts for Agent-Based Systems. In: Proceedings of SCASE 01. ; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39406
Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. Published online 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg A, Müller W. Generation of Interactive Visual Interfaces for Resource Management. In: Proceedings of ISI 2001. ; 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake S, Müller W, Pape U, Ruf J. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. Published online 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz A, Flake S, Müller W, Westkämper E. Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung. Published online 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake S, Müller W, Ruf J. Structured English for Model Checking Specification. Published online 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller W, Meyer A, Zabel H. A Visual Framework for the Scripting of Parallel Agents. In: Proceedings of the IEEE Symposium on Visual Languages. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt PCP, Müller W. A Methodology for the Protocol-Centered Design of Agent-Based Systems. In: Proceedings of IECON 2000. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt PCP, Müller W. Morphic Nets: Model Based Design Diagrams. In: Proceedings of UKPEW 2000. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake S, Müller W, Ruf J. An Advanced Visual Capture for Model Checking Specifications. In: Proceedings of AVI 2000. ; 2000.
LibreCat
2000 | Patent | LibreCat-ID: 53588
Dangberg A, Müller W. Verfahren zur Steuerung der Anordnung von graphischen Elementen. Published online 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39481
Geiger C, Lehrenfeld G, Müller W. Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. Published online 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
Dücker M, Müller W, Rubart J. Innovative Concepts for Configurating Shared Workspaces through Visual Programming. In: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. ; 1999. doi:10.1109/HICSS.1999.773046
LibreCat
| DOI