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
1996 | Conference Paper | LibreCat-ID: 39517
Dücker, Marita, Georg Lehrenfeld, and Wolfgang Müller. “Specification and Analysis of Concurrent Systems in a Complete Visual Environment.” In Proceedings of the 10th European Simulation Multiconference (ESM’96). Budapest, Hungary, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, Christian, R. Hunstock, Georg Lehrenfeld, Wolfgang Müller, J. Quintanilla, C. Tahedl, and A. Weber. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” In Proceedings of the 1996 IEEE Symposium on Visual Languages. Boulder, CO, USA, 1996. https://doi.org/10.1109/VL.1996.545302.
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 34448
Börger, Egon, Uwe Glässer, and Wolfgang Müller. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” In Semantics of VHDL, edited by C. Delgado Kloos and Peter T. Breuer, 107–39. Dordrecht: Kluwer Academic Publishers, 1995. https://doi.org/10.1007/978-1-4615-2237-9_5.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Conformance Tests of Very Large STEP Files.” In Proceedings of the 4th EXPRESS User’s Group. Greenville, South Carolina, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., H. J. Kaufmann, T. Kern, and Wolfgang Müller. “Pen-Based Interfaces for Engineering Environments,” 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams Into a Complete Visual Representation.” In Proceedings of Symposium on Visual Languages. Darmstadt, Germany , 1995. https://doi.org/10.1109/VL.1995.520803.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Validation of EXPRESS Models.” CENELEC Technical Report R117-003:1995, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
Müller, Wolfgang, W. Felser, and F. Buijs. “Guide to EXPRESS-P.” In Proceedings of the 4th EXPRESS User’s Group. Greenville, South Carolina, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification and Animations of Protocols.” In Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. Chiba, Japan , 1995. https://doi.org/10.1109/ASPDAC.1995.486383.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
Zhao, R., Wolfgang Müller, H. J. Kaufmann, Th. Kern, and F. Buijs. “An Editor for the Rapid Prototyping of EXPRESS-G Models.” In Proceedings of the 5th EXPRESS User’s Group. Grenoble, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
Müller, Wolfgang, W. Felser, and N. Wiechers. “The Process Modeling Language EXPRESS-P.” ISO TC184/SC4/WG5, N230, Cadlab. Paderborn, Germany, 1995.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., and Wolfgang Müller. “EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung.” CAD94. Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” In Proceedings of the 17th Annual Computer Science Conference, 331–42. Christchurch, New Zealand, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” In Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). PoDTe, UK, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM.” TAT’94. Aachen, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, Egon, Uwe Glässer, and Wolfgang Müller. “The Semantics of Behavioral VHDL’93 Descriptions.” In Proceedings of EURO-DAC’94/EURO-VHDL’94. Grenoble, France, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten.” Tagungsband: CAD94, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Parallel Validation of STEP Files.” In Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). Poole, UK, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, Georg, and Wolfgang Müller. “Computational Model of a Logical Visual Programming Language.” Workshop Logik in Der Informatik, Jahrestreffen Der Fachgruppe 0.1.6. Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” In Proceedings of the 1994 ASME Computers in Engineering Conference, 145–54. Minneapolis, MI, 1994.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39578
Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization of Distributed Graphical Applications.” In Proceedings of the Seventh Annual Database Symposium. San Diego, USA, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” 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
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Parallel Validation of STEP Files.” In Proceedings of the 3nd EXPRESS User’s Group Conference. Berlin, 1993.
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments.” In Proceedings of the 2nd EXPRESS User’s Group Conference. Dallas TX, 1992.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller, Wolfgang. “Contract-Oriented System Design and Specification.” In Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. Grassau Germany, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” In Proceedings of the 1st EXPRESS User’s Group Conference. Houston TX, USA, 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” In Proc. of the Ninth IFIP Symposium on CHDLs and Their Application. Washington DC, 1989.
LibreCat