---
_id: '39378'
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Andreas
  full_name: Dangberg, Andreas
  last_name: Dangberg
citation:
  ama: 'Schäfer R, Müller W, Dangberg A. Fuzzy Rules for the Transcoding of HTML Files.
    In: <i>Proceedings of the HICSS-35</i>. ; 2002.'
  apa: Schäfer, R., Müller, W., &#38; Dangberg, A. (2002). Fuzzy Rules for the Transcoding
    of HTML Files. <i>Proceedings of the HICSS-35</i>.
  bibtex: '@inproceedings{Schäfer_Müller_Dangberg_2002, place={Hawaii, USA}, title={Fuzzy
    Rules for the Transcoding of HTML Files}, booktitle={Proceedings of the HICSS-35},
    author={Schäfer, Robbie and Müller, Wolfgang and Dangberg, Andreas}, year={2002}
    }'
  chicago: Schäfer, Robbie, Wolfgang Müller, and Andreas Dangberg. “Fuzzy Rules for
    the Transcoding of HTML Files.” In <i>Proceedings of the HICSS-35</i>. Hawaii,
    USA, 2002.
  ieee: R. Schäfer, W. Müller, and A. Dangberg, “Fuzzy Rules for the Transcoding of
    HTML Files,” 2002.
  mla: Schäfer, Robbie, et al. “Fuzzy Rules for the Transcoding of HTML Files.” <i>Proceedings
    of the HICSS-35</i>, 2002.
  short: 'R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii,
    USA, 2002.'
date_created: 2023-01-24T10:07:18Z
date_updated: 2023-01-24T10:07:22Z
department:
- _id: '672'
language:
- iso: eng
place: Hawaii, USA
publication: Proceedings of the HICSS-35
status: public
title: Fuzzy Rules for the Transcoding of HTML Files
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39398'
abstract:
- lang: eng
  text: This article presents a UML profile for an OCL extension that enables modelers
    to specify behavioral, state-oriented real-time constraints in OCL. In order to
    perform a seamless integration into the upcoming UML2.0 standard, we take the
    latest OCL2.0 metamodel proposal by Warmer et al. [22] as a basis. A formal semantics
    of our temporal OCL extension is given by a mapping to time-annotated temporal
    logics formulae. To give an example of the applicability of our extension, we
    consider a modeling approach for manufacturing systems called MFERT. We present
    a corresponding UML profile for that approach and combine both profiles for formal
    verification by real-time model checking.
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Flake S, Müller W. A UML Profile for Real-Time Constraints with the OCL. In:
    <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>. Springer-Verlag;
    2002.'
  apa: Flake, S., &#38; Müller, W. (2002). A UML Profile for Real-Time Constraints
    with the OCL. <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>.
  bibtex: '@inproceedings{Flake_Müller_2002, place={Dresden, Germany}, title={A UML
    Profile for Real-Time Constraints with the OCL}, booktitle={Proceedings of the
    UML 2002 - The Unified Modeling Language}, publisher={Springer-Verlag}, author={Flake,
    Stephan and Müller, Wolfgang}, year={2002} }'
  chicago: 'Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints
    with the OCL.” In <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>.
    Dresden, Germany: Springer-Verlag, 2002.'
  ieee: S. Flake and W. Müller, “A UML Profile for Real-Time Constraints with the
    OCL,” 2002.
  mla: Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints
    with the OCL.” <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>,
    Springer-Verlag, 2002.
  short: 'S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling
    Language, Springer-Verlag, Dresden, Germany, 2002.'
date_created: 2023-01-24T10:17:16Z
date_updated: 2023-01-24T10:18:16Z
department:
- _id: '672'
language:
- iso: eng
place: Dresden, Germany
publication: Proceedings of the UML 2002 - The Unified Modeling Language
publisher: Springer-Verlag
status: public
title: A UML Profile for Real-Time Constraints with the OCL
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39393'
author:
- first_name: Wilhelm
  full_name: Dangelmeier, Wilhelm
  last_name: Dangelmeier
- first_name: C.
  full_name: Darnedde, C.
  last_name: Darnedde
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: U.
  full_name: Pape, U.
  last_name: Pape
citation:
  ama: Dangelmeier W, Darnedde C, Flake S, Müller W, Pape U. Graphische Spezifikation
    und Echtzeitverifikation von Produktionsautomatisierungssystemen. Published online
    2002.
  apa: Dangelmeier, W., Darnedde, C., Flake, S., Müller, W., &#38; Pape, U. (2002).
    <i>Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen</i>.
  bibtex: '@article{Dangelmeier_Darnedde_Flake_Müller_Pape_2002, place={Paderborn,
    Germany}, series={Tagungsband: 4. Paderborner Frühlingstagung}, title={Graphische
    Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen},
    author={Dangelmeier, Wilhelm and Darnedde, C. and Flake, Stephan and Müller, Wolfgang
    and Pape, U.}, year={2002}, collection={Tagungsband: 4. Paderborner Frühlingstagung}
    }'
  chicago: 'Dangelmeier, Wilhelm, C. Darnedde, Stephan Flake, Wolfgang Müller, and
    U. Pape. “Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen.”
    Tagungsband: 4. Paderborner Frühlingstagung. Paderborn, Germany, 2002.'
  ieee: W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, and U. Pape, “Graphische
    Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.”
    Paderborn, Germany, 2002.
  mla: Dangelmeier, Wilhelm, et al. <i>Graphische Spezifikation Und Echtzeitverifikation
    von Produktionsautomatisierungssystemen</i>. 2002.
  short: W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).
date_created: 2023-01-24T10:15:34Z
date_updated: 2023-01-24T10:15:39Z
department:
- _id: '672'
language:
- iso: eng
place: Paderborn, Germany
series_title: 'Tagungsband: 4. Paderborner Frühlingstagung'
status: public
title: Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39382'
abstract:
- lang: eng
  text: We present a rigorous but transparent semantics definition of the SpecC language
    that covers the execution of SpecC behaviors and their interaction with the kernel
    process. The semantics include wait, wait for, par, and try statements as they
    are introduced in SpecC. We present our definition in form of distributed abstract
    state machine (ASM) rules strictly following the lines of the SpecC Language Reference
    Manual. We mainly see our formal semantics in three application areas. First,
    it is a concise, unambiguous description for documentation and standardization.
    Second, it applies as a high-level, pseudo code-oriented specification for the
    implementation of a SpecC simulator. Finally, it is a first step for SpecC synthesis
    in order to identify similar concepts with other languages like VHDL and SystemC
    for the definition of common patterns and language subsets.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Rainer
  full_name: Dömer, Rainer
  last_name: Dömer
