@inproceedings{39053,
  abstract     = {{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       = {{Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}},
  booktitle    = {{Proceedings of HICCS-37}},
  isbn         = {{0-7695-2056-1}},
  keywords     = {{User interfaces, Speech recognition, Streaming media, Specification languages, Keyboards, Speech synthesis, Rendering (computer graphics), Ambient intelligence, Humans, Displays}},
  location     = {{Waikoloa, HI, USA}},
  title        = {{{Interactive Multimodal User Interfaces for Mobile Devices}}},
  doi          = {{10.1109/HICSS.2004.1265674}},
  year         = {{2004}},
}

@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{39382,
  abstract     = {{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       = {{Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}},
  booktitle    = {{Proceedings of the ISSS02}},
  isbn         = {{1-58113-576-9}},
  keywords     = {{Standardization, Kernel, Permission, Formal verification, Logic functions, Documentation, Reasoning about programs, Specification languages, Formal specifications, Software systems}},
  title        = {{{The Formal Execution Semantics of SpecC}}},
  doi          = {{10.1145/581199.581234 }},
  year         = {{2002}},
}

@inproceedings{39474,
  abstract     = {{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       = {{Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker}},
  booktitle    = {{Proceedings of NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society}},
  isbn         = {{0-7803-5211-4}},
  keywords     = {{Manufacturing systems, Fuzzy control, Multiagent systems, Control systems, Concurrent computing, Specification languages, Communication standards, Standards development, Communication system control, Computer integrated manufacturing}},
  location     = {{New York, NY, USA }},
  publisher    = {{IEEE}},
  title        = {{{Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control}}},
  doi          = {{10.1109/NAFIPS.1999.781697}},
  year         = {{1999}},
}