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. (2002). Temporale Erweiterungen der OCL - Überblick und Aussichten.
LibreCat
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker, U., Eikerling, H. J., & Müller, W. (Eds.). (2002). Proceedings of the VHE Workshop.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39411
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
| DOI
2001 | Conference Paper | LibreCat-ID: 39407
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
2001 | Conference Paper | LibreCat-ID: 39421
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). Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39427
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
2001 | Conference Paper | LibreCat-ID: 39432
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
| DOI
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld, G., Müller, W., & Tellmann, R. (2001). Security Concepts for Agent-Based Systems. Proceedings of SCASE 01.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39406
Flake, S., & Müller, W. (2001). Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg, A., & Müller, W. (2001). Generation of Interactive Visual Interfaces for Resource Management. Proceedings of ISI 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake, S., Müller, W., Pape, U., & Ruf, J. (2000). Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Flake, S., Müller, W., & Westkämper, E. (2000). Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, S., Müller, W., & Ruf, J. (2000). Structured English for Model Checking Specification.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
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
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., & Müller, W. (2000). A Methodology for the Protocol-Centered Design of Agent-Based Systems. Proceedings of IECON 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., & Müller, W. (2000). Morphic Nets: Model Based Design Diagrams. Proceedings of UKPEW 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, S., Müller, W., & Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. Proceedings of AVI 2000.
LibreCat
2000 | Patent | LibreCat-ID: 53588
Dangberg, A., & Müller, W. (2000). Verfahren zur Steuerung der Anordnung von graphischen Elementen.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39481
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Müller, W., & Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. 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
| DOI