- first_name: Andreas
  full_name: Gerstlauer, Andreas
  last_name: Gerstlauer
citation:
  ama: 'Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC.
    In: <i>Proceedings of the ISSS02</i>. ; 2002. doi:<a href="https://doi.org/10.1145/581199.581234
    ">10.1145/581199.581234 </a>'
  apa: Müller, W., Dömer, R., &#38; Gerstlauer, A. (2002). The Formal Execution Semantics
    of SpecC. <i>Proceedings of the ISSS02</i>. <a href="https://doi.org/10.1145/581199.581234
    ">https://doi.org/10.1145/581199.581234 </a>
  bibtex: '@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The
    Formal Execution Semantics of SpecC}, DOI={<a href="https://doi.org/10.1145/581199.581234
    ">10.1145/581199.581234 </a>}, booktitle={Proceedings of the ISSS02}, author={Müller,
    Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }'
  chicago: Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution
    Semantics of SpecC.” In <i>Proceedings of the ISSS02</i>. Nagoya, Japan, 2002.
    <a href="https://doi.org/10.1145/581199.581234 ">https://doi.org/10.1145/581199.581234
    </a>.
  ieee: 'W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of
    SpecC,” 2002, doi: <a href="https://doi.org/10.1145/581199.581234 ">10.1145/581199.581234
    </a>.'
  mla: Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” <i>Proceedings
    of the ISSS02</i>, 2002, doi:<a href="https://doi.org/10.1145/581199.581234 ">10.1145/581199.581234
    </a>.
  short: 'W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya,
    Japan, 2002.'
date_created: 2023-01-24T10:10:24Z
date_updated: 2023-01-24T10:10:28Z
department:
- _id: '672'
doi: '10.1145/581199.581234 '
keyword:
- Standardization
- Kernel
- Permission
- Formal verification
- Logic functions
- Documentation
- Reasoning about programs
- Specification languages
- Formal specifications
- Software systems
language:
- iso: eng
place: Nagoya, Japan
publication: Proceedings of the ISSS02
publication_identifier:
  isbn:
  - 1-58113-576-9
status: public
title: The Formal Execution Semantics of SpecC
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39387'
abstract:
- lang: eng
  text: This paper compares the use of three different approaches to transcoding of
    XML [Extensible Markup Language]-based user interface descriptions to other target
    formats. The source is the interface section of the XML-based markup language
    for user interfaces, UIML [User Interface Markup Language], which has been extended
    with a vocabulary for the description of generic user interfaces. Target formats
    used as examples for the comparison are HTML [Hypertext Markup Language], and
    VoiceXML. The compared means for transcoding are XSLT [Extensible Stylesheet Language
    Transformation], the UIML peers section with enhancements for transcoding, and
    RDL/TT [Rule Description Language for Tree Transformation], a Java-like transcoding
    language. Rendered by www.RenderX.com Comparing Transcoding Tools for Use with
    a Generic User Interface Format.
author:
- first_name: Johan
  full_name: Plomp, Johan
  last_name: Plomp
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Plomp J, Schäfer R, Müller W. Comparing Transcoding Tools for Use with a Generic
    User Interface Format. In: <i>Proceedings of the Extreme Markup Languages 2002</i>.
    ; 2002.'
  apa: Plomp, J., Schäfer, R., &#38; Müller, W. (2002). Comparing Transcoding Tools
    for Use with a Generic User Interface Format. <i>Proceedings of the Extreme Markup
    Languages 2002</i>.
  bibtex: '@inproceedings{Plomp_Schäfer_Müller_2002, place={Montreal, Canada}, title={Comparing
    Transcoding Tools for Use with a Generic User Interface Format}, booktitle={Proceedings
    of the Extreme Markup Languages 2002}, author={Plomp, Johan and Schäfer, Robbie
    and Müller, Wolfgang}, year={2002} }'
  chicago: Plomp, Johan, Robbie Schäfer, and Wolfgang Müller. “Comparing Transcoding
    Tools for Use with a Generic User Interface Format.” In <i>Proceedings of the
    Extreme Markup Languages 2002</i>. Montreal, Canada, 2002.
  ieee: J. Plomp, R. Schäfer, and W. Müller, “Comparing Transcoding Tools for Use
    with a Generic User Interface Format,” 2002.
  mla: Plomp, Johan, et al. “Comparing Transcoding Tools for Use with a Generic User
    Interface Format.” <i>Proceedings of the Extreme Markup Languages 2002</i>, 2002.
  short: 'J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages
    2002, Montreal, Canada, 2002.'
date_created: 2023-01-24T10:12:41Z
date_updated: 2023-01-24T10:12:45Z
department:
- _id: '672'
language:
- iso: eng
place: Montreal, Canada
publication: Proceedings of the Extreme Markup Languages 2002
status: public
title: Comparing Transcoding Tools for Use with a Generic User Interface Format
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39403'
abstract:
- lang: eng
  text: The Unified Modeling Language (UML) has received wide acceptance as a standard
    language in the field of software specification by means of different diagram
    types. In a recent version of UML, the textual Object Constraint Language (OCL)
    was introduced to support specification of constraints for UML models. But OCL
    currently does not provide sufficient means to specify constraints over the dynamic
    behavior of a model. This article presents an OCL extension that is consistent
    with current OCL and enables modelers to specify state-related time-bounded constraints.
    We consider the case study of a flexible manufacturing system and identify typical
    real-time constraints. The constraints are presented in our temporal OCL extension
    as well as in temporal logic formulae. For general application, we define a semantics
    of our OCL extension by means of a time-bounded temporal logic based on Computational
    Tree Logic (CTL).
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Flake S, Müller W. Specification of Real-Time Properties for UML Models. In:
    <i>Proceedings of HICSS-35</i>. ; 2002. doi:<a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>'
  apa: Flake, S., &#38; Müller, W. (2002). Specification of Real-Time Properties for
    UML Models. <i>Proceedings of HICSS-35</i>. Proceedings of the 35th Annual Hawaii
    International Conference on System Sciences, Big Island, HI, USA . <a href="https://doi.org/10.1109/HICSS.2002.994469">https://doi.org/10.1109/HICSS.2002.994469</a>
  bibtex: '@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification
    of Real-Time Properties for UML Models}, DOI={<a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>},
    booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang},
    year={2002} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
    for UML Models.” In <i>Proceedings of HICSS-35</i>. Big Island, HI, USA , 2002.
    <a href="https://doi.org/10.1109/HICSS.2002.994469">https://doi.org/10.1109/HICSS.2002.994469</a>.
  ieee: 'S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,”
    presented at the Proceedings of the 35th Annual Hawaii International Conference
    on System Sciences, Big Island, HI, USA , 2002, doi: <a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>.'
  mla: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
    for UML Models.” <i>Proceedings of HICSS-35</i>, 2002, doi:<a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>.
  short: 'S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA ,
    2002.'
