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.
327 Publications
2002 | Conference Paper | LibreCat-ID: 39370
Loeser C, Altenbernd P, Ditze M, Müller W. 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.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39378
Schäfer R, Müller W, Dangberg A. Fuzzy Rules for the Transcoding of HTML Files. In: Proceedings of the HICSS-35. ; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39398
Flake S, Müller W. A UML Profile for Real-Time Constraints with the OCL. In: Proceedings of the UML 2002 - The Unified Modeling Language. Springer-Verlag; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39393
Dangelmeier W, Darnedde C, Flake S, Müller W, Pape U. Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. Published online 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39382
Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC. In: Proceedings of the ISSS02. ; 2002. doi:10.1145/581199.581234
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39387
Plomp J, Schäfer R, Müller W. Comparing Transcoding Tools for Use with a Generic User Interface Format. In: Proceedings of the Extreme Markup Languages 2002. ; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39403
Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39402
Flake S, Müller W. Temporale Erweiterungen der OCL - Überblick und Aussichten. Published online 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