---
_id: '39055'
abstract:
- lang: eng
  text: We present a rigorous but transparent semantics definition of SystemVerilog
    that covers processes with blocking and non-blocking statements as well as their
    interaction with the simulation scheduler including the management of new SystemVerilog
    regions. We present our definition in form of distributed Abstract State Machines
    (ASMs) rules reflecting the view given in the SystemVerilog Language Reference
    Manual [1]. Our formal semantics is a concise, unambiguous, high-level specification
    for SystemVerilog-based implementations and for investigation of interoperabilities
    of SystemVerilog with SpecC, SystemC, and VHDL.
author:
- first_name: Martin
  full_name: Zambaldi, Martin
  last_name: Zambaldi
- first_name: Wolfgang
  full_name: Ecker, Wolfgang
  last_name: Ecker
- first_name: Thilo
  full_name: Kruse, Thilo
  last_name: Kruse
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of
    SystemVerilog. In: <i>Proceedings of FDL’04</i>. ; 2004.'
  apa: Zambaldi, M., Ecker, W., Kruse, T., &#38; Müller, W. (2004). The Formal Simulation
    Semantics of SystemVerilog. <i>Proceedings of FDL’04</i>.  Forum on specification
    and Design Languages, Lille, France.
  bibtex: '@inproceedings{Zambaldi_Ecker_Kruse_Müller_2004, place={Lille, France},
    title={The Formal Simulation Semantics of SystemVerilog}, booktitle={Proceedings
    of FDL’04}, author={Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and
    Müller, Wolfgang}, year={2004} }'
  chicago: Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The
    Formal Simulation Semantics of SystemVerilog.” In <i>Proceedings of FDL’04</i>.
    Lille, France, 2004.
  ieee: M. Zambaldi, W. Ecker, T. Kruse, and W. Müller, “The Formal Simulation Semantics
    of SystemVerilog,” presented at the  Forum on specification and Design Languages,
    Lille, France, 2004.
  mla: Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.”
    <i>Proceedings of FDL’04</i>, 2004.
  short: 'M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille,
    France, 2004.'
conference:
  location: Lille, France
  name: ' Forum on specification and Design Languages'
date_created: 2023-01-24T08:49:51Z
date_updated: 2023-01-24T08:49:57Z
department:
- _id: '672'
language:
- iso: eng
place: Lille, France
publication: Proceedings of FDL’04
status: public
title: The Formal Simulation Semantics of SystemVerilog
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39060'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded
    Real-Time Systems. In: <i>Proceedings of DATE’04</i>. ; 2004.'
  apa: Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Specification and Execution
    of Embedded Real-Time Systems. <i>Proceedings of DATE’04</i>.
  bibtex: '@inproceedings{Schattkowsky_Müller_2004, place={Paris}, title={Model-Based
    Specification and Execution of Embedded Real-Time Systems}, booktitle={Proceedings
    of DATE’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }'
  chicago: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and
    Execution of Embedded Real-Time Systems.” In <i>Proceedings of DATE’04</i>. Paris,
    2004.
  ieee: T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of
    Embedded Real-Time Systems,” 2004.
  mla: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution
    of Embedded Real-Time Systems.” <i>Proceedings of DATE’04</i>, 2004.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.'
date_created: 2023-01-24T08:51:13Z
date_updated: 2023-01-24T08:51:22Z
department:
- _id: '672'
language:
- iso: eng
place: Paris
publication: Proceedings of DATE’04
status: public
title: Model-Based Specification and Execution of Embedded Real-Time Systems
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39061'
abstract:
- lang: eng
  text: This article presents an approach, which combines theorem proving-based refinement
    with model checking for state based real-time systems. Our verification flow starts
    from UML state diagrams, which are translated to the formal B language and are
    model checked for real-time properties. By means of the B language and a B theorem
    prover, refined state diagrams are verified against their abstract representation.
    The approach is presented by means of the refinement of a digital echo cancellation
    unit.
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Ian
  full_name: Oliver, Ian
  last_name: Oliver
citation:
  ama: 'Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo
    Cancellation Unit. In: <i>Proceedings of DATE’04 Designers’ Forum</i>. ; 2004.
    doi:<a href="https://doi.org/10.1109/DATE.2004.1269214">10.1109/DATE.2004.1269214</a>'
  apa: Krupp, A., Müller, W., &#38; Oliver, I. (2004). Formal Refinement and Model
    Checking of An Echo Cancellation Unit. <i>Proceedings of DATE’04 Designers’ Forum</i>.
    Proceedings Design, Automation and Test in Europe Conference and Exhibition. <a
    href="https://doi.org/10.1109/DATE.2004.1269214">https://doi.org/10.1109/DATE.2004.1269214</a>
  bibtex: '@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement
    and Model Checking of An Echo Cancellation Unit}, DOI={<a href="https://doi.org/10.1109/DATE.2004.1269214">10.1109/DATE.2004.1269214</a>},
    booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander
    and Müller, Wolfgang and Oliver, Ian}, year={2004} }'
  chicago: Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and
    Model Checking of An Echo Cancellation Unit.” In <i>Proceedings of DATE’04 Designers’
    Forum</i>. Paris, 2004. <a href="https://doi.org/10.1109/DATE.2004.1269214">https://doi.org/10.1109/DATE.2004.1269214</a>.
  ieee: 'A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking
    of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation
    and Test in Europe Conference and Exhibition, 2004, doi: <a href="https://doi.org/10.1109/DATE.2004.1269214">10.1109/DATE.2004.1269214</a>.'
  mla: Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation
    Unit.” <i>Proceedings of DATE’04 Designers’ Forum</i>, 2004, doi:<a href="https://doi.org/10.1109/DATE.2004.1269214">10.1109/DATE.2004.1269214</a>.
  short: 'A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum,
    Paris, 2004.'
conference:
  name: Proceedings Design, Automation and Test in Europe Conference and Exhibition
