---
_id: '39532'
author:
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: N.
  full_name: Wiechers, N.
  last_name: Wiechers
citation:
  ama: 'Lehrenfeld G, Müller W, Wiechers N. Conformance Tests of Very Large STEP Files.
    In: <i>Proceedings of the 4th EXPRESS User’s Group</i>. ; 1995.'
  apa: Lehrenfeld, G., Müller, W., &#38; Wiechers, N. (1995). Conformance Tests of
    Very Large STEP Files. <i>Proceedings of the 4th EXPRESS User’s Group</i>.
  bibtex: '@inproceedings{Lehrenfeld_Müller_Wiechers_1995, place={Greenville, South
    Carolina}, title={Conformance Tests of Very Large STEP Files}, booktitle={Proceedings
    of the 4th EXPRESS User’s Group}, author={Lehrenfeld, Georg and Müller, Wolfgang
    and Wiechers, N.}, year={1995} }'
  chicago: Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Conformance Tests
    of Very Large STEP Files.” In <i>Proceedings of the 4th EXPRESS User’s Group</i>.
    Greenville, South Carolina, 1995.
  ieee: G. Lehrenfeld, W. Müller, and N. Wiechers, “Conformance Tests of Very Large
    STEP Files,” 1995.
  mla: Lehrenfeld, Georg, et al. “Conformance Tests of Very Large STEP Files.” <i>Proceedings
    of the 4th EXPRESS User’s Group</i>, 1995.
  short: 'G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 4th EXPRESS
    User’s Group, Greenville, South Carolina, 1995.'
date_created: 2023-01-24T12:02:10Z
date_updated: 2023-01-24T12:02:16Z
department:
- _id: '672'
language:
- iso: eng
place: Greenville, South Carolina
publication: Proceedings of the 4th EXPRESS User's Group
status: public
title: Conformance Tests of Very Large STEP Files
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39535'
author:
- first_name: R.
  full_name: Zhao, R.
  last_name: Zhao
- first_name: H. J.
  full_name: Kaufmann, H. J.
  last_name: Kaufmann
- first_name: T.
  full_name: Kern, T.
  last_name: Kern
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Zhao R, Kaufmann HJ, Kern T, Müller W. Pen-based Interfaces for Engineering
    Environments. In: ; 1995.'
  apa: Zhao, R., Kaufmann, H. J., Kern, T., &#38; Müller, W. (1995). <i>Pen-based
    Interfaces for Engineering Environments</i>. 6th Human-Computer Interaction International,
    Tokyo, Japan.
  bibtex: '@inproceedings{Zhao_Kaufmann_Kern_Müller_1995, title={Pen-based Interfaces
    for Engineering Environments}, author={Zhao, R. and Kaufmann, H. J. and Kern,
    T. and Müller, Wolfgang}, year={1995} }'
  chicago: Zhao, R., H. J. Kaufmann, T. Kern, and Wolfgang Müller. “Pen-Based Interfaces
    for Engineering Environments,” 1995.
  ieee: 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.
  mla: Zhao, R., et al. <i>Pen-Based Interfaces for Engineering Environments</i>.
    1995.
  short: 'R. Zhao, H.J. Kaufmann, T. Kern, W. Müller, in: 1995.'
conference:
  location: Tokyo, Japan
  name: 6th Human-Computer Interaction International
date_created: 2023-01-24T12:04:02Z
date_updated: 2023-01-24T12:04:06Z
department:
- _id: '672'
language:
- iso: eng
status: public
title: Pen-based Interfaces for Engineering Environments
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39541'
abstract:
- lang: eng
  text: 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:
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: C.
  full_name: Tahedl, C.
  last_name: Tahedl
citation:
  ama: 'Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete
    Visual Representation. In: <i>Proceedings of Symposium on Visual Languages</i>.
    ; 1995. doi:<a href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>'
  apa: Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1995). Transforming SDL Diagrams
    Into a Complete Visual Representation. <i>Proceedings of Symposium on Visual Languages</i>.
    <a href="https://doi.org/10.1109/VL.1995.520803">https://doi.org/10.1109/VL.1995.520803</a>
  bibtex: '@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany
    }, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={<a
    href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>}, booktitle={Proceedings
    of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang
    and Tahedl, C.}, year={1995} }'
  chicago: Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams
    Into a Complete Visual Representation.” In <i>Proceedings of Symposium on Visual
    Languages</i>.  Darmstadt, Germany , 1995. <a href="https://doi.org/10.1109/VL.1995.520803">https://doi.org/10.1109/VL.1995.520803</a>.
  ieee: 'G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into
    a Complete Visual Representation,” 1995, doi: <a href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>.'
  mla: Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual
    Representation.” <i>Proceedings of Symposium on Visual Languages</i>, 1995, doi:<a
    href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>.
  short: 'G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual
    Languages,  Darmstadt, Germany , 1995.'
