---
_id: '39053'
abstract:
- lang: eng
  text: Portable devices come with different limitations in user interaction like
    limited display size, small keyboard, and different sorts of input and output
    capabilities. With the advance of speech recognition and speech synthesis technologies,
    their complementary use becomes attractive for mobile devices in order to implement
    real multimodal user interaction. However, current systems and formats do not
    sufficiently integrate advanced multimodal interactions. We introduce an advanced
    generic multimodal interaction and rendering system (MIRS) dedicated for mobile
    devices. MIRS incorporates efficient processing of XML specification languages
    for limited, mobile devices and comes with the XML-based dialog and interface
    specification language (DISL). DISL can be considered as an UIML subset, which
    is enhanced by the means of state-oriented dialog specifications. The dialog specification
    is based on ODSN (object oriented dialog specification notation), which has been
    introduced to define user interface control by means of interaction states with
    transition rules.
author:
- 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
- first_name: Steffen
  full_name: Bleul, Steffen
  last_name: Bleul
citation:
  ama: 'Müller W, Schäfer R, Bleul S. Interactive Multimodal User Interfaces for Mobile
    Devices. In: <i>Proceedings of HICCS-37</i>. ; 2004. doi:<a href="https://doi.org/10.1109/HICSS.2004.1265674">10.1109/HICSS.2004.1265674</a>'
  apa: Müller, W., Schäfer, R., &#38; Bleul, S. (2004). Interactive Multimodal User
    Interfaces for Mobile Devices. <i>Proceedings of HICCS-37</i>. 37th Annual Hawaii
    International Conference on System Sciences, Waikoloa, HI, USA. <a href="https://doi.org/10.1109/HICSS.2004.1265674">https://doi.org/10.1109/HICSS.2004.1265674</a>
  bibtex: '@inproceedings{Müller_Schäfer_Bleul_2004, place={Waikoloa, HI, USA}, title={Interactive
    Multimodal User Interfaces for Mobile Devices}, DOI={<a href="https://doi.org/10.1109/HICSS.2004.1265674">10.1109/HICSS.2004.1265674</a>},
    booktitle={Proceedings of HICCS-37}, author={Müller, Wolfgang and Schäfer, Robbie
    and Bleul, Steffen}, year={2004} }'
  chicago: Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal
    User Interfaces for Mobile Devices.” In <i>Proceedings of HICCS-37</i>. Waikoloa,
    HI, USA, 2004. <a href="https://doi.org/10.1109/HICSS.2004.1265674">https://doi.org/10.1109/HICSS.2004.1265674</a>.
  ieee: 'W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces
    for Mobile Devices,” presented at the 37th Annual Hawaii International Conference
    on System Sciences, Waikoloa, HI, USA, 2004, doi: <a href="https://doi.org/10.1109/HICSS.2004.1265674">10.1109/HICSS.2004.1265674</a>.'
  mla: Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile
    Devices.” <i>Proceedings of HICCS-37</i>, 2004, doi:<a href="https://doi.org/10.1109/HICSS.2004.1265674">10.1109/HICSS.2004.1265674</a>.
  short: 'W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa,
    HI, USA, 2004.'
conference:
  location: Waikoloa, HI, USA
  name: 37th Annual Hawaii International Conference on System Sciences
date_created: 2023-01-24T08:46:31Z
date_updated: 2023-01-24T08:46:37Z
department:
- _id: '672'
doi: 10.1109/HICSS.2004.1265674
keyword:
- User interfaces
- Speech recognition
- Streaming media
- Specification languages
- Keyboards
- Speech synthesis
- Rendering (computer graphics)
- Ambient intelligence
- Humans
- Displays
language:
- iso: eng
place: Waikoloa, HI, USA
publication: Proceedings of HICCS-37
publication_identifier:
  isbn:
  - 0-7695-2056-1
status: public
title: Interactive Multimodal User Interfaces for Mobile Devices
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: '39382'
abstract:
- lang: eng
  text: We present a rigorous but transparent semantics definition of the SpecC language
    that covers the execution of SpecC behaviors and their interaction with the kernel
    process. The semantics include wait, wait for, par, and try statements as they
    are introduced in SpecC. We present our definition in form of distributed abstract
    state machine (ASM) rules strictly following the lines of the SpecC Language Reference
    Manual. We mainly see our formal semantics in three application areas. First,
    it is a concise, unambiguous description for documentation and standardization.
    Second, it applies as a high-level, pseudo code-oriented specification for the
    implementation of a SpecC simulator. Finally, it is a first step for SpecC synthesis
    in order to identify similar concepts with other languages like VHDL and SystemC
    for the definition of common patterns and language subsets.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Rainer
  full_name: Dömer, Rainer
  last_name: Dömer
- first_name: Andreas
  full_name: Gerstlauer, Andreas
  last_name: Gerstlauer