date_created: 2023-01-24T08:53:26Z
date_updated: 2023-01-24T08:53:31Z
department:
- _id: '672'
doi: 10.1109/DATE.2004.1269214
keyword:
- Echo cancellers
- Logic
- Unified modeling language
- Automata
- Data structures
- Boolean functions
- Electronic design automation and methodology
- Prototypes
- Specification languages
- Constraint theory
language:
- iso: eng
place: Paris
publication: Proceedings of DATE’04 Designers' Forum
publication_identifier:
  isbn:
  - 0-7695-2085-5
status: public
title: Formal Refinement and Model Checking of An Echo Cancellation Unit
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39063'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Volker
  full_name: Paelke, Volker
  last_name: Paelke
citation:
  ama: 'Müller W, Paelke V. A Formal Model of a Framework for Simulation-Based Animation.
    In: <i>Proceedings of the Simulation and Visualisation 2004</i>. ; 2004.'
  apa: Müller, W., &#38; Paelke, V. (2004). A Formal Model of a Framework for Simulation-Based
    Animation. <i>Proceedings of the Simulation and Visualisation 2004</i>.
  bibtex: '@inproceedings{Müller_Paelke_2004, place={Magdeburg}, title={A Formal Model
    of a Framework for Simulation-Based Animation}, booktitle={Proceedings of the
    Simulation and Visualisation 2004}, author={Müller, Wolfgang and Paelke, Volker},
    year={2004} }'
  chicago: Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for
    Simulation-Based Animation.” In <i>Proceedings of the Simulation and Visualisation
    2004</i>. Magdeburg, 2004.
  ieee: W. Müller and V. Paelke, “A Formal Model of a Framework for Simulation-Based
    Animation,” 2004.
  mla: Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based
    Animation.” <i>Proceedings of the Simulation and Visualisation 2004</i>, 2004.
  short: 'W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation
    2004, Magdeburg, 2004.'
date_created: 2023-01-24T08:55:41Z
date_updated: 2023-01-24T08:55:46Z
department:
- _id: '672'
language:
- iso: eng
place: Magdeburg
publication: Proceedings of the Simulation and Visualisation 2004
status: public
title: A Formal Model of a Framework for Simulation-Based Animation
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39071'
abstract:
- lang: eng
  text: The interconnection of software components is a key to enabling collaborative
    work. However, technology differences and security barriers like firewalls often
    hinder establishing collaborative infrastructures between enterprises or even
    within a single enterprise. We introduce a peer-to-peer based network infrastructure
    that transparently overcomes these problems using relay and routing mechanisms
    as well as different underlying transport protocols. We discuss the application
    of this technology to interconnect Web services.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Chris
  full_name: Loeser, Chris
  last_name: Loeser
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting
    Web Services in Heterogeneous Networks. In: <i>Proceedings of AINA2004</i>. IEEE;
    2004. doi:<a href="https://doi.org/10.1109/AINA.2004.1283977">10.1109/AINA.2004.1283977</a>'
  apa: Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-To-Peer Technology
    for Interconnecting Web Services in Heterogeneous Networks. <i>Proceedings of
    AINA2004</i>.  18th International Conference on Advanced Information Networking
    and Applications, Fukuoka, Japan . <a href="https://doi.org/10.1109/AINA.2004.1283977">https://doi.org/10.1109/AINA.2004.1283977</a>
  bibtex: '@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan },
    title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous
    Networks}, DOI={<a href="https://doi.org/10.1109/AINA.2004.1283977">10.1109/AINA.2004.1283977</a>},
    booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim
    and Loeser, Chris and Müller, Wolfgang}, year={2004} }'
  chicago: 'Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology
    for Interconnecting Web Services in Heterogeneous Networks.” In <i>Proceedings
    of AINA2004</i>. Fukuoka, Japan : IEEE, 2004. <a href="https://doi.org/10.1109/AINA.2004.1283977">https://doi.org/10.1109/AINA.2004.1283977</a>.'
  ieee: 'T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting
    Web Services in Heterogeneous Networks,” presented at the  18th International
    Conference on Advanced Information Networking and Applications, Fukuoka, Japan
    , 2004, doi: <a href="https://doi.org/10.1109/AINA.2004.1283977">10.1109/AINA.2004.1283977</a>.'
  mla: Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web
    Services in Heterogeneous Networks.” <i>Proceedings of AINA2004</i>, IEEE, 2004,
    doi:<a href="https://doi.org/10.1109/AINA.2004.1283977">10.1109/AINA.2004.1283977</a>.
  short: 'T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE,
    Fukuoka, Japan , 2004.'
conference:
  location: 'Fukuoka, Japan '
  name: ' 18th International Conference on Advanced Information Networking and Applications'
date_created: 2023-01-24T09:05:58Z
date_updated: 2023-01-24T09:06:02Z
department:
- _id: '672'
doi: 10.1109/AINA.2004.1283977
keyword:
- Peer to peer computing
- Web services
- Intelligent networks
- Routing
- Relays
- Simple object access protocol
- Collaborative work
- Transport protocols
- Network address translation
- Java
language:
- iso: eng
place: 'Fukuoka, Japan '
publication: Proceedings of AINA2004
publication_identifier:
  isbn:
  - 0-7695-2051-0
