@inproceedings{39532,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}},
  booktitle    = {{Proceedings of the 4th EXPRESS User's Group}},
  title        = {{{Conformance Tests of Very Large STEP Files}}},
  year         = {{1995}},
}

@inproceedings{39535,
  author       = {{Zhao, R. and Kaufmann, H. J. and Kern, T. and Müller, Wolfgang}},
  location     = {{Tokyo, Japan}},
  title        = {{{Pen-based Interfaces for Engineering Environments}}},
  year         = {{1995}},
}

@inproceedings{39541,
  abstract     = {{We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the specification by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an example sketching the transformation of an Ethernet CSMA/CD protocol specification.}},
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}},
  booktitle    = {{Proceedings of Symposium on Visual Languages}},
  isbn         = {{0-8186-7045-2}},
  keywords     = {{Animation, Timing, Debugging, Ethernet networks, Multiaccess communication, Protocols, Computer languages, Prototypes, Environmental management, Visualization}},
  title        = {{{Transforming SDL Diagrams Into a Complete Visual Representation}}},
  doi          = {{10.1109/VL.1995.520803}},
  year         = {{1995}},
}

@inproceedings{39546,
  author       = {{Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}},
  title        = {{{Validation of EXPRESS Models}}},
  year         = {{1995}},
}

@inproceedings{39531,
  abstract     = {{Greenville, South Carolina}},
  author       = {{Müller, Wolfgang and Felser, W. and Buijs, F.}},
  booktitle    = {{Proceedings of the 4th EXPRESS User's Group}},
  title        = {{{Guide to EXPRESS-P}}},
  year         = {{1995}},
}

@inproceedings{39538,
  abstract     = {{This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we first extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We finally give the example of the specification and animation of a non interlocked protocol.}},
  author       = {{Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}},
  booktitle    = {{Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair}},
  isbn         = {{4-930813-67-0}},
  keywords     = {{Animation, Protocols, Timing, Computer languages, Electronic mail, Context modeling, Visualization, Control systems, Flow graphs, Trademarks}},
  title        = {{{Complete Visual Specification and Animations of Protocols}}},
  doi          = {{10.1109/ASPDAC.1995.486383}},
  year         = {{1995}},
}

@inproceedings{39543,
  author       = {{Zhao, R. and Müller, Wolfgang and Kaufmann, H. J. and Kern, Th. and Buijs, F.}},
  booktitle    = {{Proceedings of the 5th EXPRESS User's Group}},
  title        = {{{An Editor for the Rapid Prototyping of EXPRESS-G Models}}},
  year         = {{1995}},
}

@inproceedings{39550,
  author       = {{Müller, Wolfgang and Felser, W. and Wiechers, N.}},
  title        = {{{The Process Modeling Language EXPRESS-P}}},
  year         = {{1995}},
}

@inproceedings{39557,
  author       = {{Felser, W. and Müller, Wolfgang}},
  title        = {{{EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung}}},
  year         = {{1994}},
}

@inproceedings{39560,
  abstract     = {{In this paper we present a novel approach to the layout problem of dimensional graph based dia grams We introduce a framework for e ciently solving constrained layout problems encompassing geometrical and graph based algorithms especially dedicated to the generation of diagrams These concepts as well as the aesthetics for the read ability of diagrams are presented by introducing FADE FADE is a user parametrizable frame work for the generation of EXPRESS G diagrams Our present implementation is discussed consider ing extensions to other classes of graphs and layout problems Additionally competitive approaches in this domain and their limitations are critically reviewed.}},
  author       = {{Eikerling, Josef and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 17th Annual Computer Science Conference}},
  pages        = {{331--342}},
  title        = {{{FADE: A Layout Facility for Graph-Based Diagrams}}},
  year         = {{1994}},
}

@inproceedings{39565,
  author       = {{Hyhuis, D. and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)}},
  title        = {{{Implementing Simultaneous Design: A Case Study}}},
  year         = {{1994}},
}

@inproceedings{39577,
  author       = {{Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}},
  title        = {{{Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM}}},
  year         = {{1994}},
}

@inproceedings{39575,
  author       = {{Börger, Egon and Glässer, Uwe and Müller, Wolfgang}},
  booktitle    = {{Proceedings of EURO-DAC'94/EURO-VHDL'94}},
  title        = {{{The Semantics of Behavioral VHDL'93 Descriptions}}},
  year         = {{1994}},
}

@inproceedings{39554,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}},
  title        = {{{Ein paralleles Framework fuer die Validierung von STEP-Produktdaten}}},
  year         = {{1994}},
}

@inproceedings{39566,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}},
  booktitle    = {{Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)}},
  title        = {{{Parallel Validation of STEP Files}}},
  year         = {{1994}},
}

@inproceedings{39569,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang}},
  title        = {{{Computational Model of a Logical Visual Programming Language}}},
  year         = {{1994}},
}

@inproceedings{39572,
  abstract     = {{The upcoming ISO standard EXPRESS has been de- #ned as a data speci#cation language for the use within STEP. EXPRESS supports the modeling of static structural relationships and consistency constraints whereas the applicability of EXPRESS for the modeling of behavior is very limited. Thus, at present there is an ongoing discussion by which means EXPRESS should be extended with.}},
  author       = {{Felser, Winfried and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 1994 ASME Computers in Engineering Conference}},
  pages        = {{145--154}},
  title        = {{{EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring}}},
  year         = {{1994}},
}

@inproceedings{39578,
  author       = {{Müller, Wolfgang and Kleinjohann, Bernd}},
  booktitle    = {{Proceedings of the Seventh Annual Database Symposium}},
  title        = {{{Tight Integration and Synchronization of Distributed Graphical Applications}}},
  year         = {{1993}},
}

@inproceedings{39580,
  author       = {{Müller, Wolfgang}},
  booktitle    = {{Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications}},
  title        = {{{Approaching the Denotational Semantics of Behavioral VHDL Descriptions}}},
  year         = {{1993}},
}

@inproceedings{39579,
  author       = {{Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}},
  booktitle    = {{Proceedings of the 3nd EXPRESS User's Group Conference}},
  title        = {{{Parallel Validation of STEP Files}}},
  year         = {{1993}},
}