citation:
  ama: 'Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC.
    In: <i>Proceedings of the ISSS02</i>. ; 2002. doi:<a href="https://doi.org/10.1145/581199.581234
    ">10.1145/581199.581234 </a>'
  apa: Müller, W., Dömer, R., &#38; Gerstlauer, A. (2002). The Formal Execution Semantics
    of SpecC. <i>Proceedings of the ISSS02</i>. <a href="https://doi.org/10.1145/581199.581234
    ">https://doi.org/10.1145/581199.581234 </a>
  bibtex: '@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The
    Formal Execution Semantics of SpecC}, DOI={<a href="https://doi.org/10.1145/581199.581234
    ">10.1145/581199.581234 </a>}, booktitle={Proceedings of the ISSS02}, author={Müller,
    Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }'
  chicago: Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution
    Semantics of SpecC.” In <i>Proceedings of the ISSS02</i>. Nagoya, Japan, 2002.
    <a href="https://doi.org/10.1145/581199.581234 ">https://doi.org/10.1145/581199.581234
    </a>.
  ieee: 'W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of
    SpecC,” 2002, doi: <a href="https://doi.org/10.1145/581199.581234 ">10.1145/581199.581234
    </a>.'
  mla: Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” <i>Proceedings
    of the ISSS02</i>, 2002, doi:<a href="https://doi.org/10.1145/581199.581234 ">10.1145/581199.581234
    </a>.
  short: 'W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya,
    Japan, 2002.'
date_created: 2023-01-24T10:10:24Z
date_updated: 2023-01-24T10:10:28Z
department:
- _id: '672'
doi: '10.1145/581199.581234 '
keyword:
- Standardization
- Kernel
- Permission
- Formal verification
- Logic functions
- Documentation
- Reasoning about programs
- Specification languages
- Formal specifications
- Software systems
language:
- iso: eng
place: Nagoya, Japan
publication: Proceedings of the ISSS02
publication_identifier:
  isbn:
  - 1-58113-576-9
status: public
title: The Formal Execution Semantics of SpecC
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39474'
abstract:
- lang: eng
  text: Agent-based systems technologies are of emerging interest in the specification
    and implementation of complex systems. This article introduces the CASA agent
    development system which seamlessly combines the BDI (belief desire intention)
    approach with the FIPA agent communication language standard and an integrated
    specification of fuzzy controllers. The behavior of agents is defined by strategies
    which basically correspond to extended guarded Horn clauses with priorities. The
    presented concepts are introduced by an example from computer integrated manufacturing
    (CIM). The example gives the specification of a fuzzy controller for a manufacturing
    station in the context of a holonic manufacturing system (HMS).
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: G.
  full_name: Lehrenfeld, G.
  last_name: Lehrenfeld
- 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: 'Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling
    for Holonic Manufacturing Systems with Fuzzy Control. In: <i>Proceedings of NAFIPS’99,
    18th International Conference of the North American Fuzzy Information Processing
    Society</i>. IEEE; 1999. doi:<a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>'
  apa: Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., &#38; Paelke, V. (1999).
    Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. <i>Proceedings
    of NAFIPS’99, 18th International Conference of the North American Fuzzy Information
    Processing Society</i>. 18th International Conference of the North American Fuzzy
    Information Processing Society - NAFIPS, New York, NY, USA . <a href="https://doi.org/10.1109/NAFIPS.1999.781697">https://doi.org/10.1109/NAFIPS.1999.781697</a>
  bibtex: '@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York,
    NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with
    Fuzzy Control}, DOI={<a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>},
    booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North
    American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake,
    Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke,
    Volker}, year={1999} }'
  chicago: 'Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and
    Volker Paelke. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy
    Control.” In <i>Proceedings of NAFIPS’99, 18th International Conference of the
    North American Fuzzy Information Processing Society</i>. New York, NY, USA : IEEE,
    1999. <a href="https://doi.org/10.1109/NAFIPS.1999.781697">https://doi.org/10.1109/NAFIPS.1999.781697</a>.'
  ieee: 'S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based
    Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the
    18th International Conference of the North American Fuzzy Information Processing
    Society - NAFIPS, New York, NY, USA , 1999, doi: <a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>.'
  mla: Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems
    with Fuzzy Control.” <i>Proceedings of NAFIPS’99, 18th International Conference
    of the North American Fuzzy Information Processing Society</i>, IEEE, 1999, doi:<a
    href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>.
  short: 'S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke, in: Proceedings
    of NAFIPS’99, 18th International Conference of the North American Fuzzy Information
    Processing Society, IEEE, New York, NY, USA , 1999.'
conference:
  location: 'New York, NY, USA '
  name: 18th International Conference of the North American Fuzzy Information Processing
    Society - NAFIPS
date_created: 2023-01-24T11:21:53Z
date_updated: 2023-01-24T11:21:57Z
department:
- _id: '672'
doi: 10.1109/NAFIPS.1999.781697
keyword:
- Manufacturing systems
- Fuzzy control
- Multiagent systems
- Control systems
- Concurrent computing
- Specification languages
- Communication standards
- Standards development
- Communication system control
- Computer integrated manufacturing
language:
- iso: eng
place: 'New York, NY, USA '
publication: Proceedings of NAFIPS'99, 18th International Conference of the North
  American Fuzzy Information Processing Society
publication_identifier:
  isbn:
  - 0-7803-5211-4
publisher: IEEE
status: public
title: Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control
type: conference
user_id: '5786'
year: '1999'
...