date_created: 2023-01-24T12:07:26Z
date_updated: 2023-01-24T12:07:33Z
department:
- _id: '672'
doi: 10.1109/VL.1995.520803
keyword:
- Animation
- Timing
- Debugging
- Ethernet networks
- Multiaccess communication
- Protocols
- Computer languages
- Prototypes
- Environmental management
- Visualization
language:
- iso: eng
place: ' Darmstadt, Germany '
publication: Proceedings of Symposium on Visual Languages
publication_identifier:
  isbn:
  - 0-8186-7045-2
status: public
title: Transforming SDL Diagrams Into a Complete Visual Representation
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39546'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: N.
  full_name: Wiechers, N.
  last_name: Wiechers
citation:
  ama: Müller W, Lehrenfeld G, Wiechers N. Validation of EXPRESS Models. Published
    online 1995.
  apa: Müller, W., Lehrenfeld, G., &#38; Wiechers, N. (1995). <i>Validation of EXPRESS
    Models</i>.
  bibtex: '@article{Müller_Lehrenfeld_Wiechers_1995, series={CENELEC Technical Report
    R117-003:1995}, title={Validation of EXPRESS Models}, author={Müller, Wolfgang
    and Lehrenfeld, Georg and Wiechers, N.}, year={1995}, collection={CENELEC Technical
    Report R117-003:1995} }'
  chicago: Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Validation of EXPRESS
    Models.” CENELEC Technical Report R117-003:1995, 1995.
  ieee: W. Müller, G. Lehrenfeld, and N. Wiechers, “Validation of EXPRESS Models.”
    1995.
  mla: Müller, Wolfgang, et al. <i>Validation of EXPRESS Models</i>. 1995.
  short: W. Müller, G. Lehrenfeld, N. Wiechers, (1995).
date_created: 2023-01-24T12:10:32Z
date_updated: 2023-01-24T12:10:37Z
department:
- _id: '672'
language:
- iso: eng
series_title: CENELEC Technical Report R117-003:1995
status: public
title: Validation of EXPRESS Models
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39531'
abstract:
- lang: eng
  text: Greenville, South Carolina
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: W.
  full_name: Felser, W.
  last_name: Felser
- first_name: F.
  full_name: Buijs, F.
  last_name: Buijs
citation:
  ama: 'Müller W, Felser W, Buijs F. Guide to EXPRESS-P. In: <i>Proceedings of the
    4th EXPRESS User’s Group</i>. ; 1995.'
  apa: Müller, W., Felser, W., &#38; Buijs, F. (1995). Guide to EXPRESS-P. <i>Proceedings
    of the 4th EXPRESS User’s Group</i>.
  bibtex: '@inproceedings{Müller_Felser_Buijs_1995, place={Greenville, South Carolina},
    title={Guide to EXPRESS-P}, booktitle={Proceedings of the 4th EXPRESS User’s Group},
    author={Müller, Wolfgang and Felser, W. and Buijs, F.}, year={1995} }'
  chicago: Müller, Wolfgang, W. Felser, and F. Buijs. “Guide to EXPRESS-P.” In <i>Proceedings
    of the 4th EXPRESS User’s Group</i>. Greenville, South Carolina, 1995.
  ieee: W. Müller, W. Felser, and F. Buijs, “Guide to EXPRESS-P,” 1995.
  mla: Müller, Wolfgang, et al. “Guide to EXPRESS-P.” <i>Proceedings of the 4th EXPRESS
    User’s Group</i>, 1995.
  short: 'W. Müller, W. Felser, F. Buijs, in: Proceedings of the 4th EXPRESS User’s
    Group, Greenville, South Carolina, 1995.'
date_created: 2023-01-24T12:00:28Z
date_updated: 2023-01-24T12:00:34Z
department:
- _id: '672'
language:
- iso: eng
place: Greenville, South Carolina
publication: Proceedings of the 4th EXPRESS User's Group
status: public
title: Guide to EXPRESS-P
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39538'
abstract:
- lang: eng
  text: 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:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: C.
  full_name: Tahedl, C.
  last_name: Tahedl
