[{"department":[{"_id":"672"}],"citation":{"mla":"Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.” <i>Proceedings of FDL’04</i>, 2004.","bibtex":"@inproceedings{Zambaldi_Ecker_Kruse_Müller_2004, place={Lille, France}, title={The Formal Simulation Semantics of SystemVerilog}, booktitle={Proceedings of FDL’04}, author={Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}, year={2004} }","ama":"Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of SystemVerilog. In: <i>Proceedings of FDL’04</i>. ; 2004.","apa":"Zambaldi, M., Ecker, W., Kruse, T., &#38; Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. <i>Proceedings of FDL’04</i>.  Forum on specification and Design Languages, Lille, France.","short":"M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.","chicago":"Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The Formal Simulation Semantics of SystemVerilog.” In <i>Proceedings of FDL’04</i>. Lille, France, 2004.","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."},"user_id":"5786","place":"Lille, France","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."}],"conference":{"name":" Forum on specification and Design Languages","location":"Lille, France"},"title":"The Formal Simulation Semantics of SystemVerilog","author":[{"last_name":"Zambaldi","first_name":"Martin","full_name":"Zambaldi, Martin"},{"last_name":"Ecker","full_name":"Ecker, Wolfgang","first_name":"Wolfgang"},{"first_name":"Thilo","full_name":"Kruse, Thilo","last_name":"Kruse"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"}],"date_updated":"2023-01-24T08:49:57Z","_id":"39055","type":"conference","year":"2004","language":[{"iso":"eng"}],"status":"public","publication":"Proceedings of FDL’04","date_created":"2023-01-24T08:49:51Z"},{"_id":"39060","date_updated":"2023-01-24T08:51:22Z","date_created":"2023-01-24T08:51:13Z","publication":"Proceedings of DATE’04","language":[{"iso":"eng"}],"year":"2004","type":"conference","status":"public","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.","ama":"Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded Real-Time Systems. In: <i>Proceedings of DATE’04</i>. ; 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>.","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."},"user_id":"5786","department":[{"_id":"672"}],"title":"Model-Based Specification and Execution of Embedded Real-Time Systems","author":[{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"place":"Paris"},{"status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2004","publication_identifier":{"isbn":["0-7695-2085-5"]},"date_created":"2023-01-24T08:53:26Z","publication":"Proceedings of DATE’04 Designers' Forum","date_updated":"2023-01-24T08:53:31Z","_id":"39061","doi":"10.1109/DATE.2004.1269214","abstract":[{"text":"This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit.","lang":"eng"}],"place":"Paris","author":[{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"},{"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":"Formal Refinement and Model Checking of An Echo Cancellation Unit","conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"department":[{"_id":"672"}],"keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"user_id":"5786","citation":{"apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. <i>Proceedings of DATE’04 Designers’ Forum</i>. Proceedings Design, Automation and Test in Europe Conference and Exhibition. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>","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>","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>.","mla":"Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” <i>Proceedings of DATE’04 Designers’ Forum</i>, 2004, doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","bibtex":"@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }","short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004."}},{"department":[{"_id":"672"}],"user_id":"5786","citation":{"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>.","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.","ieee":"W. Müller and V. Paelke, “A Formal Model of a Framework for Simulation-Based Animation,” 2004.","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."},"place":"Magdeburg","author":[{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Paelke","full_name":"Paelke, Volker","first_name":"Volker"}],"title":"A Formal Model of a Framework for Simulation-Based Animation","date_updated":"2023-01-24T08:55:46Z","_id":"39063","status":"public","type":"conference","year":"2004","language":[{"iso":"eng"}],"publication":"Proceedings of the Simulation and Visualisation 2004","date_created":"2023-01-24T08:55:41Z"},{"publication":"Proceedings of AINA2004","date_created":"2023-01-24T09:05:58Z","publisher":"IEEE","publication_identifier":{"isbn":["0-7695-2051-0"]},"year":"2004","type":"conference","language":[{"iso":"eng"}],"status":"public","_id":"39071","date_updated":"2023-01-24T09:06:02Z","conference":{"name":" 18th International Conference on Advanced Information Networking and Applications","location":"Fukuoka, Japan "},"title":"Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"first_name":"Chris","full_name":"Loeser, Chris","last_name":"Loeser"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"place":"Fukuoka, Japan ","doi":"10.1109/AINA.2004.1283977","abstract":[{"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.","lang":"eng"}],"citation":{"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>.","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} }","short":"T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.","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>","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>","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>.","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>."},"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"}]},{"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":{"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>.","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>.","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.","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} }","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>."},"doi":"10.1109/SEFM.2004.1347516","abstract":[{"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.","lang":"eng"}],"place":"Beijing, China","author":[{"last_name":"Flake","first_name":"Stephan","full_name":"Flake, Stephan"},{"id":"16243","last_name":"Müller","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"},"date_updated":"2023-01-24T09:03:41Z","_id":"39069","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"},{"publication":"Proceedings of the Simulation and Visualisation 2004","date_created":"2023-01-24T08:59:50Z","year":"2004","type":"conference","language":[{"iso":"eng"}],"status":"public","_id":"39065","date_updated":"2023-01-24T08:59:54Z","title":"Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality","author":[{"last_name":"Gausemeier","id":"163","full_name":"Gausemeier, Jürgen","first_name":"Jürgen"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Jürgen","full_name":"Bauch, Jürgen","last_name":"Bauch"},{"last_name":"Radkowski","first_name":"W.","full_name":"Radkowski, W."},{"last_name":"Shen","first_name":"T.","full_name":"Shen, T."},{"last_name":"Paelke","first_name":"Volker","full_name":"Paelke, Volker"}],"place":"Magdeburg","citation":{"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} }","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.","short":"J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.","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.","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>.","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.","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."},"user_id":"5786","department":[{"_id":"672"}]},{"date_created":"2023-01-24T09:01:16Z","publication":"Proceedings of ISORC’04","language":[{"iso":"eng"}],"type":"conference","year":"2004","status":"public","_id":"39068","date_updated":"2023-01-24T09:01:21Z","title":"Model-Based Design of Embedded Systems","author":[{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"place":"WIen","citation":{"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.","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."},"user_id":"5786","department":[{"_id":"672"}]},{"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"}],"author":[{"last_name":"Gausemeier","id":"163","full_name":"Gausemeier, Jürgen","first_name":"Jürgen"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Volker","full_name":"Paelke, Volker","last_name":"Paelke"},{"first_name":"Jürgen","full_name":"Bauch, Jürgen","last_name":"Bauch"},{"full_name":"Shen, Q.","first_name":"Q.","last_name":"Shen"},{"first_name":"R. ","full_name":"Radkowski, R. ","last_name":"Radkowski"}],"conference":{"location":"Dubrovnik","name":"8th International Design Conference "},"title":"Virtual Prototyping Of Self-Optimizing Mechatronic Systems","place":"Dubrovnik","_id":"39078","date_updated":"2023-01-24T09:12:40Z","publication":"Proceedings of the Design 2004","date_created":"2023-01-24T09:12:31Z","status":"public","type":"conference","year":"2004","language":[{"iso":"eng"}]},{"author":[{"last_name":"Loeser","full_name":"Loeser, Chris","first_name":"Chris"},{"last_name":"Schäfer","first_name":"Robbie","full_name":"Schäfer, Robbie"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"last_name":"Borowski","first_name":"Marek","full_name":"Borowski, Marek"}],"title":"RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control","place":"Orlando, USA","user_id":"5786","citation":{"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} }","mla":"Loeser, Chris, et al. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control.” <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.","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.","ieee":"C. Loeser, R. Schäfer, W. Müller, and M. Borowski, “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control,” 2004.","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."},"department":[{"_id":"672"}],"publication":"Proceedings of SCI’04","date_created":"2023-01-24T09:09:31Z","status":"public","type":"conference","year":"2004","language":[{"iso":"eng"}],"_id":"39075","date_updated":"2023-01-24T09:09:36Z"},{"status":"public","language":[{"iso":"eng"}],"year":"2004","type":"conference","date_created":"2023-01-24T09:14:04Z","publication":"Proceedings of AVI 2004","date_updated":"2023-01-24T09:14:08Z","_id":"39082","abstract":[{"lang":"eng","text":"The provision of personalized user interfaces for mobile de-vices is a challenging task since different devices with vary-ing capabilities and interaction modalities have to be sup-ported. Multiple variants of different UIs for one application almost enforces the employment of a model-based approach in order to design one interface and to adapt to or render it on those devices. This position paper presents a new dia-log modelling language named DISL (Dialog and Interface Specification Language) that is based on UIML and DSN (Dialog Specification Notation). DISL supports the mod-elling of advanced dialogs in a comprehensive way. The dialog descriptions are device-and modality-agnostic and therefore highly scalable with focus on limited devices, like mobile phones."}],"place":"Gallipoli, Italy","author":[{"full_name":"Bleul, Steffen","first_name":"Steffen","last_name":"Bleul"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Robbie","full_name":"Schäfer, Robbie","last_name":"Schäfer"}],"title":"Multimodal Dialog Description for Mobile Devices","department":[{"_id":"672"}],"user_id":"5786","citation":{"bibtex":"@inproceedings{Bleul_Müller_Schäfer_2004, place={Gallipoli, Italy}, title={Multimodal Dialog Description for Mobile Devices}, booktitle={Proceedings of AVI 2004}, author={Bleul, Steffen and Müller, Wolfgang and Schäfer, Robbie}, year={2004} }","mla":"Bleul, Steffen, et al. “Multimodal Dialog Description for Mobile Devices.” <i>Proceedings of AVI 2004</i>, 2004.","short":"S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli, Italy, 2004.","apa":"Bleul, S., Müller, W., &#38; Schäfer, R. (2004). Multimodal Dialog Description for Mobile Devices. <i>Proceedings of AVI 2004</i>.","ama":"Bleul S, Müller W, Schäfer R. Multimodal Dialog Description for Mobile Devices. In: <i>Proceedings of AVI 2004</i>. ; 2004.","ieee":"S. Bleul, W. Müller, and R. Schäfer, “Multimodal Dialog Description for Mobile Devices,” 2004.","chicago":"Bleul, Steffen, Wolfgang Müller, and Robbie Schäfer. “Multimodal Dialog Description for Mobile Devices.” In <i>Proceedings of AVI 2004</i>. Gallipoli, Italy, 2004."}},{"place":"Tremsbüttel, Hamburg","abstract":[{"lang":"eng","text":"Variation in different mobile devices with different capabilities and interaction modalities as well as changing user context in nomadic applications, poses huge challenges to the design of user interfaces. To avoid multiple designs for each device or modality, it is almost a must to employ a model-based approach. In this short paper, we present a new dialog model for multimodal interaction together with an advanced control model, which can either be used for direct modeling by an interface designer or in conjunction with higher level models."}],"title":"A Novel Dialog Model for the Design of Multimodal User Interfaces","author":[{"first_name":"Robbie","full_name":"Schäfer, Robbie","last_name":"Schäfer"},{"last_name":"Bleul","first_name":"Steffen","full_name":"Bleul, Steffen"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"department":[{"_id":"672"}],"citation":{"bibtex":"@inproceedings{Schäfer_Bleul_Müller_2004, place={Tremsbüttel, Hamburg}, series={Lecture Notes in Computer Science }, title={A Novel Dialog Model for the Design of Multimodal User Interfaces}, booktitle={Proceedings of EHCI-DSVIS 2005}, author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2004}, collection={Lecture Notes in Computer Science } }","mla":"Schäfer, Robbie, et al. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” <i>Proceedings of EHCI-DSVIS 2005</i>, 2004.","short":"R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.","apa":"Schäfer, R., Bleul, S., &#38; Müller, W. (2004). A Novel Dialog Model for the Design of Multimodal User Interfaces. <i>Proceedings of EHCI-DSVIS 2005</i>.","ama":"Schäfer R, Bleul S, Müller W. A Novel Dialog Model for the Design of Multimodal User Interfaces. In: <i>Proceedings of EHCI-DSVIS 2005</i>. Lecture Notes in Computer Science . ; 2004.","ieee":"R. Schäfer, S. Bleul, and W. Müller, “A Novel Dialog Model for the Design of Multimodal User Interfaces,” 2004.","chicago":"Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” In <i>Proceedings of EHCI-DSVIS 2005</i>. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004."},"series_title":"Lecture Notes in Computer Science ","keyword":["Multimodal User Interface     High Level Model     Multimodal User     High Level Approach     Dialog Model"],"user_id":"5786","language":[{"iso":"eng"}],"type":"conference","year":"2004","status":"public","date_created":"2023-01-24T09:26:58Z","publication":"Proceedings of EHCI-DSVIS 2005","date_updated":"2023-01-24T09:27:03Z","_id":"39350"},{"publication":"SystemC - Methodologies and Applications","date_created":"2022-12-15T11:30:32Z","publisher":"Kluwer","publication_identifier":{"isbn":["978-0-306-48735-4"]},"type":"book_chapter","year":"2003","language":[{"iso":"eng"}],"status":"public","page":"97 - 126","_id":"34446","date_updated":"2022-12-15T11:43:33Z","title":"An ASM Based SystemC Simulation Semantics","author":[{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"full_name":"Ruf, Jürgen","first_name":"Jürgen","last_name":"Ruf"},{"first_name":"Wolfgang","full_name":"Rosenstiel, Wolfgang","last_name":"Rosenstiel"}],"editor":[{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Jürgen","full_name":"Ruf, Jürgen","last_name":"Ruf"},{"last_name":"Rosenstiel","first_name":"Wolfgang","full_name":"Rosenstiel, Wolfgang"}],"place":"Dordrecht","abstract":[{"lang":"eng","text":"We present a formal definition of the event based SystemC V2.0 simulation semantics by means of distributed Abstract State Machines (ASMs). Our definition provides a rigorous and concise, but yet readable, definition of the SystemC specific operations and their interaction with the simulation scheduler that covers channel updates, notify, notify_delayed, wait, and next_trigger operations. We present the semantics in the form of rules by means of distributed ASMs reflecting the lines of the SystemC V2.0 Standard Manuals and reference implementation. The semantics introduced is defined to complement the language reference manual with aprecise definition reflecting an abstract model of the SystemC reference implementation, which can be used for advanced applications and for investigating interoperabilities with other languages."}],"doi":"10.1007/0-306-48735-7_4","citation":{"mla":"Müller, Wolfgang, et al. “An ASM Based SystemC Simulation Semantics.” <i>SystemC - Methodologies and Applications</i>, edited by Wolfgang Müller et al., Kluwer, 2003, pp. 97–126, doi:<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>.","bibtex":"@inbook{Müller_Ruf_Rosenstiel_2003, place={Dordrecht}, title={An ASM Based SystemC Simulation Semantics}, DOI={<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>}, booktitle={SystemC - Methodologies and Applications}, publisher={Kluwer}, author={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, editor={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, year={2003}, pages={97–126} }","short":"W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.","apa":"Müller, W., Ruf, J., &#38; Rosenstiel, W. (2003). An ASM Based SystemC Simulation Semantics. In W. Müller, J. Ruf, &#38; W. Rosenstiel (Eds.), <i>SystemC - Methodologies and Applications</i> (pp. 97–126). Kluwer. <a href=\"https://doi.org/10.1007/0-306-48735-7_4\">https://doi.org/10.1007/0-306-48735-7_4</a>","ama":"Müller W, Ruf J, Rosenstiel W. An ASM Based SystemC Simulation Semantics. In: Müller W, Ruf J, Rosenstiel W, eds. <i>SystemC - Methodologies and Applications</i>. Kluwer; 2003:97-126. doi:<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>","chicago":"Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC Simulation Semantics.” In <i>SystemC - Methodologies and Applications</i>, edited by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer, 2003. <a href=\"https://doi.org/10.1007/0-306-48735-7_4\">https://doi.org/10.1007/0-306-48735-7_4</a>.","ieee":"W. Müller, J. Ruf, and W. Rosenstiel, “An ASM Based SystemC Simulation Semantics,” in <i>SystemC - Methodologies and Applications</i>, W. Müller, J. Ruf, and W. Rosenstiel, Eds. Dordrecht: Kluwer, 2003, pp. 97–126."},"user_id":"5786","department":[{"_id":"672"}]},{"keyword":["Object Constraint Language     UML Statecharts     UML Profile     Real-time constraints     Temporal logics"],"user_id":"5786","title":"Formal Semantics of Static and Temporal State-Oriented OCL Constraints","abstract":[{"text":"The textual Object Constraint Language (OCL) is primarily intended to specify restrictions over UML class diagrams, in particular class invariants, operation pre-, and postconditions. Based on several improvements in the definition of the language concepts in last years, a proposal for a new version of OCL has recently been published [43]. That document provides an extensive OCL semantic description that constitutes a tight integration into UML. However, OCL still lacks a semantic integration of UML Statecharts, although it can already be used to refer to states in OCL expressions.\r\n\r\nThis article presents an approach that closes this gap and introduces a formal semantics for such integration through a mathematical model. It also presents the definition of a temporal OCL extension by means of a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension enables modelers to specify behavioral state-oriented real-time constraints. It provides an intuitive understanding and readability at application level since common OCL syntax and concepts are preserved. A well-defined formal semantics is given through the mapping of temporal OCL expressions to temporal logics formulae. ","lang":"eng"}],"doi":"10.1007/s10270-003-0026-x","volume":2,"page":"164-186","issue":"3","publication":"Journal on Software and System Modeling (SoSyM)","type":"journal_article","citation":{"bibtex":"@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal State-Oriented OCL Constraints}, volume={2}, DOI={<a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>}, number={3}, journal={Journal on Software and System Modeling (SoSyM)}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2003}, pages={164–186} }","mla":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” <i>Journal on Software and System Modeling (SoSyM)</i>, vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:<a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>.","short":"S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.","ama":"Flake S, Müller W. Formal Semantics of Static and Temporal State-Oriented OCL Constraints. <i>Journal on Software and System Modeling (SoSyM)</i>. 2003;2(3):164-186. doi:<a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>","apa":"Flake, S., &#38; Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. <i>Journal on Software and System Modeling (SoSyM)</i>, <i>2</i>(3), 164–186. <a href=\"https://doi.org/10.1007/s10270-003-0026-x\">https://doi.org/10.1007/s10270-003-0026-x</a>","ieee":"S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented OCL Constraints,” <i>Journal on Software and System Modeling (SoSyM)</i>, vol. 2, no. 3, pp. 164–186, 2003, doi: <a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>.","chicago":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” <i>Journal on Software and System Modeling (SoSyM)</i> 2, no. 3 (2003): 164–86. <a href=\"https://doi.org/10.1007/s10270-003-0026-x\">https://doi.org/10.1007/s10270-003-0026-x</a>."},"department":[{"_id":"672"}],"author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"intvolume":"         2","_id":"34565","date_updated":"2022-12-19T12:27:00Z","publisher":"Springer-Verlag","date_created":"2022-12-19T12:26:46Z","status":"public","language":[{"iso":"eng"}],"year":"2003"},{"date_updated":"2023-01-24T09:35:11Z","_id":"39357","language":[{"iso":"eng"}],"year":"2003","type":"conference","status":"public","date_created":"2023-01-24T09:35:07Z","publication":"Proceedings of CE 2003","department":[{"_id":"672"}],"citation":{"apa":"Kostienko, T., Müller, W., Pawlak, A., &#38; Schattkowsky, T. (2003). An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. <i>Proceedings of CE 2003</i>.","ama":"Kostienko T, Müller W, Pawlak A, Schattkowsky T. An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. In: <i>Proceedings of CE 2003</i>. ; 2003.","bibtex":"@inproceedings{Kostienko_Müller_Pawlak_Schattkowsky_2003, place={Madeira, Portugal}, title={An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation}, booktitle={Proceedings of CE 2003}, author={Kostienko, Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}, year={2003} }","mla":"Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” <i>Proceedings of CE 2003</i>, 2003.","ieee":"T. Kostienko, W. Müller, A. Pawlak, and T. Schattkowsky, “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation,” 2003.","chicago":"Kostienko, Tomasz, Wolfgang Müller, Adam Pawlak, and Tim Schattkowsky. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” In <i>Proceedings of CE 2003</i>. Madeira, Portugal, 2003.","short":"T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 2003."},"user_id":"5786","place":"Madeira, Portugal","abstract":[{"lang":"eng","text":"Engineering collaboration gets its new global dimension with the omnipotent access to Internet. Engineers have severe requirements concerning: security of design data, quality of net connections, easiness of collaboration, etc. This article presents visions and middleware architecture to establish pan-European col- laborative engineering infrastructure and its application in the field of Electronic Design Automation (EDA). We present a transparent infrastructure to engineers to enable their Internet-based collaboration during the de- sign of complex electronic systems. In thi s context, we introduce an advanced collaborative infrastructure (ACI) for distance spanning, tool integration, and administration as well as open interfaces for XML-based data exchange. ACI constitutes a backbone for our collaborative research and engineering studies by fostering a combination of most recent plug-and-play technologies and secure, peer-to-peer data transfer with XML- based tool integration. ACI and its deployments have been developed with the EU project E-Colleg (IST- 1999-11746)."}],"title":"An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation","author":[{"last_name":"Kostienko","full_name":"Kostienko, Tomasz","first_name":"Tomasz"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Pawlak, Adam","first_name":"Adam","last_name":"Pawlak"},{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"}]},{"status":"public","language":[{"iso":"eng"}],"year":"2003","type":"conference","date_created":"2023-01-24T09:33:08Z","publication":"Proceedings of HICCS-36","date_updated":"2023-01-24T09:33:14Z","_id":"39355","abstract":[{"lang":"eng","text":"This pap er presents an approach to extend OSGi\r\nserver based home networks with JXTA's p eer-to-\r\np eer (P2P) technology to a multi-server home envi-\r\nronment connecting multiple private home networks\r\nto one true virtual environment for communication,\r\nmedia sharing/exchange, and distributed device con-\r\ntrol. We elab orate on the basic integration metho d-\r\nology and extend it to a general, security preserv-\r\ning, architectural concept based on a two level inte-\r\ngration concept for inhome and interhome networks.\r\nThe integration is achieved through additional OSGi\r\nservices for the management of virtual devices, p eer-\r\nto-p eer communication, and authentication. The ex-\r\nample of a Quality of Service based video streaming\r\nmanagement demonstrates one of the p otential ad-\r\nvanced application for which p eer-to-p eer can b e used\r\nin addition."}],"place":"Hawaii, USA","author":[{"last_name":"Loeser","full_name":"Loeser, Chris","first_name":"Chris"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Franz","full_name":"Berger, Franz","last_name":"Berger"},{"last_name":"Eikerling","full_name":"Eikerling, Heinz-Josef","first_name":"Heinz-Josef"}],"title":"Peer-to-Peer for Virtual Home Environments","department":[{"_id":"672"}],"user_id":"5786","citation":{"short":"C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.","bibtex":"@inproceedings{Loeser_Müller_Berger_Eikerling_2003, place={Hawaii, USA}, title={Peer-to-Peer for Virtual Home Environments}, booktitle={Proceedings of HICCS-36}, author={Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling, Heinz-Josef}, year={2003} }","mla":"Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” <i>Proceedings of HICCS-36</i>, 2003.","ieee":"C. Loeser, W. Müller, F. Berger, and H.-J. Eikerling, “Peer-to-Peer for Virtual Home Environments,” 2003.","chicago":"Loeser, Chris, Wolfgang Müller, Franz Berger, and Heinz-Josef Eikerling. “Peer-to-Peer for Virtual Home Environments.” In <i>Proceedings of HICCS-36</i>. Hawaii, USA, 2003.","apa":"Loeser, C., Müller, W., Berger, F., &#38; Eikerling, H.-J. (2003). Peer-to-Peer for Virtual Home Environments. <i>Proceedings of HICCS-36</i>.","ama":"Loeser C, Müller W, Berger F, Eikerling H-J. Peer-to-Peer for Virtual Home Environments. In: <i>Proceedings of HICCS-36</i>. ; 2003."}},{"user_id":"5786","citation":{"ieee":"H.-J. Eikerling, W. Müller, T. Schattkowski, and J. Wegner, “Tool Integration and Management in Heterogeneous Computer Networks,” 2003.","chicago":"Eikerling, Heinz-Josef, Wolfgang Müller, Tim Schattkowski, and J. Wegner. “Tool Integration and Management in Heterogeneous Computer Networks.” In <i>Proceedings of DATE’03</i>. Munich, Germany, 2003.","short":"H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 2003.","bibtex":"@inproceedings{Eikerling_Müller_Schattkowski_Wegner_2003, place={Munich, Germany}, title={Tool Integration and Management in Heterogeneous Computer Networks}, booktitle={Proceedings of DATE’03}, author={Eikerling, Heinz-Josef and Müller, Wolfgang and Schattkowski, Tim and Wegner, J.}, year={2003} }","ama":"Eikerling H-J, Müller W, Schattkowski T, Wegner J. Tool Integration and Management in Heterogeneous Computer Networks. In: <i>Proceedings of DATE’03</i>. ; 2003.","apa":"Eikerling, H.-J., Müller, W., Schattkowski, T., &#38; Wegner, J. (2003). Tool Integration and Management in Heterogeneous Computer Networks. <i>Proceedings of DATE’03</i>.","mla":"Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous Computer Networks.” <i>Proceedings of DATE’03</i>, 2003."},"department":[{"_id":"672"}],"author":[{"first_name":"Heinz-Josef","full_name":"Eikerling, Heinz-Josef","last_name":"Eikerling"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"},{"full_name":"Schattkowski, Tim","first_name":"Tim","last_name":"Schattkowski"},{"last_name":"Wegner","full_name":"Wegner, J.","first_name":"J."}],"title":"Tool Integration and Management in Heterogeneous Computer Networks","place":"Munich, Germany","_id":"39354","date_updated":"2023-01-24T09:31:12Z","publication":"Proceedings of DATE’03","date_created":"2023-01-24T09:31:07Z","status":"public","type":"conference","year":"2003","language":[{"iso":"eng"}]},{"publication":"Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing","date_created":"2023-01-24T09:47:49Z","status":"public","year":"2003","type":"conference","language":[{"iso":"eng"}],"_id":"39365","date_updated":"2023-01-24T09:47:54Z","author":[{"last_name":"Schäfer","full_name":"Schäfer, Robbie","first_name":"Robbie"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"title":"Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks","abstract":[{"lang":"eng","text":"Large-scale mobility in the era of embedded and mobile computers yields significant challenges with respect to personalization, networking, and security. Currently, mobile computing devices cannot be seamlessly and flexibly obtain information about the context in which computing takes place. This requires dedicated personalization and localization in combination with advanced autocustomization techniques in order to adapt them to the needs of the current context. For natural interaction, for instance, many devices offer different input and output modalities, which enable different modes of operation to perform the same task. Auto-customization of modalities and devices in range can be obtained, if the system has sufficient information on the user’s preferences, abilities, the current situation, and the device that performs a specific task. To aid the system’s decision, we propose a set of interrelated and expandable profiles, which are prepared for automated adaptation, what will play a central part in making the technology to become invisible."}],"place":"Acapulco, Mexico","user_id":"5786","citation":{"mla":"Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>, 2003.","ama":"Schäfer R, Müller W. Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. In: <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>. ; 2003.","bibtex":"@inproceedings{Schäfer_Müller_2003, place={Acapulco, Mexico}, title={Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks}, booktitle={Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2003} }","apa":"Schäfer, R., &#38; Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>.","short":"R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 2003.","chicago":"Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” In <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>. Acapulco, Mexico, 2003.","ieee":"R. Schäfer and W. Müller, “Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks,” 2003."},"department":[{"_id":"672"}]},{"_id":"39364","date_updated":"2023-01-24T09:45:54Z","date_created":"2023-01-24T09:45:49Z","publication":"Proceedings of SERP'03","status":"public","language":[{"iso":"eng"}],"year":"2003","type":"conference","keyword":["UML","Object Constraint Language","Patterns","Property Specification"],"user_id":"5786","citation":{"ieee":"S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.","chicago":"Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” In <i>Proceedings of SERP’03</i>. Las Vegas, NV, 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Expressing Property Specification Patterns with OCL. <i>Proceedings of SERP’03</i>.","ama":"Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: <i>Proceedings of SERP’03</i>. ; 2003.","short":"S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.","bibtex":"@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }","mla":"Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” <i>Proceedings of SERP’03</i>, 2003."},"department":[{"_id":"672"}],"author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"}],"title":"Expressing Property Specification Patterns with OCL","abstract":[{"lang":"eng","text":"The textual Object Constraint Language (OCL) is an of-\r\nficial part of the Unified Modeling Language (UML). OCL\r\nis primarily used to formulate restrictions over UML mod-\r\nels, in particular, invariants and operation pre- and post-\r\nconditions in the context of class diagrams. However, OCL\r\nis missing means to specify constraints over the dynamic\r\nbehavior of a UML model. We have therefore developed a\r\ntemporal extension of OCL that enables modelers to specify\r\nbehavioral state-oriented constraints. That work provides\r\nan alternative to the rather cryptic temporal logic formulae\r\nthat are commonly used to specify behavioral system prop-\r\nerties.\r\nThis article now illustrates that our OCL extension al-\r\nlows for specifying all kinds of properties that are regarded\r\nas relevant in practice. We present according temporal OCL\r\nexpressions for property specification patterns that have\r\nbeen identified in the area of formal specification."}],"place":"Las Vegas, NV"},{"user_id":"5786","citation":{"chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” In <i>Proceedings of CCE’03</i>. Poznan Poland, 2003.","ieee":"T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the Design of Electronic Systems,” 2003.","apa":"Schattkowsky, T., &#38; Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. <i>Proceedings of CCE’03</i>.","ama":"Schattkowsky T, Müller W. Distributed Engineering Environment for the Design of Electronic Systems. In: <i>Proceedings of CCE’03</i>. ; 2003.","short":"T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” <i>Proceedings of CCE’03</i>, 2003.","bibtex":"@inproceedings{Schattkowsky_Müller_2003, place={Poznan Poland}, title={Distributed Engineering Environment for the Design of Electronic Systems}, booktitle={Proceedings of CCE’03}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2003} }"},"department":[{"_id":"672"}],"author":[{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"}],"title":"Distributed Engineering Environment for the Design of Electronic Systems","abstract":[{"text":"Computer supported collaborative work (CSCW) is currently of growing interest for application industrial context. Integrated workflow systems are available to allow the integration of globally distributed teams. However, in many areas (i.e. in electronic design automation), tool integration remains to be a critical issue since existing legacy tools have to be integrated into distributed workflows. By integrating tools based on the operational semantics, dynamic assignment and replacement of tools in the workflows becomes possible. We present a middleware for secure collaborative engineering that enables flexible tool management and overcomes existing networking problems through a peer-to-peer based network infrastructure.","lang":"eng"}],"place":"Poznan Poland","_id":"39366","date_updated":"2023-01-24T09:49:23Z","publication":"Proceedings of CCE'03","date_created":"2023-01-24T09:49:18Z","status":"public","type":"conference","year":"2003","language":[{"iso":"eng"}]}]