---
_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: '39352'
abstract:
- lang: eng
  text: The recently adopted OCL 2.0 specification comes with a formal semantics that
    is based on set theory with a notion of an object model and system states. System
    states keep the runtime information relevant for the evaluation of OCL expressions.
    However, not all new language concepts of OCL 2.0 are already addressed in that
    formal semantics. We show how to overcome this by introducing new components to
    the object model and system states defining a dynamic semantics of OCL. In order
    to give precise rules that determine when the current system state has to be updated
    according to a change in the referred UML model, we make use of adequate mathematical
    means, namely Abstract State Machines (ASMs). Though our ASM specification also
    gives a clear definition for the evaluation of OCL constraints, it leaves sufficient
    flexibility for application specific implementations that have to determine when
    constraints are to be checked.
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
citation:
  ama: 'Flake S, Müller W. An ASM Definition of the Dynamic OCL 2.0 Semantics. In:
    <i>Proceedings of the UML 2004</i>. ; 2004. doi:<a href="https://doi.org/10.1007/978-3-540-30187-5_17">10.1007/978-3-540-30187-5_17</a>'
  apa: Flake, S., &#38; Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0
    Semantics. <i>Proceedings of the UML 2004</i>. <a href="https://doi.org/10.1007/978-3-540-30187-5_17">https://doi.org/10.1007/978-3-540-30187-5_17</a>
  bibtex: '@inproceedings{Flake_Müller_2004, place={Lisbon, Portugal}, title={An ASM
    Definition of the Dynamic OCL 2.0 Semantics}, DOI={<a href="https://doi.org/10.1007/978-3-540-30187-5_17">10.1007/978-3-540-30187-5_17</a>},
    booktitle={Proceedings of the UML 2004}, author={Flake, Stephan and Müller, Wolfgang},
    year={2004} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic
    OCL 2.0 Semantics.” In <i>Proceedings of the UML 2004</i>. Lisbon, Portugal, 2004.
    <a href="https://doi.org/10.1007/978-3-540-30187-5_17">https://doi.org/10.1007/978-3-540-30187-5_17</a>.
  ieee: 'S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,”
    2004, doi: <a href="https://doi.org/10.1007/978-3-540-30187-5_17">10.1007/978-3-540-30187-5_17</a>.'
  mla: Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL
    2.0 Semantics.” <i>Proceedings of the UML 2004</i>, 2004, doi:<a href="https://doi.org/10.1007/978-3-540-30187-5_17">10.1007/978-3-540-30187-5_17</a>.
  short: 'S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal,
    2004.'
date_created: 2023-01-24T09:28:53Z
date_updated: 2023-01-24T09:28:58Z
department:
- _id: '672'
doi: 10.1007/978-3-540-30187-5_17
keyword:
- System State     Formal Semantic     Object Management Group     Denotational Semantic     Dynamic
  Semantic
language:
- iso: eng
place: Lisbon, Portugal
publication: Proceedings of the UML 2004
publication_identifier:
  eisbn:
  - 978-3-540-30187-5
status: public
title: An ASM Definition of the Dynamic OCL 2.0 Semantics
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '38478'
author:
- first_name: S
  full_name: Bhandare, S
  last_name: Bhandare
- first_name: D
  full_name: Sandel, D
  last_name: Sandel
- first_name: AF
  full_name: Abas, AF
  last_name: Abas
- first_name: B
  full_name: Milivojevic, B
  last_name: Milivojevic
- first_name: A
  full_name: Hidayat, A
  last_name: Hidayat
- first_name: Reinhold
  full_name: Noé, Reinhold
  id: '381'
  last_name: Noé
  orcid: https://orcid.org/0000-0002-5839-7616
- first_name: M
  full_name: Guy, M
  last_name: Guy
- first_name: A
  full_name: Lapointe, A
  last_name: Lapointe
