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
Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: Proceedings of SERP’03. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky T, Müller W. Distributed Engineering Environment for the Design of Electronic Systems. In: Proceedings of CCE’03. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake S, Müller W. Semantics of State-Oriented Expressions in the Object Constraint Language. In: Proceedings of SEKE 2003. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang J, Müller W. SmartCard for Secure Collaborative Engineering. In: Proceedings of CCE’03. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp A, Müller W. Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. Published online 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp A, Müller W. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Proceedings of FDL’03. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake S, Müller W. Formal Semantics of OCL Messages. In: Proceedings of the Workshop OCL 2.0 at UML 2003. ; 2003.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. Advances in Object Modelling with the OCL. Springer-Verlag; 2002:150-171. doi:10.1007/3-540-45669-4_8
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 34576
Eikerling HJ, Müller W, Wegener J. Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. it+ti. Published online 2002:128-136.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39371
Schäfer R, Dangberg A, Müller W. RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. In: Proceedings of the VHE Workshop. ; 2002.
LibreCat
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
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt PCP, Müller W. A Methodology for the Protocol-Centered Design of Agent-Based Systems. In: Proceedings of IECON 2000. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt PCP, Müller W. Morphic Nets: Model Based Design Diagrams. In: Proceedings of UKPEW 2000. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake S, Müller W, Ruf J. An Advanced Visual Capture for Model Checking Specifications. In: Proceedings of AVI 2000. ; 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39481
Geiger C, Lehrenfeld G, Müller W. Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. Published online 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
Dücker M, Müller W, Rubart J. Innovative Concepts for Configurating Shared Workspaces through Visual Programming. In: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. ; 1999. doi:10.1109/HICSS.1999.773046
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: Proceedings of HICSS-32. ; 1999. doi:10.1109/HICSS.1999.772621
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
Dücker M, Flake S, Geiger C, et al. Wissenbasierte Konzepte und visuelle interaktive Systeme. Published online 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg A, Müller W. Generation of Interactive Visual Environments for Direct Manipulation of Database Content. In: Proceedings of the IEEE Symposium on Visual Languages. ; 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. In: Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society. IEEE; 1999. doi:10.1109/NAFIPS.1999.781697
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39477
Müller W, Ullmann F. Scalable System for 3D Audio Raytracing. In: Proceedings IEEE International Conference on Multimedia Computing and Systems. ; 1999. doi:10.1109/MMCS.1999.778592
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 34578
Müller W, Sturm J. Visuelle Spezifikations- und Modellierungstechniken. it - Information Technology. Published online 1998:32-36. doi:10.1524/itit.1998.40.3.32
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39496
Dücker M, Müller W, Rubart J. VIPspace - A Visually Programmable Shared Workspace. In: Proceedings. 1998 IEEE Symposium on Visual Languages . ; 1998. doi:10.1109/VL.1998.706150
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39499
Geiger C, Lehrenfeld G, Müller W. Authoring Communicating Agents in Virtual Environments. In: Proceedings of the Annual Conference for the Computer Human Interaction. ; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 39493
Geiger C, Müller W, Rosenbach W. SAM - An Animated 3D Programming Language. In: Proceedings of the IEEE Symposium on Visual Languages. ; 1998. doi:10.1109/VL.1998.706167
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39489
Geiger C, Müller W. Visuelle Spezifikation, Modellierung und Animation im Systementwurf. Published online 1998.
LibreCat
1997 | Conference Paper | LibreCat-ID: 39510
Dücker M, Geiger C, Lehrenfeld G, Müller W, Tahedl C. A Visual Programming Language for Qualitative Data. In: Proceedings of the 1997 IEEE Symposium on Visual Languages. ; 1997. doi:10.1109/VL.1997.626593
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker M, Geiger C, Hunstock R, Lehrenfeld G, Müller W. Visual-Textual Prototyping of 4D Scenes. In: Proceedings of the 1997 IEEE Symposium on Visual Languages. ; 1997. doi:10.1109/VL.1997.626601
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker M, Lehrenfeld G, Müller W, Tahedl C. A Generic System for Interactive Real--Time Animation. In: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. ; 1997. doi:10.1109/ECBS.1997.581876
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39513
Aisch H, Joosten M, Müller W, Buijs F. Interaktiver Produktdatenaustausch mit EDIFACT. Published online 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39521
Griebel P, Lehrenfeld G, Müller W, Tahedl C, Uhr H. Integrating a Constraint Solver into a Real-Time Animation Environment. In: Proceedings of the 1996 IEEE Symposium on Visual Languages. ; 1996. doi:10.1109/VL.1996.545262
LibreCat
| DOI