[{"status":"public","type":"conference","publication":"2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics","language":[{"iso":"eng"}],"keyword":["interaction","communication","co-construction","interaction protocols"],"user_id":"14931","department":[{"_id":"749"}],"_id":"17202","citation":{"chicago":"Vollmer, Anna-Lisa, Jonathan Grizou, Manuel Lopes, Katharina Rohlfing, and Pierre-Yves Oudeyer. “Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans.” In <i>2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics</i>, 208–15. IEEE, 2014.","ieee":"A.-L. Vollmer, J. Grizou, M. Lopes, K. Rohlfing, and P.-Y. Oudeyer, “Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans,” in <i>2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics</i>, 2014, pp. 208–215.","ama":"Vollmer A-L, Grizou J, Lopes M, Rohlfing K, Oudeyer P-Y. Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans. In: <i>2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics</i>. IEEE; 2014:208-215.","apa":"Vollmer, A.-L., Grizou, J., Lopes, M., Rohlfing, K., &#38; Oudeyer, P.-Y. (2014). Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans. <i>2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics</i>, 208–215.","bibtex":"@inproceedings{Vollmer_Grizou_Lopes_Rohlfing_Oudeyer_2014, title={Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans}, booktitle={2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics}, publisher={IEEE}, author={Vollmer, Anna-Lisa and Grizou, Jonathan and Lopes, Manuel and Rohlfing, Katharina and Oudeyer, Pierre-Yves}, year={2014}, pages={208–215} }","short":"A.-L. Vollmer, J. Grizou, M. Lopes, K. Rohlfing, P.-Y. Oudeyer, in: 2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics, IEEE, 2014, pp. 208–215.","mla":"Vollmer, Anna-Lisa, et al. “Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans.” <i>2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics</i>, IEEE, 2014, pp. 208–15."},"page":"208 - 215","year":"2014","publication_identifier":{"isbn":["978-1-4799-7540-2"]},"title":"Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans","author":[{"first_name":"Anna-Lisa","last_name":"Vollmer","full_name":"Vollmer, Anna-Lisa"},{"first_name":"Jonathan","full_name":"Grizou, Jonathan","last_name":"Grizou"},{"full_name":"Lopes, Manuel","last_name":"Lopes","first_name":"Manuel"},{"full_name":"Rohlfing, Katharina","id":"50352","last_name":"Rohlfing","first_name":"Katharina"},{"first_name":"Pierre-Yves","full_name":"Oudeyer, Pierre-Yves","last_name":"Oudeyer"}],"date_created":"2020-06-24T13:01:21Z","publisher":"IEEE","date_updated":"2023-02-01T16:11:59Z"},{"publisher":"IEEE","date_updated":"2023-01-16T12:25:33Z","date_created":"2023-01-16T12:23:50Z","author":[{"first_name":"Kay","full_name":"Klobedanz, Kay","last_name":"Klobedanz"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"full_name":"Rettberg, Achim","last_name":"Rettberg","first_name":"Achim"}],"title":"An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems","conference":{"name":"IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops"},"doi":"10.1109/ISORCW.2012.41","publication_identifier":{"eisbn":["978-0-7695-4669-8"]},"place":"Shenzhen, China ","year":"2012","citation":{"chicago":"Klobedanz, Kay, Wolfgang Müller, and Achim Rettberg. “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems.” Shenzhen, China : IEEE, 2012. <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">https://doi.org/10.1109/ISORCW.2012.41</a>.","ieee":"K. Klobedanz, W. Müller, and A. Rettberg, “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems,” presented at the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012, doi: <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>.","short":"K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.","bibtex":"@inproceedings{Klobedanz_Müller_Rettberg_2012, place={Shenzhen, China }, title={An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems}, DOI={<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>}, publisher={IEEE}, author={Klobedanz, Kay and Müller, Wolfgang and Rettberg, Achim}, year={2012} }","mla":"Klobedanz, Kay, et al. <i>An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems</i>. IEEE, 2012, doi:<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>.","ama":"Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:<a href=\"https://doi.org/10.1109/ISORCW.2012.41\">10.1109/ISORCW.2012.41</a>","apa":"Klobedanz, K., Müller, W., &#38; Rettberg, A. (2012). <i>An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems</i>. IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. <a href=\"https://doi.org/10.1109/ISORCW.2012.41\">https://doi.org/10.1109/ISORCW.2012.41</a>"},"_id":"36922","user_id":"5786","department":[{"_id":"672"}],"keyword":["Real time systems","Fault tolerant systems","Schedules","Protocols","Redundancy","Delay"],"language":[{"iso":"eng"}],"type":"conference","abstract":[{"lang":"eng","text":"In this paper we present an approach for the self reconfiguration of distributed micro-controllers for increased fault tolerance. Based on a modified distributed system topology utilizing a time division multiple access (TDMA) protocol, i.e., Flex Ray, we present a self-organized distributed coordinator concept which performs the self-reconfiguration in the case of node failures. We introduce a distributed coordinator, which utilizes redundant slots in the Flex Ray communication schedule and combines messages in configured protocol frames and slots to avoid a complete bus restart. As such, the self-reconfiguration is realized by means of predetermined information about resulting changes in the communication dependencies and (re-)assignments determined in the design phase. To retrieve the necessary information, we present an analytical approach, which determines a combined solution for the initial configuration and all possible reconfigurations for the remaining nodes of the Flex Ray network in case of node failures. Hence, through this method we can design self-reconfiguring network-based systems enabling the handling of node failures for an increased fault tolerance."}],"status":"public"},{"keyword":["Schedules","Fault tolerant systems","Redundancy","Protocols","Automotive engineering","Genetic algorithms"],"language":[{"iso":"eng"}],"_id":"37006","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"text":"In this paper we present an approach for the configuration and reconfiguration of FlexRay networks to increase their fault tolerance. To guarantee a correct and deterministic system behavior, the FlexRay specification does not allow a reconfiguration of the schedapproachule during run time. To avoid the necessity of a complete bus restart in case of a node failure, we propose a reconfiguration using redundant slots in the schedule and/or combine messages in existing frames and slots, to compensate node failures and increase robustness. Our approach supports the developer to increase the fault tolerance of the system during the design phase. It is a heuristic, which, additionally to a determined initial configuration, calculates possible reconfigurations for the remaining nodes of the FlexRay network in case of a node failure, to keep the system working properly. An evaluation by means of realistic safety-critical automotive real-time systems revealed that it determines valid reconfigurations for up to 80% of possible individual node failures. In summary, our approach offers major support for the developer of FlexRay networks since the results provide helpful feedback about reconfiguration capabilities. In an iterative design process these information can be used to determine and optimize valid reconfigurations.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of DATE'11","title":"A Reconfiguration Approach for Faul-Tolerant FlexRay Networks","conference":{"name":"2011 Design, Automation & Test in Europe","location":"Grenoble, France"},"doi":"10.1109/DATE.2011.5763022","date_updated":"2023-01-17T09:09:33Z","publisher":"IEEE","author":[{"first_name":"Kay","last_name":"Klobedanz","full_name":"Klobedanz, Kay"},{"last_name":"König","full_name":"König, Andreas","first_name":"Andreas"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-17T09:09:25Z","place":"Grenoble, France","year":"2011","citation":{"mla":"Klobedanz, Kay, et al. “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks.” <i>Proceedings of DATE’11</i>, IEEE, 2011, doi:<a href=\"https://doi.org/10.1109/DATE.2011.5763022\">10.1109/DATE.2011.5763022</a>.","short":"K. Klobedanz, A. König, W. Müller, in: Proceedings of DATE’11, IEEE, Grenoble, France, 2011.","bibtex":"@inproceedings{Klobedanz_König_Müller_2011, place={Grenoble, France}, title={A Reconfiguration Approach for Faul-Tolerant FlexRay Networks}, DOI={<a href=\"https://doi.org/10.1109/DATE.2011.5763022\">10.1109/DATE.2011.5763022</a>}, booktitle={Proceedings of DATE’11}, publisher={IEEE}, author={Klobedanz, Kay and König, Andreas and Müller, Wolfgang}, year={2011} }","apa":"Klobedanz, K., König, A., &#38; Müller, W. (2011). A Reconfiguration Approach for Faul-Tolerant FlexRay Networks. <i>Proceedings of DATE’11</i>. 2011 Design, Automation &#38; Test in Europe, Grenoble, France. <a href=\"https://doi.org/10.1109/DATE.2011.5763022\">https://doi.org/10.1109/DATE.2011.5763022</a>","ieee":"K. Klobedanz, A. König, and W. Müller, “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks,” presented at the 2011 Design, Automation &#38; Test in Europe, Grenoble, France, 2011, doi: <a href=\"https://doi.org/10.1109/DATE.2011.5763022\">10.1109/DATE.2011.5763022</a>.","chicago":"Klobedanz, Kay, Andreas König, and Wolfgang Müller. “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks.” In <i>Proceedings of DATE’11</i>. Grenoble, France: IEEE, 2011. <a href=\"https://doi.org/10.1109/DATE.2011.5763022\">https://doi.org/10.1109/DATE.2011.5763022</a>.","ama":"Klobedanz K, König A, Müller W. A Reconfiguration Approach for Faul-Tolerant FlexRay Networks. In: <i>Proceedings of DATE’11</i>. IEEE; 2011. doi:<a href=\"https://doi.org/10.1109/DATE.2011.5763022\">10.1109/DATE.2011.5763022</a>"}},{"citation":{"ama":"Klobedanz K, Defo GB, Müller W, Kerstan T. Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. In: <i>Proceedings of SIES 2010</i>. ; 2010. doi:<a href=\"https://doi.org/10.1109/SIES.2010.5551384\">10.1109/SIES.2010.5551384</a>","apa":"Klobedanz, K., Defo, G. B., Müller, W., &#38; Kerstan, T. (2010). Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. <i>Proceedings of SIES 2010</i>. International Symposium on Industrial Embedded System (SIES). <a href=\"https://doi.org/10.1109/SIES.2010.5551384\">https://doi.org/10.1109/SIES.2010.5551384</a>","short":"K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.","bibtex":"@inproceedings{Klobedanz_Defo_Müller_Kerstan_2010, place={Trento, Italien}, title={Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks}, DOI={<a href=\"https://doi.org/10.1109/SIES.2010.5551384\">10.1109/SIES.2010.5551384</a>}, booktitle={Proceedings of SIES 2010}, author={Klobedanz, Kay and Defo, Gilles B. and Müller, Wolfgang and Kerstan, Timo}, year={2010} }","mla":"Klobedanz, Kay, et al. “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” <i>Proceedings of SIES 2010</i>, 2010, doi:<a href=\"https://doi.org/10.1109/SIES.2010.5551384\">10.1109/SIES.2010.5551384</a>.","chicago":"Klobedanz, Kay, Gilles B. Defo, Wolfgang Müller, and Timo Kerstan. “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” In <i>Proceedings of SIES 2010</i>. Trento, Italien, 2010. <a href=\"https://doi.org/10.1109/SIES.2010.5551384\">https://doi.org/10.1109/SIES.2010.5551384</a>.","ieee":"K. Klobedanz, G. B. Defo, W. Müller, and T. Kerstan, “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks,” presented at the International Symposium on Industrial Embedded System (SIES), 2010, doi: <a href=\"https://doi.org/10.1109/SIES.2010.5551384\">10.1109/SIES.2010.5551384</a>."},"year":"2010","place":"Trento, Italien","publication_identifier":{"eisbn":["978-1-4244-5841-7"]},"conference":{"name":"International Symposium on Industrial Embedded System (SIES)"},"doi":"10.1109/SIES.2010.5551384","title":"Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks","author":[{"first_name":"Kay","last_name":"Klobedanz","full_name":"Klobedanz, Kay"},{"first_name":"Gilles B.","last_name":"Defo","full_name":"Defo, Gilles B."},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"full_name":"Kerstan, Timo","last_name":"Kerstan","first_name":"Timo"}],"date_created":"2023-01-17T11:31:38Z","date_updated":"2023-01-17T11:31:47Z","status":"public","abstract":[{"text":"In this paper we present an approach to increase the fault tolerance in FlexRay networks by introducing backup nodes to replace defect ECUs (Electronic Control Units). In order to reduce the memory requirements of such backup nodes, we distribute redundant tasks over different nodes and propose the distributed coordinated migration of tasks of the defect ECU to the backup node at runtime. This approach enhances our former work in, where we extended the FlexRay bus schedule by redundant slots to consider changes in the communication/slot assignment and investigated and evaluated different solutions to migrate the redundant tasks to the backup node using the static and/or dynamic segment of the communication cycle for transmissions. We present the approach of distributed coordination for migration and communication instead of additional dedicated coordinator nodes to further increase the fault tolerance. With this approach we improve the safety of FlexRay networks by avoiding a possible single point of failure due to a dedicated coordinator node also minimizing the necessary time needed for a reconfiguration after an ECU failure. Furthermore, we reduce the overhead within the communication and the demand for additional hardware components.","lang":"eng"}],"publication":"Proceedings of SIES 2010","type":"conference","language":[{"iso":"eng"}],"keyword":["Fault tolerant systems","Protocols","Redundancy","Runtime","Payloads","Schedules"],"department":[{"_id":"672"}],"user_id":"5786","_id":"37056"},{"keyword":["Hardware","Microprogramming","Application software","Timing","Protocols","Virtual prototyping","Real time systems","Sampling methods","Operating systems","Emulation"],"language":[{"iso":"eng"}],"_id":"37053","department":[{"_id":"672"}],"user_id":"5786","abstract":[{"lang":"eng","text":"Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent Software (HdS) like drivers, operating systems, and firmware. For early estimation and verification, the application of SystemC in combination with Instruction Set Simulators and Software Emulators like QEMU is widely accepted. In this article, we present an advanced design flow for HW, (RT)OS and HdS refinement and verification with focus on the transition from abstract RTOS verification to full system RTOS/HdS emulation. In the context of assertion-based verification, we introduce a set of generic real-time properties which can be reused and verified at different abstraction levels and discuss their application. The properties are presented by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS models."}],"status":"public","publication":"Proceedings of HLDVT2010","type":"conference","title":"Verification of Real-Time Properties for Hardware-Dependant Software","conference":{"location":"Anaheim, FL, USA","name":"IEEE International High Level Design Validation and Test Workshop (HLDVT)"},"publisher":"IEEE","date_updated":"2023-01-17T11:28:30Z","author":[{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"last_name":"da S. Oliveira","full_name":"da S. Oliveira, Marcio F.","first_name":"Marcio F."},{"full_name":"Zabel, Henning","last_name":"Zabel","first_name":"Henning"},{"first_name":"Markus","last_name":"Becker","full_name":"Becker, Markus"}],"date_created":"2023-01-17T11:28:26Z","year":"2010","citation":{"short":"W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.","mla":"Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” <i>Proceedings of HLDVT2010</i>, IEEE, 2010.","bibtex":"@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }","apa":"Müller, W., da S. Oliveira, M. F., Zabel, H., &#38; Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. <i>Proceedings of HLDVT2010</i>. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.","ieee":"W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.","chicago":"Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In <i>Proceedings of HLDVT2010</i>. IEEE, 2010.","ama":"Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: <i>Proceedings of HLDVT2010</i>. IEEE; 2010."},"publication_identifier":{"eisbn":["978-1-4244-7806-4"]}},{"status":"public","abstract":[{"lang":"eng","text":"TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies. In this paper, we present a rigorous formal behavioral semantics for TestML by means of Abstract State Machines (ASMs). Our semantics is a concise, unambiguous, high-level specification for TestML-based implementations and serves as a basis to define exact and well-defined mappings between existing test languages and TestML."}],"type":"conference","publication":"Proc. of ISOLA 06","language":[{"iso":"eng"}],"keyword":["System testing","Software testing","Automotive engineering","Automatic testing","Machinery production industries","Protocols","Hardware design languages","Samarium","XML","Computer industry"],"user_id":"5786","department":[{"_id":"672"}],"_id":"38107","citation":{"apa":"Großmann, J., &#38; Müller, W. (2006). A Formal Behavioral Semantics for TestML. <i>Proc. of ISOLA 06</i>. <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">https://doi.org/10.1109/ISoLA.2006.37</a>","bibtex":"@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal Behavioral Semantics for TestML}, DOI={<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>}, booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang}, year={2006} }","short":"J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.","mla":"Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” <i>Proc. of ISOLA 06</i>, 2006, doi:<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>.","chicago":"Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” In <i>Proc. of ISOLA 06</i>. Paphos, Cyprus, 2006. <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">https://doi.org/10.1109/ISoLA.2006.37</a>.","ieee":"J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>.","ama":"Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: <i>Proc. of ISOLA 06</i>. ; 2006. doi:<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>"},"year":"2006","place":"Paphos, Cyprus","publication_identifier":{"isbn":["978-0-7695-3071-0"]},"doi":"10.1109/ISoLA.2006.37","conference":{"location":"Paphos, Cyprus"},"title":"A Formal Behavioral Semantics for TestML","date_created":"2023-01-23T12:00:06Z","author":[{"last_name":"Großmann","full_name":"Großmann, Jürgen","first_name":"Jürgen"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_updated":"2023-01-23T12:06:26Z"},{"publication_identifier":{"isbn":["0-7695-2051-0"]},"citation":{"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.","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>.","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>","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>."},"year":"2004","place":"Fukuoka, Japan ","date_created":"2023-01-24T09:05:58Z","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"full_name":"Loeser, Chris","last_name":"Loeser","first_name":"Chris"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_updated":"2023-01-24T09:06:02Z","publisher":"IEEE","doi":"10.1109/AINA.2004.1283977","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","type":"conference","publication":"Proceedings of AINA2004","status":"public","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."}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39071","language":[{"iso":"eng"}],"keyword":["Peer to peer computing","Web services","Intelligent networks","Routing","Relays","Simple object access protocol","Collaborative work","Transport protocols","Network address translation","Java"]},{"language":[{"iso":"eng"}],"keyword":["Unified modeling language","Logic","Formal verification","Real time systems","Programming profession","Vehicle dynamics","Software standards","Flexible manufacturing systems","Electronics industry","Protocols"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39403","status":"public","abstract":[{"lang":"eng","text":"The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynamic behavior of a model. This article presents an OCL extension that is consistent with current OCL and enables modelers to specify state-related time-bounded constraints. We consider the case study of a flexible manufacturing system and identify typical real-time constraints. The constraints are presented in our temporal OCL extension as well as in temporal logic formulae. For general application, we define a semantics of our OCL extension by means of a time-bounded temporal logic based on Computational Tree Logic (CTL)."}],"publication":"Proceedings of HICSS-35","type":"conference","doi":"10.1109/HICSS.2002.994469","conference":{"location":"Big Island, HI, USA ","name":"Proceedings of the 35th Annual Hawaii International Conference on System Sciences"},"title":"Specification of Real-Time Properties for UML Models","date_created":"2023-01-24T10:22:12Z","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_updated":"2023-01-24T10:22:16Z","citation":{"ama":"Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: <i>Proceedings of HICSS-35</i>. ; 2002. doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>","ieee":"S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>.","chicago":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In <i>Proceedings of HICSS-35</i>. Big Island, HI, USA , 2002. <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>.","apa":"Flake, S., &#38; Müller, W. (2002). Specification of Real-Time Properties for UML Models. <i>Proceedings of HICSS-35</i>. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>","bibtex":"@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }","short":"S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.","mla":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” <i>Proceedings of HICSS-35</i>, 2002, doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>."},"year":"2002","place":"Big Island, HI, USA ","publication_identifier":{"isbn":["0-7695-1435-9"]}},{"date_updated":"2023-01-24T12:07:33Z","author":[{"first_name":"Georg","full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"first_name":"C.","last_name":"Tahedl","full_name":"Tahedl, C."}],"date_created":"2023-01-24T12:07:26Z","title":"Transforming SDL Diagrams Into a Complete Visual Representation","doi":"10.1109/VL.1995.520803","publication_identifier":{"isbn":["0-8186-7045-2"]},"place":" Darmstadt, Germany ","year":"1995","citation":{"apa":"Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. <i>Proceedings of Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1995.520803\">https://doi.org/10.1109/VL.1995.520803</a>","short":"G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages,  Darmstadt, Germany , 1995.","bibtex":"@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany }, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>}, booktitle={Proceedings of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1995} }","mla":"Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual Representation.” <i>Proceedings of Symposium on Visual Languages</i>, 1995, doi:<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>.","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams Into a Complete Visual Representation.” In <i>Proceedings of Symposium on Visual Languages</i>.  Darmstadt, Germany , 1995. <a href=\"https://doi.org/10.1109/VL.1995.520803\">https://doi.org/10.1109/VL.1995.520803</a>.","ieee":"G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into a Complete Visual Representation,” 1995, doi: <a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>.","ama":"Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete Visual Representation. In: <i>Proceedings of Symposium on Visual Languages</i>. ; 1995. doi:<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>"},"_id":"39541","user_id":"5786","department":[{"_id":"672"}],"keyword":["Animation","Timing","Debugging","Ethernet networks","Multiaccess communication","Protocols","Computer languages","Prototypes","Environmental management","Visualization"],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of Symposium on Visual Languages","abstract":[{"text":"We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the specification by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an example sketching the transformation of an Ethernet CSMA/CD protocol specification.","lang":"eng"}],"status":"public"},{"doi":"10.1109/ASPDAC.1995.486383","title":"Complete Visual Specification and Animations of Protocols","author":[{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg","first_name":"Georg"},{"first_name":"C.","full_name":"Tahedl, C.","last_name":"Tahedl"}],"date_created":"2023-01-24T12:05:55Z","date_updated":"2023-01-24T12:05:59Z","citation":{"bibtex":"@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete Visual Specification and Animations of Protocols}, DOI={<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>}, booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }","short":"W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.","mla":"Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>, 1995, doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","apa":"Müller, W., Lehrenfeld, G., &#38; Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>","ama":"Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. ; 1995. doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>","chicago":"Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification and Animations of Protocols.” In <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. Chiba, Japan , 1995. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>.","ieee":"W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>."},"place":"Chiba, Japan ","year":"1995","publication_identifier":{"isbn":["4-930813-67-0"]},"language":[{"iso":"eng"}],"keyword":["Animation","Protocols","Timing","Computer languages","Electronic mail","Context modeling","Visualization","Control systems","Flow graphs","Trademarks"],"user_id":"5786","department":[{"_id":"672"}],"_id":"39538","status":"public","abstract":[{"text":"This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we first extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We finally give the example of the specification and animation of a non interlocked protocol.","lang":"eng"}],"type":"conference","publication":"Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair"}]