citation:
  ama: Bhandare S, Sandel D, Abas A, et al. 2x40 Gbit/s RZ-DQPSK transmission with
    tunable chromatic dispersion compensation in 263 km fibre link. <i>ELECTRONICS
    LETTERS</i>. 2004;40(13):821-822. doi:<a href="https://doi.org/10.1049/el:20040542">10.1049/el:20040542</a>
  apa: Bhandare, S., Sandel, D., Abas, A., Milivojevic, B., Hidayat, A., Noé, R.,
    Guy, M., &#38; Lapointe, A. (2004). 2x40 Gbit/s RZ-DQPSK transmission with tunable
    chromatic dispersion compensation in 263 km fibre link. <i>ELECTRONICS LETTERS</i>,
    <i>40</i>(13), 821–822. <a href="https://doi.org/10.1049/el:20040542">https://doi.org/10.1049/el:20040542</a>
  bibtex: '@article{Bhandare_Sandel_Abas_Milivojevic_Hidayat_Noé_Guy_Lapointe_2004,
    title={2x40 Gbit/s RZ-DQPSK transmission with tunable chromatic dispersion compensation
    in 263 km fibre link}, volume={40}, DOI={<a href="https://doi.org/10.1049/el:20040542">10.1049/el:20040542</a>},
    number={13}, journal={ELECTRONICS LETTERS}, author={Bhandare, S and Sandel, D
    and Abas, AF and Milivojevic, B and Hidayat, A and Noé, Reinhold and Guy, M and
    Lapointe, A}, year={2004}, pages={821–822} }'
  chicago: 'Bhandare, S, D Sandel, AF Abas, B Milivojevic, A Hidayat, Reinhold Noé,
    M Guy, and A Lapointe. “2x40 Gbit/s RZ-DQPSK Transmission with Tunable Chromatic
    Dispersion Compensation in 263 Km Fibre Link.” <i>ELECTRONICS LETTERS</i> 40,
    no. 13 (2004): 821–22. <a href="https://doi.org/10.1049/el:20040542">https://doi.org/10.1049/el:20040542</a>.'
  ieee: 'S. Bhandare <i>et al.</i>, “2x40 Gbit/s RZ-DQPSK transmission with tunable
    chromatic dispersion compensation in 263 km fibre link,” <i>ELECTRONICS LETTERS</i>,
    vol. 40, no. 13, pp. 821–822, 2004, doi: <a href="https://doi.org/10.1049/el:20040542">10.1049/el:20040542</a>.'
  mla: Bhandare, S., et al. “2x40 Gbit/s RZ-DQPSK Transmission with Tunable Chromatic
    Dispersion Compensation in 263 Km Fibre Link.” <i>ELECTRONICS LETTERS</i>, vol.
    40, no. 13, 2004, pp. 821–22, doi:<a href="https://doi.org/10.1049/el:20040542">10.1049/el:20040542</a>.
  short: S. Bhandare, D. Sandel, A. Abas, B. Milivojevic, A. Hidayat, R. Noé, M. Guy,
    A. Lapointe, ELECTRONICS LETTERS 40 (2004) 821–822.
date_created: 2023-01-23T18:22:06Z
date_updated: 2023-01-25T13:49:08Z
department:
- _id: '56'
doi: 10.1049/el:20040542
intvolume: '        40'
issue: '13'
language:
- iso: eng
page: 821-822
publication: ELECTRONICS LETTERS
publication_identifier:
  issn:
  - 0013-5194
status: public
title: 2x40 Gbit/s RZ-DQPSK transmission with tunable chromatic dispersion compensation
  in 263 km fibre link
type: journal_article
user_id: '14931'
volume: 40
year: '2004'
...
---
_id: '38472'
author:
- first_name: D
  full_name: Sandel, D
  last_name: Sandel
- first_name: S
  full_name: Bhandare, S
  last_name: Bhandare
- first_name: AF
  full_name: Abas, AF
  last_name: Abas
- first_name: B
  full_name: Milivojevic, B
  last_name: Milivojevic
- first_name: Reinhold
  full_name: Noé, Reinhold
  id: '381'
  last_name: Noé
  orcid: https://orcid.org/0000-0002-5839-7616
- first_name: M
  full_name: Guy, M
  last_name: Guy
- first_name: M
  full_name: Lapointe, M
  last_name: Lapointe
