Specification and Analysis of Concurrent Systems in a Complete Visual Environment
M. Dücker, G. Lehrenfeld, W. Müller, in: Proceedings of the 10th European Simulation Multiconference (ESM’96), Budapest, Hungary, 1996.
LibreCat: /record/39517

Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing
C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl, A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, CO, USA, 1996.
LibreCat: /record/39526
DOI: 10.1109/VL.1996.545302

A Formal Definition of an Abstract VHDL Simulator by EA-Machines
E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.
LibreCat: /record/34448
DOI: 10.1007/978-1-4615-2237-9_5

Conformance Tests of Very Large STEP Files
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995.
LibreCat: /record/39532

Pen-based Interfaces for Engineering Environments
R. Zhao, H.J. Kaufmann, T. Kern, W. Müller, in: 1995.
LibreCat: /record/39535

Transforming SDL Diagrams Into a Complete Visual Representation
G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages,  Darmstadt, Germany , 1995.
LibreCat: /record/39541
DOI: 10.1109/VL.1995.520803

Validation of EXPRESS Models
W. Müller, G. Lehrenfeld, N. Wiechers, (1995).
LibreCat: /record/39546

Guide to EXPRESS-P
W. Müller, W. Felser, F. Buijs, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995.
LibreCat: /record/39531

Complete Visual Specification and Animations of Protocols
W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.
LibreCat: /record/39538
DOI: 10.1109/ASPDAC.1995.486383

An Editor for the Rapid Prototyping of EXPRESS-G Models
R. Zhao, W. Müller, H.J. Kaufmann, Th. Kern, F. Buijs, in: Proceedings of the 5th EXPRESS User’s Group, Grenoble, 1995.
LibreCat: /record/39543

The Process Modeling Language EXPRESS-P
W. Müller, W. Felser, N. Wiechers, (1995).
LibreCat: /record/39550

EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung
W. Felser, W. Müller, (1994).
LibreCat: /record/39557

FADE: A Layout Facility for Graph-Based Diagrams
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.
LibreCat: /record/39560

Implementing Simultaneous Design: A Case Study
D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED), PoDTe, UK, 1994.
LibreCat: /record/39565

Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM
W. Müller, G. Lehrenfeld, N. Wiechers, (1994).
LibreCat: /record/39577

The Semantics of Behavioral VHDL Descriptions
E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.
LibreCat: /record/39575

Ein paralleles Framework fuer die Validierung von STEP-Produktdaten
G. Lehrenfeld, W. Müller, N. Wiechers, (1994).
LibreCat: /record/39554

Parallel Validation of STEP Files
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED), Poole, UK, 1994.
LibreCat: /record/39566

Computational Model of a Logical Visual Programming Language
G. Lehrenfeld, W. Müller, (1994).
LibreCat: /record/39569

EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring
W. Felser, W. Müller, in: Proceedings of the 1994 ASME Computers in Engineering Conference, Minneapolis, MI, 1994, pp. 145–154.
LibreCat: /record/39572