publisher: IEEE
status: public
title: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39069'
abstract:
- lang: eng
  text: We present the syntax and semantics of a past- and future-oriented temporal
    extension of the Object Constraint Language (OCL). Our extension supports designers
    to express time-bounded properties over a state-oriented UML model of a system
    under development. The semantics is formally defined over the system states of
    a mathematical object model. Additionally, we present a mapping to Clocked Linear
    Temporal Logic (Clocked LTL) formulae, which is the basis for further application
    in verification with model checking. We demonstrate the applicability of the approach
    by the example of a buffer specification in the context of a production system.
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. Past- and Future-Oriented Time-Bound Temporal Properties
    with OCL. In: <i>Proceedings of SEFM´04</i>. IEEE; 2004. doi:<a href="https://doi.org/10.1109/SEFM.2004.1347516">10.1109/SEFM.2004.1347516</a>'
  apa: Flake, S., &#38; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal
    Properties with OCL. <i>Proceedings of SEFM´04</i>.  Proceedings of the Second
    International Conference on Software Engineering and Formal Methods. <a href="https://doi.org/10.1109/SEFM.2004.1347516">https://doi.org/10.1109/SEFM.2004.1347516</a>
  bibtex: '@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past-
    and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={<a href="https://doi.org/10.1109/SEFM.2004.1347516">10.1109/SEFM.2004.1347516</a>},
    booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and
    Müller, Wolfgang}, year={2004} }'
  chicago: 'Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
    Temporal Properties with OCL.” In <i>Proceedings of SEFM´04</i>. Beijing, China:
    IEEE, 2004. <a href="https://doi.org/10.1109/SEFM.2004.1347516">https://doi.org/10.1109/SEFM.2004.1347516</a>.'
  ieee: 'S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties
    with OCL,” presented at the  Proceedings of the Second International Conference
    on Software Engineering and Formal Methods, 2004, doi: <a href="https://doi.org/10.1109/SEFM.2004.1347516">10.1109/SEFM.2004.1347516</a>.'
  mla: Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
    Temporal Properties with OCL.” <i>Proceedings of SEFM´04</i>, IEEE, 2004, doi:<a
    href="https://doi.org/10.1109/SEFM.2004.1347516">10.1109/SEFM.2004.1347516</a>.
  short: 'S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.'
conference:
  name: ' Proceedings of the Second International Conference on Software Engineering
    and Formal Methods'
date_created: 2023-01-24T09:03:36Z
date_updated: 2023-01-24T09:03:41Z
department:
- _id: '672'
doi: 10.1109/SEFM.2004.1347516
keyword:
- Unified modeling language
- Logic
- Clocks
- Boolean functions
- Application software
- Time factors
- Real time systems
- Formal verification
- Buffer storage
- Software packages
language:
- iso: eng
place: Beijing, China
publication: Proceedings of SEFM´04
publication_identifier:
  isbn:
  - 0-7695-2222-X
publisher: IEEE
status: public
title: Past- and Future-Oriented Time-Bound Temporal Properties with OCL
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39065'
author:
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  id: '163'
  last_name: Gausemeier
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Bauch, Jürgen
  last_name: Bauch
- first_name: W.
  full_name: Radkowski, W.
  last_name: Radkowski
- first_name: T.
  full_name: Shen, T.
  last_name: Shen
- first_name: Volker
  full_name: Paelke, Volker
  last_name: Paelke
citation:
  ama: 'Gausemeier J, Müller W, Bauch J, Radkowski W, Shen T, Paelke V. Lösungselementbasiertes
    Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual
    Reality. In: <i>Proceedings of the Simulation and Visualisation 2004</i>. ; 2004.'
  apa: Gausemeier, J., Müller, W., Bauch, J., Radkowski, W., Shen, T., &#38; Paelke,
    V. (2004). Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden
    Mechatronischen Systemen in Virtual Reality. <i>Proceedings of the Simulation
    and Visualisation 2004</i>.
  bibtex: '@inproceedings{Gausemeier_Müller_Bauch_Radkowski_Shen_Paelke_2004, place={Magdeburg},
    title={Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen
    Systemen in Virtual Reality}, booktitle={Proceedings of the Simulation and Visualisation
    2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Bauch, Jürgen and Radkowski,
    W. and Shen, T. and Paelke, Volker}, year={2004} }'
  chicago: Gausemeier, Jürgen, Wolfgang Müller, Jürgen Bauch, W. Radkowski, T. Shen,
    and Volker Paelke. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden
    Mechatronischen Systemen in Virtual Reality.” In <i>Proceedings of the Simulation
    and Visualisation 2004</i>. Magdeburg, 2004.
  ieee: J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, and V. Paelke,
    “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen
    Systemen in Virtual Reality,” 2004.
  mla: Gausemeier, Jürgen, et al. “Lösungselementbasiertes Virtual Prototyping von
    Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” <i>Proceedings
    of the Simulation and Visualisation 2004</i>, 2004.
  short: 'J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in:
    Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.'
date_created: 2023-01-24T08:59:50Z
date_updated: 2023-01-24T08:59:54Z
department:
- _id: '672'
language:
- iso: eng
place: Magdeburg
publication: Proceedings of the Simulation and Visualisation 2004
status: public
title: Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen
  Systemen in Virtual Reality
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39068'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Müller W. Model-Based Design of Embedded Systems. In: <i>Proceedings
    of ISORC’04</i>. ; 2004.'
  apa: Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Design of Embedded Systems.
    <i>Proceedings of ISORC’04</i>.
  bibtex: '@inproceedings{Schattkowsky_Müller_2004, place={WIen}, title={Model-Based
    Design of Embedded Systems}, booktitle={Proceedings of ISORC’04}, author={Schattkowsky,
    Tim and Müller, Wolfgang}, year={2004} }'
  chicago: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded
    Systems.” In <i>Proceedings of ISORC’04</i>. WIen, 2004.
  ieee: T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” 2004.
  mla: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.”
    <i>Proceedings of ISORC’04</i>, 2004.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.'
date_created: 2023-01-24T09:01:16Z
date_updated: 2023-01-24T09:01:21Z
department:
- _id: '672'
language:
- iso: eng
place: WIen
publication: Proceedings of ISORC’04
status: public
title: Model-Based Design of Embedded Systems
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39078'
author:
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  id: '163'
  last_name: Gausemeier
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Volker
  full_name: Paelke, Volker
  last_name: Paelke
- first_name: Jürgen
  full_name: Bauch, Jürgen
  last_name: Bauch
- first_name: Q.
  full_name: Shen, Q.
  last_name: Shen
- first_name: 'R. '
  full_name: 'Radkowski, R. '
  last_name: Radkowski