conference:
  location: 'Big Island, HI, USA '
  name: Proceedings of the 35th Annual Hawaii International Conference on System Sciences
date_created: 2023-01-24T10:22:12Z
date_updated: 2023-01-24T10:22:16Z
department:
- _id: '672'
doi: 10.1109/HICSS.2002.994469
keyword:
- Unified modeling language
- Logic
- Formal verification
- Real time systems
- Programming profession
- Vehicle dynamics
- Software standards
- Flexible manufacturing systems
- Electronics industry
- Protocols
language:
- iso: eng
place: 'Big Island, HI, USA '
publication: Proceedings of HICSS-35
publication_identifier:
  isbn:
  - 0-7695-1435-9
status: public
title: Specification of Real-Time Properties for UML Models
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39402'
abstract:
- lang: eng
  text: Die Object Constraint Language (OCL) wurde entwickelt, um Modelleinschränkungen
    beim objektorientierten Softwareentwurf mit der UML [14] ausdrücken zu können.
    Sie wird hauptsächlich benutzt, um Invarianten für Objekte sowie Vor-und Nachbedingungen
    von Operationen zu spezifizieren. Zurzeit bieten OCL und Echtzeiterweiterungen
    der UML nur bedingt geeignete Mittel, um temporale zeitbehaftete Modelleigenschaften
    zu beschreiben. Insbesondere kann man mit OCL keine Einschränkunge uber das dynamische
    Verhalten eines UML-Modells formulieren, die die Reihenfolge von Objektzuständen
    und Zustandsübergängen betreffen. Um ein korrektes Systemverhalten zu garantieren,
    ist es jedoch insbesondere bei zeitkritischen Anwendungen notwendig, solche zustandsbasierten
    zeitbehafteten Einschränkungen in einer formalen Art und Weise ausdrücken zu können.
    Es sind daher verschiedene Vorschläge veröffentlicht worden, in denen die OCL
    erweitert worden ist, um Modellierern die Möglichkeit zu geben, temporale Einschränkungen
    zu formulieren. Dieser Artikel gibt eine Überblick über die zurzeit bekannten
    Vorschläge und zeigt Ansätze für weitere Entwicklungen in diesem Bereich auf.
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Flake S, Müller W. Temporale Erweiterungen der OCL - Überblick und Aussichten.
    Published online 2002.
  apa: Flake, S., &#38; Müller, W. (2002). <i>Temporale Erweiterungen der OCL - Überblick
    und Aussichten</i>.
  bibtex: '@article{Flake_Müller_2002, place={Halle(Saale), Germany}, series={Tagungsband:
    2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”},
    title={Temporale Erweiterungen der OCL - Überblick und Aussichten}, author={Flake,
    Stephan and Müller, Wolfgang}, year={2002}, collection={Tagungsband: 2. Workshop
    “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”} }'
  chicago: 'Flake, Stephan, and Wolfgang Müller. “Temporale Erweiterungen Der OCL
    - Überblick Und Aussichten.” Tagungsband: 2. Workshop “Ablaufmodellierung in Ingenieurwissenschaftlichen
    Anwendungen.” Halle(Saale), Germany, 2002.'
  ieee: S. Flake and W. Müller, “Temporale Erweiterungen der OCL - Überblick und Aussichten.”
    Halle(Saale), Germany, 2002.
  mla: Flake, Stephan, and Wolfgang Müller. <i>Temporale Erweiterungen Der OCL - Überblick
    Und Aussichten</i>. 2002.
  short: S. Flake, W. Müller, (2002).
date_created: 2023-01-24T10:19:57Z
date_updated: 2023-01-24T10:20:03Z
department:
- _id: '672'
language:
- iso: eng
place: Halle(Saale), Germany
series_title: 'Tagungsband: 2. Workshop "Ablaufmodellierung in ingenieurwissenschaftlichen
  Anwendungen"'
status: public
title: Temporale Erweiterungen der OCL - Überblick und Aussichten
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39411'
abstract:
- lang: eng
  text: Rapid prototyping based on 3D models is well accepted for several applications.
    This article addresses the application of animated virtual 3D prototypes for the
    development of computer-based systems supporting early collaboration of the system
    designer with the external customer. Our methodology seamlessly integrates illustration
    through 3D animation with the main tasks of computer-based real-time systems development,
    i.e., implementation and verification. The approach is outlined by the example
    of the design of a flexible manufacturing system.
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  ama: 'Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through
    Virtual Prototyps. In: <i>Proceedings of IEEE KMN 2001</i>. ; 2001. doi:<a href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>'
  apa: 'Flake, S., Geiger, C., Müller, W., &#38; Ruf, J. (2001). Customer-Oriented
    Systems Design through Virtual Prototyps. <i>Proceedings of IEEE KMN 2001</i>.
    Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
    for Collaborative Enterprises. <a href="https://doi.org/10.1109/ENABL.2001.953425">https://doi.org/10.1109/ENABL.2001.953425</a>'
  bibtex: '@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA
    }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={<a
    href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>},
    booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian
    and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }'
  chicago: Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented
    Systems Design through Virtual Prototyps.” In <i>Proceedings of IEEE KMN 2001</i>.
    Cambridge, MA, USA , 2001. <a href="https://doi.org/10.1109/ENABL.2001.953425">https://doi.org/10.1109/ENABL.2001.953425</a>.
  ieee: 'S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design
    through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International
    Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises,
    2001, doi: <a href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>.'
  mla: Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.”
    <i>Proceedings of IEEE KMN 2001</i>, 2001, doi:<a href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>.
  short: 'S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001,
    Cambridge, MA, USA , 2001.'
