[{"user_id":"5786","keyword":["Technology management","Smart homes","Environmental management","Resource description framework","Data models","Navigation","Mobile computing","Embedded computing","Ubiquitous computing","Mobile communication"],"citation":{"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>.","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>","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>","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>."},"department":[{"_id":"672"}],"author":[{"last_name":"Groppe","first_name":"Jinghua","full_name":"Groppe, Jinghua"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"conference":{"location":"Copenhagen, Denmark ","name":"16th International Workshop on Database and Expert Systems Applications (DEXA'05)"},"title":"Profile Management technology for Smart Customization in Private Home Applications","doi":"10.1109/DEXA.2005.156","abstract":[{"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.","lang":"eng"}],"place":"Copenhagen, Denmark ","_id":"39052","date_updated":"2023-01-24T08:43:27Z","publisher":"IEEE","publication":"Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)","date_created":"2023-01-24T08:43:21Z","status":"public","type":"conference","publication_identifier":{"isbn":["0-7695-2424-9"]},"year":"2005","language":[{"iso":"eng"}]},{"editor":[{"first_name":"Grant","full_name":"Martin, Grant","last_name":"Martin"},{"last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"author":[{"last_name":"Martin","full_name":"Martin, Grant","first_name":"Grant"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"title":"When Worlds Collide: Can UML help SoC Design?","user_id":"5786","citation":{"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.","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."},"status":"public","type":"book_chapter","year":"2005","publication_identifier":{"isbn":["0-387-25744-6"]},"language":[{"iso":"eng"}],"publisher":"Kluwer","publication":"UML for SoC Design","date_created":"2022-10-20T09:12:00Z","date_updated":"2025-02-26T14:45:43Z","page":"1-15","_id":"33823"},{"place":"Berlin, Heidelberg","intvolume":"      3147","editor":[{"last_name":"Ehrig","full_name":"Ehrig, Hartmut","first_name":"Hartmut"},{"last_name":"Damm","full_name":"Damm, Werner","first_name":"Werner"},{"first_name":"Jörg","full_name":"Desel, Jörg","last_name":"Desel"},{"full_name":"Große-Rhode, Martin","first_name":"Martin","last_name":"Große-Rhode"},{"first_name":"Wolfgang","full_name":"Reif, Wolfgang","last_name":"Reif"},{"full_name":"Schnieder, Eckehard","first_name":"Eckehard","last_name":"Schnieder"},{"first_name":"Engelbert","full_name":"Westkämper, Engelbert","last_name":"Westkämper"}],"author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"full_name":"Pape, Ulrich","first_name":"Ulrich","last_name":"Pape"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"}],"department":[{"_id":"672"}],"series_title":"Lecture Notes in Computer Science","citation":{"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>.","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} }","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.","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>","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>","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."},"year":"2004","publication_identifier":{"isbn":["978-3-540-27863-4"]},"language":[{"iso":"eng"}],"status":"public","date_created":"2022-10-20T09:25:53Z","publisher":"Springer-Verlag","date_updated":"2022-10-20T09:26:15Z","_id":"33825","doi":"10.1007/978-3-540-27863-4_13","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."}],"title":"Specification and Formal Verification of Temporal Properties of Production Automation Systems","user_id":"5786","keyword":["Model Check","Temporal Logic","Object Constraint Language","Abstract Syntax","Temporal Logic Formula"],"type":"book_chapter","publication":"Integration of Software Specification Techniques for Applications in Engineering","page":"206-226","volume":3147},{"title":"Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering","editor":[{"last_name":"Fischer","first_name":"Layna","full_name":"Fischer, Layna"}],"author":[{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"},{"last_name":"Pawlak","full_name":"Pawlak, Adam","first_name":"Adam"}],"place":"Lighthouse Point, FL, USA","citation":{"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.","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} }","short":"T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 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.","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).","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.","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."},"user_id":"5786","department":[{"_id":"672"}],"date_created":"2022-10-20T09:33:49Z","publication":"Workflow Handbook 2004","publisher":"Workflow Management Coalition (WfMC)","language":[{"iso":"eng"}],"type":"book_chapter","year":"2004","publication_identifier":{"isbn":["0970350961"]},"status":"public","_id":"33827","date_updated":"2022-10-20T09:34:51Z"},{"place":"Dordrecht","title":"Refinement of Finite State Machines with Complementary Model Checking","editor":[{"first_name":"J.","full_name":"Mermet, J.","last_name":"Mermet"}],"author":[{"last_name":"Krupp","full_name":"Krupp, Alexander","first_name":"Alexander"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"department":[{"_id":"672"}],"citation":{"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.","short":"A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 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.","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.","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."},"user_id":"5786","language":[{"iso":"eng"}],"year":"2004","type":"book_chapter","publication_identifier":{"isbn":["1-4020-2866-0"]},"status":"public","date_created":"2022-10-20T09:54:53Z","publication":"UML-B System Specification for Proven Electronic Design","publisher":"Kluwer","date_updated":"2022-10-20T09:56:28Z","page":"155-168","_id":"33830"},{"place":"Dordrecht","title":"Combining Formal Refinement and Model Checking for Analysis of Realtime Systems","author":[{"full_name":"Krupp, Alexander","first_name":"Alexander","last_name":"Krupp"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"},{"first_name":"Ian","full_name":"Oliver, Ian","last_name":"Oliver"}],"editor":[{"last_name":"Grimm","first_name":"Ch.","full_name":"Grimm, Ch."}],"department":[{"_id":"672"}],"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.","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.","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.","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."},"user_id":"5786","publication_identifier":{"isbn":["978-1-4020-7991-7"]},"type":"book_chapter","year":"2004","language":[{"iso":"eng"}],"status":"public","publication":"Best of FDL'03","date_created":"2022-10-20T09:49:57Z","publisher":"Kluwer","date_updated":"2022-10-20T09:50:11Z","_id":"33829","page":"301-314"},{"status":"public","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["1-4020-2866-0"]},"year":"2004","type":"book_chapter","publisher":"Kluwer","date_created":"2022-10-20T09:59:04Z","publication":"UML-B System Specification for Proven Electronic Design","date_updated":"2022-10-20T09:59:24Z","page":"227-240","_id":"33832","place":"Dordrecht","editor":[{"last_name":"Mermet","full_name":"Mermet, J.","first_name":"J."}],"author":[{"last_name":"Krupp","full_name":"Krupp, Alexander","first_name":"Alexander"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"last_name":"Oliver","first_name":"Ian","full_name":"Oliver, Ian"}],"title":"The Echo Cancellation Unit Case Study","department":[{"_id":"672"}],"user_id":"5786","citation":{"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.","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} }","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.","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.","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.","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."}},{"title":"Proceedings of the 1st International DAC Workshop of UML for SoC Design","editor":[{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"},{"last_name":"Martin","full_name":"Martin, Grant","first_name":"Grant"}],"place":"San Diego CA, USA","citation":{"ieee":"W. Müller and G. Martin, Eds., <i>Proceedings of the 1st International DAC Workshop of UML for SoC Design</i>. San Diego CA, USA, 2004.","chicago":"Müller, Wolfgang, and Grant Martin, eds. <i>Proceedings of the 1st International DAC Workshop of UML for SoC Design</i>. San Diego CA, USA, 2004.","short":"W. Müller, G. Martin, eds., Proceedings of the 1st International DAC Workshop of UML for SoC Design, San Diego CA, USA, 2004.","apa":"Müller, W., &#38; Martin, G. (Eds.). (2004). <i>Proceedings of the 1st International DAC Workshop of UML for SoC Design</i>.","bibtex":"@book{Müller_Martin_2004, place={San Diego CA, USA}, title={Proceedings of the 1st International DAC Workshop of UML for SoC Design}, year={2004} }","ama":"Müller W, Martin G, eds. <i>Proceedings of the 1st International DAC Workshop of UML for SoC Design</i>.; 2004.","mla":"Müller, Wolfgang, and Grant Martin, editors. <i>Proceedings of the 1st International DAC Workshop of UML for SoC Design</i>. 2004."},"user_id":"16243","department":[{"_id":"58"}],"date_created":"2024-04-18T20:47:54Z","language":[{"iso":"eng"}],"year":"2004","type":"book_editor","status":"public","_id":"53585","date_updated":"2024-04-18T20:48:03Z"},{"_id":"53589","publication_date":"2004/103/13","date_updated":"2024-04-18T21:37:34Z","date_created":"2024-04-18T21:26:04Z","status":"public","year":"2004","type":"patent","user_id":"16243","citation":{"chicago":"Dangberg, Andreas, and Wolfgang Müller. “Control Method for Disposing Graphical Elements,” 2004.","short":"A. Dangberg, W. Müller, (2004).","ieee":"A. Dangberg and W. Müller, “Control method for disposing graphical elements.” 2004.","mla":"Dangberg, Andreas, and Wolfgang Müller. <i>Control Method for Disposing Graphical Elements</i>. 2004.","ama":"Dangberg A, Müller W. Control method for disposing graphical elements. Published online 2004.","bibtex":"@article{Dangberg_Müller_2004, title={Control method for disposing graphical elements}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2004} }","apa":"Dangberg, A., &#38; Müller, W. (2004). <i>Control method for disposing graphical elements</i>."},"ipn":" US2004/0090456 A1","department":[{"_id":"58"}],"author":[{"first_name":"Andreas","full_name":"Dangberg, Andreas","last_name":"Dangberg"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"}],"ipc":"US Patent","title":"Control method for disposing graphical elements"},{"date_created":"2023-01-24T08:46:31Z","publication":"Proceedings of HICCS-37","language":[{"iso":"eng"}],"year":"2004","type":"conference","publication_identifier":{"isbn":["0-7695-2056-1"]},"status":"public","_id":"39053","date_updated":"2023-01-24T08:46:37Z","title":"Interactive Multimodal User Interfaces for Mobile Devices","conference":{"name":"37th Annual Hawaii International Conference on System Sciences","location":"Waikoloa, HI, USA"},"author":[{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"},{"first_name":"Robbie","full_name":"Schäfer, Robbie","last_name":"Schäfer"},{"last_name":"Bleul","first_name":"Steffen","full_name":"Bleul, Steffen"}],"place":"Waikoloa, HI, USA","doi":"10.1109/HICSS.2004.1265674","abstract":[{"lang":"eng","text":"Portable devices come with different limitations in user interaction like limited display size, small keyboard, and different sorts of input and output capabilities. With the advance of speech recognition and speech synthesis technologies, their complementary use becomes attractive for mobile devices in order to implement real multimodal user interaction. However, current systems and formats do not sufficiently integrate advanced multimodal interactions. We introduce an advanced generic multimodal interaction and rendering system (MIRS) dedicated for mobile devices. MIRS incorporates efficient processing of XML specification languages for limited, mobile devices and comes with the XML-based dialog and interface specification language (DISL). DISL can be considered as an UIML subset, which is enhanced by the means of state-oriented dialog specifications. The dialog specification is based on ODSN (object oriented dialog specification notation), which has been introduced to define user interface control by means of interaction states with transition rules."}],"citation":{"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.","ieee":"W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces for Mobile Devices,” presented at the 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2004, doi: <a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">10.1109/HICSS.2004.1265674</a>.","mla":"Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.” <i>Proceedings of HICCS-37</i>, 2004, doi:<a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">10.1109/HICSS.2004.1265674</a>.","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>","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} }"},"keyword":["User interfaces","Speech recognition","Streaming media","Specification languages","Keyboards","Speech synthesis","Rendering (computer graphics)","Ambient intelligence","Humans","Displays"],"user_id":"5786","department":[{"_id":"672"}]},{"status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2004","date_created":"2023-01-24T08:49:51Z","publication":"Proceedings of FDL’04","date_updated":"2023-01-24T08:49:57Z","_id":"39055","abstract":[{"lang":"eng","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."}],"place":"Lille, France","author":[{"full_name":"Zambaldi, Martin","first_name":"Martin","last_name":"Zambaldi"},{"full_name":"Ecker, Wolfgang","first_name":"Wolfgang","last_name":"Ecker"},{"first_name":"Thilo","full_name":"Kruse, Thilo","last_name":"Kruse"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"}],"title":"The Formal Simulation Semantics of SystemVerilog","conference":{"location":"Lille, France","name":" Forum on specification and Design Languages"},"department":[{"_id":"672"}],"user_id":"5786","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.","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.","short":"M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, 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.","ama":"Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of SystemVerilog. In: <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} }","mla":"Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.” <i>Proceedings of FDL’04</i>, 2004."}},{"status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2004","date_created":"2023-01-24T08:51:13Z","publication":"Proceedings of DATE’04","date_updated":"2023-01-24T08:51:22Z","_id":"39060","place":"Paris","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"title":"Model-Based Specification and Execution of Embedded Real-Time Systems","department":[{"_id":"672"}],"user_id":"5786","citation":{"ieee":"T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of Embedded Real-Time Systems,” 2004.","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.","apa":"Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. <i>Proceedings of DATE’04</i>.","ama":"Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded Real-Time Systems. In: <i>Proceedings of DATE’04</i>. ; 2004.","short":"T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 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."}},{"department":[{"_id":"672"}],"citation":{"short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.","mla":"Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” <i>Proceedings of DATE’04 Designers’ Forum</i>, 2004, doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","bibtex":"@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In <i>Proceedings of DATE’04 Designers’ Forum</i>. Paris, 2004. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>.","ieee":"A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","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>","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>"},"user_id":"5786","keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"place":"Paris","doi":"10.1109/DATE.2004.1269214","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."}],"conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","author":[{"last_name":"Krupp","first_name":"Alexander","full_name":"Krupp, Alexander"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"last_name":"Oliver","first_name":"Ian","full_name":"Oliver, Ian"}],"date_updated":"2023-01-24T08:53:31Z","_id":"39061","publication_identifier":{"isbn":["0-7695-2085-5"]},"year":"2004","type":"conference","language":[{"iso":"eng"}],"status":"public","publication":"Proceedings of DATE’04 Designers' Forum","date_created":"2023-01-24T08:53:26Z"},{"department":[{"_id":"672"}],"user_id":"5786","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.","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>.","short":"W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.","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.","ieee":"W. Müller and V. Paelke, “A Formal Model of a Framework for Simulation-Based Animation,” 2004."},"place":"Magdeburg","author":[{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"full_name":"Paelke, Volker","first_name":"Volker","last_name":"Paelke"}],"title":"A Formal Model of a Framework for Simulation-Based Animation","date_updated":"2023-01-24T08:55:46Z","_id":"39063","status":"public","language":[{"iso":"eng"}],"year":"2004","type":"conference","date_created":"2023-01-24T08:55:41Z","publication":"Proceedings of the Simulation and Visualisation 2004"},{"publication":"Proceedings of AINA2004","date_created":"2023-01-24T09:05:58Z","publisher":"IEEE","year":"2004","publication_identifier":{"isbn":["0-7695-2051-0"]},"type":"conference","language":[{"iso":"eng"}],"status":"public","_id":"39071","date_updated":"2023-01-24T09:06:02Z","conference":{"location":"Fukuoka, Japan ","name":" 18th International Conference on Advanced Information Networking and Applications"},"title":"Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks","author":[{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"full_name":"Loeser, Chris","first_name":"Chris","last_name":"Loeser"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"place":"Fukuoka, Japan ","abstract":[{"lang":"eng","text":"The interconnection of software components is a key to enabling collaborative work. However, technology differences and security barriers like firewalls often hinder establishing collaborative infrastructures between enterprises or even within a single enterprise. We introduce a peer-to-peer based network infrastructure that transparently overcomes these problems using relay and routing mechanisms as well as different underlying transport protocols. We discuss the application of this technology to interconnect Web services."}],"doi":"10.1109/AINA.2004.1283977","citation":{"ieee":"T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks,” presented at the  18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan , 2004, doi: <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>.","chicago":"Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” In <i>Proceedings of AINA2004</i>. Fukuoka, Japan : IEEE, 2004. <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">https://doi.org/10.1109/AINA.2004.1283977</a>.","apa":"Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. <i>Proceedings of AINA2004</i>.  18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">https://doi.org/10.1109/AINA.2004.1283977</a>","ama":"Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: <i>Proceedings of AINA2004</i>. IEEE; 2004. doi:<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>","short":"T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.","bibtex":"@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan }, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}, DOI={<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>}, booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim and Loeser, Chris and Müller, Wolfgang}, year={2004} }","mla":"Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” <i>Proceedings of AINA2004</i>, IEEE, 2004, doi:<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>."},"user_id":"5786","keyword":["Peer to peer computing","Web services","Intelligent networks","Routing","Relays","Simple object access protocol","Collaborative work","Transport protocols","Network address translation","Java"],"department":[{"_id":"672"}]},{"status":"public","language":[{"iso":"eng"}],"type":"conference","publication_identifier":{"isbn":["0-7695-2222-X"]},"year":"2004","publisher":"IEEE","date_created":"2023-01-24T09:03:36Z","publication":"Proceedings of SEFM´04","date_updated":"2023-01-24T09:03:41Z","_id":"39069","doi":"10.1109/SEFM.2004.1347516","abstract":[{"lang":"eng","text":"We present the syntax and semantics of a past- and future-oriented temporal extension of the Object Constraint Language (OCL). Our extension supports designers to express time-bounded properties over a state-oriented UML model of a system under development. The semantics is formally defined over the system states of a mathematical object model. Additionally, we present a mapping to Clocked Linear Temporal Logic (Clocked LTL) formulae, which is the basis for further application in verification with model checking. We demonstrate the applicability of the approach by the example of a buffer specification in the context of a production system."}],"place":"Beijing, China","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"title":"Past- and Future-Oriented Time-Bound Temporal Properties with OCL","conference":{"name":" Proceedings of the Second International Conference on Software Engineering and Formal Methods"},"department":[{"_id":"672"}],"keyword":["Unified modeling language","Logic","Clocks","Boolean functions","Application software","Time factors","Real time systems","Formal verification","Buffer storage","Software packages"],"user_id":"5786","citation":{"chicago":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In <i>Proceedings of SEFM´04</i>. Beijing, China: IEEE, 2004. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>.","ieee":"S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the  Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","apa":"Flake, S., &#38; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. <i>Proceedings of SEFM´04</i>.  Proceedings of the Second International Conference on Software Engineering and Formal Methods. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>","ama":"Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: <i>Proceedings of SEFM´04</i>. IEEE; 2004. doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>","short":"S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.","mla":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” <i>Proceedings of SEFM´04</i>, IEEE, 2004, doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","bibtex":"@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }"}},{"place":"Magdeburg","author":[{"first_name":"Jürgen","full_name":"Gausemeier, Jürgen","last_name":"Gausemeier","id":"163"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"last_name":"Bauch","full_name":"Bauch, Jürgen","first_name":"Jürgen"},{"first_name":"W.","full_name":"Radkowski, W.","last_name":"Radkowski"},{"last_name":"Shen","full_name":"Shen, T.","first_name":"T."},{"full_name":"Paelke, Volker","first_name":"Volker","last_name":"Paelke"}],"title":"Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality","department":[{"_id":"672"}],"user_id":"5786","citation":{"mla":"Gausemeier, Jürgen, et al. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” <i>Proceedings of the Simulation and Visualisation 2004</i>, 2004.","bibtex":"@inproceedings{Gausemeier_Müller_Bauch_Radkowski_Shen_Paelke_2004, place={Magdeburg}, title={Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality}, booktitle={Proceedings of the Simulation and Visualisation 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Bauch, Jürgen and Radkowski, W. and Shen, T. and Paelke, Volker}, year={2004} }","short":"J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.","apa":"Gausemeier, J., Müller, W., Bauch, J., Radkowski, W., Shen, T., &#38; Paelke, V. (2004). Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. <i>Proceedings of the Simulation and Visualisation 2004</i>.","ama":"Gausemeier J, Müller W, Bauch J, Radkowski W, Shen T, Paelke V. Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. In: <i>Proceedings of the Simulation and Visualisation 2004</i>. ; 2004.","chicago":"Gausemeier, Jürgen, Wolfgang Müller, Jürgen Bauch, W. Radkowski, T. Shen, and Volker Paelke. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” In <i>Proceedings of the Simulation and Visualisation 2004</i>. Magdeburg, 2004.","ieee":"J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, and V. Paelke, “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality,” 2004."},"status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2004","date_created":"2023-01-24T08:59:50Z","publication":"Proceedings of the Simulation and Visualisation 2004","date_updated":"2023-01-24T08:59:54Z","_id":"39065"},{"_id":"39068","date_updated":"2023-01-24T09:01:21Z","publication":"Proceedings of ISORC’04","date_created":"2023-01-24T09:01:16Z","status":"public","year":"2004","type":"conference","language":[{"iso":"eng"}],"user_id":"5786","citation":{"mla":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” <i>Proceedings of ISORC’04</i>, 2004.","bibtex":"@inproceedings{Schattkowsky_Müller_2004, place={WIen}, title={Model-Based Design of Embedded Systems}, booktitle={Proceedings of ISORC’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }","short":"T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.","ama":"Schattkowsky T, Müller W. Model-Based Design of Embedded Systems. In: <i>Proceedings of ISORC’04</i>. ; 2004.","apa":"Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Design of Embedded Systems. <i>Proceedings of ISORC’04</i>.","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” In <i>Proceedings of ISORC’04</i>. WIen, 2004.","ieee":"T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” 2004."},"department":[{"_id":"672"}],"author":[{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"}],"title":"Model-Based Design of Embedded Systems","place":"WIen"},{"publication":"Proceedings of the Design 2004","date_created":"2023-01-24T09:12:31Z","status":"public","year":"2004","type":"conference","language":[{"iso":"eng"}],"_id":"39078","date_updated":"2023-01-24T09:12:40Z","author":[{"id":"163","last_name":"Gausemeier","full_name":"Gausemeier, Jürgen","first_name":"Jürgen"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"},{"full_name":"Paelke, Volker","first_name":"Volker","last_name":"Paelke"},{"first_name":"Jürgen","full_name":"Bauch, Jürgen","last_name":"Bauch"},{"last_name":"Shen","first_name":"Q.","full_name":"Shen, Q."},{"full_name":"Radkowski, R. ","first_name":"R. ","last_name":"Radkowski"}],"conference":{"location":"Dubrovnik","name":"8th International Design Conference "},"title":"Virtual Prototyping Of Self-Optimizing Mechatronic Systems","place":"Dubrovnik","user_id":"5786","keyword":["mechatronic systems","self-optimization","virtual prototyping"],"citation":{"ama":"Gausemeier J, Müller W, Paelke V, Bauch J, Shen Q, Radkowski R. Virtual Prototyping Of Self-Optimizing Mechatronic Systems. In: <i>Proceedings of the Design 2004</i>. ; 2004.","apa":"Gausemeier, J., Müller, W., Paelke, V., Bauch, J., Shen, Q., &#38; Radkowski, R. (2004). Virtual Prototyping Of Self-Optimizing Mechatronic Systems. <i>Proceedings of the Design 2004</i>. 8th International Design Conference , Dubrovnik.","chicago":"Gausemeier, Jürgen, Wolfgang Müller, Volker Paelke, Jürgen Bauch, Q. Shen, and R.  Radkowski. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” In <i>Proceedings of the Design 2004</i>. Dubrovnik, 2004.","ieee":"J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, and R. Radkowski, “Virtual Prototyping Of Self-Optimizing Mechatronic Systems,” presented at the 8th International Design Conference , Dubrovnik, 2004.","mla":"Gausemeier, Jürgen, et al. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” <i>Proceedings of the Design 2004</i>, 2004.","bibtex":"@inproceedings{Gausemeier_Müller_Paelke_Bauch_Shen_Radkowski_2004, place={Dubrovnik}, title={Virtual Prototyping Of Self-Optimizing Mechatronic Systems}, booktitle={Proceedings of the Design 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Paelke, Volker and Bauch, Jürgen and Shen, Q. and Radkowski, R. }, year={2004} }","short":"J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in: Proceedings of the Design 2004, Dubrovnik, 2004."},"department":[{"_id":"672"}]},{"date_created":"2023-01-24T09:09:31Z","publication":"Proceedings of SCI’04","status":"public","language":[{"iso":"eng"}],"year":"2004","type":"conference","_id":"39075","date_updated":"2023-01-24T09:09:36Z","author":[{"last_name":"Loeser","full_name":"Loeser, Chris","first_name":"Chris"},{"last_name":"Schäfer","full_name":"Schäfer, Robbie","first_name":"Robbie"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"},{"last_name":"Borowski","full_name":"Borowski, Marek","first_name":"Marek"}],"title":"RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control","place":"Orlando, USA","user_id":"5786","citation":{"chicago":"Loeser, Chris, Robbie Schäfer, Wolfgang Müller, and Marek Borowski. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control.” In <i>Proceedings of SCI’04</i>. Orlando, USA, 2004.","ieee":"C. Loeser, R. Schäfer, W. Müller, and M. Borowski, “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control,” 2004.","apa":"Loeser, C., Schäfer, R., Müller, W., &#38; Borowski, M. (2004). RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control. <i>Proceedings of SCI’04</i>.","ama":"Loeser C, Schäfer R, Müller W, Borowski M. RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control. In: <i>Proceedings of SCI’04</i>. ; 2004.","short":"C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04, Orlando, USA, 2004.","mla":"Loeser, Chris, et al. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control.” <i>Proceedings of SCI’04</i>, 2004.","bibtex":"@inproceedings{Loeser_Schäfer_Müller_Borowski_2004, place={Orlando, USA}, title={RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control}, booktitle={Proceedings of SCI’04}, author={Loeser, Chris and Schäfer, Robbie and Müller, Wolfgang and Borowski, Marek}, year={2004} }"},"department":[{"_id":"672"}]}]