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


1995 | Conference Paper | LibreCat-ID: 39532
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
 

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

1995 | Conference Paper | LibreCat-ID: 39541
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 | DOI
 

1995 | Conference Paper | LibreCat-ID: 39546
Validation of EXPRESS Models
W. Müller, G. Lehrenfeld, N. Wiechers, (1995).
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 39531
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
 

1995 | Conference Paper | LibreCat-ID: 39538
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 | DOI
 

1995 | Conference Paper | LibreCat-ID: 39543
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
 

1995 | Conference Paper | LibreCat-ID: 39550
The Process Modeling Language EXPRESS-P
W. Müller, W. Felser, N. Wiechers, (1995).
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39557 LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39560
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
 

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

1994 | Conference Paper | LibreCat-ID: 39577 LibreCat
 

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

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

1994 | Conference Paper | LibreCat-ID: 39566
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 (CEEDA94), Poole, UK, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39569 LibreCat
 

1994 | Conference Paper | LibreCat-ID: 39572
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
 

1993 | Conference Paper | LibreCat-ID: 39578
Tight Integration and Synchronization of Distributed Graphical Applications
W. Müller, B. Kleinjohann, in: Proceedings of the Seventh Annual Database Symposium, San Diego, USA, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 39580
Approaching the Denotational Semantics of Behavioral VHDL Descriptions
W. Müller, in: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, Brisbane, Australia, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 39579
Parallel Validation of STEP Files
W. Müller, G. Lehrenfeld, N. Wiechers, in: Proceedings of the 3nd EXPRESS User’s Group Conference, Berlin, 1993.
LibreCat
 

Filters and Search Terms

(person=16243)

Search

Filter Publications

Display / Sort

Export / Embed