citation:
  ama: 'Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations
    of Protocols. In: <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>.
    ; 1995. doi:<a href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>'
  apa: Müller, W., Lehrenfeld, G., &#38; Tahedl, C. (1995). Complete Visual Specification
    and Animations of Protocols. <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with
    EDA Technofair</i>. <a href="https://doi.org/10.1109/ASPDAC.1995.486383">https://doi.org/10.1109/ASPDAC.1995.486383</a>
  bibtex: '@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete
    Visual Specification and Animations of Protocols}, DOI={<a href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>},
    booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller,
    Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }'
  chicago: Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification
    and Animations of Protocols.” In <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95
    with EDA Technofair</i>. Chiba, Japan , 1995. <a href="https://doi.org/10.1109/ASPDAC.1995.486383">https://doi.org/10.1109/ASPDAC.1995.486383</a>.
  ieee: 'W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and
    Animations of Protocols,” 1995, doi: <a href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>.'
  mla: Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.”
    <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>, 1995, doi:<a
    href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>.
  short: 'W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95
    with EDA Technofair, Chiba, Japan , 1995.'
date_created: 2023-01-24T12:05:55Z
date_updated: 2023-01-24T12:05:59Z
department:
- _id: '672'
doi: 10.1109/ASPDAC.1995.486383
keyword:
- Animation
- Protocols
- Timing
- Computer languages
- Electronic mail
- Context modeling
- Visualization
- Control systems
- Flow graphs
- Trademarks
language:
- iso: eng
place: 'Chiba, Japan '
publication: Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair
publication_identifier:
  isbn:
  - 4-930813-67-0
status: public
title: Complete Visual Specification and Animations of Protocols
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39543'
author:
- first_name: R.
  full_name: Zhao, R.
  last_name: Zhao
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: H. J.
  full_name: Kaufmann, H. J.
  last_name: Kaufmann
- first_name: Th.
  full_name: Kern, Th.
  last_name: Kern
- first_name: F.
  full_name: Buijs, F.
  last_name: Buijs
citation:
  ama: 'Zhao R, Müller W, Kaufmann HJ, Kern Th, Buijs F. An Editor for the Rapid Prototyping
    of EXPRESS-G Models. In: <i>Proceedings of the 5th EXPRESS User’s Group</i>. ;
    1995.'
  apa: Zhao, R., Müller, W., Kaufmann, H. J., Kern, Th., &#38; Buijs, F. (1995). An
    Editor for the Rapid Prototyping of EXPRESS-G Models. <i>Proceedings of the 5th
    EXPRESS User’s Group</i>.
  bibtex: '@inproceedings{Zhao_Müller_Kaufmann_Kern_Buijs_1995, place={Grenoble},
    title={An Editor for the Rapid Prototyping of EXPRESS-G Models}, booktitle={Proceedings
    of the 5th EXPRESS User’s Group}, author={Zhao, R. and Müller, Wolfgang and Kaufmann,
    H. J. and Kern, Th. and Buijs, F.}, year={1995} }'
  chicago: Zhao, R., Wolfgang Müller, H. J. Kaufmann, Th. Kern, and F. Buijs. “An
    Editor for the Rapid Prototyping of EXPRESS-G Models.” In <i>Proceedings of the
    5th EXPRESS User’s Group</i>. Grenoble, 1995.
  ieee: R. Zhao, W. Müller, H. J. Kaufmann, Th. Kern, and F. Buijs, “An Editor for
    the Rapid Prototyping of EXPRESS-G Models,” 1995.
  mla: Zhao, R., et al. “An Editor for the Rapid Prototyping of EXPRESS-G Models.”
    <i>Proceedings of the 5th EXPRESS User’s Group</i>, 1995.
  short: 'R. Zhao, W. Müller, H.J. Kaufmann, Th. Kern, F. Buijs, in: Proceedings of
    the 5th EXPRESS User’s Group, Grenoble, 1995.'
date_created: 2023-01-24T12:09:13Z
date_updated: 2023-01-24T12:09:19Z
department:
- _id: '672'
language:
- iso: eng
place: Grenoble
publication: Proceedings of the 5th EXPRESS User's Group
status: public
title: An Editor for the Rapid Prototyping of EXPRESS-G Models
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39550'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: W.
  full_name: Felser, W.
  last_name: Felser
- first_name: N.
  full_name: Wiechers, N.
  last_name: Wiechers
