[{"_id":"39053","user_id":"5786","department":[{"_id":"672"}],"keyword":["User interfaces","Speech recognition","Streaming media","Specification languages","Keyboards","Speech synthesis","Rendering (computer graphics)","Ambient intelligence","Humans","Displays"],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of HICCS-37","abstract":[{"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.","lang":"eng"}],"status":"public","date_updated":"2023-01-24T08:46:37Z","author":[{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"full_name":"Bleul, Steffen","last_name":"Bleul","first_name":"Steffen"}],"date_created":"2023-01-24T08:46:31Z","title":"Interactive Multimodal User Interfaces for Mobile Devices","doi":"10.1109/HICSS.2004.1265674","conference":{"location":"Waikoloa, HI, USA","name":"37th Annual Hawaii International Conference on System Sciences"},"publication_identifier":{"isbn":["0-7695-2056-1"]},"place":"Waikoloa, HI, USA","year":"2004","citation":{"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>","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.","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>.","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>"}},{"year":"2004","place":"Paris","citation":{"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>","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>.","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} }","short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.","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>","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>.","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>."},"publication_identifier":{"isbn":["0-7695-2085-5"]},"title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","doi":"10.1109/DATE.2004.1269214","conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"date_updated":"2023-01-24T08:53:31Z","author":[{"last_name":"Krupp","full_name":"Krupp, Alexander","first_name":"Alexander"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"last_name":"Oliver","full_name":"Oliver, Ian","first_name":"Ian"}],"date_created":"2023-01-24T08:53:26Z","abstract":[{"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.","lang":"eng"}],"status":"public","publication":"Proceedings of DATE’04 Designers' Forum","type":"conference","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"}],"_id":"39061","department":[{"_id":"672"}],"user_id":"5786"},{"year":"2002","place":"Nagoya, Japan","citation":{"short":"W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.","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} }","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>.","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>","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>.","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>"},"publication_identifier":{"isbn":["1-58113-576-9"]},"title":"The Formal Execution Semantics of SpecC","doi":"10.1145/581199.581234 ","date_updated":"2023-01-24T10:10:28Z","author":[{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Rainer","last_name":"Dömer","full_name":"Dömer, Rainer"},{"full_name":"Gerstlauer, Andreas","last_name":"Gerstlauer","first_name":"Andreas"}],"date_created":"2023-01-24T10:10:24Z","abstract":[{"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.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of the ISSS02","keyword":["Standardization","Kernel","Permission","Formal verification","Logic functions","Documentation","Reasoning about programs","Specification languages","Formal specifications","Software systems"],"language":[{"iso":"eng"}],"_id":"39382","user_id":"5786","department":[{"_id":"672"}]},{"publication":"Proceedings of NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society","type":"conference","status":"public","abstract":[{"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).","lang":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39474","language":[{"iso":"eng"}],"keyword":["Manufacturing systems","Fuzzy control","Multiagent systems","Control systems","Concurrent computing","Specification languages","Communication standards","Standards development","Communication system control","Computer integrated manufacturing"],"publication_identifier":{"isbn":["0-7803-5211-4"]},"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>","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>.","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} }","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."},"year":"1999","place":"New York, NY, USA ","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"first_name":"G.","full_name":"Lehrenfeld, G.","last_name":"Lehrenfeld"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Volker","full_name":"Paelke, Volker","last_name":"Paelke"}],"date_created":"2023-01-24T11:21:53Z","date_updated":"2023-01-24T11:21:57Z","publisher":"IEEE","doi":"10.1109/NAFIPS.1999.781697","conference":{"name":"18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS","location":"New York, NY, USA "},"title":"Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control"}]