conference:
  name: 'Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
    for Collaborative Enterprises'
date_created: 2023-01-24T10:30:14Z
date_updated: 2023-01-24T10:30:21Z
department:
- _id: '672'
doi: 10.1109/ENABL.2001.953425
keyword:
- Virtual prototyping
- Animation
- Collaboration
- System analysis and design
- Feedback
- Application software
- Power system modeling
- Handicapped aids
- Process design
- Contracts
language:
- iso: eng
place: 'Cambridge, MA, USA '
publication: Proceedings of IEEE KMN 2001
publication_identifier:
  isbn:
  - 0-7695-1269-0
status: public
title: Customer-Oriented Systems Design through Virtual Prototyps
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39407'
abstract:
- lang: eng
  text: "This article presents challenges, visions, and solutions for a true Pan-\r\nEuropean
    collaborative engineering infrastructure that is a target of the IST project\r\nE-COLLEG.
    The consortium aims at the definition of a transparent infrastructure\r\nthat
    will enable engineers from various domains to collaborate during the design of\r\ncomplex
    heterogeneous systems. In this context, we introduce an advanced\r\ncollaborative
    infrastructure (ACI). ACI covers dynamic Tool Registration and\r\nManagement Services
    (TRMS) for distance-spanning, tool integration and\r\nadministration, as well
    as open interfaces for XML-based data exchange. TRMS\r\nwill constitute a backbone
    for E-COLLEG-related pan-European collaborative\r\nresearch and engineering studies
    by fostering a combination of most recent Plug-\r\nand-Play techniques employing
    agent-based communication based on XML-\r\noriented integration technologies.
    This new enabling technology for collaborative\r\nengineering is validated in
    two application scenarios."
author:
- first_name: M.
  full_name: Bauer, M.
  last_name: Bauer
- first_name: Heinz-Josef
  full_name: Eikerling, Heinz-Josef
  last_name: Eikerling
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: A.
  full_name: Pawlak, A.
  last_name: Pawlak
- first_name: K.
  full_name: Siekierska, K.
  last_name: Siekierska
- first_name: D.
  full_name: Soderberg, D.
  last_name: Soderberg
- first_name: X.
  full_name: Warzee, X.
  last_name: Warzee
citation:
  ama: Bauer M, Eikerling H-J, Müller W, et al. Advanced Infrastructure for PAN-European
    Collaborative Engineering. Published online 2001.
  apa: Bauer, M., Eikerling, H.-J., Müller, W., Pawlak, A., Siekierska, K., Soderberg,
    D., &#38; Warzee, X. (2001). <i>Advanced Infrastructure for PAN-European Collaborative
    Engineering</i>.
  bibtex: '@article{Bauer_Eikerling_Müller_Pawlak_Siekierska_Soderberg_Warzee_2001,
    place={Venice, Italy}, series={The e-Business and e-Work Conference and Exhibition},
    title={Advanced Infrastructure for PAN-European Collaborative Engineering}, author={Bauer,
    M. and Eikerling, Heinz-Josef and Müller, Wolfgang and Pawlak, A. and Siekierska,
    K. and Soderberg, D. and Warzee, X.}, year={2001}, collection={The e-Business
    and e-Work Conference and Exhibition} }'
  chicago: Bauer, M., Heinz-Josef Eikerling, Wolfgang Müller, A. Pawlak, K. Siekierska,
    D. Soderberg, and X. Warzee. “Advanced Infrastructure for PAN-European Collaborative
    Engineering.” The E-Business and e-Work Conference and Exhibition. Venice, Italy,
    2001.
  ieee: M. Bauer <i>et al.</i>, “Advanced Infrastructure for PAN-European Collaborative
    Engineering.” Venice, Italy, 2001.
  mla: Bauer, M., et al. <i>Advanced Infrastructure for PAN-European Collaborative
    Engineering</i>. 2001.
  short: M. Bauer, H.-J. Eikerling, W. Müller, A. Pawlak, K. Siekierska, D. Soderberg,
    X. Warzee, (2001).
date_created: 2023-01-24T10:27:55Z
date_updated: 2023-01-24T10:28:01Z
department:
- _id: '672'
language:
- iso: eng
place: Venice, Italy
series_title: The e-Business and e-Work Conference and Exhibition
status: public
title: Advanced Infrastructure for PAN-European Collaborative Engineering
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39421'
abstract:
- lang: eng
  text: We present a rigorous but transparent semantics definition of SystemC that
    covers method, thread, and clocked thread behavior as well as their interaction
    with the simulation kernel process. The semantics includes watching statements,
    signal assignment, and wait statements as they are introduced in SystemC V1.O.
    We present our definition in form of distributed Abstract State Machines (ASMs)
    rules reflecting the view given in the SystemC User's Manual and the reference
    implementation. We mainly see our formal semantics as a concise, unambiguous,
    high-level specification for SystemC-based implementations and for standardization.
    Additionally, it can be used as a sound basis to investigate SystemC interoperability
    with Verilog and VHDL.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
- first_name: D. W.
  full_name: Hoffmann, D. W.
  last_name: Hoffmann
- first_name: Joachim
  full_name: Gerlach, Joachim
  last_name: Gerlach
- first_name: Thomas
  full_name: Kropf, Thomas
  last_name: Kropf
- first_name: W.
  full_name: Rosenstiehl, W.
  last_name: Rosenstiehl