citation:
  ama: Müller W, Felser W, Wiechers N. The Process Modeling Language EXPRESS-P. Published
    online 1995.
  apa: Müller, W., Felser, W., &#38; Wiechers, N. (1995). <i>The Process Modeling
    Language EXPRESS-P</i>.
  bibtex: '@article{Müller_Felser_Wiechers_1995, place={Paderborn, Germany}, series={ISO
    TC184/SC4/WG5, N230, Cadlab}, title={The Process Modeling Language EXPRESS-P},
    author={Müller, Wolfgang and Felser, W. and Wiechers, N.}, year={1995}, collection={ISO
    TC184/SC4/WG5, N230, Cadlab} }'
  chicago: Müller, Wolfgang, W. Felser, and N. Wiechers. “The Process Modeling Language
    EXPRESS-P.” ISO TC184/SC4/WG5, N230, Cadlab. Paderborn, Germany, 1995.
  ieee: W. Müller, W. Felser, and N. Wiechers, “The Process Modeling Language EXPRESS-P.”
    Paderborn, Germany, 1995.
  mla: Müller, Wolfgang, et al. <i>The Process Modeling Language EXPRESS-P</i>. 1995.
  short: W. Müller, W. Felser, N. Wiechers, (1995).
date_created: 2023-01-24T12:12:01Z
date_updated: 2023-01-24T12:12:05Z
department:
- _id: '672'
language:
- iso: eng
place: Paderborn, Germany
series_title: ISO TC184/SC4/WG5, N230, Cadlab
status: public
title: The Process Modeling Language EXPRESS-P
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39557'
author:
- first_name: W.
  full_name: Felser, W.
  last_name: Felser
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Felser W, Müller W. EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.
    Published online 1994.
  apa: Felser, W., &#38; Müller, W. (1994). <i>EXPRESS-P - Eine Erweiterung von ISO
    10303-11 zur Prozessmodellierung</i>.
  bibtex: '@article{Felser_Müller_1994, place={Paderborn, Germany}, series={CAD94},
    title={EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung},
    author={Felser, W. and Müller, Wolfgang}, year={1994}, collection={CAD94} }'
  chicago: Felser, W., and Wolfgang Müller. “EXPRESS-P - Eine Erweiterung von ISO
    10303-11 Zur Prozessmodellierung.” CAD94. Paderborn, Germany, 1994.
  ieee: W. Felser and W. Müller, “EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur
    Prozessmodellierung.” Paderborn, Germany, 1994.
  mla: Felser, W., and Wolfgang Müller. <i>EXPRESS-P - Eine Erweiterung von ISO 10303-11
    Zur Prozessmodellierung</i>. 1994.
  short: W. Felser, W. Müller, (1994).
date_created: 2023-01-24T12:14:51Z
date_updated: 2023-01-24T12:14:56Z
department:
- _id: '672'
language:
- iso: eng
place: Paderborn, Germany
series_title: CAD94
status: public
title: EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung
type: conference
user_id: '5786'
year: '1994'
...
---
_id: '39560'
abstract:
- lang: eng
  text: 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:
- first_name: Josef
  full_name: Eikerling, Josef
  last_name: Eikerling
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In:
    <i>Proceedings of the 17th Annual Computer Science Conference</i>. ; 1994:331-342.'
  apa: 'Eikerling, J., &#38; Müller, W. (1994). FADE: A Layout Facility for Graph-Based
    Diagrams. <i>Proceedings of the 17th Annual Computer Science Conference</i>, 331–342.'
  bibtex: '@inproceedings{Eikerling_Müller_1994, place={Christchurch, New Zealand},
    title={FADE: A Layout Facility for Graph-Based Diagrams}, booktitle={Proceedings
    of the 17th Annual Computer Science Conference}, author={Eikerling, Josef and
    Müller, Wolfgang}, year={1994}, pages={331–342} }'
  chicago: 'Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based
    Diagrams.” In <i>Proceedings of the 17th Annual Computer Science Conference</i>,
    331–42. Christchurch, New Zealand, 1994.'
  ieee: 'J. Eikerling and W. Müller, “FADE: A Layout Facility for Graph-Based Diagrams,”
    in <i>Proceedings of the 17th Annual Computer Science Conference</i>, 1994, pp.
    331–342.'
  mla: 'Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based
    Diagrams.” <i>Proceedings of the 17th Annual Computer Science Conference</i>,
    1994, pp. 331–42.'
  short: 'J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science
    Conference, Christchurch, New Zealand, 1994, pp. 331–342.'