citation:
  ama: Sandel D, Bhandare S, Abas A, et al. Automatic tunable chromatic dispersion
    compensation at 40 Gb/s in ASK and DPSK, NRZ, and CSRZ 263-km transmission experiments.
    <i>IEEE PHOTONICS TECHNOLOGY LETTERS</i>. 2004;16(11):2568-2570. doi:<a href="https://doi.org/10.1109/LPT.2004.834889">10.1109/LPT.2004.834889</a>
  apa: Sandel, D., Bhandare, S., Abas, A., Milivojevic, B., Noé, R., Guy, M., &#38;
    Lapointe, M. (2004). Automatic tunable chromatic dispersion compensation at 40
    Gb/s in ASK and DPSK, NRZ, and CSRZ 263-km transmission experiments. <i>IEEE PHOTONICS
    TECHNOLOGY LETTERS</i>, <i>16</i>(11), 2568–2570. <a href="https://doi.org/10.1109/LPT.2004.834889">https://doi.org/10.1109/LPT.2004.834889</a>
  bibtex: '@article{Sandel_Bhandare_Abas_Milivojevic_Noé_Guy_Lapointe_2004, title={Automatic
    tunable chromatic dispersion compensation at 40 Gb/s in ASK and DPSK, NRZ, and
    CSRZ 263-km transmission experiments}, volume={16}, DOI={<a href="https://doi.org/10.1109/LPT.2004.834889">10.1109/LPT.2004.834889</a>},
    number={11}, journal={IEEE PHOTONICS TECHNOLOGY LETTERS}, author={Sandel, D and
    Bhandare, S and Abas, AF and Milivojevic, B and Noé, Reinhold and Guy, M and Lapointe,
    M}, year={2004}, pages={2568–2570} }'
  chicago: 'Sandel, D, S Bhandare, AF Abas, B Milivojevic, Reinhold Noé, M Guy, and
    M Lapointe. “Automatic Tunable Chromatic Dispersion Compensation at 40 Gb/s in
    ASK and DPSK, NRZ, and CSRZ 263-Km Transmission Experiments.” <i>IEEE PHOTONICS
    TECHNOLOGY LETTERS</i> 16, no. 11 (2004): 2568–70. <a href="https://doi.org/10.1109/LPT.2004.834889">https://doi.org/10.1109/LPT.2004.834889</a>.'
  ieee: 'D. Sandel <i>et al.</i>, “Automatic tunable chromatic dispersion compensation
    at 40 Gb/s in ASK and DPSK, NRZ, and CSRZ 263-km transmission experiments,” <i>IEEE
    PHOTONICS TECHNOLOGY LETTERS</i>, vol. 16, no. 11, pp. 2568–2570, 2004, doi: <a
    href="https://doi.org/10.1109/LPT.2004.834889">10.1109/LPT.2004.834889</a>.'
  mla: Sandel, D., et al. “Automatic Tunable Chromatic Dispersion Compensation at
    40 Gb/s in ASK and DPSK, NRZ, and CSRZ 263-Km Transmission Experiments.” <i>IEEE
    PHOTONICS TECHNOLOGY LETTERS</i>, vol. 16, no. 11, 2004, pp. 2568–70, doi:<a href="https://doi.org/10.1109/LPT.2004.834889">10.1109/LPT.2004.834889</a>.
  short: D. Sandel, S. Bhandare, A. Abas, B. Milivojevic, R. Noé, M. Guy, M. Lapointe,
    IEEE PHOTONICS TECHNOLOGY LETTERS 16 (2004) 2568–2570.
date_created: 2023-01-23T18:22:05Z
date_updated: 2023-01-25T13:51:07Z
department:
- _id: '56'
doi: 10.1109/LPT.2004.834889
intvolume: '        16'
issue: '11'
language:
- iso: eng
page: 2568-2570
publication: IEEE PHOTONICS TECHNOLOGY LETTERS
publication_identifier:
  issn:
  - 1041-1135
status: public
title: Automatic tunable chromatic dispersion compensation at 40 Gb/s in ASK and DPSK,
  NRZ, and CSRZ 263-km transmission experiments
type: journal_article
user_id: '14931'
volume: 16
year: '2004'
...
---
_id: '38382'
author:
- first_name: Reinhold
  full_name: Noé, Reinhold
  id: '381'
  last_name: Noé
  orcid: https://orcid.org/0000-0002-5839-7616
- first_name: D
  full_name: Sandel, D
  last_name: Sandel
- first_name: V
  full_name: Mirvoda, V
  last_name: Mirvoda
citation:
  ama: Noé R, Sandel D, Mirvoda V. PMD in high-bit-rate transmission and means for
    its mitigation. <i>IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS</i>.
    2004;10(2):341-355. doi:<a href="https://doi.org/10.1109/JSTQE.2004.827842">10.1109/JSTQE.2004.827842</a>
  apa: Noé, R., Sandel, D., &#38; Mirvoda, V. (2004). PMD in high-bit-rate transmission
    and means for its mitigation. <i>IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS</i>,
    <i>10</i>(2), 341–355. <a href="https://doi.org/10.1109/JSTQE.2004.827842">https://doi.org/10.1109/JSTQE.2004.827842</a>
  bibtex: '@article{Noé_Sandel_Mirvoda_2004, title={PMD in high-bit-rate transmission
    and means for its mitigation}, volume={10}, DOI={<a href="https://doi.org/10.1109/JSTQE.2004.827842">10.1109/JSTQE.2004.827842</a>},
    number={2}, journal={IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS},
    author={Noé, Reinhold and Sandel, D and Mirvoda, V}, year={2004}, pages={341–355}
    }'
  chicago: 'Noé, Reinhold, D Sandel, and V Mirvoda. “PMD in High-Bit-Rate Transmission
    and Means for Its Mitigation.” <i>IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS</i>
    10, no. 2 (2004): 341–55. <a href="https://doi.org/10.1109/JSTQE.2004.827842">https://doi.org/10.1109/JSTQE.2004.827842</a>.'
  ieee: 'R. Noé, D. Sandel, and V. Mirvoda, “PMD in high-bit-rate transmission and
    means for its mitigation,” <i>IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS</i>,
    vol. 10, no. 2, pp. 341–355, 2004, doi: <a href="https://doi.org/10.1109/JSTQE.2004.827842">10.1109/JSTQE.2004.827842</a>.'
  mla: Noé, Reinhold, et al. “PMD in High-Bit-Rate Transmission and Means for Its
    Mitigation.” <i>IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS</i>, vol.
    10, no. 2, 2004, pp. 341–55, doi:<a href="https://doi.org/10.1109/JSTQE.2004.827842">10.1109/JSTQE.2004.827842</a>.
  short: R. Noé, D. Sandel, V. Mirvoda, IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM
    ELECTRONICS 10 (2004) 341–355.
date_created: 2023-01-23T18:17:47Z
date_updated: 2023-01-25T16:04:22Z
department:
- _id: '56'
doi: 10.1109/JSTQE.2004.827842
intvolume: '        10'
issue: '2'
language:
- iso: eng
page: 341-355
publication: IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS
publication_identifier:
  issn:
  - 1077-260X
status: public
title: PMD in high-bit-rate transmission and means for its mitigation
type: journal_article
user_id: '14931'
volume: 10
year: '2004'
...
---
_id: '38349'
author:
- first_name: Reinhold
  full_name: Noé, Reinhold
  id: '381'
  last_name: Noé
  orcid: https://orcid.org/0000-0002-5839-7616
- first_name: D
  full_name: Sandel, D
  last_name: Sandel
citation:
  ama: Noé R, Sandel D. Strategies for fast control speed and DC drift avoidance in
    distributed LiNbO3-based PMD compensators. <i>IEEE PHOTONICS TECHNOLOGY LETTERS</i>.
    2004;16(4):1050-1052. doi:<a href="https://doi.org/10.1109/LPT.2004.824959">10.1109/LPT.2004.824959</a>
  apa: Noé, R., &#38; Sandel, D. (2004). Strategies for fast control speed and DC
    drift avoidance in distributed LiNbO3-based PMD compensators. <i>IEEE PHOTONICS
    TECHNOLOGY LETTERS</i>, <i>16</i>(4), 1050–1052. <a href="https://doi.org/10.1109/LPT.2004.824959">https://doi.org/10.1109/LPT.2004.824959</a>
  bibtex: '@article{Noé_Sandel_2004, title={Strategies for fast control speed and
    DC drift avoidance in distributed LiNbO3-based PMD compensators}, volume={16},
    DOI={<a href="https://doi.org/10.1109/LPT.2004.824959">10.1109/LPT.2004.824959</a>},
    number={4}, journal={IEEE PHOTONICS TECHNOLOGY LETTERS}, author={Noé, Reinhold
    and Sandel, D}, year={2004}, pages={1050–1052} }'
  chicago: 'Noé, Reinhold, and D Sandel. “Strategies for Fast Control Speed and DC
    Drift Avoidance in Distributed LiNbO3-Based PMD Compensators.” <i>IEEE PHOTONICS
    TECHNOLOGY LETTERS</i> 16, no. 4 (2004): 1050–52. <a href="https://doi.org/10.1109/LPT.2004.824959">https://doi.org/10.1109/LPT.2004.824959</a>.'
  ieee: 'R. Noé and D. Sandel, “Strategies for fast control speed and DC drift avoidance
    in distributed LiNbO3-based PMD compensators,” <i>IEEE PHOTONICS TECHNOLOGY LETTERS</i>,
    vol. 16, no. 4, pp. 1050–1052, 2004, doi: <a href="https://doi.org/10.1109/LPT.2004.824959">10.1109/LPT.2004.824959</a>.'
  mla: Noé, Reinhold, and D. Sandel. “Strategies for Fast Control Speed and DC Drift
    Avoidance in Distributed LiNbO3-Based PMD Compensators.” <i>IEEE PHOTONICS TECHNOLOGY
    LETTERS</i>, vol. 16, no. 4, 2004, pp. 1050–52, doi:<a href="https://doi.org/10.1109/LPT.2004.824959">10.1109/LPT.2004.824959</a>.
  short: R. Noé, D. Sandel, IEEE PHOTONICS TECHNOLOGY LETTERS 16 (2004) 1050–1052.