citation:
  ama: 'Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation
    Semantics of SystemC. In: <i>Proceedings of the Design, Automation, and Test in
    Europe (DATE’01)</i>. IEEE; 2001. doi:<a href="https://doi.org/10.1109/DATE.2001.915002">10.1109/DATE.2001.915002</a>'
  apa: Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., &#38; Rosenstiehl,
    W. (2001). The Simulation Semantics of SystemC. <i>Proceedings of the Design,
    Automation, and Test in Europe (DATE’01)</i>.  Proceedings Design, Automation
    and Test in Europe. Conference and Exhibition 2001. <a href="https://doi.org/10.1109/DATE.2001.915002">https://doi.org/10.1109/DATE.2001.915002</a>
  bibtex: '@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich,
    Germany }, title={The Simulation Semantics of SystemC}, DOI={<a href="https://doi.org/10.1109/DATE.2001.915002">10.1109/DATE.2001.915002</a>},
    booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)},
    publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W.
    and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }'
  chicago: 'Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas
    Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In <i>Proceedings
    of the Design, Automation, and Test in Europe (DATE’01)</i>. Munich, Germany :
    IEEE, 2001. <a href="https://doi.org/10.1109/DATE.2001.915002">https://doi.org/10.1109/DATE.2001.915002</a>.'
  ieee: 'W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl,
    “The Simulation Semantics of SystemC,” presented at the  Proceedings Design, Automation
    and Test in Europe. Conference and Exhibition 2001, 2001, doi: <a href="https://doi.org/10.1109/DATE.2001.915002">10.1109/DATE.2001.915002</a>.'
  mla: Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” <i>Proceedings
    of the Design, Automation, and Test in Europe (DATE’01)</i>, IEEE, 2001, doi:<a
    href="https://doi.org/10.1109/DATE.2001.915002">10.1109/DATE.2001.915002</a>.
  short: 'W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl,
    in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE,
    Munich, Germany , 2001.'
conference:
  name: ' Proceedings Design, Automation and Test in Europe. Conference and Exhibition
    2001'
date_created: 2023-01-24T10:39:33Z
date_updated: 2023-01-24T10:39:38Z
department:
- _id: '672'
doi: 10.1109/DATE.2001.915002
keyword:
- Yarn
- Formal verification
- Kernel
- Hardware design languages
- Electronic design automation and methodology
- Algebra
- Computational modeling
- Logic functions
- Computer languages
- Clocks
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of the Design, Automation, and Test in Europe (DATE’01)
publication_identifier:
  isbn:
  - 0-7695-0993-2
publisher: IEEE
status: public
title: The Simulation Semantics of SystemC
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39427'
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: U.
  full_name: Pape, U.
  last_name: Pape
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  ama: 'Flake S, Müller W, Pape U, Ruf J. Real-Time Model Checking for the Analysis
    of flexible Manufacturing Systems. In: <i>Proceedings of ISI 2001</i>. ; 2001.'
  apa: Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2001). Real-Time Model Checking
    for the Analysis of flexible Manufacturing Systems. <i>Proceedings of ISI 2001</i>.
  bibtex: '@inproceedings{Flake_Müller_Pape_Ruf_2001, place={Dubai}, title={Real-Time
    Model Checking for the Analysis of flexible Manufacturing Systems}, booktitle={Proceedings
    of ISI 2001}, author={Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf,
    Jürgen}, year={2001} }'
  chicago: Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model
    Checking for the Analysis of Flexible Manufacturing Systems.” In <i>Proceedings
    of ISI 2001</i>. Dubai, 2001.
  ieee: S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the
    Analysis of flexible Manufacturing Systems,” 2001.
  mla: Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible
    Manufacturing Systems.” <i>Proceedings of ISI 2001</i>, 2001.
  short: 'S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai,
    2001.'
date_created: 2023-01-24T10:43:11Z
date_updated: 2023-01-24T10:43:21Z
department:
- _id: '672'
language:
- iso: eng
place: Dubai
publication: Proceedings of ISI 2001
status: public
title: Real-Time Model Checking for the Analysis of flexible Manufacturing Systems
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39432'
abstract:
- lang: eng
  text: This article presents SAL, a general purpose scripting language for the rapid
    development of distributed software agents seamlessly embedded in a visual environment.
    Integrated facilities for dynamic visualization provide sample but powerful means
    for debugging and domain-oriented animation. SAL agents are arranged on a set
    of 2D worksheets which can be distributed over different machines. An agent's
    program is defined by the means of a table specifying a set of state transition
    rules with a condition and a sequence of actions each. Beyond basic computation
    and communication, actions can dynamically modify the agent's depiction, its program,
    and spawn arbitrary processes. A couple of examples demonstrate SAL's applicability
    in various domains like electronic systems design and process management.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: A.
  full_name: Meyer, A.
  last_name: Meyer
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
citation:
  ama: 'Müller W, Meyer A, Zabel H. A Language for the Rapid Prototyping of Mobile
    Evolving Agents. In: <i>Proceedings of the 34th Annual Hawaii International Conference
    on System Sciences</i>. ; 2001. doi:<a href="https://doi.org/10.1109/HICSS.2001.926319">10.1109/HICSS.2001.926319</a>'
  apa: Müller, W., Meyer, A., &#38; Zabel, H. (2001). A Language for the Rapid Prototyping
    of Mobile Evolving Agents. <i>Proceedings of the 34th Annual Hawaii International
    Conference on System Sciences</i>. <a href="https://doi.org/10.1109/HICSS.2001.926319">https://doi.org/10.1109/HICSS.2001.926319</a>
  bibtex: '@inproceedings{Müller_Meyer_Zabel_2001, place={Maui, HI, USA }, title={A
    Language for the Rapid Prototyping of Mobile Evolving Agents}, DOI={<a href="https://doi.org/10.1109/HICSS.2001.926319">10.1109/HICSS.2001.926319</a>},
    booktitle={Proceedings of the 34th Annual Hawaii International Conference on System
    Sciences}, author={Müller, Wolfgang and Meyer, A. and Zabel, Henning}, year={2001}
    }'
  chicago: Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid
    Prototyping of Mobile Evolving Agents.” In <i>Proceedings of the 34th Annual Hawaii
    International Conference on System Sciences</i>. Maui, HI, USA , 2001. <a href="https://doi.org/10.1109/HICSS.2001.926319">https://doi.org/10.1109/HICSS.2001.926319</a>.
  ieee: 'W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping
    of Mobile Evolving Agents,” 2001, doi: <a href="https://doi.org/10.1109/HICSS.2001.926319">10.1109/HICSS.2001.926319</a>.'
  mla: Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving
    Agents.” <i>Proceedings of the 34th Annual Hawaii International Conference on
    System Sciences</i>, 2001, doi:<a href="https://doi.org/10.1109/HICSS.2001.926319">10.1109/HICSS.2001.926319</a>.
  short: 'W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii
    International Conference on System Sciences, Maui, HI, USA , 2001.'