date_created: 2023-01-24T12:16:20Z
date_updated: 2023-01-24T12:17:02Z
department:
- _id: '672'
language:
- iso: eng
page: 331-342
place: Christchurch, New Zealand
publication: Proceedings of the 17th Annual Computer Science Conference
status: public
title: 'FADE: A Layout Facility for Graph-Based Diagrams'
type: conference
user_id: '5786'
year: '1994'
...
---
_id: '39565'
author:
- first_name: D.
  full_name: Hyhuis, D.
  last_name: Hyhuis
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Hyhuis D, Müller W. Implementing Simultaneous Design: A Case Study. In: <i>Proceedings
    of the 2nd International Conference on Concurrent Engineering &#38; Electronic
    Design Automation (CEEDA94)</i>. ; 1994.'
  apa: 'Hyhuis, D., &#38; Müller, W. (1994). Implementing Simultaneous Design: A Case
    Study. <i>Proceedings of the 2nd International Conference on Concurrent Engineering
    &#38; Electronic Design Automation (CEEDA94)</i>.'
  bibtex: '@inproceedings{Hyhuis_Müller_1994, place={PoDTe, UK}, title={Implementing
    Simultaneous Design: A Case Study}, booktitle={Proceedings of the 2nd International
    Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)},
    author={Hyhuis, D. and Müller, Wolfgang}, year={1994} }'
  chicago: 'Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A
    Case Study.” In <i>Proceedings of the 2nd International Conference on Concurrent
    Engineering &#38; Electronic Design Automation (CEEDA94)</i>. PoDTe, UK, 1994.'
  ieee: 'D. Hyhuis and W. Müller, “Implementing Simultaneous Design: A Case Study,”
    1994.'
  mla: 'Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case
    Study.” <i>Proceedings of the 2nd International Conference on Concurrent Engineering
    &#38; Electronic Design Automation (CEEDA94)</i>, 1994.'
  short: 'D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference
    on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94), PoDTe,
    UK, 1994.'
date_created: 2023-01-24T12:18:00Z
date_updated: 2023-01-24T12:18:05Z
department:
- _id: '672'
language:
- iso: eng
place: PoDTe, UK
publication: Proceedings of the 2nd International Conference on Concurrent Engineering
  & Electronic Design Automation (CEEDA94)
status: public
title: 'Implementing Simultaneous Design: A Case Study'
type: conference
user_id: '5786'
year: '1994'
...
---
_id: '39577'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: N.
  full_name: Wiechers, N.
  last_name: Wiechers
citation:
  ama: Müller W, Lehrenfeld G, Wiechers N. Implementierung eines parallelen Validierungswerkzeugs
    für STEP-Produktdaten unter PVM. Published online 1994.
  apa: Müller, W., Lehrenfeld, G., &#38; Wiechers, N. (1994). <i>Implementierung eines
    parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM</i>.
  bibtex: '@article{Müller_Lehrenfeld_Wiechers_1994, place={Aachen}, series={TAT’94},
    title={Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten
    unter PVM}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.},
    year={1994}, collection={TAT’94} }'
  chicago: Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Implementierung Eines
    Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM.” TAT’94. Aachen,
    1994.
  ieee: W. Müller, G. Lehrenfeld, and N. Wiechers, “Implementierung eines parallelen
    Validierungswerkzeugs für STEP-Produktdaten unter PVM.” Aachen, 1994.
  mla: Müller, Wolfgang, et al. <i>Implementierung Eines Parallelen Validierungswerkzeugs
    Für STEP-Produktdaten Unter PVM</i>. 1994.
  short: W. Müller, G. Lehrenfeld, N. Wiechers, (1994).
date_created: 2023-01-24T12:24:39Z
date_updated: 2023-01-24T12:24:43Z
department:
- _id: '672'
language:
- iso: eng
place: Aachen
series_title: TAT'94
status: public
title: Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten
  unter PVM
type: conference
user_id: '5786'
year: '1994'
...
---
_id: '39575'
author:
- first_name: Egon
  full_name: Börger, Egon
  last_name: Börger
- first_name: Uwe
  full_name: Glässer, Uwe
  last_name: Glässer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Börger E, Glässer U, Müller W. The Semantics of Behavioral VHDL’93 Descriptions.
    In: <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>. ; 1994.'
  apa: Börger, E., Glässer, U., &#38; Müller, W. (1994). The Semantics of Behavioral
    VHDL’93 Descriptions. <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>.
  bibtex: '@inproceedings{Börger_Glässer_Müller_1994, place={Grenoble, France}, title={The
    Semantics of Behavioral VHDL’93 Descriptions}, booktitle={Proceedings of EURO-DAC’94/EURO-VHDL’94},
    author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, year={1994} }'
  chicago: Börger, Egon, Uwe Glässer, and Wolfgang Müller. “The Semantics of Behavioral
    VHDL’93 Descriptions.” In <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>. Grenoble,
    France, 1994.
  ieee: E. Börger, U. Glässer, and W. Müller, “The Semantics of Behavioral VHDL’93
    Descriptions,” 1994.
  mla: Börger, Egon, et al. “The Semantics of Behavioral VHDL’93 Descriptions.” <i>Proceedings
    of EURO-DAC’94/EURO-VHDL’94</i>, 1994.
  short: 'E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94,
    Grenoble, France, 1994.'