citation:
  ama: 'Gausemeier J, Müller W, Paelke V, Bauch J, Shen Q, Radkowski R. Virtual Prototyping
    Of Self-Optimizing Mechatronic Systems. In: <i>Proceedings of the Design 2004</i>.
    ; 2004.'
  apa: Gausemeier, J., Müller, W., Paelke, V., Bauch, J., Shen, Q., &#38; Radkowski,
    R. (2004). Virtual Prototyping Of Self-Optimizing Mechatronic Systems. <i>Proceedings
    of the Design 2004</i>. 8th International Design Conference , Dubrovnik.
  bibtex: '@inproceedings{Gausemeier_Müller_Paelke_Bauch_Shen_Radkowski_2004, place={Dubrovnik},
    title={Virtual Prototyping Of Self-Optimizing Mechatronic Systems}, booktitle={Proceedings
    of the Design 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Paelke,
    Volker and Bauch, Jürgen and Shen, Q. and Radkowski, R. }, year={2004} }'
  chicago: Gausemeier, Jürgen, Wolfgang Müller, Volker Paelke, Jürgen Bauch, Q. Shen,
    and R.  Radkowski. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.”
    In <i>Proceedings of the Design 2004</i>. Dubrovnik, 2004.
  ieee: J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, and R. Radkowski,
    “Virtual Prototyping Of Self-Optimizing Mechatronic Systems,” presented at the
    8th International Design Conference , Dubrovnik, 2004.
  mla: Gausemeier, Jürgen, et al. “Virtual Prototyping Of Self-Optimizing Mechatronic
    Systems.” <i>Proceedings of the Design 2004</i>, 2004.
  short: 'J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in:
    Proceedings of the Design 2004, Dubrovnik, 2004.'
conference:
  location: Dubrovnik
  name: '8th International Design Conference '
date_created: 2023-01-24T09:12:31Z
date_updated: 2023-01-24T09:12:40Z
department:
- _id: '672'
keyword:
- mechatronic systems
- self-optimization
- virtual prototyping
language:
- iso: eng
place: Dubrovnik
publication: Proceedings of the Design 2004
status: public
title: Virtual Prototyping Of Self-Optimizing Mechatronic Systems
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39075'
author:
- first_name: Chris
  full_name: Loeser, Chris
  last_name: Loeser
- 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: Marek
  full_name: Borowski, Marek
  last_name: Borowski
citation:
  ama: 'Loeser C, Schäfer R, Müller W, Borowski M. RTMC - An Adaptive Fraemwork for
    Remote Tool Monitoring and Control. In: <i>Proceedings of SCI’04</i>. ; 2004.'
  apa: Loeser, C., Schäfer, R., Müller, W., &#38; Borowski, M. (2004). RTMC - An Adaptive
    Fraemwork for Remote Tool Monitoring and Control. <i>Proceedings of SCI’04</i>.
  bibtex: '@inproceedings{Loeser_Schäfer_Müller_Borowski_2004, place={Orlando, USA},
    title={RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control}, booktitle={Proceedings
    of SCI’04}, author={Loeser, Chris and Schäfer, Robbie and Müller, Wolfgang and
    Borowski, Marek}, year={2004} }'
  chicago: Loeser, Chris, Robbie Schäfer, Wolfgang Müller, and Marek Borowski. “RTMC
    - An Adaptive Fraemwork for Remote Tool Monitoring and Control.” In <i>Proceedings
    of SCI’04</i>. Orlando, USA, 2004.
  ieee: C. Loeser, R. Schäfer, W. Müller, and M. Borowski, “RTMC - An Adaptive Fraemwork
    for Remote Tool Monitoring and Control,” 2004.
  mla: Loeser, Chris, et al. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring
    and Control.” <i>Proceedings of SCI’04</i>, 2004.
  short: 'C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04,
    Orlando, USA, 2004.'
date_created: 2023-01-24T09:09:31Z
date_updated: 2023-01-24T09:09:36Z
department:
- _id: '672'
language:
- iso: eng
place: Orlando, USA
publication: Proceedings of SCI’04
status: public
title: RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39082'
abstract:
- lang: eng
  text: The provision of personalized user interfaces for mobile de-vices is a challenging
    task since different devices with vary-ing capabilities and interaction modalities
    have to be sup-ported. Multiple variants of different UIs for one application
    almost enforces the employment of a model-based approach in order to design one
    interface and to adapt to or render it on those devices. This position paper presents
    a new dia-log modelling language named DISL (Dialog and Interface Specification
    Language) that is based on UIML and DSN (Dialog Specification Notation). DISL
    supports the mod-elling of advanced dialogs in a comprehensive way. The dialog
    descriptions are device-and modality-agnostic and therefore highly scalable with
    focus on limited devices, like mobile phones.
author:
- first_name: Steffen
  full_name: Bleul, Steffen
  last_name: Bleul
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
citation:
  ama: 'Bleul S, Müller W, Schäfer R. Multimodal Dialog Description for Mobile Devices.
    In: <i>Proceedings of AVI 2004</i>. ; 2004.'
  apa: Bleul, S., Müller, W., &#38; Schäfer, R. (2004). Multimodal Dialog Description
    for Mobile Devices. <i>Proceedings of AVI 2004</i>.
  bibtex: '@inproceedings{Bleul_Müller_Schäfer_2004, place={Gallipoli, Italy}, title={Multimodal
    Dialog Description for Mobile Devices}, booktitle={Proceedings of AVI 2004}, author={Bleul,
    Steffen and Müller, Wolfgang and Schäfer, Robbie}, year={2004} }'
  chicago: Bleul, Steffen, Wolfgang Müller, and Robbie Schäfer. “Multimodal Dialog
    Description for Mobile Devices.” In <i>Proceedings of AVI 2004</i>. Gallipoli,
    Italy, 2004.
  ieee: S. Bleul, W. Müller, and R. Schäfer, “Multimodal Dialog Description for Mobile
    Devices,” 2004.
  mla: Bleul, Steffen, et al. “Multimodal Dialog Description for Mobile Devices.”
    <i>Proceedings of AVI 2004</i>, 2004.
  short: 'S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli,
    Italy, 2004.'
date_created: 2023-01-24T09:14:04Z
date_updated: 2023-01-24T09:14:08Z
department:
- _id: '672'
language:
- iso: eng
place: Gallipoli, Italy
publication: Proceedings of AVI 2004
status: public
title: Multimodal Dialog Description for Mobile Devices
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39350'
abstract:
- lang: eng
  text: Variation in different mobile devices with different capabilities and interaction
    modalities as well as changing user context in nomadic applications, poses huge
    challenges to the design of user interfaces. To avoid multiple designs for each
    device or modality, it is almost a must to employ a model-based approach. In this
    short paper, we present a new dialog model for multimodal interaction together
    with an advanced control model, which can either be used for direct modeling by
    an interface designer or in conjunction with higher level models.
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Steffen
  full_name: Bleul, Steffen
  last_name: Bleul
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schäfer R, Bleul S, Müller W. A Novel Dialog Model for the Design of Multimodal
    User Interfaces. In: <i>Proceedings of EHCI-DSVIS 2005</i>. Lecture Notes in Computer
    Science . ; 2004.'
  apa: Schäfer, R., Bleul, S., &#38; Müller, W. (2004). A Novel Dialog Model for the
    Design of Multimodal User Interfaces. <i>Proceedings of EHCI-DSVIS 2005</i>.
  bibtex: '@inproceedings{Schäfer_Bleul_Müller_2004, place={Tremsbüttel, Hamburg},
    series={Lecture Notes in Computer Science }, title={A Novel Dialog Model for the
    Design of Multimodal User Interfaces}, booktitle={Proceedings of EHCI-DSVIS 2005},
    author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2004},
    collection={Lecture Notes in Computer Science } }'
  chicago: Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model
    for the Design of Multimodal User Interfaces.” In <i>Proceedings of EHCI-DSVIS
    2005</i>. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004.
  ieee: R. Schäfer, S. Bleul, and W. Müller, “A Novel Dialog Model for the Design
    of Multimodal User Interfaces,” 2004.
  mla: Schäfer, Robbie, et al. “A Novel Dialog Model for the Design of Multimodal
    User Interfaces.” <i>Proceedings of EHCI-DSVIS 2005</i>, 2004.
  short: 'R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel,
    Hamburg, 2004.'
date_created: 2023-01-24T09:26:58Z
date_updated: 2023-01-24T09:27:03Z
department:
- _id: '672'
keyword:
- Multimodal User Interface     High Level Model     Multimodal User     High Level
  Approach     Dialog Model
language:
- iso: eng
place: Tremsbüttel, Hamburg
publication: Proceedings of EHCI-DSVIS 2005
series_title: 'Lecture Notes in Computer Science '
status: public
title: A Novel Dialog Model for the Design of Multimodal User Interfaces
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '34446'
abstract:
- lang: eng
  text: We present a formal definition of the event based SystemC V2.0 simulation
    semantics by means of distributed Abstract State Machines (ASMs). Our definition
    provides a rigorous and concise, but yet readable, definition of the SystemC specific
    operations and their interaction with the simulation scheduler that covers channel
    updates, notify, notify_delayed, wait, and next_trigger operations. We present
    the semantics in the form of rules by means of distributed ASMs reflecting the
    lines of the SystemC V2.0 Standard Manuals and reference implementation. The semantics
    introduced is defined to complement the language reference manual with aprecise
    definition reflecting an abstract model of the SystemC reference implementation,
    which can be used for advanced applications and for investigating interoperabilities
    with other languages.
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: Wolfgang
  full_name: Rosenstiel, Wolfgang
  last_name: Rosenstiel
citation:
  ama: 'Müller W, Ruf J, Rosenstiel W. An ASM Based SystemC Simulation Semantics.
    In: Müller W, Ruf J, Rosenstiel W, eds. <i>SystemC - Methodologies and Applications</i>.
    Kluwer; 2003:97-126. doi:<a href="https://doi.org/10.1007/0-306-48735-7_4">10.1007/0-306-48735-7_4</a>'
  apa: Müller, W., Ruf, J., &#38; Rosenstiel, W. (2003). An ASM Based SystemC Simulation
    Semantics. In W. Müller, J. Ruf, &#38; W. Rosenstiel (Eds.), <i>SystemC - Methodologies
    and Applications</i> (pp. 97–126). Kluwer. <a href="https://doi.org/10.1007/0-306-48735-7_4">https://doi.org/10.1007/0-306-48735-7_4</a>
  bibtex: '@inbook{Müller_Ruf_Rosenstiel_2003, place={Dordrecht}, title={An ASM Based
    SystemC Simulation Semantics}, DOI={<a href="https://doi.org/10.1007/0-306-48735-7_4">10.1007/0-306-48735-7_4</a>},
    booktitle={SystemC - Methodologies and Applications}, publisher={Kluwer}, author={Müller,
    Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, editor={Müller, Wolfgang and
    Ruf, Jürgen and Rosenstiel, Wolfgang}, year={2003}, pages={97–126} }'
  chicago: 'Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC
    Simulation Semantics.” In <i>SystemC - Methodologies and Applications</i>, edited
    by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer,
    2003. <a href="https://doi.org/10.1007/0-306-48735-7_4">https://doi.org/10.1007/0-306-48735-7_4</a>.'
  ieee: 'W. Müller, J. Ruf, and W. Rosenstiel, “An ASM Based SystemC Simulation Semantics,”
    in <i>SystemC - Methodologies and Applications</i>, W. Müller, J. Ruf, and W.
    Rosenstiel, Eds. Dordrecht: Kluwer, 2003, pp. 97–126.'
  mla: Müller, Wolfgang, et al. “An ASM Based SystemC Simulation Semantics.” <i>SystemC
    - Methodologies and Applications</i>, edited by Wolfgang Müller et al., Kluwer,
    2003, pp. 97–126, doi:<a href="https://doi.org/10.1007/0-306-48735-7_4">10.1007/0-306-48735-7_4</a>.
  short: 'W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.),
    SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.'
date_created: 2022-12-15T11:30:32Z
date_updated: 2022-12-15T11:43:33Z
department:
- _id: '672'
doi: 10.1007/0-306-48735-7_4
editor:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
- first_name: Wolfgang
  full_name: Rosenstiel, Wolfgang
  last_name: Rosenstiel
