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
C. Loeser, P. Altenbernd, M. Ditze, and W. Müller, “Distributed Video-on-Demand Services on Peer to Peer Basis,” 2002.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 39378
R. Schäfer, W. Müller, and A. Dangberg, “Fuzzy Rules for the Transcoding of HTML Files,” 2002.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 39398
S. Flake and W. Müller, “A UML Profile for Real-Time Constraints with the OCL,” 2002.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 39393
W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, and U. Pape, “Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Paderborn, Germany, 2002.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 39382
W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: 10.1145/581199.581234 .
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 39387
J. Plomp, R. Schäfer, and W. Müller, “Comparing Transcoding Tools for Use with a Generic User Interface Format,” 2002.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 39403
S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 39402
S. Flake and W. Müller, “Temporale Erweiterungen der OCL - Überblick und Aussichten.” Halle(Saale), Germany, 2002.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 39411
S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: 10.1109/ENABL.2001.953425.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39407
M. Bauer et al., “Advanced Infrastructure for PAN-European Collaborative Engineering.” Venice, Italy, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 39421
W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: 10.1109/DATE.2001.915002.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39427
S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the Analysis of flexible Manufacturing Systems,” 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 39432
W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping of Mobile Evolving Agents,” 2001, doi: 10.1109/HICSS.2001.926319.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39431
G. Lehrenfeld, W. Müller, and R. Tellmann, “Security Concepts for Agent-Based Systems,” 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 39406
S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.” Berlin, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 39425
A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for Resource Management,” 2001.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 39434
S. Flake, W. Müller, U. Pape, and J. Ruf, “Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.” Siegen, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 39444
A. Braatz, S. Flake, W. Müller, and E. Westkämper, “Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.” Magdeburg, Germany, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 39461
S. Flake, W. Müller, and J. Ruf, “Structured English for Model Checking Specification.” Frankfurt, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 39435
W. Müller, A. Meyer, and H. Zabel, “A Visual Framework for the Scripting of Parallel Agents,” 2000.
LibreCat
 

Filters and Search Terms

department=672

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed