@inproceedings{39061,
  abstract     = {{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       = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}},
  booktitle    = {{Proceedings of DATE’04 Designers' Forum}},
  isbn         = {{0-7695-2085-5}},
  keywords     = {{Echo cancellers, Logic, Unified modeling language, Automata, Data structures, Boolean functions, Electronic design automation and methodology, Prototypes, Specification languages, Constraint theory}},
  title        = {{{Formal Refinement and Model Checking of An Echo Cancellation Unit}}},
  doi          = {{10.1109/DATE.2004.1269214}},
  year         = {{2004}},
}

@inproceedings{39063,
  author       = {{Müller, Wolfgang and Paelke, Volker}},
  booktitle    = {{Proceedings of the Simulation and Visualisation 2004}},
  title        = {{{A Formal Model of a Framework for Simulation-Based Animation}}},
  year         = {{2004}},
}

@inproceedings{39071,
  abstract     = {{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       = {{Schattkowsky, Tim and Loeser, Chris and Müller, Wolfgang}},
  booktitle    = {{Proceedings of AINA2004}},
  isbn         = {{0-7695-2051-0}},
  keywords     = {{Peer to peer computing, Web services, Intelligent networks, Routing, Relays, Simple object access protocol, Collaborative work, Transport protocols, Network address translation, Java}},
  location     = {{Fukuoka, Japan }},
  publisher    = {{IEEE}},
  title        = {{{Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}}},
  doi          = {{10.1109/AINA.2004.1283977}},
  year         = {{2004}},
}

@inproceedings{39069,
  abstract     = {{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       = {{Flake, Stephan and Müller, Wolfgang}},
  booktitle    = {{Proceedings of SEFM´04}},
  isbn         = {{0-7695-2222-X}},
  keywords     = {{Unified modeling language, Logic, Clocks, Boolean functions, Application software, Time factors, Real time systems, Formal verification, Buffer storage, Software packages}},
  publisher    = {{IEEE}},
  title        = {{{Past- and Future-Oriented Time-Bound Temporal Properties with OCL}}},
  doi          = {{10.1109/SEFM.2004.1347516}},
  year         = {{2004}},
}

@inproceedings{39065,
  author       = {{Gausemeier, Jürgen and Müller, Wolfgang and Bauch, Jürgen and Radkowski, W. and Shen, T. and Paelke, Volker}},
  booktitle    = {{Proceedings of the Simulation and Visualisation 2004}},
  title        = {{{Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality}}},
  year         = {{2004}},
}

@inproceedings{39068,
  author       = {{Schattkowsky, Tim and Müller, Wolfgang}},
  booktitle    = {{Proceedings of ISORC’04}},
  title        = {{{Model-Based Design of Embedded Systems}}},
  year         = {{2004}},
}

@inproceedings{39078,
  author       = {{Gausemeier, Jürgen and Müller, Wolfgang and Paelke, Volker and Bauch, Jürgen and Shen, Q. and Radkowski, R. }},
  booktitle    = {{Proceedings of the Design 2004}},
  keywords     = {{mechatronic systems, self-optimization, virtual prototyping}},
  location     = {{Dubrovnik}},
  title        = {{{Virtual Prototyping Of Self-Optimizing Mechatronic Systems}}},
  year         = {{2004}},
}

@inproceedings{39075,
  author       = {{Loeser, Chris and Schäfer, Robbie and Müller, Wolfgang and Borowski, Marek}},
  booktitle    = {{Proceedings of SCI’04}},
  title        = {{{RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control}}},
  year         = {{2004}},
}

@inproceedings{39082,
  abstract     = {{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       = {{Bleul, Steffen and Müller, Wolfgang and Schäfer, Robbie}},
  booktitle    = {{Proceedings of AVI 2004}},
  title        = {{{Multimodal Dialog Description for Mobile Devices}}},
  year         = {{2004}},
}

@inproceedings{39350,
  abstract     = {{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       = {{Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}},
  booktitle    = {{Proceedings of EHCI-DSVIS 2005}},
  keywords     = {{Multimodal User Interface     High Level Model     Multimodal User     High Level Approach     Dialog Model}},
  title        = {{{A Novel Dialog Model for the Design of Multimodal User Interfaces}}},
  year         = {{2004}},
}

@inproceedings{39352,
  abstract     = {{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       = {{Flake, Stephan and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the UML 2004}},
  keywords     = {{System State     Formal Semantic     Object Management Group     Denotational Semantic     Dynamic Semantic}},
  title        = {{{An ASM Definition of the Dynamic OCL 2.0 Semantics}}},
  doi          = {{10.1007/978-3-540-30187-5_17}},
  year         = {{2004}},
}

@article{38478,
  author       = {{Bhandare, S and Sandel, D and Abas, AF and Milivojevic, B and Hidayat, A and Noé, Reinhold and Guy, M and Lapointe, A}},
  issn         = {{0013-5194}},
  journal      = {{ELECTRONICS LETTERS}},
  number       = {{13}},
  pages        = {{821--822}},
  title        = {{{2x40 Gbit/s RZ-DQPSK transmission with tunable chromatic dispersion compensation in 263 km fibre link}}},
  doi          = {{10.1049/el:20040542}},
  volume       = {{40}},
  year         = {{2004}},
}

@article{38472,
  author       = {{Sandel, D and Bhandare, S and Abas, AF and Milivojevic, B and Noé, Reinhold and Guy, M and Lapointe, M}},
  issn         = {{1041-1135}},
  journal      = {{IEEE PHOTONICS TECHNOLOGY LETTERS}},
  number       = {{11}},
  pages        = {{2568--2570}},
  title        = {{{Automatic tunable chromatic dispersion compensation at 40 Gb/s in ASK and DPSK, NRZ, and CSRZ 263-km transmission experiments}}},
  doi          = {{10.1109/LPT.2004.834889}},
  volume       = {{16}},
  year         = {{2004}},
}

@article{38382,
  author       = {{Noé, Reinhold and Sandel, D and Mirvoda, V}},
  issn         = {{1077-260X}},
  journal      = {{IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS}},
  number       = {{2}},
  pages        = {{341--355}},
  title        = {{{PMD in high-bit-rate transmission and means for its mitigation}}},
  doi          = {{10.1109/JSTQE.2004.827842}},
  volume       = {{10}},
  year         = {{2004}},
}

@article{38349,
  author       = {{Noé, Reinhold and Sandel, D}},
  issn         = {{1041-1135}},
  journal      = {{IEEE PHOTONICS TECHNOLOGY LETTERS}},
  number       = {{4}},
  pages        = {{1050--1052}},
  title        = {{{Strategies for fast control speed and DC drift avoidance in distributed LiNbO3-based PMD compensators}}},
  doi          = {{10.1109/LPT.2004.824959}},
  volume       = {{16}},
  year         = {{2004}},
}

@article{38335,
  author       = {{Noé, Reinhold and Gao, Z}},
  issn         = {{0948-7921}},
  journal      = {{ELECTRICAL ENGINEERING}},
  number       = {{3}},
  pages        = {{165--169}},
  title        = {{{Design of a tunable optical chromatic dispersion compensator with simplified control of a Mach-Zehnder lattice, and dispersion slope mitigation}}},
  doi          = {{10.1007/s00202-003-0186-2}},
  volume       = {{86}},
  year         = {{2004}},
}

@article{38332,
  author       = {{Noé, Reinhold and Sandel, D and Mirvoda, V}},
  issn         = {{1077-260X}},
  journal      = {{IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS}},
  number       = {{2}},
  pages        = {{341--355}},
  title        = {{{PMD in high-bit-rate transmission and means for its mitigation}}},
  doi          = {{10.1109/JSTQE.2004.827842}},
  volume       = {{10}},
  year         = {{2004}},
}

@article{38299,
  author       = {{Noé, Reinhold and Sandel, D}},
  issn         = {{1041-1135}},
  journal      = {{IEEE PHOTONICS TECHNOLOGY LETTERS}},
  number       = {{4}},
  pages        = {{1050--1052}},
  title        = {{{Strategies for fast control speed and DC drift avoidance in distributed LiNbO3-based PMD compensators}}},
  doi          = {{10.1109/LPT.2004.824959}},
  volume       = {{16}},
  year         = {{2004}},
}

@article{38285,
  author       = {{Noé, Reinhold and Gao, Z}},
  issn         = {{0948-7921}},
  journal      = {{ELECTRICAL ENGINEERING}},
  number       = {{3}},
  pages        = {{165--169}},
  title        = {{{Design of a tunable optical chromatic dispersion compensator with simplified control of a Mach-Zehnder lattice, and dispersion slope mitigation}}},
  doi          = {{10.1007/s00202-003-0186-2}},
  volume       = {{86}},
  year         = {{2004}},
}

@article{38483,
  author       = {{Ibrahim, SK and Bhandare, S and Sandel, D and Zhang, H and Noé, Reinhold}},
  issn         = {{0013-5194}},
  journal      = {{ELECTRONICS LETTERS}},
  number       = {{20}},
  pages        = {{1293--1294}},
  title        = {{{Non-magnetic 30 dB integrated optical isolator in III/V material}}},
  doi          = {{10.1049/el:20045901}},
  volume       = {{40}},
  year         = {{2004}},
}