date_created: 2023-01-24T10:48:09Z
date_updated: 2023-01-24T10:48:14Z
department:
- _id: '672'
doi: 10.1109/HICSS.2001.926319
keyword:
- software prototyping
- distributed programming
- authoring languages
- software agents
- program visualisation
- parallel languages
language:
- iso: eng
place: 'Maui, HI, USA '
publication: Proceedings of the 34th Annual Hawaii International Conference on System
  Sciences
publication_identifier:
  isbn:
  - 0-7695-0981-9
status: public
title: A Language for the Rapid Prototyping of Mobile Evolving Agents
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39431'
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: Rainer
  full_name: Tellmann, Rainer
  last_name: Tellmann
citation:
  ama: 'Lehrenfeld G, Müller W, Tellmann R. Security Concepts for Agent-Based Systems.
    In: <i>Proceedings of SCASE 01</i>. ; 2001.'
  apa: Lehrenfeld, G., Müller, W., &#38; Tellmann, R. (2001). Security Concepts for
    Agent-Based Systems. <i>Proceedings of SCASE 01</i>.
  bibtex: '@inproceedings{Lehrenfeld_Müller_Tellmann_2001, place={Enschede, Netherlands},
    title={Security Concepts for Agent-Based Systems}, booktitle={Proceedings of SCASE
    01}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer}, year={2001}
    }'
  chicago: Lehrenfeld, Georg, Wolfgang Müller, and Rainer Tellmann. “Security Concepts
    for Agent-Based Systems.” In <i>Proceedings of SCASE 01</i>. Enschede, Netherlands,
    2001.
  ieee: G. Lehrenfeld, W. Müller, and R. Tellmann, “Security Concepts for Agent-Based
    Systems,” 2001.
  mla: Lehrenfeld, Georg, et al. “Security Concepts for Agent-Based Systems.” <i>Proceedings
    of SCASE 01</i>, 2001.
  short: 'G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede,
    Netherlands, 2001.'
date_created: 2023-01-24T10:45:49Z
date_updated: 2023-01-24T10:45:54Z
department:
- _id: '672'
language:
- iso: eng
place: Enschede, Netherlands
publication: Proceedings of SCASE 01
status: public
title: Security Concepts for Agent-Based Systems
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39406'
abstract:
- lang: eng
  text: "Die Object Constraint Language (OCL) wurde entwickelt, um Modellierer bei
    der Spe-\r\nzifikation von Modelleigenschaften im Kontext gegebener UML Diagramme
    zu un-\r\nterst ̈utzen [3]. Jedoch ist es leider nicht m ̈oglich, Eigenschaften,
    die das dynamische\r\nVerhalten betreffen, mit der derzeitigen Version von OCL
    auszudr ̈ucken.\r\nWir pr ̈asentieren eine Erweiterung von OCL Version 1.4 zur
    Spezifikation von zu-\r\nstandsbasierten, zeitbehafteten Eigenschaften. Obwohl
    OCL und unsere Erweiterung\r\nin erster Linie im Rahmen der UML entwickelt worden
    sind, ist es auch m ̈oglich,\r\nmit dieser Sprache Eigenschaften f ̈ur andere
    objektbasierte Formalismen zu beschrei-\r\nben. Wir veranschaulichen dies anhand
    einer Anwendung bei der Modellpr ̈ufungsspe-\r\nzifikation in Verbindung mit MFERT,
    einer praxisrelevanten Notation, die im Projekt\r\nGRASP zur Modellierung von
    Produktionsabl ̈aufen eingesetzt wird."
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine
    MFERT-basierte Fallstudie. Published online 2001.
  apa: Flake, S., &#38; Müller, W. (2001). <i>Spezifikation von Echtzeiteigenschaften
    mit OCL für eine MFERT-basierte Fallstudie</i>.
  bibtex: '@article{Flake_Müller_2001, place={Berlin}, series={Tagungsband: Ablaufmodellierungen
    in ingenieruwissenschaftlichen Anwendungen}, title={Spezifikation von Echtzeiteigenschaften
    mit OCL für eine MFERT-basierte Fallstudie}, author={Flake, Stephan and Müller,
    Wolfgang}, year={2001}, collection={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen
    Anwendungen} }'
  chicago: 'Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften
    Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen
    in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001.'
  ieee: S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für
    eine MFERT-basierte Fallstudie.” Berlin, 2001.
  mla: Flake, Stephan, and Wolfgang Müller. <i>Spezifikation von Echtzeiteigenschaften
    Mit OCL Für Eine MFERT-Basierte Fallstudie</i>. 2001.
  short: S. Flake, W. Müller, (2001).
date_created: 2023-01-24T10:24:09Z
date_updated: 2023-01-24T10:24:15Z
department:
- _id: '672'
language:
- iso: eng
place: Berlin
series_title: 'Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen'
status: public
title: Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39425'
abstract:
- lang: eng
  text: This paper introduces the VIVID (Visual Interactive VIew Development) framework
    for generation and customization of advanced visual interactive environments for
    resource manipulation in databases. The framework covers the definition of symbols,
    their mapping to database objects, specification of spatial relationships among
    them, layout assignment as well as the definition of drag&drop-based user interactions.