language:
- iso: eng
page: 97 - 126
place: Dordrecht
publication: SystemC - Methodologies and Applications
publication_identifier:
  isbn:
  - 978-0-306-48735-4
publisher: Kluwer
status: public
title: An ASM Based SystemC Simulation Semantics
type: book_chapter
user_id: '5786'
year: '2003'
...
---
_id: '34565'
abstract:
- lang: eng
  text: "The textual Object Constraint Language (OCL) is primarily intended to specify
    restrictions over UML class diagrams, in particular class invariants, operation
    pre-, and postconditions. Based on several improvements in the definition of the
    language concepts in last years, a proposal for a new version of OCL has recently
    been published [43]. That document provides an extensive OCL semantic description
    that constitutes a tight integration into UML. However, OCL still lacks a semantic
    integration of UML Statecharts, although it can already be used to refer to states
    in OCL expressions.\r\n\r\nThis article presents an approach that closes this
    gap and introduces a formal semantics for such integration through a mathematical
    model. It also presents the definition of a temporal OCL extension by means of
    a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension
    enables modelers to specify behavioral state-oriented real-time constraints. It
    provides an intuitive understanding and readability at application level since
    common OCL syntax and concepts are preserved. A well-defined formal semantics
    is given through the mapping of temporal OCL expressions to temporal logics formulae. "
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. Formal Semantics of Static and Temporal State-Oriented OCL
    Constraints. <i>Journal on Software and System Modeling (SoSyM)</i>. 2003;2(3):164-186.
    doi:<a href="https://doi.org/10.1007/s10270-003-0026-x">10.1007/s10270-003-0026-x</a>
  apa: Flake, S., &#38; Müller, W. (2003). Formal Semantics of Static and Temporal
    State-Oriented OCL Constraints. <i>Journal on Software and System Modeling (SoSyM)</i>,
    <i>2</i>(3), 164–186. <a href="https://doi.org/10.1007/s10270-003-0026-x">https://doi.org/10.1007/s10270-003-0026-x</a>
  bibtex: '@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal
    State-Oriented OCL Constraints}, volume={2}, DOI={<a href="https://doi.org/10.1007/s10270-003-0026-x">10.1007/s10270-003-0026-x</a>},
    number={3}, journal={Journal on Software and System Modeling (SoSyM)}, publisher={Springer-Verlag},
    author={Flake, Stephan and Müller, Wolfgang}, year={2003}, pages={164–186} }'
  chicago: 'Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal
    State-Oriented OCL Constraints.” <i>Journal on Software and System Modeling (SoSyM)</i>
    2, no. 3 (2003): 164–86. <a href="https://doi.org/10.1007/s10270-003-0026-x">https://doi.org/10.1007/s10270-003-0026-x</a>.'
  ieee: 'S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented
    OCL Constraints,” <i>Journal on Software and System Modeling (SoSyM)</i>, vol.
    2, no. 3, pp. 164–186, 2003, doi: <a href="https://doi.org/10.1007/s10270-003-0026-x">10.1007/s10270-003-0026-x</a>.'
  mla: Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal
    State-Oriented OCL Constraints.” <i>Journal on Software and System Modeling (SoSyM)</i>,
    vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:<a href="https://doi.org/10.1007/s10270-003-0026-x">10.1007/s10270-003-0026-x</a>.
  short: S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003)
    164–186.
date_created: 2022-12-19T12:26:46Z
date_updated: 2022-12-19T12:27:00Z
department:
- _id: '672'
doi: 10.1007/s10270-003-0026-x
intvolume: '         2'
issue: '3'
keyword:
- Object Constraint Language     UML Statecharts     UML Profile     Real-time constraints     Temporal
  logics
language:
- iso: eng
page: 164-186
publication: Journal on Software and System Modeling (SoSyM)
publisher: Springer-Verlag
status: public
title: Formal Semantics of Static and Temporal State-Oriented OCL Constraints
type: journal_article
user_id: '5786'
volume: 2
year: '2003'
...
---
_id: '39357'
abstract:
- lang: eng
  text: 'Engineering collaboration gets its new global dimension with the omnipotent
    access to Internet. Engineers have severe requirements concerning: security of
    design data, quality of net connections, easiness of collaboration, etc. This
    article presents visions and middleware architecture to establish pan-European
    col- laborative engineering infrastructure and its application in the field of
    Electronic Design Automation (EDA). We present a transparent infrastructure to
    engineers to enable their Internet-based collaboration during the de- sign of
    complex electronic systems. In thi s context, we introduce an advanced collaborative
    infrastructure (ACI) for distance spanning, tool integration, and administration
    as well as open interfaces for XML-based data exchange. ACI constitutes a backbone
    for our collaborative research and engineering studies by fostering a combination
    of most recent plug-and-play technologies and secure, peer-to-peer data transfer
    with XML- based tool integration. ACI and its deployments have been developed
    with the EU project E-Colleg (IST- 1999-11746).'
author:
- first_name: Tomasz
  full_name: Kostienko, Tomasz
  last_name: Kostienko
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Adam
  full_name: Pawlak, Adam
  last_name: Pawlak
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
citation:
  ama: 'Kostienko T, Müller W, Pawlak A, Schattkowsky T. An Advanced Infrastructure
    for Collaborative Engineering in Electronic Design Automation. In: <i>Proceedings
    of CE 2003</i>. ; 2003.'
  apa: Kostienko, T., Müller, W., Pawlak, A., &#38; Schattkowsky, T. (2003). An Advanced
    Infrastructure for Collaborative Engineering in Electronic Design Automation.
    <i>Proceedings of CE 2003</i>.
  bibtex: '@inproceedings{Kostienko_Müller_Pawlak_Schattkowsky_2003, place={Madeira,
    Portugal}, title={An Advanced Infrastructure for Collaborative Engineering in
    Electronic Design Automation}, booktitle={Proceedings of CE 2003}, author={Kostienko,
    Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}, year={2003}
    }'
  chicago: Kostienko, Tomasz, Wolfgang Müller, Adam Pawlak, and Tim Schattkowsky.
    “An Advanced Infrastructure for Collaborative Engineering in Electronic Design
    Automation.” In <i>Proceedings of CE 2003</i>. Madeira, Portugal, 2003.
  ieee: T. Kostienko, W. Müller, A. Pawlak, and T. Schattkowsky, “An Advanced Infrastructure
    for Collaborative Engineering in Electronic Design Automation,” 2003.
  mla: Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering
    in Electronic Design Automation.” <i>Proceedings of CE 2003</i>, 2003.
  short: 'T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of
    CE 2003, Madeira, Portugal, 2003.'