date_created: 2023-01-23T18:14:47Z
date_updated: 2023-01-25T22:08:46Z
department:
- _id: '56'
doi: 10.1109/LPT.2004.824959
intvolume: '        16'
issue: '4'
language:
- iso: eng
page: 1050-1052
publication: IEEE PHOTONICS TECHNOLOGY LETTERS
publication_identifier:
  issn:
  - 1041-1135
status: public
title: Strategies for fast control speed and DC drift avoidance in distributed LiNbO3-based
  PMD compensators
type: journal_article
user_id: '14931'
volume: 16
year: '2004'
...
---
_id: '38335'
author:
- first_name: Reinhold
  full_name: Noé, Reinhold
  id: '381'
  last_name: Noé
  orcid: https://orcid.org/0000-0002-5839-7616
- first_name: Z
  full_name: Gao, Z
  last_name: Gao
citation:
  ama: Noé R, Gao Z. Design of a tunable optical chromatic dispersion compensator
    with simplified control of a Mach-Zehnder lattice, and dispersion slope mitigation.
    <i>ELECTRICAL ENGINEERING</i>. 2004;86(3):165-169. doi:<a href="https://doi.org/10.1007/s00202-003-0186-2">10.1007/s00202-003-0186-2</a>
  apa: Noé, R., &#38; Gao, Z. (2004). Design of a tunable optical chromatic dispersion
    compensator with simplified control of a Mach-Zehnder lattice, and dispersion
    slope mitigation. <i>ELECTRICAL ENGINEERING</i>, <i>86</i>(3), 165–169. <a href="https://doi.org/10.1007/s00202-003-0186-2">https://doi.org/10.1007/s00202-003-0186-2</a>
  bibtex: '@article{Noé_Gao_2004, title={Design of a tunable optical chromatic dispersion
    compensator with simplified control of a Mach-Zehnder lattice, and dispersion
    slope mitigation}, volume={86}, DOI={<a href="https://doi.org/10.1007/s00202-003-0186-2">10.1007/s00202-003-0186-2</a>},
    number={3}, journal={ELECTRICAL ENGINEERING}, author={Noé, Reinhold and Gao, Z},
    year={2004}, pages={165–169} }'
  chicago: 'Noé, Reinhold, and Z Gao. “Design of a Tunable Optical Chromatic Dispersion
    Compensator with Simplified Control of a Mach-Zehnder Lattice, and Dispersion
    Slope Mitigation.” <i>ELECTRICAL ENGINEERING</i> 86, no. 3 (2004): 165–69. <a
    href="https://doi.org/10.1007/s00202-003-0186-2">https://doi.org/10.1007/s00202-003-0186-2</a>.'
  ieee: 'R. Noé and Z. Gao, “Design of a tunable optical chromatic dispersion compensator
    with simplified control of a Mach-Zehnder lattice, and dispersion slope mitigation,”
    <i>ELECTRICAL ENGINEERING</i>, vol. 86, no. 3, pp. 165–169, 2004, doi: <a href="https://doi.org/10.1007/s00202-003-0186-2">10.1007/s00202-003-0186-2</a>.'
  mla: Noé, Reinhold, and Z. Gao. “Design of a Tunable Optical Chromatic Dispersion
    Compensator with Simplified Control of a Mach-Zehnder Lattice, and Dispersion
    Slope Mitigation.” <i>ELECTRICAL ENGINEERING</i>, vol. 86, no. 3, 2004, pp. 165–69,
    doi:<a href="https://doi.org/10.1007/s00202-003-0186-2">10.1007/s00202-003-0186-2</a>.
  short: R. Noé, Z. Gao, ELECTRICAL ENGINEERING 86 (2004) 165–169.
date_created: 2023-01-23T18:13:07Z
date_updated: 2023-01-25T22:17:43Z
department:
- _id: '56'
doi: 10.1007/s00202-003-0186-2
intvolume: '        86'
issue: '3'
language:
- iso: eng
page: 165-169
publication: ELECTRICAL ENGINEERING
publication_identifier:
  issn:
  - 0948-7921
status: public
title: Design of a tunable optical chromatic dispersion compensator with simplified
  control of a Mach-Zehnder lattice, and dispersion slope mitigation
type: journal_article
user_id: '14931'
volume: 86
year: '2004'
...
---
_id: '38332'
author:
- first_name: Reinhold
  full_name: Noé, Reinhold
  id: '381'
  last_name: Noé
  orcid: https://orcid.org/0000-0002-5839-7616
- first_name: D
  full_name: Sandel, D
  last_name: Sandel
