Distributed Video-on-Demand Services on Peer to Peer Basis
C. Loeser, P. Altenbernd, M. Ditze, W. Müller, in: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.
LibreCat: /record/39370

Fuzzy Rules for the Transcoding of HTML Files
R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii, USA, 2002.
LibreCat: /record/39378

A UML Profile for Real-Time Constraints with the OCL
S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002.
LibreCat: /record/39398

Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen
W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).
LibreCat: /record/39393

The Formal Execution Semantics of SpecC
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISS, Nagoya, Japan, 2002.
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Comparing Transcoding Tools for Use with a Generic User Interface Format
J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages 2002, Montreal, Canada, 2002.
LibreCat: /record/39387

Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

Temporale Erweiterungen der OCL - Überblick und Aussichten
S. Flake, W. Müller, (2002).
LibreCat: /record/39402

Customer-Oriented Systems Design through Virtual Prototyps
S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425

Advanced Infrastructure for PAN-European Collaborative Engineering
M. Bauer, H.-J. Eikerling, W. Müller, A. Pawlak, K. Siekierska, D. Soderberg, X. Warzee, (2001).
LibreCat: /record/39407

The Simulation Semantics of SystemC
W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002

Real-Time Model Checking for the Analysis of flexible Manufacturing Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai, 2001.
LibreCat: /record/39427

A Language for the Rapid Prototyping of Mobile Evolving Agents
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, Maui, HI, USA , 2001.
LibreCat: /record/39432
DOI: 10.1109/HICSS.2001.926319

Security Concepts for Agent-Based Systems
G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede, Netherlands, 2001.
LibreCat: /record/39431

Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie
S. Flake, W. Müller, (2001).
LibreCat: /record/39406

Generation of Interactive Visual Interfaces for Resource Management
A. Dangberg, W. Müller, in: Proceedings of ISI 2001, Dubai, 2001.
LibreCat: /record/39425

Modellprüfung für den Entwurf von Fertigungssteuerungssystemen
S. Flake, W. Müller, U. Pape, J. Ruf, (2000).
LibreCat: /record/39434

Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung
A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).
LibreCat: /record/39444

Structured English for Model Checking Specification
S. Flake, W. Müller, J. Ruf, (2000).
LibreCat: /record/39461

A Visual Framework for the Scripting of Parallel Agents
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000.
LibreCat: /record/39435