[{"citation":{"chicago":"Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help SoC Design?” In <i>UML for SoC Design</i>, edited by Grant Martin and Wolfgang Müller, 1–15. Kluwer, 2005.","short":"G. Martin, W. Müller, in: G. Martin, W. Müller (Eds.), UML for SoC Design, Kluwer, 2005, pp. 1–15.","ieee":"G. Martin and W. Müller, “When Worlds Collide: Can UML help SoC Design?,” in <i>UML for SoC Design</i>, G. Martin and W. Müller, Eds. Kluwer, 2005, pp. 1–15.","apa":"Martin, G., &#38; Müller, W. (2005). When Worlds Collide: Can UML help SoC Design? In G. Martin &#38; W. Müller (Eds.), <i>UML for SoC Design</i> (pp. 1–15). Kluwer.","bibtex":"@inbook{Martin_Müller_2005, title={When Worlds Collide: Can UML help SoC Design?}, booktitle={UML for SoC Design}, publisher={Kluwer}, author={Martin, Grant and Müller, Wolfgang}, editor={Martin, Grant and Müller, Wolfgang}, year={2005}, pages={1–15} }","ama":"Martin G, Müller W. When Worlds Collide: Can UML help SoC Design? In: Martin G, Müller W, eds. <i>UML for SoC Design</i>. Kluwer; 2005:1-15.","mla":"Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help SoC Design?” <i>UML for SoC Design</i>, edited by Grant Martin and Wolfgang Müller, Kluwer, 2005, pp. 1–15."},"publication":"UML for SoC Design","date_created":"2022-10-20T09:14:51Z","department":[{"_id":"672"}],"type":"book_chapter","publication_identifier":{"isbn":["0-387-25744-6"]},"author":[{"full_name":"Martin, Grant","first_name":"Grant","last_name":"Martin"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"status":"public","year":"2005","title":"When Worlds Collide: Can UML help SoC Design?","date_updated":"2022-10-20T09:15:13Z","publisher":"Kluwer","_id":"33824","language":[{"iso":"eng"}],"page":"1-15","editor":[{"first_name":"Grant","last_name":"Martin","full_name":"Martin, Grant"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"user_id":"5786"},{"doi":"10.1109/DATE.2005.20","user_id":"5786","_id":"39029","language":[{"iso":"eng"}],"publisher":"IEEE","date_updated":"2023-01-24T08:10:44Z","publication_identifier":{"isbn":["0-7695-2288-2"]},"author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Rettberg, Achim","last_name":"Rettberg","first_name":"Achim"}],"year":"2005","status":"public","title":"A Model-Based Approach for Executable Specification on Reconfigurable Hardware","department":[{"_id":"672"}],"type":"conference","keyword":["Hardware","Unified modeling language","Virtual machining","Object oriented modeling","Field programmable gate arrays","Java","Microcontrollers","Embedded software","Real time systems","Documentation"],"place":"Munich, Germany ","date_created":"2023-01-24T08:10:40Z","abstract":[{"text":"UML 2.0 provides a rich set of diagrams for systems documentation and specification. Much effort has been undertaken to employ different aspects of UML for multiple domains, mainly in the area of software systems. Considering the area of electronic design automation, however, we currently see only very few approaches which investigate UML for hardware design and hardware/software co-design. We present an approach for executable UML closing the gap from system specification to its model-based execution on reconfigurable hardware. For this purpose, we present our abstract execution platform (AEP), which is based on a virtual machine running an executable UML subset for embedded software and reconfigurable hardware. This subset combines UML 2.0 classes, state-machines and sequence diagrams for a complete system specification. We describe how these binary encoded UML specifications can be directly executed and give the implementation of such a virtual machine on a Virtex II FPGA. Finally, we present evaluation results comparing the AEP implementation with C code on a C167 microcontroller.","lang":"eng"}],"citation":{"short":"T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.","chicago":"Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In <i>Proceedings of DATE’05</i>. Munich, Germany : IEEE, 2005. <a href=\"https://doi.org/10.1109/DATE.2005.20\">https://doi.org/10.1109/DATE.2005.20</a>.","apa":"Schattkowsky, T., Müller, W., &#38; Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. <i>Proceedings of DATE’05</i>. <a href=\"https://doi.org/10.1109/DATE.2005.20\">https://doi.org/10.1109/DATE.2005.20</a>","ieee":"T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,” 2005, doi: <a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>.","ama":"Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: <i>Proceedings of DATE’05</i>. IEEE; 2005. doi:<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>","bibtex":"@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }","mla":"Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” <i>Proceedings of DATE’05</i>, IEEE, 2005, doi:<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>."},"publication":"Proceedings of DATE’05"},{"user_id":"5786","_id":"39030","language":[{"iso":"eng"}],"date_updated":"2023-01-24T08:12:26Z","author":[{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"title":"A UML Virtual Machine for Embedded Systems","year":"2005","status":"public","department":[{"_id":"672"}],"keyword":["UML","Executable Models","Hardware/Software Co-design","Virtual Machine","Embedded Systems"],"type":"conference","date_created":"2023-01-24T08:12:20Z","place":"Las Vegas, NV","abstract":[{"lang":"eng","text":"StateCharts are well accepted for embedded systems\r\nspecification for various applications. However, for the\r\nspecification of complex systems they have several\r\nlimitations. In this article, we present a novel approach to\r\nefficiently execute an UML 2.0 subset for embedded real-\r\ntime systems implementation with focus on hardware\r\ninterrupts, software exceptions, and timeouts. We\r\nintroduce a UML Virtual Machine, which directly\r\nexecutes sequence diagrams, which are embedded into\r\nhierarchically structured state transition diagrams.\r\nWhereas state diagrams are directly executed as\r\nEmbedded State Machines (ESMs), sequence diagrams\r\nare translated into UVM Bytecode. The final UVM\r\nexecution is performed by the interaction of the ESM and\r\nthe Bytecode Interpreter. Due to our completely model-\r\nbased approach, the UVM runtime kernel is easily\r\nadaptable and scalable to different scheduling and\r\nmemory management strategies."}],"citation":{"ama":"Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In: <i>Proceedings of ISNG 05</i>. ; 2005.","bibtex":"@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }","mla":"Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” <i>Proceedings of ISNG 05</i>, 2005.","short":"T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” In <i>Proceedings of ISNG 05</i>. Las Vegas, NV, 2005.","apa":"Schattkowsky, T., &#38; Müller, W. (2005). A UML Virtual Machine for Embedded Systems. <i>Proceedings of ISNG 05</i>.","ieee":"T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005."},"publication":"Proceedings of ISNG 05"},{"type":"conference","keyword":["Unified modeling language","Software design","Virtual machining","Embedded system","Programming","Documentation","Hardware","Computer languages","Operating systems","Runtime"],"department":[{"_id":"672"}],"date_created":"2023-01-24T08:18:10Z","place":"Dallas, TX, USA","abstract":[{"lang":"eng","text":"Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In this context, the direct execution of UML state machines is an interesting alternative to native code generation approaches since it significantly increases portability. However, fully featured UML 2.0 State Machines may contain a broad set of features with complex execution semantics that differ significantly from other StateChart variants. This makes their direct execution complex and inefficient. In this paper, we demonstrate how such state machines can be represented using a small subset of the UML state machine features that enables efficient execution. We describe the necessary model transformations in terms of graph transformations and discuss the underlying semantics and implications for execution."}],"publication":"Proceedings of VL/HCC 05","citation":{"mla":"Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” <i>Proceedings of VL/HCC 05</i>, 2005, doi:<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>.","ama":"Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: <i>Proceedings of VL/HCC 05</i>. ; 2005. doi:<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>","bibtex":"@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }","apa":"Schattkowsky, T., &#38; Müller, W. (2005). Transformation of UML State Machines for Direct Execution. <i>Proceedings of VL/HCC 05</i>. <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">https://doi.org/10.1109/VLHCC.2005.64</a>","ieee":"T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>.","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In <i>Proceedings of VL/HCC 05</i>. Dallas, TX, USA, 2005. <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">https://doi.org/10.1109/VLHCC.2005.64</a>.","short":"T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005."},"user_id":"5786","doi":"10.1109/VLHCC.2005.64","language":[{"iso":"eng"}],"_id":"39032","date_updated":"2023-01-24T08:18:27Z","year":"2005","title":"Transformation of UML State Machines for Direct Execution","status":"public","publication_identifier":{"isbn":["0-7695-2443-5"]},"author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}]},{"citation":{"chicago":"Krupp, Alexander, and Wolfgang Müller. “Testmuster Für Nichtkontinuierliche Reglerelemente in Der Klassifikationsbaummethode Für Eingebettete Systeme.” Automotive Software Engineering. Bonn, 2005.","short":"A. Krupp, W. Müller, (2005).","ieee":"A. Krupp and W. Müller, “Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme.” Bonn, 2005.","apa":"Krupp, A., &#38; Müller, W. (2005). <i>Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme</i>.","bibtex":"@article{Krupp_Müller_2005, place={Bonn}, series={Automotive Software Engineering}, title={Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme}, author={Krupp, Alexander and Müller, Wolfgang}, year={2005}, collection={Automotive Software Engineering} }","ama":"Krupp A, Müller W. Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme. Published online 2005.","mla":"Krupp, Alexander, and Wolfgang Müller. <i>Testmuster Für Nichtkontinuierliche Reglerelemente in Der Klassifikationsbaummethode Für Eingebettete Systeme</i>. 2005."},"department":[{"_id":"672"}],"type":"conference","place":"Bonn","date_created":"2023-01-24T08:20:06Z","date_updated":"2023-01-24T08:20:13Z","author":[{"full_name":"Krupp, Alexander","first_name":"Alexander","last_name":"Krupp"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"year":"2005","title":"Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme","status":"public","user_id":"5786","_id":"39036","series_title":"Automotive Software Engineering","language":[{"iso":"eng"}]},{"user_id":"5786","_id":"39038","series_title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","language":[{"iso":"eng"}],"date_updated":"2023-01-24T08:21:22Z","status":"public","year":"2005","title":"Modelchecking von Klassifikationsbaum-Testsequenzen","author":[{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"type":"conference","department":[{"_id":"672"}],"place":"Munich, Germany","date_created":"2023-01-24T08:21:17Z","citation":{"apa":"Krupp, A., &#38; Müller, W. (2005). <i>Modelchecking von Klassifikationsbaum-Testsequenzen</i>.","ieee":"A. Krupp and W. Müller, “Modelchecking von Klassifikationsbaum-Testsequenzen.” Munich, Germany, 2005.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Modelchecking von Klassifikationsbaum-Testsequenzen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.","short":"A. Krupp, W. Müller, (2005).","mla":"Krupp, Alexander, and Wolfgang Müller. <i>Modelchecking von Klassifikationsbaum-Testsequenzen</i>. 2005.","ama":"Krupp A, Müller W. Modelchecking von Klassifikationsbaum-Testsequenzen. Published online 2005.","bibtex":"@article{Krupp_Müller_2005, place={Munich, Germany}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Modelchecking von Klassifikationsbaum-Testsequenzen}, author={Krupp, Alexander and Müller, Wolfgang}, year={2005}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }"}},{"user_id":"5786","_id":"39039","language":[{"iso":"eng"}],"series_title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","date_updated":"2023-01-24T08:22:31Z","author":[{"first_name":"Henning","last_name":"Zabel","full_name":"Zabel, Henning"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"year":"2005","title":"Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation","status":"public","department":[{"_id":"672"}],"type":"conference","place":"Munich, Germany","date_created":"2023-01-24T08:22:27Z","citation":{"chicago":"Zabel, Henning, and Wolfgang Müller. “Analyse von Synchronen Kommunikationsnetzwerken Durch Laufzeiteffiziente Formale Verifikation.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.","short":"H. Zabel, W. Müller, (2005).","apa":"Zabel, H., &#38; Müller, W. (2005). <i>Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation</i>.","ieee":"H. Zabel and W. Müller, “Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.” Munich, Germany, 2005.","ama":"Zabel H, Müller W. Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation. Published online 2005.","bibtex":"@article{Zabel_Müller_2005, place={Munich, Germany}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation}, author={Zabel, Henning and Müller, Wolfgang}, year={2005}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }","mla":"Zabel, Henning, and Wolfgang Müller. <i>Analyse von Synchronen Kommunikationsnetzwerken Durch Laufzeiteffiziente Formale Verifikation</i>. 2005."}},{"date_created":"2023-01-24T08:24:31Z","place":"Las Vegas, NV","department":[{"_id":"672"}],"type":"conference","citation":{"ama":"Bleul S, Schäfer R, Müller W. A Dialog Model for Multi Device Interfaces with Different Modalities. In: <i>Proceedings of the HCI International 2005</i>. ; 2005.","bibtex":"@inproceedings{Bleul_Schäfer_Müller_2005, place={Las Vegas, NV}, title={A Dialog Model for Multi Device Interfaces with Different Modalities}, booktitle={Proceedings of the HCI International 2005}, author={Bleul, Steffen and Schäfer, Robbie and Müller, Wolfgang}, year={2005} }","mla":"Bleul, Steffen, et al. “A Dialog Model for Multi Device Interfaces with Different Modalities.” <i>Proceedings of the HCI International 2005</i>, 2005.","chicago":"Bleul, Steffen, Robbie Schäfer, and Wolfgang Müller. “A Dialog Model for Multi Device Interfaces with Different Modalities.” In <i>Proceedings of the HCI International 2005</i>. Las Vegas, NV, 2005.","short":"S. Bleul, R. Schäfer, W. Müller, in: Proceedings of the HCI International 2005, Las Vegas, NV, 2005.","apa":"Bleul, S., Schäfer, R., &#38; Müller, W. (2005). A Dialog Model for Multi Device Interfaces with Different Modalities. <i>Proceedings of the HCI International 2005</i>.","ieee":"S. Bleul, R. Schäfer, and W. Müller, “A Dialog Model for Multi Device Interfaces with Different Modalities,” 2005."},"publication":"Proceedings of the HCI International 2005","language":[{"iso":"eng"}],"_id":"39041","user_id":"5786","author":[{"last_name":"Bleul","first_name":"Steffen","full_name":"Bleul, Steffen"},{"full_name":"Schäfer, Robbie","last_name":"Schäfer","first_name":"Robbie"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"status":"public","year":"2005","title":"A Dialog Model for Multi Device Interfaces with Different Modalities","date_updated":"2023-01-24T08:24:39Z"},{"publication":"Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)","citation":{"ieee":"M. Ziegler, W. Müller, R. Schäfer, and C. Loeser, “Secure Profile Management in Smart Home Networks,” presented at the 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: <a href=\"https://doi.org/10.1109/DEXA.2005.171\">10.1109/DEXA.2005.171</a>.","apa":"Ziegler, M., Müller, W., Schäfer, R., &#38; Loeser, C. (2005). Secure Profile Management in Smart Home Networks. <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>. 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . <a href=\"https://doi.org/10.1109/DEXA.2005.171\">https://doi.org/10.1109/DEXA.2005.171</a>","short":"M. Ziegler, W. Müller, R. Schäfer, C. Loeser, in: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.","chicago":"Ziegler, Max, Wolfgang Müller, Robbie Schäfer, and Chris Loeser. “Secure Profile Management in Smart Home Networks.” In <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>. Copenhagen, Denmark : IEEE, 2005. <a href=\"https://doi.org/10.1109/DEXA.2005.171\">https://doi.org/10.1109/DEXA.2005.171</a>.","mla":"Ziegler, Max, et al. “Secure Profile Management in Smart Home Networks.” <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>, IEEE, 2005, doi:<a href=\"https://doi.org/10.1109/DEXA.2005.171\">10.1109/DEXA.2005.171</a>.","bibtex":"@inproceedings{Ziegler_Müller_Schäfer_Loeser_2005, place={Copenhagen, Denmark }, title={Secure Profile Management in Smart Home Networks}, DOI={<a href=\"https://doi.org/10.1109/DEXA.2005.171\">10.1109/DEXA.2005.171</a>}, booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}, publisher={IEEE}, author={Ziegler, Max and Müller, Wolfgang and Schäfer, Robbie and Loeser, Chris}, year={2005} }","ama":"Ziegler M, Müller W, Schäfer R, Loeser C. Secure Profile Management in Smart Home Networks. In: <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>. IEEE; 2005. doi:<a href=\"https://doi.org/10.1109/DEXA.2005.171\">10.1109/DEXA.2005.171</a>"},"abstract":[{"text":"Currently, middleware for smart home networks with embedded and mobile devices are in the focus of several investigations. In this paper, we propose a middleware for secure management of device and user profiles by integrating a profile database with a generic authentication scheme for an X.509 enabled ticket management in the context of the OSGi framework. After the introduction of the individual system components and their interaction, we also discuss potential system attacks.","lang":"eng"}],"place":"Copenhagen, Denmark ","date_created":"2023-01-24T08:39:45Z","keyword":["Intelligent networks","Smart homes","Middleware","Project management","Data security","Ubiquitous computing","Context-aware services","Computer architecture","Home automation","Environmental management"],"type":"conference","department":[{"_id":"672"}],"year":"2005","title":"Secure Profile Management in Smart Home Networks","status":"public","conference":{"name":"16th International Workshop on Database and Expert Systems Applications (DEXA'05)","location":"Copenhagen, Denmark "},"publication_identifier":{"isbn":["0-7695-2424-9"]},"author":[{"last_name":"Ziegler","first_name":"Max","full_name":"Ziegler, Max"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"full_name":"Loeser, Chris","last_name":"Loeser","first_name":"Chris"}],"date_updated":"2023-01-24T08:39:50Z","language":[{"iso":"eng"}],"_id":"39050","publisher":"IEEE","doi":"10.1109/DEXA.2005.171","user_id":"5786"},{"doi":"10.1109/DEXA.2005.156","user_id":"5786","publisher":"IEEE","_id":"39052","language":[{"iso":"eng"}],"date_updated":"2023-01-24T08:43:27Z","status":"public","title":"Profile Management technology for Smart Customization in Private Home Applications","year":"2005","conference":{"name":"16th International Workshop on Database and Expert Systems Applications (DEXA'05)","location":"Copenhagen, Denmark "},"publication_identifier":{"isbn":["0-7695-2424-9"]},"author":[{"last_name":"Groppe","first_name":"Jinghua","full_name":"Groppe, Jinghua"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"type":"conference","keyword":["Technology management","Smart homes","Environmental management","Resource description framework","Data models","Navigation","Mobile computing","Embedded computing","Ubiquitous computing","Mobile communication"],"department":[{"_id":"672"}],"place":"Copenhagen, Denmark ","date_created":"2023-01-24T08:43:21Z","abstract":[{"lang":"eng","text":"Smart homes provide their users with maximum comfort and convenience. In this paper, we present a profile management framework for situation-dependent customization in smart home environments, which meet the user preferences with given device capabilities. We apply profile processing and evolution methods to customize profiles on the fly and to automatically evolve user preferences. Furthermore, we give a comprehensive study on profile management technology."}],"publication":"Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)","citation":{"chicago":"Groppe, Jinghua, and Wolfgang Müller. “Profile Management Technology for Smart Customization in Private Home Applications.” In <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>. Copenhagen, Denmark : IEEE, 2005. <a href=\"https://doi.org/10.1109/DEXA.2005.156\">https://doi.org/10.1109/DEXA.2005.156</a>.","short":"J. Groppe, W. Müller, in: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.","apa":"Groppe, J., &#38; Müller, W. (2005). Profile Management technology for Smart Customization in Private Home Applications. <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>. 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . <a href=\"https://doi.org/10.1109/DEXA.2005.156\">https://doi.org/10.1109/DEXA.2005.156</a>","ieee":"J. Groppe and W. Müller, “Profile Management technology for Smart Customization in Private Home Applications,” presented at the 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: <a href=\"https://doi.org/10.1109/DEXA.2005.156\">10.1109/DEXA.2005.156</a>.","ama":"Groppe J, Müller W. Profile Management technology for Smart Customization in Private Home Applications. In: <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>. IEEE; 2005. doi:<a href=\"https://doi.org/10.1109/DEXA.2005.156\">10.1109/DEXA.2005.156</a>","bibtex":"@inproceedings{Groppe_Müller_2005, place={Copenhagen, Denmark }, title={Profile Management technology for Smart Customization in Private Home Applications}, DOI={<a href=\"https://doi.org/10.1109/DEXA.2005.156\">10.1109/DEXA.2005.156</a>}, booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}, publisher={IEEE}, author={Groppe, Jinghua and Müller, Wolfgang}, year={2005} }","mla":"Groppe, Jinghua, and Wolfgang Müller. “Profile Management Technology for Smart Customization in Private Home Applications.” <i>Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>, IEEE, 2005, doi:<a href=\"https://doi.org/10.1109/DEXA.2005.156\">10.1109/DEXA.2005.156</a>."}},{"citation":{"bibtex":"@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }","ama":"Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. <i>Integration of Software Specification Techniques for Applications in Engineering</i>. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>","mla":"Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” <i>Integration of Software Specification Techniques for Applications in Engineering</i>, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>.","short":"S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.","chicago":"Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In <i>Integration of Software Specification Techniques for Applications in Engineering</i>, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. <a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">https://doi.org/10.1007/978-3-540-27863-4_13</a>.","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in <i>Integration of Software Specification Techniques for Applications in Engineering</i>, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.","apa":"Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, &#38; E. Westkämper (Eds.), <i>Integration of Software Specification Techniques for Applications in Engineering</i> (Vol. 3147, pp. 206–226). Springer-Verlag. <a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">https://doi.org/10.1007/978-3-540-27863-4_13</a>"},"place":"Berlin, Heidelberg","status":"public","publisher":"Springer-Verlag","_id":"33825","page":"206-226","volume":3147,"editor":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"last_name":"Damm","first_name":"Werner","full_name":"Damm, Werner"},{"full_name":"Desel, Jörg","first_name":"Jörg","last_name":"Desel"},{"full_name":"Große-Rhode, Martin","first_name":"Martin","last_name":"Große-Rhode"},{"first_name":"Wolfgang","last_name":"Reif","full_name":"Reif, Wolfgang"},{"first_name":"Eckehard","last_name":"Schnieder","full_name":"Schnieder, Eckehard"},{"full_name":"Westkämper, Engelbert","first_name":"Engelbert","last_name":"Westkämper"}],"user_id":"5786","publication":"Integration of Software Specification Techniques for Applications in Engineering","abstract":[{"lang":"eng","text":"This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles."}],"date_created":"2022-10-20T09:25:53Z","department":[{"_id":"672"}],"keyword":["Model Check","Temporal Logic","Object Constraint Language","Abstract Syntax","Temporal Logic Formula"],"type":"book_chapter","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"last_name":"Pape","first_name":"Ulrich","full_name":"Pape, Ulrich"},{"first_name":"Jürgen","last_name":"Ruf","full_name":"Ruf, Jürgen"}],"publication_identifier":{"isbn":["978-3-540-27863-4"]},"title":"Specification and Formal Verification of Temporal Properties of Production Automation Systems","year":"2004","intvolume":"      3147","date_updated":"2022-10-20T09:26:15Z","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-540-27863-4_13"},{"date_created":"2022-10-20T09:33:49Z","place":"Lighthouse Point, FL, USA","department":[{"_id":"672"}],"type":"book_chapter","citation":{"chicago":"Schattkowsky, Tim, Wolfgang Müller, and Adam Pawlak. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” In <i>Workflow Handbook 2004</i>, edited by Layna Fischer. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.","short":"T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.","apa":"Schattkowsky, T., Müller, W., &#38; Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), <i>Workflow Handbook 2004</i>. Workflow Management Coalition (WfMC).","ieee":"T. Schattkowsky, W. Müller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in <i>Workflow Handbook 2004</i>, L. Fischer, Ed. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.","ama":"Schattkowsky T, Müller W, Pawlak A. Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Fischer L, ed. <i>Workflow Handbook 2004</i>. Workflow Management Coalition (WfMC); 2004.","bibtex":"@inbook{Schattkowsky_Müller_Pawlak_2004, place={Lighthouse Point, FL, USA}, title={Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management Coalition (WfMC)}, author={Schattkowsky, Tim and Müller, Wolfgang and Pawlak, Adam}, editor={Fischer, Layna}, year={2004} }","mla":"Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” <i>Workflow Handbook 2004</i>, edited by Layna Fischer, Workflow Management Coalition (WfMC), 2004."},"publication":"Workflow Handbook 2004","_id":"33827","publisher":"Workflow Management Coalition (WfMC)","language":[{"iso":"eng"}],"editor":[{"first_name":"Layna","last_name":"Fischer","full_name":"Fischer, Layna"}],"user_id":"5786","publication_identifier":{"isbn":["0970350961"]},"author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Pawlak, Adam","first_name":"Adam","last_name":"Pawlak"}],"status":"public","title":"Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering","year":"2004","date_updated":"2022-10-20T09:34:51Z"},{"author":[{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"publication_identifier":{"isbn":["1-4020-2866-0"]},"title":"Refinement of Finite State Machines with Complementary Model Checking","year":"2004","status":"public","date_updated":"2022-10-20T09:56:28Z","_id":"33830","language":[{"iso":"eng"}],"publisher":"Kluwer","page":"155-168","editor":[{"last_name":"Mermet","first_name":"J.","full_name":"Mermet, J."}],"user_id":"5786","citation":{"chicago":"Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” In <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.","short":"A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.","apa":"Krupp, A., &#38; Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), <i>UML-B System Specification for Proven Electronic Design</i> (pp. 155–168). Kluwer.","ieee":"A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary Model Checking,” in <i>UML-B System Specification for Proven Electronic Design</i>, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.","ama":"Krupp A, Müller W. Refinement of Finite State Machines with Complementary Model Checking. In: Mermet J, ed. <i>UML-B System Specification for Proven Electronic Design</i>. Kluwer; 2004:155-168.","bibtex":"@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite State Machines with Complementary Model Checking}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }","mla":"Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, Kluwer, 2004, pp. 155–68."},"publication":"UML-B System Specification for Proven Electronic Design","date_created":"2022-10-20T09:54:53Z","place":"Dordrecht","department":[{"_id":"672"}],"type":"book_chapter"},{"page":"301-314","_id":"33829","language":[{"iso":"eng"}],"publisher":"Kluwer","user_id":"5786","editor":[{"full_name":"Grimm, Ch.","last_name":"Grimm","first_name":"Ch."}],"year":"2004","title":"Combining Formal Refinement and Model Checking for Analysis of Realtime Systems","status":"public","publication_identifier":{"isbn":["978-1-4020-7991-7"]},"author":[{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"last_name":"Oliver","first_name":"Ian","full_name":"Oliver, Ian"}],"date_updated":"2022-10-20T09:50:11Z","date_created":"2022-10-20T09:49:57Z","place":"Dordrecht","type":"book_chapter","department":[{"_id":"672"}],"publication":"Best of FDL'03","citation":{"ama":"Krupp A, Müller W, Oliver I. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm Ch, ed. <i>Best of FDL’03</i>. Kluwer; 2004:301-314.","bibtex":"@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }","mla":"Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” <i>Best of FDL’03</i>, edited by Ch. Grimm, Kluwer, 2004, pp. 301–14.","short":"A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In <i>Best of FDL’03</i>, edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.","apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), <i>Best of FDL’03</i> (pp. 301–314). Kluwer.","ieee":"A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” in <i>Best of FDL’03</i>, Ch. Grimm, Ed. Dordrecht: Kluwer, 2004, pp. 301–314."}},{"date_created":"2022-10-20T09:59:04Z","place":"Dordrecht","type":"book_chapter","department":[{"_id":"672"}],"publication":"UML-B System Specification for Proven Electronic Design","citation":{"apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). The Echo Cancellation Unit Case Study. In J. Mermet (Ed.), <i>UML-B System Specification for Proven Electronic Design</i> (pp. 227–240). Kluwer.","ieee":"A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,” in <i>UML-B System Specification for Proven Electronic Design</i>, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 227–240.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation Unit Case Study.” In <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.","short":"A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.","mla":"Krupp, Alexander, et al. “The Echo Cancellation Unit Case Study.” <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, Kluwer, 2004, pp. 227–40.","ama":"Krupp A, Müller W, Oliver I. The Echo Cancellation Unit Case Study. In: Mermet J, ed. <i>UML-B System Specification for Proven Electronic Design</i>. Kluwer; 2004:227-240.","bibtex":"@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={The Echo Cancellation Unit Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Mermet, J.}, year={2004}, pages={227–240} }"},"page":"227-240","_id":"33832","language":[{"iso":"eng"}],"publisher":"Kluwer","user_id":"5786","editor":[{"full_name":"Mermet, J.","last_name":"Mermet","first_name":"J."}],"year":"2004","status":"public","title":"The Echo Cancellation Unit Case Study","author":[{"first_name":"Alexander","last_name":"Krupp","full_name":"Krupp, Alexander"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"first_name":"Ian","last_name":"Oliver","full_name":"Oliver, Ian"}],"publication_identifier":{"isbn":["1-4020-2866-0"]},"date_updated":"2022-10-20T09:59:24Z"},{"department":[{"_id":"672"}],"type":"conference","keyword":["User interfaces","Speech recognition","Streaming media","Specification languages","Keyboards","Speech synthesis","Rendering (computer graphics)","Ambient intelligence","Humans","Displays"],"place":"Waikoloa, HI, USA","date_created":"2023-01-24T08:46:31Z","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"}],"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>","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} }","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>.","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>.","short":"W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.","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>","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>."},"publication":"Proceedings of HICCS-37","doi":"10.1109/HICSS.2004.1265674","user_id":"5786","language":[{"iso":"eng"}],"_id":"39053","date_updated":"2023-01-24T08:46:37Z","conference":{"location":"Waikoloa, HI, USA","name":"37th Annual Hawaii International Conference on System Sciences"},"publication_identifier":{"isbn":["0-7695-2056-1"]},"author":[{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"first_name":"Steffen","last_name":"Bleul","full_name":"Bleul, Steffen"}],"year":"2004","title":"Interactive Multimodal User Interfaces for Mobile Devices","status":"public"},{"date_created":"2023-01-24T08:49:51Z","place":"Lille, France","department":[{"_id":"672"}],"type":"conference","citation":{"ieee":"M. Zambaldi, W. Ecker, T. Kruse, and W. Müller, “The Formal Simulation Semantics of SystemVerilog,” presented at the  Forum on specification and Design Languages, Lille, France, 2004.","apa":"Zambaldi, M., Ecker, W., Kruse, T., &#38; Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. <i>Proceedings of FDL’04</i>.  Forum on specification and Design Languages, Lille, France.","short":"M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.","chicago":"Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The Formal Simulation Semantics of SystemVerilog.” In <i>Proceedings of FDL’04</i>. Lille, France, 2004.","mla":"Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.” <i>Proceedings of FDL’04</i>, 2004.","bibtex":"@inproceedings{Zambaldi_Ecker_Kruse_Müller_2004, place={Lille, France}, title={The Formal Simulation Semantics of SystemVerilog}, booktitle={Proceedings of FDL’04}, author={Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}, year={2004} }","ama":"Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of SystemVerilog. In: <i>Proceedings of FDL’04</i>. ; 2004."},"publication":"Proceedings of FDL’04","abstract":[{"text":"We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the simulation scheduler including the management of new SystemVerilog regions. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemVerilog Language Reference Manual [1]. Our formal semantics is a concise, unambiguous, high-level specification for SystemVerilog-based implementations and for investigation of interoperabilities of SystemVerilog with SpecC, SystemC, and VHDL.","lang":"eng"}],"language":[{"iso":"eng"}],"_id":"39055","user_id":"5786","author":[{"last_name":"Zambaldi","first_name":"Martin","full_name":"Zambaldi, Martin"},{"last_name":"Ecker","first_name":"Wolfgang","full_name":"Ecker, Wolfgang"},{"first_name":"Thilo","last_name":"Kruse","full_name":"Kruse, Thilo"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"conference":{"name":" Forum on specification and Design Languages","location":"Lille, France"},"status":"public","year":"2004","title":"The Formal Simulation Semantics of SystemVerilog","date_updated":"2023-01-24T08:49:57Z"},{"date_created":"2023-01-24T08:51:13Z","place":"Paris","department":[{"_id":"672"}],"type":"conference","citation":{"chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” In <i>Proceedings of DATE’04</i>. Paris, 2004.","short":"T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.","apa":"Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. <i>Proceedings of DATE’04</i>.","ieee":"T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of Embedded Real-Time Systems,” 2004.","ama":"Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded Real-Time Systems. In: <i>Proceedings of DATE’04</i>. ; 2004.","bibtex":"@inproceedings{Schattkowsky_Müller_2004, place={Paris}, title={Model-Based Specification and Execution of Embedded Real-Time Systems}, booktitle={Proceedings of DATE’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” <i>Proceedings of DATE’04</i>, 2004."},"publication":"Proceedings of DATE’04","_id":"39060","language":[{"iso":"eng"}],"user_id":"5786","author":[{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"year":"2004","title":"Model-Based Specification and Execution of Embedded Real-Time Systems","status":"public","date_updated":"2023-01-24T08:51:22Z"},{"date_created":"2023-01-24T08:53:26Z","place":"Paris","department":[{"_id":"672"}],"type":"conference","keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"citation":{"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} }","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>","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>.","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>.","short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.","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>.","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>"},"publication":"Proceedings of DATE’04 Designers' Forum","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."}],"language":[{"iso":"eng"}],"_id":"39061","user_id":"5786","doi":"10.1109/DATE.2004.1269214","author":[{"full_name":"Krupp, Alexander","first_name":"Alexander","last_name":"Krupp"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"full_name":"Oliver, Ian","first_name":"Ian","last_name":"Oliver"}],"publication_identifier":{"isbn":["0-7695-2085-5"]},"conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"year":"2004","title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","status":"public","date_updated":"2023-01-24T08:53:31Z"},{"user_id":"5786","language":[{"iso":"eng"}],"_id":"39063","date_updated":"2023-01-24T08:55:46Z","author":[{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Paelke, Volker","first_name":"Volker","last_name":"Paelke"}],"title":"A Formal Model of a Framework for Simulation-Based Animation","year":"2004","status":"public","department":[{"_id":"672"}],"type":"conference","date_created":"2023-01-24T08:55:41Z","place":"Magdeburg","citation":{"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.","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} }","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.","ieee":"W. Müller and V. Paelke, “A Formal Model of a Framework for Simulation-Based Animation,” 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>.","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.","short":"W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004."},"publication":"Proceedings of the Simulation and Visualisation 2004"}]