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: 39402
S. Flake and W. Müller, “Temporale Erweiterungen der OCL - Überblick und Aussichten.” Halle(Saale), Germany, 2002.
LibreCat
2002 | Book (Editor) | LibreCat-ID: 53586
U. Bücker, H. J. Eikerling, and W. Müller, Eds., Proceedings of the VHE Workshop. Paderborn, 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
2000 | Conference Paper | LibreCat-ID: 39439
P. C. P. Bhatt and W. Müller, “A Methodology for the Protocol-Centered Design of Agent-Based Systems,” 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
P. C. P. Bhatt and W. Müller, “Morphic Nets: Model Based Design Diagrams,” 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
S. Flake, W. Müller, and J. Ruf, “An Advanced Visual Capture for Model Checking Specifications,” 2000.
LibreCat
2000 | Patent | LibreCat-ID: 53588
A. Dangberg and W. Müller, “Verfahren zur Steuerung der Anordnung von graphischen Elementen.” 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39481
C. Geiger, G. Lehrenfeld, and W. Müller, “Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.” Magdeburg, Germany, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi: 10.1109/HICSS.1999.773046.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: 10.1109/HICSS.1999.772621.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
M. Dücker et al., “Wissenbasierte Konzepte und visuelle interaktive Systeme.” Bonn, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39471
A. Dangberg and W. Müller, “Generation of Interactive Visual Environments for Direct Manipulation of Database Content,” 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA , 1999, doi: 10.1109/NAFIPS.1999.781697.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39477
W. Müller and F. Ullmann, “Scalable System for 3D Audio Raytracing,” 1999, doi: 10.1109/MMCS.1999.778592.
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 34578
W. Müller and J. Sturm, “Visuelle Spezifikations- und Modellierungstechniken,” it - Information Technology, pp. 32–36, 1998, doi: 10.1524/itit.1998.40.3.32.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39496
M. Dücker, W. Müller, and J. Rubart, “VIPspace - A Visually Programmable Shared Workspace,” presented at the 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada , 1998, doi: 10.1109/VL.1998.706150.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39499
C. Geiger, G. Lehrenfeld, and W. Müller, “Authoring Communicating Agents in Virtual Environments,” 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 39493
C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax, Canada, 1998, doi: 10.1109/VL.1998.706167.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39489
C. Geiger and W. Müller, “Visuelle Spezifikation, Modellierung und Animation im Systementwurf.” Magdeburg, Germany, 1998.
LibreCat
1998 | Book | LibreCat-ID: 23938
W. Müller and F.-J. Rammig, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, vol. 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
1998 | Book (Editor) | LibreCat-ID: 53587
W. Müller and F. J. Rammig, Eds., Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Paderborn, Germany, 1998.
LibreCat
1997 | Conference Paper | LibreCat-ID: 39510
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Visual Programming Language for Qualitative Data,” 1997, doi: 10.1109/VL.1997.626593.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages, 1997, doi: 10.1109/VL.1997.626601.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for Interactive Real--Time Animation,” Monterey, CA, USA , 1997, doi: 10.1109/ECBS.1997.581876.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39513
H. Aisch, M. Joosten, W. Müller, and F. Buijs, “Interaktiver Produktdatenaustausch mit EDIFACT.” Kaiserslautern, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39521
P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, and H. Uhr, “Integrating a Constraint Solver into a Real-Time Animation Environment,” 1996, doi: 10.1109/VL.1996.545262.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39517
M. Dücker, G. Lehrenfeld, and W. Müller, “Specification and Analysis of Concurrent Systems in a Complete Visual Environment,” 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39526
C. Geiger et al., “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing,” 1996, doi: 10.1109/VL.1996.545302.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
G. Lehrenfeld, W. Müller, and N. Wiechers, “Conformance Tests of Very Large STEP Files,” 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
R. Zhao, H. J. Kaufmann, T. Kern, and W. Müller, “Pen-based Interfaces for Engineering Environments,” presented at the 6th Human-Computer Interaction International, Tokyo, Japan, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into a Complete Visual Representation,” 1995, doi: 10.1109/VL.1995.520803.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
W. Müller, G. Lehrenfeld, and N. Wiechers, “Validation of EXPRESS Models.” 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
W. Müller, W. Felser, and F. Buijs, “Guide to EXPRESS-P,” 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: 10.1109/ASPDAC.1995.486383.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
R. Zhao, W. Müller, H. J. Kaufmann, Th. Kern, and F. Buijs, “An Editor for the Rapid Prototyping of EXPRESS-G Models,” 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
W. Müller, W. Felser, and N. Wiechers, “The Process Modeling Language EXPRESS-P.” Paderborn, Germany, 1995.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
W. Felser and W. Müller, “EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.” Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
J. Eikerling and W. Müller, “FADE: A Layout Facility for Graph-Based Diagrams,” in Proceedings of the 17th Annual Computer Science Conference, 1994, pp. 331–342.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
D. Hyhuis and W. Müller, “Implementing Simultaneous Design: A Case Study,” 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
W. Müller, G. Lehrenfeld, and N. Wiechers, “Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.” Aachen, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
E. Börger, U. Glässer, and W. Müller, “The Semantics of Behavioral VHDL’93 Descriptions,” 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
G. Lehrenfeld, W. Müller, and N. Wiechers, “Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.” 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
G. Lehrenfeld, W. Müller, and N. Wiechers, “Parallel Validation of STEP Files,” 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
G. Lehrenfeld and W. Müller, “Computational Model of a Logical Visual Programming Language.” Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
W. Felser and W. Müller, “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring,” in Proceedings of the 1994 ASME Computers in Engineering Conference, 1994, pp. 145–154.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39578
W. Müller and B. Kleinjohann, “Tight Integration and Synchronization of Distributed Graphical Applications,” 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
W. Müller, “Approaching the Denotational Semantics of Behavioral VHDL Descriptions,” 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
W. Müller, G. Lehrenfeld, and N. Wiechers, “Parallel Validation of STEP Files,” 1993.
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
W. Müller and B. Kleinjohann, “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments,” 1992.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
W. Müller, “Contract-Oriented System Design and Specification,” 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
F. J. Rammig and W. Müller, “ODICE: Object-Oriented Hardware Description in CAD Environment,” 1989.
LibreCat