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: 39398
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
S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002.
2002 | Conference Paper | LibreCat-ID: 39393
Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen
W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).
LibreCat
W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).
2002 | Conference Paper | LibreCat-ID: 39382
The Formal Execution Semantics of SpecC
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.
LibreCat
| DOI
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.
2002 | Conference Paper | LibreCat-ID: 39387
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
J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages 2002, Montreal, Canada, 2002.
2002 | Conference Paper | LibreCat-ID: 39403
Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
2002 | Conference Paper | LibreCat-ID: 39402
Temporale Erweiterungen der OCL - Überblick und Aussichten
S. Flake, W. Müller, (2002).
LibreCat
S. Flake, W. Müller, (2002).
2002 | Book (Editor) | LibreCat-ID: 53586
Proceedings of the VHE Workshop
U. Bücker, H.J. Eikerling, W. Müller, eds., Proceedings of the VHE Workshop, Paderborn, Germany, 2002.
LibreCat
U. Bücker, H.J. Eikerling, W. Müller, eds., Proceedings of the VHE Workshop, Paderborn, Germany, 2002.
2001 | Conference Paper | LibreCat-ID: 39411
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
| DOI
S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.
2001 | Conference Paper | LibreCat-ID: 39407
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
M. Bauer, H.-J. Eikerling, W. Müller, A. Pawlak, K. Siekierska, D. Soderberg, X. Warzee, (2001).
2001 | Conference Paper | LibreCat-ID: 39421
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
| DOI
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.
2001 | Conference Paper | LibreCat-ID: 39427
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
S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai, 2001.
2001 | Conference Paper | LibreCat-ID: 39432
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
| DOI
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, Maui, HI, USA , 2001.
2001 | Conference Paper | LibreCat-ID: 39431
Security Concepts for Agent-Based Systems
G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede, Netherlands, 2001.
LibreCat
G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede, Netherlands, 2001.
2001 | Conference Paper | LibreCat-ID: 39406
Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie
S. Flake, W. Müller, (2001).
LibreCat
S. Flake, W. Müller, (2001).
2001 | Conference Paper | LibreCat-ID: 39425
Generation of Interactive Visual Interfaces for Resource Management
A. Dangberg, W. Müller, in: Proceedings of ISI 2001, Dubai, 2001.
LibreCat
A. Dangberg, W. Müller, in: Proceedings of ISI 2001, Dubai, 2001.
2000 | Conference Paper | LibreCat-ID: 39434
Modellprüfung für den Entwurf von Fertigungssteuerungssystemen
S. Flake, W. Müller, U. Pape, J. Ruf, (2000).
LibreCat
S. Flake, W. Müller, U. Pape, J. Ruf, (2000).
2000 | Conference Paper | LibreCat-ID: 39444
Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung
A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).
LibreCat
A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).
2000 | Conference Paper | LibreCat-ID: 39461
Structured English for Model Checking Specification
S. Flake, W. Müller, J. Ruf, (2000).
LibreCat
S. Flake, W. Müller, J. Ruf, (2000).
2000 | Conference Paper | LibreCat-ID: 39435
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
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000.
2000 | Conference Paper | LibreCat-ID: 39439
A Methodology for the Protocol-Centered Design of Agent-Based Systems
P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.
LibreCat
P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.