date_created: 2023-01-24T12:23:14Z
date_updated: 2023-01-24T12:23:19Z
department:
- _id: '672'
language:
- iso: eng
place: Grenoble, France
publication: Proceedings of EURO-DAC'94/EURO-VHDL'94
status: public
title: The Semantics of Behavioral VHDL'93 Descriptions
type: conference
user_id: '5786'
year: '1994'
...
---
_id: '39554'
author:
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: N.
  full_name: Wiechers, N.
  last_name: Wiechers
citation:
  ama: Lehrenfeld G, Müller W, Wiechers N. Ein paralleles Framework fuer die Validierung
    von STEP-Produktdaten. Published online 1994.
  apa: Lehrenfeld, G., Müller, W., &#38; Wiechers, N. (1994). <i>Ein paralleles Framework
    fuer die Validierung von STEP-Produktdaten</i>.
  bibtex: '@article{Lehrenfeld_Müller_Wiechers_1994, series={Tagungsband: CAD94},
    title={Ein paralleles Framework fuer die Validierung von STEP-Produktdaten}, author={Lehrenfeld,
    Georg and Müller, Wolfgang and Wiechers, N.}, year={1994}, collection={Tagungsband:
    CAD94} }'
  chicago: 'Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Ein Paralleles Framework
    Fuer Die Validierung von STEP-Produktdaten.” Tagungsband: CAD94, 1994.'
  ieee: G. Lehrenfeld, W. Müller, and N. Wiechers, “Ein paralleles Framework fuer
    die Validierung von STEP-Produktdaten.” 1994.
  mla: Lehrenfeld, Georg, et al. <i>Ein Paralleles Framework Fuer Die Validierung
    von STEP-Produktdaten</i>. 1994.
  short: G. Lehrenfeld, W. Müller, N. Wiechers, (1994).
date_created: 2023-01-24T12:13:38Z
date_updated: 2023-01-24T12:13:43Z
department:
- _id: '672'
language:
- iso: eng
series_title: 'Tagungsband: CAD94'
status: public
title: Ein paralleles Framework fuer die Validierung von STEP-Produktdaten
type: conference
user_id: '5786'
year: '1994'
...
---
_id: '39566'
author:
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: N.
  full_name: Wiechers, N.
  last_name: Wiechers
citation:
  ama: 'Lehrenfeld G, Müller W, Wiechers N. Parallel Validation of STEP Files. In:
    <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38;
    Electronic Design Automation (CEEDA94)</i>. ; 1994.'
  apa: Lehrenfeld, G., Müller, W., &#38; Wiechers, N. (1994). Parallel Validation
    of STEP Files. <i>Proceedings of the 2nd International Conference on Concurrent
    Engineering &#38; Electronic Design Automation (CEEDA94)</i>.
  bibtex: '@inproceedings{Lehrenfeld_Müller_Wiechers_1994, place={Poole, UK}, title={Parallel
    Validation of STEP Files}, booktitle={Proceedings of the 2nd International Conference
    on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)}, author={Lehrenfeld,
    Georg and Müller, Wolfgang and Wiechers, N.}, year={1994} }'
  chicago: Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Parallel Validation
    of STEP Files.” In <i>Proceedings of the 2nd International Conference on Concurrent
    Engineering &#38; Electronic Design Automation (CEEDA94)</i>. Poole, UK, 1994.
  ieee: G. Lehrenfeld, W. Müller, and N. Wiechers, “Parallel Validation of STEP Files,”
    1994.
  mla: Lehrenfeld, Georg, et al. “Parallel Validation of STEP Files.” <i>Proceedings
    of the 2nd International Conference on Concurrent Engineering &#38; Electronic
    Design Automation (CEEDA94)</i>, 1994.
  short: 'G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International
    Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94),
    Poole, UK, 1994.'
date_created: 2023-01-24T12:19:27Z
date_updated: 2023-01-24T12:19:31Z
department:
- _id: '672'
language:
- iso: eng
place: Poole, UK
publication: Proceedings of the 2nd International Conference on Concurrent Engineering
  & Electronic Design Automation (CEEDA94)