author:
- first_name: Andreas
  full_name: Dangberg, Andreas
  last_name: Dangberg
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Dangberg A, Müller W. Generation of Interactive Visual Interfaces for Resource
    Management. In: <i>Proceedings of ISI 2001</i>. ; 2001.'
  apa: Dangberg, A., &#38; Müller, W. (2001). Generation of Interactive Visual Interfaces
    for Resource Management. <i>Proceedings of ISI 2001</i>.
  bibtex: '@inproceedings{Dangberg_Müller_2001, place={Dubai}, title={Generation of
    Interactive Visual Interfaces for Resource Management}, booktitle={Proceedings
    of ISI 2001}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2001} }'
  chicago: Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual
    Interfaces for Resource Management.” In <i>Proceedings of ISI 2001</i>. Dubai,
    2001.
  ieee: A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for
    Resource Management,” 2001.
  mla: Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces
    for Resource Management.” <i>Proceedings of ISI 2001</i>, 2001.
  short: 'A. Dangberg, W. Müller, in: Proceedings of ISI 2001, Dubai, 2001.'
date_created: 2023-01-24T10:41:05Z
date_updated: 2023-01-24T10:41:09Z
department:
- _id: '672'
language:
- iso: eng
place: Dubai
publication: Proceedings of ISI 2001
status: public
title: Generation of Interactive Visual Interfaces for Resource Management
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '53588'
author:
- first_name: Andreas
  full_name: Dangberg, Andreas
  last_name: Dangberg
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Dangberg A, Müller W. Verfahren zur Steuerung der Anordnung von graphischen
    Elementen. Published online 2000.
  apa: Dangberg, A., &#38; Müller, W. (2000). <i>Verfahren zur Steuerung der Anordnung
    von graphischen Elementen</i>.
  bibtex: '@article{Dangberg_Müller_2000, title={Verfahren zur Steuerung der Anordnung
    von graphischen Elementen}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2000}
    }'
  chicago: Dangberg, Andreas, and Wolfgang Müller. “Verfahren Zur Steuerung Der Anordnung
    von Graphischen Elementen,” 2000.
  ieee: A. Dangberg and W. Müller, “Verfahren zur Steuerung der Anordnung von graphischen
    Elementen.” 2000.
  mla: Dangberg, Andreas, and Wolfgang Müller. <i>Verfahren Zur Steuerung Der Anordnung
    von Graphischen Elementen</i>. 2000.
  short: A. Dangberg, W. Müller, (2000).
date_created: 2024-04-18T21:23:25Z
date_updated: 2024-04-18T21:23:39Z
department:
- _id: '58'
ipc: Deutsches Patentamt
ipn: DE200/0165323
publication_date: 2000/12/31
status: public
title: Verfahren zur Steuerung der Anordnung von graphischen Elementen
type: patent
user_id: '16243'
year: '2000'
...
---
_id: '39434'
abstract:
- lang: eng
  text: "In diesem Artikel stellen wir die Anwendung von Modellprüfung für ein\r\nFertigungssystem
    mit freifahrenden Transportfahrzeugen vor. Dabei konzentrieren wir\r\nuns darauf,
    den Materialfluss in einem Systemmodell auf die Einhaltung quantitativer\r\nund
    zeitlicher Bedingungen hin zu überprüfen. Zur Modellentwicklung setzen wir die\r\ngraphische
    Beschreibungsmethode MFERT ein, die sich bereits mehrfach in\r\nIndustrieprojekten
    bewährt hat. Wir präsentieren eine Abbildung von MFERT in\r\nzeitannotierte Zustandsübergangssysteme,
    die für ein bereits existierendes Werkzeug zur\r\nModellprüfung als Eingabe einer
    Modellbeschreibung dienen. Bei der Modellprüfung\r\nwird diese Beschreibung auf
    die Einhaltung von Eigenschaften überprüft, die in einer\r\ntemporalen Logik oder
    einer davon abstrahierten Form spezifiziert werden."
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Ulrich
  full_name: Pape, Ulrich
  last_name: Pape
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  ama: Flake S, Müller W, Pape U, Ruf J. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.
    Published online 2000.
  apa: Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2000). <i>Modellprüfung für
    den Entwurf von Fertigungssteuerungssystemen</i>.
  bibtex: '@article{Flake_Müller_Pape_Ruf_2000, place={Siegen}, series={Mobis 2000},
    title={Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}, author={Flake,
    Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, year={2000}, collection={Mobis
    2000} }'
  chicago: Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Modellprüfung
    Für Den Entwurf von Fertigungssteuerungssystemen.” Mobis 2000. Siegen, 2000.
  ieee: S. Flake, W. Müller, U. Pape, and J. Ruf, “Modellprüfung für den Entwurf von
    Fertigungssteuerungssystemen.” Siegen, 2000.
  mla: Flake, Stephan, et al. <i>Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen</i>.
    2000.
  short: S. Flake, W. Müller, U. Pape, J. Ruf, (2000).
date_created: 2023-01-24T10:49:52Z
date_updated: 2023-01-24T10:49:57Z
department:
- _id: '672'
language:
- iso: eng
place: Siegen
series_title: Mobis 2000
status: public
title: Modellprüfung für den Entwurf von Fertigungssteuerungssystemen
type: conference
user_id: '5786'
year: '2000'
...
---
_id: '39444'
abstract:
- lang: eng
  text: 'Prototyping mit 3D-Modellen in virtueller Umgebung ist eine kostengünstige
    Alternative zur Entwicklung von physikalischen Modellen und Mock-ups. Für einige
    Anwendungen ergeben sich erhebliche Vorteile durch die Validierung in einer virtuellen
    Umgebung. In diesem Artikel stellen wir den Einsatz einer 3D-Animation zur Entwicklung
    und zum Test einer Fahrzeugsteuerung vor. Basierend auf dem Prinzip der schrittweisen
    Verfeinerung kann die Steuerung zunächst nur unter Berücksichtigung der Kommunikation
    zwischen den Basiskomponenten entworfen werden. Im zweiten Schritt wird die Ansteuerung
    der Aktoren unter Auswertung der Sensoren berücksichtigt. Letztendlich ist das
    System unter Einflussnahme der physikalischen Größen zu validieren. Wir stellen
    die Schnittstelle exemplarisch anhand einer Steuerung für fahrerlose Transportfahrzeuge
    im Szenario eines holonischen Transportsystems vor. '
author:
- first_name: A.
  full_name: Braatz, A.
  last_name: Braatz
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: E.
  full_name: Westkämper, E.
  last_name: Westkämper