- first_name: V
  full_name: Mirvoda, V
  last_name: Mirvoda
citation:
  ama: Noé R, Sandel D, Mirvoda V. PMD in high-bit-rate transmission and means for
    its mitigation. <i>IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS</i>.
    2004;10(2):341-355. doi:<a href="https://doi.org/10.1109/JSTQE.2004.827842">10.1109/JSTQE.2004.827842</a>
  apa: Noé, R., Sandel, D., &#38; Mirvoda, V. (2004). PMD in high-bit-rate transmission
    and means for its mitigation. <i>IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS</i>,
    <i>10</i>(2), 341–355. <a href="https://doi.org/10.1109/JSTQE.2004.827842">https://doi.org/10.1109/JSTQE.2004.827842</a>
  bibtex: '@article{Noé_Sandel_Mirvoda_2004, title={PMD in high-bit-rate transmission
    and means for its mitigation}, volume={10}, DOI={<a href="https://doi.org/10.1109/JSTQE.2004.827842">10.1109/JSTQE.2004.827842</a>},
    number={2}, journal={IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS},
    author={Noé, Reinhold and Sandel, D and Mirvoda, V}, year={2004}, pages={341–355}
    }'
  chicago: 'Noé, Reinhold, D Sandel, and V Mirvoda. “PMD in High-Bit-Rate Transmission
    and Means for Its Mitigation.” <i>IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS</i>
    10, no. 2 (2004): 341–55. <a href="https://doi.org/10.1109/JSTQE.2004.827842">https://doi.org/10.1109/JSTQE.2004.827842</a>.'
  ieee: 'R. Noé, D. Sandel, and V. Mirvoda, “PMD in high-bit-rate transmission and
    means for its mitigation,” <i>IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS</i>,
    vol. 10, no. 2, pp. 341–355, 2004, doi: <a href="https://doi.org/10.1109/JSTQE.2004.827842">10.1109/JSTQE.2004.827842</a>.'
  mla: Noé, Reinhold, et al. “PMD in High-Bit-Rate Transmission and Means for Its
    Mitigation.” <i>IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS</i>, vol.
    10, no. 2, 2004, pp. 341–55, doi:<a href="https://doi.org/10.1109/JSTQE.2004.827842">10.1109/JSTQE.2004.827842</a>.
  short: R. Noé, D. Sandel, V. Mirvoda, IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM
    ELECTRONICS 10 (2004) 341–355.
date_created: 2023-01-23T18:11:18Z
date_updated: 2023-01-25T22:18:57Z
department:
- _id: '56'
doi: 10.1109/JSTQE.2004.827842
intvolume: '        10'
issue: '2'
language:
- iso: eng
page: 341-355
publication: IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS
publication_identifier:
  issn:
  - 1077-260X
status: public
title: PMD in high-bit-rate transmission and means for its mitigation
type: journal_article
user_id: '14931'
volume: 10
year: '2004'
...
---
_id: '38299'
author:
- first_name: Reinhold
  full_name: Noé, Reinhold
  id: '381'
  last_name: Noé
  orcid: https://orcid.org/0000-0002-5839-7616
- first_name: D
  full_name: Sandel, D
  last_name: Sandel
citation:
  ama: Noé R, Sandel D. Strategies for fast control speed and DC drift avoidance in
    distributed LiNbO3-based PMD compensators. <i>IEEE PHOTONICS TECHNOLOGY LETTERS</i>.
    2004;16(4):1050-1052. doi:<a href="https://doi.org/10.1109/LPT.2004.824959">10.1109/LPT.2004.824959</a>
  apa: Noé, R., &#38; Sandel, D. (2004). Strategies for fast control speed and DC
    drift avoidance in distributed LiNbO3-based PMD compensators. <i>IEEE PHOTONICS
    TECHNOLOGY LETTERS</i>, <i>16</i>(4), 1050–1052. <a href="https://doi.org/10.1109/LPT.2004.824959">https://doi.org/10.1109/LPT.2004.824959</a>
  bibtex: '@article{Noé_Sandel_2004, title={Strategies for fast control speed and
    DC drift avoidance in distributed LiNbO3-based PMD compensators}, volume={16},
    DOI={<a href="https://doi.org/10.1109/LPT.2004.824959">10.1109/LPT.2004.824959</a>},
    number={4}, journal={IEEE PHOTONICS TECHNOLOGY LETTERS}, author={Noé, Reinhold
    and Sandel, D}, year={2004}, pages={1050–1052} }'
  chicago: 'Noé, Reinhold, and D Sandel. “Strategies for Fast Control Speed and DC
    Drift Avoidance in Distributed LiNbO3-Based PMD Compensators.” <i>IEEE PHOTONICS
    TECHNOLOGY LETTERS</i> 16, no. 4 (2004): 1050–52. <a href="https://doi.org/10.1109/LPT.2004.824959">https://doi.org/10.1109/LPT.2004.824959</a>.'
  ieee: 'R. Noé and D. Sandel, “Strategies for fast control speed and DC drift avoidance
    in distributed LiNbO3-based PMD compensators,” <i>IEEE PHOTONICS TECHNOLOGY LETTERS</i>,
    vol. 16, no. 4, pp. 1050–1052, 2004, doi: <a href="https://doi.org/10.1109/LPT.2004.824959">10.1109/LPT.2004.824959</a>.'
  mla: Noé, Reinhold, and D. Sandel. “Strategies for Fast Control Speed and DC Drift
    Avoidance in Distributed LiNbO3-Based PMD Compensators.” <i>IEEE PHOTONICS TECHNOLOGY
    LETTERS</i>, vol. 16, no. 4, 2004, pp. 1050–52, doi:<a href="https://doi.org/10.1109/LPT.2004.824959">10.1109/LPT.2004.824959</a>.
  short: R. Noé, D. Sandel, IEEE PHOTONICS TECHNOLOGY LETTERS 16 (2004) 1050–1052.