date_created: 2023-01-24T09:35:07Z
date_updated: 2023-01-24T09:35:11Z
department:
- _id: '672'
language:
- iso: eng
place: Madeira, Portugal
publication: Proceedings of CE 2003
status: public
title: An Advanced Infrastructure for Collaborative Engineering in Electronic Design
  Automation
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39355'
abstract:
- lang: eng
  text: "This pap er presents an approach to extend OSGi\r\nserver based home networks
    with JXTA's p eer-to-\r\np eer (P2P) technology to a multi-server home envi-\r\nronment
    connecting multiple private home networks\r\nto one true virtual environment for
    communication,\r\nmedia sharing/exchange, and distributed device con-\r\ntrol.
    We elab orate on the basic integration metho d-\r\nology and extend it to a general,
    security preserv-\r\ning, architectural concept based on a two level inte-\r\ngration
    concept for inhome and interhome networks.\r\nThe integration is achieved through
    additional OSGi\r\nservices for the management of virtual devices, p eer-\r\nto-p
    eer communication, and authentication. The ex-\r\nample of a Quality of Service
    based video streaming\r\nmanagement demonstrates one of the p otential ad-\r\nvanced
    application for which p eer-to-p eer can b e used\r\nin addition."
author:
- first_name: Chris
  full_name: Loeser, Chris
  last_name: Loeser
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Franz
  full_name: Berger, Franz
  last_name: Berger
- first_name: Heinz-Josef
  full_name: Eikerling, Heinz-Josef
  last_name: Eikerling
citation:
  ama: 'Loeser C, Müller W, Berger F, Eikerling H-J. Peer-to-Peer for Virtual Home
    Environments. In: <i>Proceedings of HICCS-36</i>. ; 2003.'
  apa: Loeser, C., Müller, W., Berger, F., &#38; Eikerling, H.-J. (2003). Peer-to-Peer
    for Virtual Home Environments. <i>Proceedings of HICCS-36</i>.
  bibtex: '@inproceedings{Loeser_Müller_Berger_Eikerling_2003, place={Hawaii, USA},
    title={Peer-to-Peer for Virtual Home Environments}, booktitle={Proceedings of
    HICCS-36}, author={Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling,
    Heinz-Josef}, year={2003} }'
  chicago: Loeser, Chris, Wolfgang Müller, Franz Berger, and Heinz-Josef Eikerling.
    “Peer-to-Peer for Virtual Home Environments.” In <i>Proceedings of HICCS-36</i>.
    Hawaii, USA, 2003.
  ieee: C. Loeser, W. Müller, F. Berger, and H.-J. Eikerling, “Peer-to-Peer for Virtual
    Home Environments,” 2003.
  mla: Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” <i>Proceedings
    of HICCS-36</i>, 2003.
  short: 'C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36,
    Hawaii, USA, 2003.'
date_created: 2023-01-24T09:33:08Z
date_updated: 2023-01-24T09:33:14Z
department:
- _id: '672'
language:
- iso: eng
place: Hawaii, USA
publication: Proceedings of HICCS-36
status: public
title: Peer-to-Peer for Virtual Home Environments
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39354'
author:
- 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: Tim
  full_name: Schattkowski, Tim
  last_name: Schattkowski
- first_name: J.
  full_name: Wegner, J.
  last_name: Wegner
citation:
  ama: 'Eikerling H-J, Müller W, Schattkowski T, Wegner J. Tool Integration and Management
    in Heterogeneous Computer Networks. In: <i>Proceedings of DATE’03</i>. ; 2003.'
  apa: Eikerling, H.-J., Müller, W., Schattkowski, T., &#38; Wegner, J. (2003). Tool
    Integration and Management in Heterogeneous Computer Networks. <i>Proceedings
    of DATE’03</i>.
  bibtex: '@inproceedings{Eikerling_Müller_Schattkowski_Wegner_2003, place={Munich,
    Germany}, title={Tool Integration and Management in Heterogeneous Computer Networks},
    booktitle={Proceedings of DATE’03}, author={Eikerling, Heinz-Josef and Müller,
    Wolfgang and Schattkowski, Tim and Wegner, J.}, year={2003} }'
  chicago: Eikerling, Heinz-Josef, Wolfgang Müller, Tim Schattkowski, and J. Wegner.
    “Tool Integration and Management in Heterogeneous Computer Networks.” In <i>Proceedings
    of DATE’03</i>. Munich, Germany, 2003.
  ieee: H.-J. Eikerling, W. Müller, T. Schattkowski, and J. Wegner, “Tool Integration
    and Management in Heterogeneous Computer Networks,” 2003.
  mla: Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous
    Computer Networks.” <i>Proceedings of DATE’03</i>, 2003.
  short: 'H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings
    of DATE’03, Munich, Germany, 2003.'