status: public
title: Parallel Validation of STEP Files
type: conference
user_id: '5786'
year: '1994'
...
---
_id: '39569'
author:
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Lehrenfeld G, Müller W. Computational Model of a Logical Visual Programming
    Language. Published online 1994.
  apa: Lehrenfeld, G., &#38; Müller, W. (1994). <i>Computational Model of a Logical
    Visual Programming Language</i>.
  bibtex: '@article{Lehrenfeld_Müller_1994, place={Paderborn, Germany}, series={Workshop
    Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6}, title={Computational
    Model of a Logical Visual Programming Language}, author={Lehrenfeld, Georg and
    Müller, Wolfgang}, year={1994}, collection={Workshop Logik in der Informatik,
    Jahrestreffen der Fachgruppe 0.1.6} }'
  chicago: 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.
  ieee: G. Lehrenfeld and W. Müller, “Computational Model of a Logical Visual Programming
    Language.” Paderborn, Germany, 1994.
  mla: Lehrenfeld, Georg, and Wolfgang Müller. <i>Computational Model of a Logical
    Visual Programming Language</i>. 1994.
  short: G. Lehrenfeld, W. Müller, (1994).
date_created: 2023-01-24T12:20:28Z
date_updated: 2023-01-24T12:20:33Z
department:
- _id: '672'
language:
- iso: eng
place: Paderborn, Germany
series_title: Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6
status: public
title: Computational Model of a Logical Visual Programming Language
type: conference
user_id: '5786'
year: '1994'
...
---
_id: '39572'
abstract:
- lang: eng
  text: '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:
- first_name: Winfried
  full_name: Felser, Winfried
  last_name: Felser
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Felser W, Müller W. EXPRESS-P - Extending EXPRESS for Process Modeling and
    Monitoring. In: <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>.
    ; 1994:145-154.'
  apa: Felser, W., &#38; Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process
    Modeling and Monitoring. <i>Proceedings of the 1994 ASME Computers in Engineering
    Conference</i>, 145–154.
  bibtex: '@inproceedings{Felser_Müller_1994, place={Minneapolis, MI}, title={EXPRESS-P
    - Extending EXPRESS for Process Modeling and Monitoring}, booktitle={Proceedings
    of the 1994 ASME Computers in Engineering Conference}, author={Felser, Winfried
    and Müller, Wolfgang}, year={1994}, pages={145–154} }'
  chicago: Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for
    Process Modeling and Monitoring.” In <i>Proceedings of the 1994 ASME Computers
    in Engineering Conference</i>, 145–54. Minneapolis, MI, 1994.
  ieee: W. Felser and W. Müller, “EXPRESS-P - Extending EXPRESS for Process Modeling
    and Monitoring,” in <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>,
    1994, pp. 145–154.
  mla: Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process
    Modeling and Monitoring.” <i>Proceedings of the 1994 ASME Computers in Engineering
    Conference</i>, 1994, pp. 145–54.
  short: 'W. Felser, W. Müller, in: Proceedings of the 1994 ASME Computers in Engineering
    Conference, Minneapolis, MI, 1994, pp. 145–154.'
date_created: 2023-01-24T12:21:48Z
date_updated: 2023-01-24T12:21:52Z
department:
- _id: '672'
language:
- iso: eng
page: 145-154
place: Minneapolis, MI
publication: Proceedings of the 1994 ASME Computers in Engineering Conference
status: public
title: EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring
type: conference
user_id: '5786'
year: '1994'
...
---
_id: '39578'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Müller W, Kleinjohann B. Tight Integration and Synchronization of Distributed
    Graphical Applications. In: <i>Proceedings of the Seventh Annual Database Symposium</i>.
    ; 1993.'
  apa: Müller, W., &#38; Kleinjohann, B. (1993). Tight Integration and Synchronization
    of Distributed Graphical Applications. <i>Proceedings of the Seventh Annual Database
    Symposium</i>.
  bibtex: '@inproceedings{Müller_Kleinjohann_1993, place={San Diego, USA}, title={Tight
    Integration and Synchronization of Distributed Graphical Applications}, booktitle={Proceedings
    of the Seventh Annual Database Symposium}, author={Müller, Wolfgang and Kleinjohann,
    Bernd}, year={1993} }'
  chicago: Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization
    of Distributed Graphical Applications.” In <i>Proceedings of the Seventh Annual
    Database Symposium</i>. San Diego, USA, 1993.
  ieee: W. Müller and B. Kleinjohann, “Tight Integration and Synchronization of Distributed
    Graphical Applications,” 1993.
  mla: Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization
    of Distributed Graphical Applications.” <i>Proceedings of the Seventh Annual Database
    Symposium</i>, 1993.
  short: 'W. Müller, B. Kleinjohann, in: Proceedings of the Seventh Annual Database
    Symposium, San Diego, USA, 1993.'