date_created: 2023-01-23T18:11:13Z
date_updated: 2023-01-25T22:51:57Z
department:
- _id: '56'
doi: 10.1109/LPT.2004.824959
intvolume: '        16'
issue: '4'
language:
- iso: eng
page: 1050-1052
publication: IEEE PHOTONICS TECHNOLOGY LETTERS
publication_identifier:
  issn:
  - 1041-1135
status: public
title: Strategies for fast control speed and DC drift avoidance in distributed LiNbO3-based
  PMD compensators
type: journal_article
user_id: '14931'
volume: 16
year: '2004'
...
---
_id: '38285'
author:
- first_name: Reinhold
  full_name: Noé, Reinhold
  id: '381'
  last_name: Noé
  orcid: https://orcid.org/0000-0002-5839-7616
- first_name: Z
  full_name: Gao, Z
  last_name: Gao
citation:
  ama: Noé R, Gao Z. Design of a tunable optical chromatic dispersion compensator
    with simplified control of a Mach-Zehnder lattice, and dispersion slope mitigation.
    <i>ELECTRICAL ENGINEERING</i>. 2004;86(3):165-169. doi:<a href="https://doi.org/10.1007/s00202-003-0186-2">10.1007/s00202-003-0186-2</a>
  apa: Noé, R., &#38; Gao, Z. (2004). Design of a tunable optical chromatic dispersion
    compensator with simplified control of a Mach-Zehnder lattice, and dispersion
    slope mitigation. <i>ELECTRICAL ENGINEERING</i>, <i>86</i>(3), 165–169. <a href="https://doi.org/10.1007/s00202-003-0186-2">https://doi.org/10.1007/s00202-003-0186-2</a>
  bibtex: '@article{Noé_Gao_2004, title={Design of a tunable optical chromatic dispersion
    compensator with simplified control of a Mach-Zehnder lattice, and dispersion
    slope mitigation}, volume={86}, DOI={<a href="https://doi.org/10.1007/s00202-003-0186-2">10.1007/s00202-003-0186-2</a>},
    number={3}, journal={ELECTRICAL ENGINEERING}, author={Noé, Reinhold and Gao, Z},
    year={2004}, pages={165–169} }'
  chicago: 'Noé, Reinhold, and Z Gao. “Design of a Tunable Optical Chromatic Dispersion
    Compensator with Simplified Control of a Mach-Zehnder Lattice, and Dispersion
    Slope Mitigation.” <i>ELECTRICAL ENGINEERING</i> 86, no. 3 (2004): 165–69. <a
    href="https://doi.org/10.1007/s00202-003-0186-2">https://doi.org/10.1007/s00202-003-0186-2</a>.'
  ieee: 'R. Noé and Z. Gao, “Design of a tunable optical chromatic dispersion compensator
    with simplified control of a Mach-Zehnder lattice, and dispersion slope mitigation,”
    <i>ELECTRICAL ENGINEERING</i>, vol. 86, no. 3, pp. 165–169, 2004, doi: <a href="https://doi.org/10.1007/s00202-003-0186-2">10.1007/s00202-003-0186-2</a>.'
  mla: Noé, Reinhold, and Z. Gao. “Design of a Tunable Optical Chromatic Dispersion
    Compensator with Simplified Control of a Mach-Zehnder Lattice, and Dispersion
    Slope Mitigation.” <i>ELECTRICAL ENGINEERING</i>, vol. 86, no. 3, 2004, pp. 165–69,
    doi:<a href="https://doi.org/10.1007/s00202-003-0186-2">10.1007/s00202-003-0186-2</a>.
  short: R. Noé, Z. Gao, ELECTRICAL ENGINEERING 86 (2004) 165–169.