date_created: 2023-01-24T09:31:07Z
date_updated: 2023-01-24T09:31:12Z
department:
- _id: '672'
language:
- iso: eng
place: Munich, Germany
publication: Proceedings of DATE’03
status: public
title: Tool Integration and Management in Heterogeneous Computer Networks
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39365'
abstract:
- lang: eng
  text: Large-scale mobility in the era of embedded and mobile computers yields significant
    challenges with respect to personalization, networking, and security. Currently,
    mobile computing devices cannot be seamlessly and flexibly obtain information
    about the context in which computing takes place. This requires dedicated personalization
    and localization in combination with advanced autocustomization techniques in
    order to adapt them to the needs of the current context. For natural interaction,
    for instance, many devices offer different input and output modalities, which
    enable different modes of operation to perform the same task. Auto-customization
    of modalities and devices in range can be obtained, if the system has sufficient
    information on the user’s preferences, abilities, the current situation, and the
    device that performs a specific task. To aid the system’s decision, we propose
    a set of interrelated and expandable profiles, which are prepared for automated
    adaptation, what will play a central part in making the technology to become invisible.
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
citation:
  ama: 'Schäfer R, Müller W. Adaptive profiles for Multi-Modal Interaction in Intelligent
    Frameworks. In: <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial
    Intelligence, Information Access, and Mobile Computing</i>. ; 2003.'
  apa: Schäfer, R., &#38; Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction
    in Intelligent Frameworks. <i>Proceedings of the Joint Workshop IJCAI Workshop
    on Artificial Intelligence, Information Access, and Mobile Computing</i>.
  bibtex: '@inproceedings{Schäfer_Müller_2003, place={Acapulco, Mexico}, title={Adaptive
    profiles for Multi-Modal Interaction in Intelligent Frameworks}, booktitle={Proceedings
    of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access,
    and Mobile Computing}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2003}
    }'
  chicago: Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal
    Interaction in Intelligent Frameworks.” In <i>Proceedings of the Joint Workshop
    IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>.
    Acapulco, Mexico, 2003.
  ieee: R. Schäfer and W. Müller, “Adaptive profiles for Multi-Modal Interaction in
    Intelligent Frameworks,” 2003.
  mla: Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction
    in Intelligent Frameworks.” <i>Proceedings of the Joint Workshop IJCAI Workshop
    on Artificial Intelligence, Information Access, and Mobile Computing</i>, 2003.
  short: 'R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop
    on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco,
    Mexico, 2003.'
date_created: 2023-01-24T09:47:49Z
date_updated: 2023-01-24T09:47:54Z
department:
- _id: '672'
language:
- iso: eng
place: Acapulco, Mexico
publication: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence,
  Information Access, and Mobile Computing
status: public
title: Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39364'
abstract:
- lang: eng
  text: "The textual Object Constraint Language (OCL) is an of-\r\nficial part of
    the Unified Modeling Language (UML). OCL\r\nis primarily used to formulate restrictions
    over UML mod-\r\nels, in particular, invariants and operation pre- and post-\r\nconditions
    in the context of class diagrams. However, OCL\r\nis missing means to specify
    constraints over the dynamic\r\nbehavior of a UML model. We have therefore developed
    a\r\ntemporal extension of OCL that enables modelers to specify\r\nbehavioral
    state-oriented constraints. That work provides\r\nan alternative to the rather
    cryptic temporal logic formulae\r\nthat are commonly used to specify behavioral
    system prop-\r\nerties.\r\nThis article now illustrates that our OCL extension
    al-\r\nlows for specifying all kinds of properties that are regarded\r\nas relevant
    in practice. We present according temporal OCL\r\nexpressions for property specification
    patterns that have\r\nbeen identified in the area of formal specification."
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. Expressing Property Specification Patterns with OCL. In:
    <i>Proceedings of SERP’03</i>. ; 2003.'
  apa: Flake, S., &#38; Müller, W. (2003). Expressing Property Specification Patterns
    with OCL. <i>Proceedings of SERP’03</i>.
  bibtex: '@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing
    Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03},
    author={Flake, Stephan and Müller, Wolfgang}, year={2003} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification
    Patterns with OCL.” In <i>Proceedings of SERP’03</i>. Las Vegas, NV, 2003.
  ieee: S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,”
    2003.
  mla: Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns
    with OCL.” <i>Proceedings of SERP’03</i>, 2003.
  short: 'S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.'
date_created: 2023-01-24T09:45:49Z
date_updated: 2023-01-24T09:45:54Z
department:
- _id: '672'
keyword:
- UML
- Object Constraint Language
- Patterns
- Property Specification
language:
- iso: eng
place: Las Vegas, NV
publication: Proceedings of SERP'03
status: public
title: Expressing Property Specification Patterns with OCL
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39366'
abstract:
- lang: eng
  text: Computer supported collaborative work (CSCW) is currently of growing interest
    for application industrial context. Integrated workflow systems are available
    to allow the integration of globally distributed teams. However, in many areas
    (i.e. in electronic design automation), tool integration remains to be a critical
    issue since existing legacy tools have to be integrated into distributed workflows.
    By integrating tools based on the operational semantics, dynamic assignment and
    replacement of tools in the workflows becomes possible. We present a middleware
    for secure collaborative engineering that enables flexible tool management and
    overcomes existing networking problems through a peer-to-peer based network infrastructure.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Müller W. Distributed Engineering Environment for the Design
    of Electronic Systems. In: <i>Proceedings of CCE’03</i>. ; 2003.'
  apa: Schattkowsky, T., &#38; Müller, W. (2003). Distributed Engineering Environment
    for the Design of Electronic Systems. <i>Proceedings of CCE’03</i>.
  bibtex: '@inproceedings{Schattkowsky_Müller_2003, place={Poznan Poland}, title={Distributed
    Engineering Environment for the Design of Electronic Systems}, booktitle={Proceedings
    of CCE’03}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2003} }'
  chicago: Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment
    for the Design of Electronic Systems.” In <i>Proceedings of CCE’03</i>. Poznan
    Poland, 2003.
  ieee: T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the
    Design of Electronic Systems,” 2003.
  mla: Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment
    for the Design of Electronic Systems.” <i>Proceedings of CCE’03</i>, 2003.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.'
date_created: 2023-01-24T09:49:18Z
date_updated: 2023-01-24T09:49:23Z
department:
- _id: '672'
language:
- iso: eng
place: Poznan Poland
publication: Proceedings of CCE'03
status: public
title: Distributed Engineering Environment for the Design of Electronic Systems
type: conference
user_id: '5786'
year: '2003'
...