citation:
  ama: Braatz A, Flake S, Müller W, Westkämper E. Prototyping einer Fahrzeug-steuerung
    in einer virtuellen 3D-Umgebung. Published online 2000.
  apa: Braatz, A., Flake, S., Müller, W., &#38; Westkämper, E. (2000). <i>Prototyping
    einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung</i>.
  bibtex: '@article{Braatz_Flake_Müller_Westkämper_2000, place={Magdeburg, Germany},
    series={Simulation und Visualisierung 2000}, title={Prototyping einer Fahrzeug-steuerung
    in einer virtuellen 3D-Umgebung}, author={Braatz, A. and Flake, Stephan and Müller,
    Wolfgang and Westkämper, E.}, year={2000}, collection={Simulation und Visualisierung
    2000} }'
  chicago: Braatz, A., Stephan Flake, Wolfgang Müller, and E. Westkämper. “Prototyping
    Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung.” Simulation Und Visualisierung
    2000. Magdeburg, Germany, 2000.
  ieee: A. Braatz, S. Flake, W. Müller, and E. Westkämper, “Prototyping einer Fahrzeug-steuerung
    in einer virtuellen 3D-Umgebung.” Magdeburg, Germany, 2000.
  mla: Braatz, A., et al. <i>Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen
    3D-Umgebung</i>. 2000.
  short: A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).
date_created: 2023-01-24T11:09:42Z
date_updated: 2023-01-24T11:09:46Z
department:
- _id: '672'
language:
- iso: eng
place: Magdeburg, Germany
series_title: Simulation und Visualisierung 2000
status: public
title: Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung
type: conference
user_id: '5786'
year: '2000'
...
---
_id: '39461'
abstract:
- lang: eng
  text: "Model checking has received wide acceptance as a valuable technique in the
    field of electronic\r\ndesign automation and is currently of growing interest
    in general systems design. Though its\r\nconcepts and applications are well understood
    it often turns out that engineers have severe\r\nproblems with the specification
    process and the underlying notation, i.e., formulation and\r\nunderstanding of
    specifications through means of temporal logic formulae. In this article, we\r\npresent
    an approach for a natural language–oriented representation of temporal logic formulae\r\nby
    introducing patterns of structured English sentences for Clocked CTL (CCTL) specification.\r\nAfter
    outlining the basic patterns of the sentences we give their semantics by a translation
    to\r\nCCTL. A final example demonstrates their application."
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  ama: Flake S, Müller W, Ruf J. Structured English for Model Checking Specification.
    Published online 2000.
  apa: Flake, S., Müller, W., &#38; Ruf, J. (2000). <i>Structured English for Model
    Checking Specification</i>.
  bibtex: '@article{Flake_Müller_Ruf_2000, place={Frankfurt}, series={Methoden und
    Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
    title={Structured English for Model Checking Specification}, author={Flake, Stephan
    and Müller, Wolfgang and Ruf, Jürgen}, year={2000}, collection={Methoden und Beschreibungssprachen
    zur Modellierung und Verifikation von Schaltungen und Systemen} }'
  chicago: Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “Structured English for
    Model Checking Specification.” Methoden Und Beschreibungssprachen Zur Modellierung
    Und Verifikation von Schaltungen Und Systemen. Frankfurt, 2000.
  ieee: S. Flake, W. Müller, and J. Ruf, “Structured English for Model Checking Specification.”
    Frankfurt, 2000.
  mla: Flake, Stephan, et al. <i>Structured English for Model Checking Specification</i>.
    2000.
  short: S. Flake, W. Müller, J. Ruf, (2000).
date_created: 2023-01-24T11:13:28Z
date_updated: 2023-01-24T11:13:33Z
department:
- _id: '672'
language:
- iso: eng
place: Frankfurt
series_title: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
  von Schaltungen und Systemen
status: public
title: Structured English for Model Checking Specification
type: conference
user_id: '5786'
year: '2000'
...
---
_id: '39435'
abstract:
- lang: eng
  text: This article presents SAL (Synchronous Agent Language), a general-purpose
    grid{based 2D programming language for parallel system specication, implementation,
    and visualization. SAL agents have a depiction and a behavior. The behavior is
    dened by the means of state transition rules. The depiction is given by the drawing
    area on its surface. Actions in rules can execute drawing operations for dynamically
    changing the depiction during runtime. For a broader range of applications, SAL
    incorporates mobile code, code modication during runtime, and tool integration
    facilities.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Arne
  full_name: Meyer, Arne
  last_name: Meyer
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
citation:
  ama: 'Müller W, Meyer A, Zabel H. A Visual Framework for the Scripting of Parallel
    Agents. In: <i>Proceedings of the IEEE Symposium on Visual Languages</i>. ; 2000.'
  apa: Müller, W., Meyer, A., &#38; Zabel, H. (2000). A Visual Framework for the Scripting
    of Parallel Agents. <i>Proceedings of the IEEE Symposium on Visual Languages</i>.
  bibtex: '@inproceedings{Müller_Meyer_Zabel_2000, place={Seattle, Washington, USA},
    title={A Visual Framework for the Scripting of Parallel Agents}, booktitle={Proceedings
    of the IEEE Symposium on Visual Languages}, author={Müller, Wolfgang and Meyer,
    Arne and Zabel, Henning}, year={2000} }'
  chicago: Müller, Wolfgang, Arne Meyer, and Henning Zabel. “A Visual Framework for
    the Scripting of Parallel Agents.” In <i>Proceedings of the IEEE Symposium on
    Visual Languages</i>. Seattle, Washington, USA, 2000.
  ieee: W. Müller, A. Meyer, and H. Zabel, “A Visual Framework for the Scripting of
    Parallel Agents,” 2000.
  mla: Müller, Wolfgang, et al. “A Visual Framework for the Scripting of Parallel
    Agents.” <i>Proceedings of the IEEE Symposium on Visual Languages</i>, 2000.
  short: 'W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on
    Visual Languages, Seattle, Washington, USA, 2000.'
date_created: 2023-01-24T10:51:23Z
date_updated: 2023-01-24T10:51:41Z
department:
- _id: '672'
language:
- iso: eng
place: Seattle, Washington, USA
publication: Proceedings of the IEEE Symposium on Visual Languages
status: public
title: A Visual Framework for the Scripting of Parallel Agents
type: conference
user_id: '5786'
year: '2000'
...