date_created: 2023-01-23T18:11:11Z
date_updated: 2023-01-25T22:56:53Z
department:
- _id: '56'
doi: 10.1007/s00202-003-0186-2
intvolume: '        86'
issue: '3'
language:
- iso: eng
page: 165-169
publication: ELECTRICAL ENGINEERING
publication_identifier:
  issn:
  - 0948-7921
status: public
title: Design of a tunable optical chromatic dispersion compensator with simplified
  control of a Mach-Zehnder lattice, and dispersion slope mitigation
type: journal_article
user_id: '14931'
volume: 86
year: '2004'
...
---
_id: '38483'
author:
- first_name: SK
  full_name: Ibrahim, SK
  last_name: Ibrahim
- first_name: S
  full_name: Bhandare, S
  last_name: Bhandare
- first_name: D
  full_name: Sandel, D
  last_name: Sandel
- first_name: H
  full_name: Zhang, H
  last_name: Zhang
- first_name: Reinhold
  full_name: Noé, Reinhold
  id: '381'
  last_name: Noé
  orcid: https://orcid.org/0000-0002-5839-7616
citation:
  ama: Ibrahim S, Bhandare S, Sandel D, Zhang H, Noé R. Non-magnetic 30 dB integrated
    optical isolator in III/V material. <i>ELECTRONICS LETTERS</i>. 2004;40(20):1293-1294.
    doi:<a href="https://doi.org/10.1049/el:20045901">10.1049/el:20045901</a>
  apa: Ibrahim, S., Bhandare, S., Sandel, D., Zhang, H., &#38; Noé, R. (2004). Non-magnetic
    30 dB integrated optical isolator in III/V material. <i>ELECTRONICS LETTERS</i>,
    <i>40</i>(20), 1293–1294. <a href="https://doi.org/10.1049/el:20045901">https://doi.org/10.1049/el:20045901</a>
  bibtex: '@article{Ibrahim_Bhandare_Sandel_Zhang_Noé_2004, title={Non-magnetic 30
    dB integrated optical isolator in III/V material}, volume={40}, DOI={<a href="https://doi.org/10.1049/el:20045901">10.1049/el:20045901</a>},
    number={20}, journal={ELECTRONICS LETTERS}, author={Ibrahim, SK and Bhandare,
    S and Sandel, D and Zhang, H and Noé, Reinhold}, year={2004}, pages={1293–1294}
    }'
  chicago: 'Ibrahim, SK, S Bhandare, D Sandel, H Zhang, and Reinhold Noé. “Non-Magnetic
    30 DB Integrated Optical Isolator in III/V Material.” <i>ELECTRONICS LETTERS</i>
    40, no. 20 (2004): 1293–94. <a href="https://doi.org/10.1049/el:20045901">https://doi.org/10.1049/el:20045901</a>.'
  ieee: 'S. Ibrahim, S. Bhandare, D. Sandel, H. Zhang, and R. Noé, “Non-magnetic 30
    dB integrated optical isolator in III/V material,” <i>ELECTRONICS LETTERS</i>,
    vol. 40, no. 20, pp. 1293–1294, 2004, doi: <a href="https://doi.org/10.1049/el:20045901">10.1049/el:20045901</a>.'
  mla: Ibrahim, SK, et al. “Non-Magnetic 30 DB Integrated Optical Isolator in III/V
    Material.” <i>ELECTRONICS LETTERS</i>, vol. 40, no. 20, 2004, pp. 1293–94, doi:<a
    href="https://doi.org/10.1049/el:20045901">10.1049/el:20045901</a>.
  short: S. Ibrahim, S. Bhandare, D. Sandel, H. Zhang, R. Noé, ELECTRONICS LETTERS
    40 (2004) 1293–1294.
date_created: 2023-01-23T18:22:07Z
date_updated: 2023-01-25T13:46:20Z
department:
- _id: '56'
doi: 10.1049/el:20045901
intvolume: '        40'
issue: '20'
language:
- iso: eng
page: 1293-1294
publication: ELECTRONICS LETTERS
publication_identifier:
  issn:
  - 0013-5194
status: public
title: Non-magnetic 30 dB integrated optical isolator in III/V material
type: journal_article
user_id: '14931'
volume: 40
year: '2004'
...