[{"title":"Towards a Unified Behavioural Modelling Language","author":[{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Henning","full_name":"Zabel, Henning","last_name":"Zabel"}],"place":"San Francisco, USA","abstract":[{"text":"Neither UML 2.0 nor the upcoming SysML 1.0 currently provides suffi-\r\ncient means for applications in the context of heterogeneous electronic systems de-\r\nscription and simulation. In this article, we demonstrate how general concepts of the\r\nsimulation framework Ptolemy II seamlessly complement SysML to serve as a uni-\r\nversal description language covering discrete event as well as continuous behaviors.","lang":"eng"}],"citation":{"bibtex":"@inproceedings{Müller_Zabel_2006, place={San Francisco, USA}, title={Towards a Unified Behavioural Modelling Language}, booktitle={Proceedings of the UML-SoC Workshop at DAC 2006}, author={Müller, Wolfgang and Zabel, Henning}, year={2006} }","mla":"Müller, Wolfgang, and Henning Zabel. “Towards a Unified Behavioural Modelling Language.” <i>Proceedings of the UML-SoC Workshop at DAC 2006</i>, 2006.","short":"W. Müller, H. Zabel, in: Proceedings of the UML-SoC Workshop at DAC 2006, San Francisco, USA, 2006.","apa":"Müller, W., &#38; Zabel, H. (2006). Towards a Unified Behavioural Modelling Language. <i>Proceedings of the UML-SoC Workshop at DAC 2006</i>.","ama":"Müller W, Zabel H. Towards a Unified Behavioural Modelling Language. In: <i>Proceedings of the UML-SoC Workshop at DAC 2006</i>. ; 2006.","ieee":"W. Müller and H. Zabel, “Towards a Unified Behavioural Modelling Language,” 2006.","chicago":"Müller, Wolfgang, and Henning Zabel. “Towards a Unified Behavioural Modelling Language.” In <i>Proceedings of the UML-SoC Workshop at DAC 2006</i>. San Francisco, USA, 2006."},"user_id":"5786","department":[{"_id":"672"}],"publication":"Proceedings of the UML-SoC Workshop at DAC 2006","date_created":"2023-01-24T07:57:38Z","type":"conference","year":"2006","language":[{"iso":"eng"}],"status":"public","_id":"38538","date_updated":"2023-01-24T07:58:11Z"},{"department":[{"_id":"672"}],"user_id":"5786","citation":{"chicago":"Müller, Wolfgang. “UML - The Emerging Hardware Description Language?” In <i>Proc. of FDL’06</i>. Darmstadt, 2006.","ieee":"W. Müller, “UML - The Emerging Hardware Description Language?,” 2006.","apa":"Müller, W. (2006). UML - The Emerging Hardware Description Language? <i>Proc. of FDL’06</i>.","ama":"Müller W. UML - The Emerging Hardware Description Language? In: <i>Proc. of FDL’06</i>. ; 2006.","short":"W. Müller, in: Proc. of FDL’06, Darmstadt, 2006.","mla":"Müller, Wolfgang. “UML - The Emerging Hardware Description Language?” <i>Proc. of FDL’06</i>, 2006.","bibtex":"@inproceedings{Müller_2006, place={Darmstadt}, title={UML - The Emerging Hardware Description Language?}, booktitle={Proc. of FDL’06}, author={Müller, Wolfgang}, year={2006} }"},"place":"Darmstadt","author":[{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"title":"UML - The Emerging Hardware Description Language?","date_updated":"2023-01-24T07:53:52Z","_id":"38536","status":"public","type":"conference","year":"2006","language":[{"iso":"eng"}],"publication":"Proc. of FDL'06","date_created":"2023-01-24T07:53:47Z"},{"date_created":"2023-01-24T08:01:23Z","status":"public","year":"2006","type":"conference","language":[{"iso":"eng"}],"_id":"38540","date_updated":"2023-01-24T08:01:40Z","author":[{"full_name":"Lavagno, Luciano","first_name":"Luciano","last_name":"Lavagno"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"title":"UML: A Next Generation Language for SoC Design","user_id":"5786","citation":{"apa":"Lavagno, L., &#38; Müller, W. (2006). <i>UML: A Next Generation Language for SoC Design</i>.","ama":"Lavagno L, Müller W. UML: A Next Generation Language for SoC Design. In: ; 2006.","ieee":"L. Lavagno and W. Müller, “UML: A Next Generation Language for SoC Design,” 2006.","chicago":"Lavagno, Luciano, and Wolfgang Müller. “UML: A Next Generation Language for SoC Design,” 2006.","bibtex":"@inproceedings{Lavagno_Müller_2006, title={UML: A Next Generation Language for SoC Design}, author={Lavagno, Luciano and Müller, Wolfgang}, year={2006} }","mla":"Lavagno, Luciano, and Wolfgang Müller. <i>UML: A Next Generation Language for SoC Design</i>. 2006.","short":"L. Lavagno, W. Müller, in: 2006."},"department":[{"_id":"672"}]},{"doi":"10.1007/978-3-540-70816-2_4","abstract":[{"text":"Today a large variety of mobile interaction devices such as PDAs and mobile phones enforce the development of a wide range of user interfaces for each platform. The complexity even grows, when multiple interaction devices are used to perform the same task and when different modalities have to be supported. We introduce a new dialog model for the abstraction of concrete user interfaces with a separate advanced control layer for the integration of different modalities. In this context, we present the Dialog and Interface Specification Language (DISL), which comes with a proof-of-concept implementation.","lang":"eng"}],"place":"Hasselt, Belgium","author":[{"first_name":"Robbie","full_name":"Schäfer, Robbie","last_name":"Schäfer"},{"full_name":"Bleul, Steffen","first_name":"Steffen","last_name":"Bleul"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"}],"title":"Dialog Modelling for Multiple Devices and Multiple Interaction Modalities","department":[{"_id":"672"}],"keyword":["User Interface     Interaction Manager     Output Device     Multimodal Interface     Interaction Object"],"user_id":"5786","citation":{"apa":"Schäfer, R., Bleul, S., &#38; Müller, W. (2006). Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>. <a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">https://doi.org/10.1007/978-3-540-70816-2_4</a>","ama":"Schäfer R, Bleul S, Müller W. Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. In: <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>. ; 2006. doi:<a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>","chicago":"Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities.” In <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>. Hasselt, Belgium, 2006. <a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">https://doi.org/10.1007/978-3-540-70816-2_4</a>.","ieee":"R. Schäfer, S. Bleul, and W. Müller, “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities,” 2006, doi: <a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>.","mla":"Schäfer, Robbie, et al. “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities.” <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>, 2006, doi:<a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>.","bibtex":"@inproceedings{Schäfer_Bleul_Müller_2006, place={Hasselt, Belgium}, title={Dialog Modelling for Multiple Devices and Multiple Interaction Modalities}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>}, booktitle={Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)}, author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2006} }","short":"R. Schäfer, S. Bleul, W. Müller, in: Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006), Hasselt, Belgium, 2006."},"status":"public","language":[{"iso":"eng"}],"year":"2006","type":"conference","publication_identifier":{"isbn":["978-3-540-70815-5"]},"date_created":"2023-01-24T08:03:51Z","publication":"Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA'2006)","date_updated":"2023-01-24T08:03:56Z","_id":"38543"},{"title":"Classification Trees for Functional Coverage and Random Test Generation","author":[{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"}],"place":"Munich, Germany","doi":"10.1109/DATE.2006.243902","abstract":[{"text":"This article presents the classification tree method for functional verification to close the gap from the specification of a test plan to SystemVerilog (Chandra and Chakrabarty, 2001) test bench generation. Our method supports the systematic development of test configurations and is based on the classification tree method for embedded systems (CTM/ES) (Chakrabarty et al., 2000) extending CTM/ES for random test generation as well as for functional coverage and property specification","lang":"eng"}],"citation":{"ieee":"A. Krupp and W. Müller, “Classification Trees for Functional Coverage and Random Test Generation,” 2006, doi: <a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” In <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. Munich, Germany: IEEE, 2006. <a href=\"https://doi.org/10.1109/DATE.2006.243902\">https://doi.org/10.1109/DATE.2006.243902</a>.","apa":"Krupp, A., &#38; Müller, W. (2006). Classification Trees for Functional Coverage and Random Test Generation. <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. <a href=\"https://doi.org/10.1109/DATE.2006.243902\">https://doi.org/10.1109/DATE.2006.243902</a>","ama":"Krupp A, Müller W. Classification Trees for Functional Coverage and Random Test Generation. In: <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. IEEE; 2006. doi:<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>","short":"A. Krupp, W. Müller, in: Proceedings of the Design Automation &#38; Test in Europe Conference, IEEE, Munich, Germany, 2006.","bibtex":"@inproceedings{Krupp_Müller_2006, place={Munich, Germany}, title={Classification Trees for Functional Coverage and Random Test Generation}, DOI={<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>}, booktitle={Proceedings of the Design Automation &#38; Test in Europe Conference}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2006} }","mla":"Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>, IEEE, 2006, doi:<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>."},"user_id":"5786","keyword":["Classification tree analysis","System testing","Embedded system","Safety","Automatic testing","Automation"],"department":[{"_id":"672"}],"publication":"Proceedings of the Design Automation & Test in Europe Conference","date_created":"2023-01-24T08:06:09Z","publisher":"IEEE","publication_identifier":{"isbn":["3-9810801-1-4"]},"year":"2006","type":"conference","language":[{"iso":"eng"}],"status":"public","_id":"38784","date_updated":"2023-01-24T08:06:14Z"},{"status":"public","type":"conference","year":"2006","language":[{"iso":"eng"}],"publication":"Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006)","date_created":"2023-01-24T08:08:07Z","date_updated":"2023-01-24T08:08:17Z","_id":"39028","abstract":[{"lang":"eng","text":"User adaptive systems, as envisioned with Ambient Intel-\r\nligence (AmI), can only unveil their power, if rich informa-\r\ntion of users – including private data as their preferences and\r\nabilities as well as their usage context – can be retrieved and\r\nevaluated. However, collecting and storing this data poses\r\nsevere privacy problems both legally and from a trust per-\r\nspective. Therefore we propose a home automation middle-\r\nware for secure management of personal profiles that allows\r\naccess to profiles only for the relevant stakeholders in a spe-\r\ncific situation."}],"place":"Montreal, Canada","author":[{"first_name":"Robbie","full_name":"Schäfer, Robbie","last_name":"Schäfer"},{"first_name":"Max","full_name":"Ziegler, Max","last_name":"Ziegler"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"}],"title":"Securing Personal Data in Smart Home Environments","department":[{"_id":"672"}],"user_id":"5786","citation":{"mla":"Schäfer, Robbie, et al. “Securing Personal Data in Smart Home Environments.” <i>Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006)</i>, 2006.","bibtex":"@inproceedings{Schäfer_Ziegler_Müller_2006, place={Montreal, Canada}, title={Securing Personal Data in Smart Home Environments}, booktitle={Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006)}, author={Schäfer, Robbie and Ziegler, Max and Müller, Wolfgang}, year={2006} }","short":"R. Schäfer, M. Ziegler, W. Müller, in: Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006), Montreal, Canada, 2006.","ama":"Schäfer R, Ziegler M, Müller W. Securing Personal Data in Smart Home Environments. In: <i>Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006)</i>. ; 2006.","apa":"Schäfer, R., Ziegler, M., &#38; Müller, W. (2006). Securing Personal Data in Smart Home Environments. <i>Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006)</i>.","chicago":"Schäfer, Robbie, Max Ziegler, and Wolfgang Müller. “Securing Personal Data in Smart Home Environments.” In <i>Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006)</i>. Montreal, Canada, 2006.","ieee":"R. Schäfer, M. Ziegler, and W. Müller, “Securing Personal Data in Smart Home Environments,” 2006."}},{"_id":"38107","date_updated":"2023-01-23T12:06:26Z","date_created":"2023-01-23T12:00:06Z","publication":"Proc. of ISOLA 06","language":[{"iso":"eng"}],"year":"2006","publication_identifier":{"isbn":["978-0-7695-3071-0"]},"type":"conference","status":"public","citation":{"apa":"Großmann, J., &#38; Müller, W. (2006). A Formal Behavioral Semantics for TestML. <i>Proc. of ISOLA 06</i>. <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">https://doi.org/10.1109/ISoLA.2006.37</a>","ama":"Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: <i>Proc. of ISOLA 06</i>. ; 2006. doi:<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>","ieee":"J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>.","chicago":"Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” In <i>Proc. of ISOLA 06</i>. Paphos, Cyprus, 2006. <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">https://doi.org/10.1109/ISoLA.2006.37</a>.","bibtex":"@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal Behavioral Semantics for TestML}, DOI={<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>}, booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang}, year={2006} }","mla":"Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” <i>Proc. of ISOLA 06</i>, 2006, doi:<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>.","short":"J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006."},"keyword":["System testing","Software testing","Automotive engineering","Automatic testing","Machinery production industries","Protocols","Hardware design languages","Samarium","XML","Computer industry"],"user_id":"5786","department":[{"_id":"672"}],"title":"A Formal Behavioral Semantics for TestML","conference":{"location":"Paphos, Cyprus"},"author":[{"full_name":"Großmann, Jürgen","first_name":"Jürgen","last_name":"Großmann"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"place":"Paphos, Cyprus","doi":"10.1109/ISoLA.2006.37","abstract":[{"text":"TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies. In this paper, we present a rigorous formal behavioral semantics for TestML by means of Abstract State Machines (ASMs). Our semantics is a concise, unambiguous, high-level specification for TestML-based implementations and serves as a basis to define exact and well-defined mappings between existing test languages and TestML.","lang":"eng"}]},{"date_updated":"2023-01-23T12:06:32Z","_id":"38109","language":[{"iso":"eng"}],"type":"conference","year":"2006","status":"public","date_created":"2023-01-23T12:06:11Z","publication":"Proc. of ICCAD'06","department":[{"_id":"672"}],"citation":{"mla":"Müller, Wolfgang, et al. “UML for ESL Design - Basic Principles, Tools, and Applications.” <i>Proc. of ICCAD’06</i>, 2006.","bibtex":"@inproceedings{Müller_Rosti_Bocchio_Riccobene_2006, place={San Jose, USA}, title={UML for ESL Design - Basic Principles, Tools, and Applications}, booktitle={Proc. of ICCAD’06}, author={Müller, Wolfgang and Rosti, Alberto and Bocchio, Sara and Riccobene, Elvinia}, year={2006} }","short":"W. Müller, A. Rosti, S. Bocchio, E. Riccobene, in: Proc. of ICCAD’06, San Jose, USA, 2006.","ama":"Müller W, Rosti A, Bocchio S, Riccobene E. UML for ESL Design - Basic Principles, Tools, and Applications. In: <i>Proc. of ICCAD’06</i>. ; 2006.","apa":"Müller, W., Rosti, A., Bocchio, S., &#38; Riccobene, E. (2006). UML for ESL Design - Basic Principles, Tools, and Applications. <i>Proc. of ICCAD’06</i>.","chicago":"Müller, Wolfgang, Alberto Rosti, Sara Bocchio, and Elvinia Riccobene. “UML for ESL Design - Basic Principles, Tools, and Applications.” In <i>Proc. of ICCAD’06</i>. San Jose, USA, 2006.","ieee":"W. Müller, A. Rosti, S. Bocchio, and E. Riccobene, “UML for ESL Design - Basic Principles, Tools, and Applications,” 2006."},"user_id":"5786","place":"San Jose, USA","title":"UML for ESL Design - Basic Principles, Tools, and Applications","author":[{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"last_name":"Rosti","full_name":"Rosti, Alberto","first_name":"Alberto"},{"last_name":"Bocchio","first_name":"Sara","full_name":"Bocchio, Sara"},{"last_name":"Riccobene","full_name":"Riccobene, Elvinia","first_name":"Elvinia"}]},{"citation":{"bibtex":"@inproceedings{Lavagno_Müller_2006, title={UML: A Next Generation Language for SoC Design}, author={Lavagno, Luciano and Müller, Wolfgang}, year={2006} }","mla":"Lavagno, Luciano, and Wolfgang Müller. <i>UML: A Next Generation Language for SoC Design</i>. 2006.","short":"L. Lavagno, W. Müller, in: 2006.","apa":"Lavagno, L., &#38; Müller, W. (2006). <i>UML: A Next Generation Language for SoC Design</i>.","ama":"Lavagno L, Müller W. UML: A Next Generation Language for SoC Design. In: ; 2006.","ieee":"L. Lavagno and W. Müller, “UML: A Next Generation Language for SoC Design,” 2006.","chicago":"Lavagno, Luciano, and Wolfgang Müller. “UML: A Next Generation Language for SoC Design,” 2006."},"user_id":"5786","title":"UML: A Next Generation Language for SoC Design","author":[{"last_name":"Lavagno","first_name":"Luciano","full_name":"Lavagno, Luciano"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_updated":"2025-03-12T16:39:07Z","_id":"38539","language":[{"iso":"eng"}],"year":"2006","type":"conference","status":"public","date_created":"2023-01-24T07:59:32Z"},{"department":[{"_id":"672"}],"user_id":"5786","citation":{"short":"T. Schattkowsky, W. Müller, A. Rettberg, in: G. Martin, W. Müller (Eds.), UML for SoC Design, Kluwer, 2005, pp. 63–88.","bibtex":"@inbook{Schattkowsky_Müller_Rettberg_2005, title={Model Based Specification for Platform Independent Hardware Execution}, booktitle={UML for SoC Design}, publisher={Kluwer}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, editor={Martin, Grant and Müller, Wolfgang}, year={2005}, pages={63–88} }","mla":"Schattkowsky, Tim, et al. “Model Based Specification for Platform Independent Hardware Execution.” <i>UML for SoC Design</i>, edited by Grant Martin and Wolfgang Müller, Kluwer, 2005, pp. 63–88.","ieee":"T. Schattkowsky, W. Müller, and A. Rettberg, “Model Based Specification for Platform Independent Hardware Execution,” in <i>UML for SoC Design</i>, G. Martin and W. Müller, Eds. Kluwer, 2005, pp. 63–88.","chicago":"Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “Model Based Specification for Platform Independent Hardware Execution.” In <i>UML for SoC Design</i>, edited by Grant Martin and Wolfgang Müller, 63–88. Kluwer, 2005.","apa":"Schattkowsky, T., Müller, W., &#38; Rettberg, A. (2005). Model Based Specification for Platform Independent Hardware Execution. In G. Martin &#38; W. Müller (Eds.), <i>UML for SoC Design</i> (pp. 63–88). Kluwer.","ama":"Schattkowsky T, Müller W, Rettberg A. Model Based Specification for Platform Independent Hardware Execution. In: Martin G, Müller W, eds. <i>UML for SoC Design</i>. Kluwer; 2005:63-88."},"editor":[{"full_name":"Martin, Grant","first_name":"Grant","last_name":"Martin"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"},{"first_name":"Achim","full_name":"Rettberg, Achim","last_name":"Rettberg"}],"title":"Model Based Specification for Platform Independent Hardware Execution","date_updated":"2022-10-20T09:09:37Z","_id":"33822","page":"63-88","status":"public","type":"book_chapter","publication_identifier":{"isbn":["0-387-25744-6"]},"year":"2005","language":[{"iso":"eng"}],"publisher":"Kluwer","publication":"UML for SoC Design","date_created":"2022-10-20T09:09:17Z"},{"date_updated":"2022-10-20T09:15:13Z","page":"1-15","_id":"33824","year":"2005","type":"book_chapter","publication_identifier":{"isbn":["0-387-25744-6"]},"language":[{"iso":"eng"}],"status":"public","publication":"UML for SoC Design","date_created":"2022-10-20T09:14:51Z","publisher":"Kluwer","department":[{"_id":"672"}],"citation":{"short":"G. Martin, W. Müller, in: G. Martin, W. Müller (Eds.), UML for SoC Design, Kluwer, 2005, pp. 1–15.","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} }","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.","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.","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.","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.","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."},"user_id":"5786","title":"When Worlds Collide: Can UML help SoC Design?","author":[{"last_name":"Martin","first_name":"Grant","full_name":"Martin, Grant"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"editor":[{"first_name":"Grant","full_name":"Martin, Grant","last_name":"Martin"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}]},{"date_updated":"2023-01-24T08:10:44Z","_id":"39029","language":[{"iso":"eng"}],"year":"2005","publication_identifier":{"isbn":["0-7695-2288-2"]},"type":"conference","status":"public","date_created":"2023-01-24T08:10:40Z","publication":"Proceedings of DATE’05","publisher":"IEEE","department":[{"_id":"672"}],"citation":{"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>","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>.","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>.","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>.","short":"T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005."},"keyword":["Hardware","Unified modeling language","Virtual machining","Object oriented modeling","Field programmable gate arrays","Java","Microcontrollers","Embedded software","Real time systems","Documentation"],"user_id":"5786","place":"Munich, Germany ","doi":"10.1109/DATE.2005.20","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"}],"title":"A Model-Based Approach for Executable Specification on Reconfigurable Hardware","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Achim","full_name":"Rettberg, Achim","last_name":"Rettberg"}]},{"_id":"39030","date_updated":"2023-01-24T08:12:26Z","publication":"Proceedings of ISNG 05","date_created":"2023-01-24T08:12:20Z","status":"public","type":"conference","year":"2005","language":[{"iso":"eng"}],"user_id":"5786","keyword":["UML","Executable Models","Hardware/Software Co-design","Virtual Machine","Embedded Systems"],"citation":{"short":"T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.","mla":"Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” <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} }","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.","ieee":"T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.","apa":"Schattkowsky, T., &#38; Müller, W. (2005). A UML Virtual Machine for Embedded Systems. <i>Proceedings of ISNG 05</i>.","ama":"Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In: <i>Proceedings of ISNG 05</i>. ; 2005."},"department":[{"_id":"672"}],"author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"title":"A UML Virtual Machine for Embedded Systems","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."}],"place":"Las Vegas, NV"},{"user_id":"5786","keyword":["Unified modeling language","Software design","Virtual machining","Embedded system","Programming","Documentation","Hardware","Computer languages","Operating systems","Runtime"],"citation":{"short":"T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.","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} }","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>.","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>.","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>","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>"},"department":[{"_id":"672"}],"author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"title":"Transformation of UML State Machines for Direct Execution","abstract":[{"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.","lang":"eng"}],"doi":"10.1109/VLHCC.2005.64","place":"Dallas, TX, USA","_id":"39032","date_updated":"2023-01-24T08:18:27Z","publication":"Proceedings of VL/HCC 05","date_created":"2023-01-24T08:18:10Z","status":"public","publication_identifier":{"isbn":["0-7695-2443-5"]},"year":"2005","type":"conference","language":[{"iso":"eng"}]},{"place":"Bonn","author":[{"last_name":"Krupp","first_name":"Alexander","full_name":"Krupp, Alexander"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"title":"Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme","department":[{"_id":"672"}],"user_id":"5786","citation":{"apa":"Krupp, A., &#38; Müller, W. (2005). <i>Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme</i>.","ama":"Krupp A, Müller W. Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme. Published online 2005.","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} }","mla":"Krupp, Alexander, and Wolfgang Müller. <i>Testmuster Für Nichtkontinuierliche Reglerelemente in Der Klassifikationsbaummethode Für Eingebettete Systeme</i>. 2005.","ieee":"A. Krupp and W. Müller, “Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme.” Bonn, 2005.","short":"A. Krupp, W. Müller, (2005).","chicago":"Krupp, Alexander, and Wolfgang Müller. “Testmuster Für Nichtkontinuierliche Reglerelemente in Der Klassifikationsbaummethode Für Eingebettete Systeme.” Automotive Software Engineering. Bonn, 2005."},"series_title":"Automotive Software Engineering","status":"public","language":[{"iso":"eng"}],"year":"2005","type":"conference","date_created":"2023-01-24T08:20:06Z","date_updated":"2023-01-24T08:20:13Z","_id":"39036"},{"place":"Munich, Germany","author":[{"last_name":"Krupp","full_name":"Krupp, Alexander","first_name":"Alexander"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"title":"Modelchecking von Klassifikationsbaum-Testsequenzen","department":[{"_id":"672"}],"user_id":"5786","series_title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","citation":{"mla":"Krupp, Alexander, and Wolfgang Müller. <i>Modelchecking von Klassifikationsbaum-Testsequenzen</i>. 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)} }","short":"A. Krupp, W. Müller, (2005).","apa":"Krupp, A., &#38; Müller, W. (2005). <i>Modelchecking von Klassifikationsbaum-Testsequenzen</i>.","ama":"Krupp A, Müller W. Modelchecking von Klassifikationsbaum-Testsequenzen. Published online 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.","ieee":"A. Krupp and W. Müller, “Modelchecking von Klassifikationsbaum-Testsequenzen.” Munich, Germany, 2005."},"status":"public","type":"conference","year":"2005","language":[{"iso":"eng"}],"date_created":"2023-01-24T08:21:17Z","date_updated":"2023-01-24T08:21:22Z","_id":"39038"},{"place":"Munich, Germany","author":[{"first_name":"Henning","full_name":"Zabel, Henning","last_name":"Zabel"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"title":"Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation","department":[{"_id":"672"}],"user_id":"5786","series_title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","citation":{"short":"H. Zabel, W. Müller, (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.","ieee":"H. Zabel and W. Müller, “Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.” Munich, Germany, 2005.","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.","apa":"Zabel, H., &#38; Müller, W. (2005). <i>Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation</i>.","ama":"Zabel H, Müller W. Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation. Published online 2005."},"status":"public","type":"conference","year":"2005","language":[{"iso":"eng"}],"date_created":"2023-01-24T08:22:27Z","date_updated":"2023-01-24T08:22:31Z","_id":"39039"},{"status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2005","date_created":"2023-01-24T08:24:31Z","publication":"Proceedings of the HCI International 2005","date_updated":"2023-01-24T08:24:39Z","_id":"39041","place":"Las Vegas, NV","author":[{"last_name":"Bleul","first_name":"Steffen","full_name":"Bleul, Steffen"},{"first_name":"Robbie","full_name":"Schäfer, Robbie","last_name":"Schäfer"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"title":"A Dialog Model for Multi Device Interfaces with Different Modalities","department":[{"_id":"672"}],"user_id":"5786","citation":{"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.","ieee":"S. Bleul, R. Schäfer, and W. Müller, “A Dialog Model for Multi Device Interfaces with Different Modalities,” 2005.","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.","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>.","short":"S. Bleul, R. Schäfer, W. Müller, in: Proceedings of the HCI International 2005, Las Vegas, NV, 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.","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} }"}},{"_id":"39050","date_updated":"2023-01-24T08:39:50Z","publication":"Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)","date_created":"2023-01-24T08:39:45Z","publisher":"IEEE","type":"conference","publication_identifier":{"isbn":["0-7695-2424-9"]},"year":"2005","language":[{"iso":"eng"}],"status":"public","citation":{"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>","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>","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>.","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>.","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} }","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>.","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."},"user_id":"5786","keyword":["Intelligent networks","Smart homes","Middleware","Project management","Data security","Ubiquitous computing","Context-aware services","Computer architecture","Home automation","Environmental management"],"department":[{"_id":"672"}],"conference":{"location":"Copenhagen, Denmark ","name":"16th International Workshop on Database and Expert Systems Applications (DEXA'05)"},"title":"Secure Profile Management in Smart Home Networks","author":[{"last_name":"Ziegler","full_name":"Ziegler, Max","first_name":"Max"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"last_name":"Schäfer","first_name":"Robbie","full_name":"Schäfer, Robbie"},{"last_name":"Loeser","first_name":"Chris","full_name":"Loeser, Chris"}],"place":"Copenhagen, Denmark ","doi":"10.1109/DEXA.2005.171","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 ","doi":"10.1109/DEXA.2005.156","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."}],"title":"Profile Management technology for Smart Customization in Private Home Applications","conference":{"name":"16th International Workshop on Database and Expert Systems Applications (DEXA'05)","location":"Copenhagen, Denmark "},"author":[{"full_name":"Groppe, Jinghua","first_name":"Jinghua","last_name":"Groppe"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"department":[{"_id":"672"}],"citation":{"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>.","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>.","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>","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>","short":"J. Groppe, W. Müller, in: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.","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>."},"keyword":["Technology management","Smart homes","Environmental management","Resource description framework","Data models","Navigation","Mobile computing","Embedded computing","Ubiquitous computing","Mobile communication"],"user_id":"5786","language":[{"iso":"eng"}],"type":"conference","publication_identifier":{"isbn":["0-7695-2424-9"]},"year":"2005","status":"public","date_created":"2023-01-24T08:43:21Z","publication":"Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)","publisher":"IEEE","date_updated":"2023-01-24T08:43:27Z","_id":"39052"}]