date_created: 2023-01-24T12:25:54Z
date_updated: 2023-01-24T12:26:01Z
department:
- _id: '672'
language:
- iso: eng
place: San Diego, USA
publication: Proceedings of the Seventh Annual Database Symposium
status: public
title: Tight Integration and Synchronization of Distributed Graphical Applications
type: conference
user_id: '5786'
year: '1993'
...
---
_id: '39580'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Müller W. Approaching the Denotational Semantics of Behavioral VHDL Descriptions.
    In: <i>Proc. of the 1st Asian Pacific Conference on Hardware Description Languages,
    Standards and Applications</i>. ; 1993.'
  apa: Müller, W. (1993). Approaching the Denotational Semantics of Behavioral VHDL
    Descriptions. <i>Proc. of the 1st Asian Pacific Conference on Hardware Description
    Languages, Standards and Applications</i>.
  bibtex: '@inproceedings{Müller_1993, place={Brisbane, Australia}, title={Approaching
    the Denotational Semantics of Behavioral VHDL Descriptions}, booktitle={Proc.
    of the 1st Asian Pacific Conference on Hardware Description Languages, Standards
    and Applications}, author={Müller, Wolfgang}, year={1993} }'
  chicago: Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral
    VHDL Descriptions.” In <i>Proc. of the 1st Asian Pacific Conference on Hardware
    Description Languages, Standards and Applications</i>. Brisbane, Australia, 1993.
  ieee: W. Müller, “Approaching the Denotational Semantics of Behavioral VHDL Descriptions,”
    1993.
  mla: Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL
    Descriptions.” <i>Proc. of the 1st Asian Pacific Conference on Hardware Description
    Languages, Standards and Applications</i>, 1993.
  short: 'W. Müller, in: Proc. of the 1st Asian Pacific Conference on Hardware Description
    Languages, Standards and Applications, Brisbane, Australia, 1993.'
date_created: 2023-01-24T12:28:08Z
date_updated: 2023-01-24T12:28:12Z
department:
- _id: '672'
language:
- iso: eng
place: Brisbane, Australia
publication: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages,
  Standards and Applications
status: public
title: Approaching the Denotational Semantics of Behavioral VHDL Descriptions
type: conference
user_id: '5786'
year: '1993'
...
---
_id: '39579'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: N.
  full_name: Wiechers, N.
  last_name: Wiechers
citation:
  ama: 'Müller W, Lehrenfeld G, Wiechers N. Parallel Validation of STEP Files. In:
    <i>Proceedings of the 3nd EXPRESS User’s Group Conference</i>. ; 1993.'
  apa: Müller, W., Lehrenfeld, G., &#38; Wiechers, N. (1993). Parallel Validation
    of STEP Files. <i>Proceedings of the 3nd EXPRESS User’s Group Conference</i>.
  bibtex: '@inproceedings{Müller_Lehrenfeld_Wiechers_1993, place={Berlin}, title={Parallel
    Validation of STEP Files}, booktitle={Proceedings of the 3nd EXPRESS User’s Group
    Conference}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.},
    year={1993} }'
  chicago: Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Parallel Validation
    of STEP Files.” In <i>Proceedings of the 3nd EXPRESS User’s Group Conference</i>.
    Berlin, 1993.
  ieee: W. Müller, G. Lehrenfeld, and N. Wiechers, “Parallel Validation of STEP Files,”
    1993.
  mla: Müller, Wolfgang, et al. “Parallel Validation of STEP Files.” <i>Proceedings
    of the 3nd EXPRESS User’s Group Conference</i>, 1993.
  short: 'W. Müller, G. Lehrenfeld, N. Wiechers, in: Proceedings of the 3nd EXPRESS
    User’s Group Conference, Berlin, 1993.'
date_created: 2023-01-24T12:27:16Z
date_updated: 2023-01-24T12:27:20Z
department:
- _id: '672'
language:
- iso: eng
place: Berlin
publication: Proceedings of the 3nd EXPRESS User's Group Conference
status: public
title: Parallel Validation of STEP Files
type: conference
user_id: '5786'
year: '1993'
...