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
2003 | Conference Paper | LibreCat-ID: 39364
Expressing Property Specification Patterns with OCL
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.
2003 | Conference Paper | LibreCat-ID: 39366
Distributed Engineering Environment for the Design of Electronic Systems
T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
2003 | Conference Paper | LibreCat-ID: 39363
Semantics of State-Oriented Expressions in the Object Constraint Language
S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.
2003 | Conference Paper | LibreCat-ID: 39367
SmartCard for Secure Collaborative Engineering
J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
LibreCat
J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
2003 | Conference Paper | LibreCat-ID: 39360
Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten
A. Krupp, W. Müller, (2003).
LibreCat
A. Krupp, W. Müller, (2003).
2003 | Conference Paper | LibreCat-ID: 39368
Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.
LibreCat
A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.
2003 | Conference Paper | LibreCat-ID: 39369
Formal Semantics of OCL Messages
S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.
2002 | Book Chapter | LibreCat-ID: 34447
An OCL Extension for Real-Time Constraints
S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.
LibreCat
| DOI
S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.
2002 | Journal Article | LibreCat-ID: 34576
Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken
H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136.
LibreCat
H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136.
2002 | Conference Paper | LibreCat-ID: 39371
RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents
R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop, Paderborn, Germany, 2002.
LibreCat
R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop, Paderborn, Germany, 2002.
2002 | Conference Paper | LibreCat-ID: 39370
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
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.
2002 | Conference Paper | LibreCat-ID: 39378
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
R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii, USA, 2002.
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).
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.
2000 | Conference Paper | LibreCat-ID: 39442
Morphic Nets: Model Based Design Diagrams
P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.
LibreCat
P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.
2000 | Conference Paper | LibreCat-ID: 39464
An Advanced Visual Capture for Model Checking Specifications
S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.
LibreCat
S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.
1999 | Conference Paper | LibreCat-ID: 39481
Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation
C. Geiger, G. Lehrenfeld, W. Müller, (1999).
LibreCat
C. Geiger, G. Lehrenfeld, W. Müller, (1999).
1999 | Conference Paper | LibreCat-ID: 39488
Innovative Concepts for Configurating Shared Workspaces through Visual Programming
M. Dücker, W. Müller, J. Rubart, in: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, Maui, HI, USA , 1999.
LibreCat
| DOI
M. Dücker, W. Müller, J. Rubart, in: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, Maui, HI, USA , 1999.
1999 | Conference Paper | LibreCat-ID: 39487
Visual Specification, Modeling, and Illustrations of Complex Systems
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.
LibreCat
| DOI
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.
1999 | Conference Paper | LibreCat-ID: 39468
Wissenbasierte Konzepte und visuelle interaktive Systeme
M. Dücker, S. Flake, C. Geiger, W. Müller, V. Paelke, C. Reimann, W. Rosenbach, D. Zimmermann, S. Zelder, (1999).
LibreCat
M. Dücker, S. Flake, C. Geiger, W. Müller, V. Paelke, C. Reimann, W. Rosenbach, D. Zimmermann, S. Zelder, (1999).
1999 | Conference Paper | LibreCat-ID: 39471
Generation of Interactive Visual Environments for Direct Manipulation of Database Content
A. Dangberg, W. Müller, in: Proceedings of the IEEE Symposium on Visual Languages, Tokyo, Japan, 1999.
LibreCat
A. Dangberg, W. Müller, in: Proceedings of the IEEE Symposium on Visual Languages, Tokyo, Japan, 1999.
1999 | Conference Paper | LibreCat-ID: 39474
Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control
S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke, in: Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society, IEEE, New York, NY, USA , 1999.
LibreCat
| DOI
S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke, in: Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society, IEEE, New York, NY, USA , 1999.
1999 | Conference Paper | LibreCat-ID: 39477
Scalable System for 3D Audio Raytracing
W. Müller, F. Ullmann, in: Proceedings IEEE International Conference on Multimedia Computing and Systems, Florence, Italy, 1999.
LibreCat
| DOI
W. Müller, F. Ullmann, in: Proceedings IEEE International Conference on Multimedia Computing and Systems, Florence, Italy, 1999.
1998 | Journal Article | LibreCat-ID: 34578
Visuelle Spezifikations- und Modellierungstechniken
W. Müller, J. Sturm, It - Information Technology (1998) 32–36.
LibreCat
| DOI
W. Müller, J. Sturm, It - Information Technology (1998) 32–36.
1998 | Conference Paper | LibreCat-ID: 39496
VIPspace - A Visually Programmable Shared Workspace
M. Dücker, W. Müller, J. Rubart, in: Proceedings. 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada , 1998.
LibreCat
| DOI
M. Dücker, W. Müller, J. Rubart, in: Proceedings. 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada , 1998.
1998 | Conference Paper | LibreCat-ID: 39499
Authoring Communicating Agents in Virtual Environments
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of the Annual Conference for the Computer Human Interaction, Adelaide, Australia, 1998.
LibreCat
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of the Annual Conference for the Computer Human Interaction, Adelaide, Australia, 1998.
1998 | Conference Paper | LibreCat-ID: 39493
SAM - An Animated 3D Programming Language
C. Geiger, W. Müller, W. Rosenbach, in: Proceedings of the IEEE Symposium on Visual Languages, Halifax, Canada, 1998.
LibreCat
| DOI
C. Geiger, W. Müller, W. Rosenbach, in: Proceedings of the IEEE Symposium on Visual Languages, Halifax, Canada, 1998.
1998 | Conference Paper | LibreCat-ID: 39489
Visuelle Spezifikation, Modellierung und Animation im Systementwurf
C. Geiger, W. Müller, (1998).
LibreCat
C. Geiger, W. Müller, (1998).
1997 | Conference Paper | LibreCat-ID: 39510
A Visual Programming Language for Qualitative Data
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat
| DOI
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
1997 | Conference Paper | LibreCat-ID: 39505
Visual-Textual Prototyping of 4D Scenes
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat
| DOI
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
1997 | Conference Paper | LibreCat-ID: 39502
A Generic System for Interactive Real--Time Animation
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
LibreCat
| DOI
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
1996 | Conference Paper | LibreCat-ID: 39513
Interaktiver Produktdatenaustausch mit EDIFACT
H. Aisch, M. Joosten, W. Müller, F. Buijs, (1996).
LibreCat
H. Aisch, M. Joosten, W. Müller, F. Buijs, (1996).
1996 | Conference Paper | LibreCat-ID: 39521
Integrating a Constraint Solver into a Real-Time Animation Environment
P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, H. Uhr, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder CO, 1996.
LibreCat
| DOI
P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, H. Uhr, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder CO, 1996.