[{"publication":"Proceedings of CE 2003","citation":{"ieee":"T. Kostienko, W. Müller, A. Pawlak, and T. Schattkowsky, “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation,” 2003.","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>.","short":"T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 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.","mla":"Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” <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} }","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."},"abstract":[{"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).","lang":"eng"}],"place":"Madeira, Portugal","date_created":"2023-01-24T09:35:07Z","type":"conference","department":[{"_id":"672"}],"title":"An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation","year":"2003","status":"public","author":[{"full_name":"Kostienko, Tomasz","first_name":"Tomasz","last_name":"Kostienko"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Pawlak, Adam","last_name":"Pawlak","first_name":"Adam"},{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"}],"date_updated":"2023-01-24T09:35:11Z","_id":"39357","language":[{"iso":"eng"}],"user_id":"5786"},{"user_id":"5786","language":[{"iso":"eng"}],"_id":"39355","date_updated":"2023-01-24T09:33:14Z","year":"2003","status":"public","title":"Peer-to-Peer for Virtual Home Environments","author":[{"last_name":"Loeser","first_name":"Chris","full_name":"Loeser, Chris"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"full_name":"Berger, Franz","last_name":"Berger","first_name":"Franz"},{"last_name":"Eikerling","first_name":"Heinz-Josef","full_name":"Eikerling, Heinz-Josef"}],"type":"conference","department":[{"_id":"672"}],"place":"Hawaii, USA","date_created":"2023-01-24T09:33:08Z","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."}],"publication":"Proceedings of HICCS-36","citation":{"ieee":"C. Loeser, W. Müller, F. Berger, and H.-J. Eikerling, “Peer-to-Peer for Virtual Home Environments,” 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>.","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.","short":"C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.","mla":"Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” <i>Proceedings of HICCS-36</i>, 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} }","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."}},{"publication":"Proceedings of DATE’03","citation":{"mla":"Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous Computer Networks.” <i>Proceedings of DATE’03</i>, 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.","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} }","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>.","ieee":"H.-J. Eikerling, W. Müller, T. Schattkowski, and J. Wegner, “Tool Integration and Management in Heterogeneous Computer Networks,” 2003.","short":"H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 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."},"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T09:31:07Z","place":"Munich, Germany","date_updated":"2023-01-24T09:31:12Z","status":"public","title":"Tool Integration and Management in Heterogeneous Computer Networks","year":"2003","author":[{"first_name":"Heinz-Josef","last_name":"Eikerling","full_name":"Eikerling, Heinz-Josef"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"last_name":"Schattkowski","first_name":"Tim","full_name":"Schattkowski, Tim"},{"first_name":"J.","last_name":"Wegner","full_name":"Wegner, J."}],"user_id":"5786","_id":"39354","language":[{"iso":"eng"}]},{"publication":"Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing","citation":{"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>.","ieee":"R. Schäfer and W. Müller, “Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks,” 2003.","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.","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} }"},"abstract":[{"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.","lang":"eng"}],"date_created":"2023-01-24T09:47:49Z","place":"Acapulco, Mexico","type":"conference","department":[{"_id":"672"}],"status":"public","title":"Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks","year":"2003","author":[{"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"}],"date_updated":"2023-01-24T09:47:54Z","language":[{"iso":"eng"}],"_id":"39365","user_id":"5786"},{"date_updated":"2023-01-24T09:45:54Z","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"status":"public","title":"Expressing Property Specification Patterns with OCL","year":"2003","user_id":"5786","language":[{"iso":"eng"}],"_id":"39364","abstract":[{"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.","lang":"eng"}],"citation":{"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} }","ama":"Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: <i>Proceedings of SERP’03</i>. ; 2003.","mla":"Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” <i>Proceedings of SERP’03</i>, 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.","short":"S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.","ieee":"S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Expressing Property Specification Patterns with OCL. <i>Proceedings of SERP’03</i>."},"publication":"Proceedings of SERP'03","department":[{"_id":"672"}],"keyword":["UML","Object Constraint Language","Patterns","Property Specification"],"type":"conference","date_created":"2023-01-24T09:45:49Z","place":"Las Vegas, NV"},{"place":"Poznan Poland","date_created":"2023-01-24T09:49:18Z","type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of CCE'03","citation":{"mla":"Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” <i>Proceedings of CCE’03</i>, 2003.","ama":"Schattkowsky T, Müller W. Distributed Engineering Environment for the Design of Electronic Systems. In: <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} }","apa":"Schattkowsky, T., &#38; Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. <i>Proceedings of CCE’03</i>.","ieee":"T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the Design of Electronic Systems,” 2003.","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.","short":"T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003."},"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"}],"language":[{"iso":"eng"}],"_id":"39366","user_id":"5786","status":"public","title":"Distributed Engineering Environment for the Design of Electronic Systems","year":"2003","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2023-01-24T09:49:23Z"},{"abstract":[{"text":"The textual Object Constraint Language (OCL) is an of-\r\nficial part of the Unified Modeling Language (UML). It is\r\nprimarily used to formulate restrictions for UML class di-\r\nagrams. Additionally, it is possible to refer to UML State-\r\nchart states in OCL expressions to reason about currently\r\nactivated states.\r\nHowever, neither the current OCL standard nor the pro-\r\nposal for the new OCL 2.0 version integrate Statecharts on\r\nthe language definition level, i.e., the semantics of State-\r\nchart states in the context of OCL expressions is not suf-\r\nficiently defined so far. To overcome this deficiency, this\r\narticle provides a formal semantics for state-oriented OCL\r\nexpressions for application with UML Statecharts.","lang":"eng"}],"citation":{"chicago":"Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” In <i>Proceedings of SEKE 2003</i>. San Francisco, 2003.","short":"S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.","ieee":"S. Flake and W. Müller, “Semantics of State-Oriented Expressions in the Object Constraint Language,” 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. <i>Proceedings of SEKE 2003</i>.","bibtex":"@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }","ama":"Flake S, Müller W. Semantics of State-Oriented Expressions in the Object Constraint Language. In: <i>Proceedings of SEKE 2003</i>. ; 2003.","mla":"Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” <i>Proceedings of SEKE 2003</i>, 2003."},"publication":"Proceedings of SEKE 2003","department":[{"_id":"672"}],"type":"conference","place":"San Francisco","date_created":"2023-01-24T09:44:11Z","date_updated":"2023-01-24T09:44:24Z","author":[{"last_name":"Flake","first_name":"Stephan","full_name":"Flake, Stephan"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"title":"Semantics of State-Oriented Expressions in the Object Constraint Language","status":"public","year":"2003","user_id":"5786","language":[{"iso":"eng"}],"_id":"39363"},{"citation":{"mla":"Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” <i>Proceedings of CCE’03</i>, 2003.","bibtex":"@inproceedings{Wang_Müller_2003, place={Poznan Poland}, title={SmartCard for Secure Collaborative Engineering}, booktitle={Proceedings of CCE’03}, author={Wang, J. and Müller, Wolfgang}, year={2003} }","ama":"Wang J, Müller W. SmartCard for Secure Collaborative Engineering. In: <i>Proceedings of CCE’03</i>. ; 2003.","ieee":"J. Wang and W. Müller, “SmartCard for Secure Collaborative Engineering,” 2003.","apa":"Wang, J., &#38; Müller, W. (2003). SmartCard for Secure Collaborative Engineering. <i>Proceedings of CCE’03</i>.","short":"J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.","chicago":"Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” In <i>Proceedings of CCE’03</i>. Poznan Poland, 2003."},"publication":"Proceedings of CCE'03","abstract":[{"text":"Confidentiality and security in data access and transmission over multiple open networks are of utmost importance for most collaborative engineering environments. In this article, we review smart card based security technologies for their application in computer-based collaborative engineering environments. We focus on most recent microprocessor-based smart cards and on JavaCard as a development infrastructure and operating system. Since JavaCard supports the integration of multiple applications on one card, it enables smart cards to integrate large sets of additional applications. In that context, we identify and discuss three potential key applications: authentication with biometrics, certification, and advanced profile management.","lang":"eng"}],"date_created":"2023-01-24T09:51:15Z","place":"Poznan Poland","department":[{"_id":"672"}],"type":"conference","author":[{"last_name":"Wang","first_name":"J.","full_name":"Wang, J."},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"status":"public","title":"SmartCard for Secure Collaborative Engineering","year":"2003","date_updated":"2023-01-24T09:51:20Z","language":[{"iso":"eng"}],"_id":"39367","user_id":"5786"},{"author":[{"last_name":"Krupp","first_name":"Alexander","full_name":"Krupp, Alexander"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"year":"2003","status":"public","title":"Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten","date_updated":"2023-01-24T09:36:37Z","series_title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","_id":"39360","language":[{"iso":"eng"}],"user_id":"5786","citation":{"apa":"Krupp, A., &#38; Müller, W. (2003). <i>Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten</i>.","ieee":"A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.” Bremen, 2003.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Bremen, 2003.","short":"A. Krupp, W. Müller, (2003).","mla":"Krupp, Alexander, and Wolfgang Müller. <i>Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten</i>. 2003.","ama":"Krupp A, Müller W. Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. Published online 2003.","bibtex":"@article{Krupp_Müller_2003, place={Bremen}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }"},"place":"Bremen","date_created":"2023-01-24T09:36:32Z","department":[{"_id":"672"}],"type":"conference"},{"_id":"39368","language":[{"iso":"eng"}],"user_id":"5786","author":[{"first_name":"Alexander","last_name":"Krupp","full_name":"Krupp, Alexander"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"year":"2003","status":"public","title":"Combining Formal Refinement and Model Checking for Analysis of Realtime Systems","date_updated":"2023-01-24T09:53:06Z","place":"Frankfurt, Germany","date_created":"2023-01-24T09:53:01Z","department":[{"_id":"672"}],"type":"conference","citation":{"ama":"Krupp A, Müller W. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: <i>Proceedings of FDL’03</i>. ; 2003.","bibtex":"@inproceedings{Krupp_Müller_2003, place={Frankfurt, Germany}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Proceedings of FDL’03}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003} }","mla":"Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” <i>Proceedings of FDL’03</i>, 2003.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In <i>Proceedings of FDL’03</i>. Frankfurt, Germany, 2003.","short":"A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.","apa":"Krupp, A., &#38; Müller, W. (2003). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. <i>Proceedings of FDL’03</i>.","ieee":"A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003."},"publication":"Proceedings of FDL'03"},{"date_updated":"2023-01-24T09:54:24Z","status":"public","title":"Formal Semantics of OCL Messages","year":"2003","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"user_id":"5786","language":[{"iso":"eng"}],"_id":"39369","abstract":[{"text":"The latest OCL 2.0 proposal provides two semantic descriptions, i.e., a metamodel based semantics that uses UML itself to associate the semantic domain with the language concepts and a formal semantics based on a set-theoretic approach called object model. Unfortunately, these two semantics are currently neither consistent nor complete, as (a) the formal semantics does not consider the newly introduced concept of OCL messages and (b) both semantics lack an integration of Statecharts and a semantic denition of state-related operations. This article focuses on a formal semantics for OCL messages as a foundation for consistency among,the two OCL semantics. We extend object models and present an extended denition of a system state that comprises all relevant information to be able to evaluate OCL expressions also w.r.t. OCL messages.","lang":"eng"}],"publication":"Proceedings of the Workshop OCL 2.0 at UML 2003","citation":{"mla":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>, 2003.","ama":"Flake S, Müller W. Formal Semantics of OCL Messages. In: <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>. ; 2003.","bibtex":"@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }","apa":"Flake, S., &#38; Müller, W. (2003). Formal Semantics of OCL Messages. <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>.","ieee":"S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.","short":"S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.","chicago":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” In <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>. San Francisco, USA, 2003."},"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T09:54:09Z","place":"San Francisco, USA"},{"doi":"10.1007/3-540-45669-4_8","language":[{"iso":"eng"}],"date_updated":"2022-12-15T11:38:47Z","author":[{"full_name":"Flake, Stephan","first_name":"Stephan","last_name":"Flake"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"publication_identifier":{"isbn":["978-3-540-45669-8"]},"title":"An OCL Extension for Real-Time Constraints","year":"2002","department":[{"_id":"672"}],"keyword":["Model Check     Temporal Logic     Object Constraint Language     Execution Path     Kripke Structure"],"type":"book_chapter","date_created":"2022-12-15T11:38:20Z","abstract":[{"lang":"eng","text":"The Object Constraint Language (OCL) was introduced to support the specification of constraints for UML diagrams and is mainly used to formulate invariants and operation pre- and postconditions. Though OCL is also applied in behavioral diagrams, e.g., as guards for state transitions, it is currently not possible to specify constraints concerning the dynamic behavior and timing properties of such diagrams.\r\n\r\nThis article discusses OCL’s application for the dynamic behavior of UML Statechart diagrams and presents an OCL extension for specification of state-oriented time-bounded constraints.We introduce operations to extract state configurations from diagrams and define additional predicates over states and state configurations. The semantics of our OCL extension is given by employing time-bounded Computational Tree Logic (CTL) formulae. An example of a flexible manufacturing system with automated guided vehicles demonstrates the application of our extension."}],"publication":"Advances in Object Modelling with the OCL","editor":[{"full_name":"Clark, T.","last_name":"Clark","first_name":"T."},{"full_name":"Warmer, J.","last_name":"Warmer","first_name":"J."}],"user_id":"5786","publisher":"Springer-Verlag","_id":"34447","page":"150 - 171","status":"public","place":"Berlin, Heidelberg","citation":{"mla":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>.","bibtex":"@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>}, booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.}, year={2002}, pages={150–171} }","ama":"Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. <i>Advances in Object Modelling with the OCL</i>. Springer-Verlag; 2002:150-171. doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>","ieee":"S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in <i>Advances in Object Modelling with the OCL</i>, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.","apa":"Flake, S., &#38; Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark &#38; J. Warmer (Eds.), <i>Advances in Object Modelling with the OCL</i> (pp. 150–171). Springer-Verlag. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>","short":"S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.","chicago":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” In <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>."}},{"page":"128-136","_id":"34576","language":[{"iso":"eng"}],"publisher":"Oldenbourg Verlag","user_id":"5786","title":"Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken","year":"2002","status":"public","author":[{"first_name":"H. J.","last_name":"Eikerling","full_name":"Eikerling, H. J."},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Wegener, J.","last_name":"Wegener","first_name":"J."}],"date_updated":"2022-12-20T09:41:28Z","date_created":"2022-12-20T09:41:02Z","type":"journal_article","department":[{"_id":"672"}],"publication":"it+ti","citation":{"apa":"Eikerling, H. J., Müller, W., &#38; Wegener, J. (2002). Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. <i>It+ti</i>, 128–136.","ieee":"H. J. Eikerling, W. Müller, and J. Wegener, “Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken,” <i>it+ti</i>, pp. 128–136, 2002.","short":"H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136.","chicago":"Eikerling, H. J., Wolfgang Müller, and J. Wegener. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” <i>It+ti</i>, 2002, 128–36.","mla":"Eikerling, H. J., et al. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” <i>It+ti</i>, Oldenbourg Verlag, 2002, pp. 128–36.","ama":"Eikerling HJ, Müller W, Wegener J. Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. <i>it+ti</i>. Published online 2002:128-136.","bibtex":"@article{Eikerling_Müller_Wegener_2002, title={Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken}, journal={it+ti}, publisher={Oldenbourg Verlag}, author={Eikerling, H. J. and Müller, Wolfgang and Wegener, J.}, year={2002}, pages={128–136} }"}},{"type":"book_editor","department":[{"_id":"58"}],"place":"Paderborn, Germany","date_created":"2024-04-18T20:51:22Z","citation":{"chicago":"Bücker, Ulrich, Heinz Josef Eikerling, and Wolfgang Müller, eds. <i>Proceedings of the VHE Workshop</i>. Paderborn, Germany, 2002.","short":"U. Bücker, H.J. Eikerling, W. Müller, eds., Proceedings of the VHE Workshop, Paderborn, Germany, 2002.","ieee":"U. Bücker, H. J. Eikerling, and W. Müller, Eds., <i>Proceedings of the VHE Workshop</i>. Paderborn, Germany, 2002.","apa":"Bücker, U., Eikerling, H. J., &#38; Müller, W. (Eds.). (2002). <i>Proceedings of the VHE Workshop</i>.","bibtex":"@book{Bücker_Eikerling_Müller_2002, place={Paderborn, Germany}, title={Proceedings of the VHE Workshop}, year={2002} }","ama":"Bücker U, Eikerling HJ, Müller W, eds. <i>Proceedings of the VHE Workshop</i>.; 2002.","mla":"Bücker, Ulrich, et al., editors. <i>Proceedings of the VHE Workshop</i>. 2002."},"user_id":"16243","editor":[{"first_name":"Ulrich","last_name":"Bücker","full_name":"Bücker, Ulrich"},{"first_name":"Heinz Josef","last_name":"Eikerling","full_name":"Eikerling, Heinz Josef"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"language":[{"iso":"eng"}],"_id":"53586","date_updated":"2024-04-18T20:51:27Z","year":"2002","status":"public","title":"Proceedings of the VHE Workshop","publication_identifier":{"isbn":["3-826598-84-9"]}},{"date_updated":"2023-01-24T10:02:46Z","author":[{"full_name":"Schäfer, Robbie","first_name":"Robbie","last_name":"Schäfer"},{"full_name":"Dangberg, Andreas","first_name":"Andreas","last_name":"Dangberg"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"title":"RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents","status":"public","year":"2002","user_id":"5786","_id":"39371","language":[{"iso":"eng"}],"abstract":[{"text":"With the increasing availability of various web-enabled mobile devices, content has to be effectively adapted to their different limitations. So, web content need rearrangement, i.e., a transcoding, to better fit on small displays when, for instance, layout specific HTML structures like tables and frames are used. In this article, we present a description language to define generic rules for this purpose and introduce RDL/TT (Rule Description Language for Tree Transformation). RDL/TT specifies sets of transcoding functions generic to user and hardware profiles. A Java-oriented syntax is used to describe the transcoding functions which operate on the DOM (Document Object Model) tree representation of an HTML or XML document.","lang":"eng"}],"citation":{"bibtex":"@inproceedings{Schäfer_Dangberg_Müller_2002, place={Paderborn, Germany}, title={RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents}, booktitle={Proceedings of the VHE Workshop}, author={Schäfer, Robbie and Dangberg, Andreas and Müller, Wolfgang}, year={2002} }","ama":"Schäfer R, Dangberg A, Müller W. RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. In: <i>Proceedings of the VHE Workshop</i>. ; 2002.","mla":"Schäfer, Robbie, et al. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” <i>Proceedings of the VHE Workshop</i>, 2002.","short":"R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop, Paderborn, Germany, 2002.","chicago":"Schäfer, Robbie, Andreas Dangberg, and Wolfgang Müller. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” In <i>Proceedings of the VHE Workshop</i>. Paderborn, Germany, 2002.","ieee":"R. Schäfer, A. Dangberg, and W. Müller, “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents,” 2002.","apa":"Schäfer, R., Dangberg, A., &#38; Müller, W. (2002). RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. <i>Proceedings of the VHE Workshop</i>."},"publication":"Proceedings of the VHE Workshop","department":[{"_id":"672"}],"type":"conference","place":"Paderborn, Germany","date_created":"2023-01-24T10:02:35Z"},{"status":"public","title":"Distributed Video-on-Demand Services on Peer to Peer Basis","year":"2002","author":[{"first_name":"Chris","last_name":"Loeser","full_name":"Loeser, Chris"},{"last_name":"Altenbernd","first_name":"Peter","full_name":"Altenbernd, Peter"},{"last_name":"Ditze","first_name":"Michael","full_name":"Ditze, Michael"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"date_updated":"2023-01-24T10:00:24Z","_id":"39370","language":[{"iso":"eng"}],"user_id":"5786","publication":"Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)","citation":{"chicago":"Loeser, Chris, Peter Altenbernd, Michael Ditze, and Wolfgang Müller. “Distributed Video-on-Demand Services on Peer to Peer Basis.” In <i>Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)</i>, 2002.","short":"C. Loeser, P. Altenbernd, M. Ditze, W. Müller, in: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.","ieee":"C. Loeser, P. Altenbernd, M. Ditze, and W. Müller, “Distributed Video-on-Demand Services on Peer to Peer Basis,” 2002.","apa":"Loeser, C., Altenbernd, P., Ditze, M., &#38; Müller, W. (2002). Distributed Video-on-Demand Services on Peer to Peer Basis. <i>Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)</i>.","bibtex":"@inproceedings{Loeser_Altenbernd_Ditze_Müller_2002, title={Distributed Video-on-Demand Services on Peer to Peer Basis}, booktitle={Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)}, author={Loeser, Chris and Altenbernd, Peter and Ditze, Michael and Müller, Wolfgang}, year={2002} }","ama":"Loeser C, Altenbernd P, Ditze M, Müller W. Distributed Video-on-Demand Services on Peer to Peer Basis. In: <i>Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)</i>. ; 2002.","mla":"Loeser, Chris, et al. “Distributed Video-on-Demand Services on Peer to Peer Basis.” <i>Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)</i>, 2002."},"abstract":[{"lang":"eng","text":"Within this paper we propose architecture ideas of a distributed Video on Demand network which base on peer to peer technology. Each peer offers video streams to other peers and may receive a video stream from another peer simultaneously. This results in an optimization problem depending on different factors which we approximate with the help of an simulation environment. Our approach bases on a peer to peer framework by Sun called Project JXTA which provides a set of protocols for P2P applications."}],"date_created":"2023-01-24T10:00:17Z","type":"conference","department":[{"_id":"672"}]},{"author":[{"full_name":"Schäfer, Robbie","last_name":"Schäfer","first_name":"Robbie"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"first_name":"Andreas","last_name":"Dangberg","full_name":"Dangberg, Andreas"}],"title":"Fuzzy Rules for the Transcoding of HTML Files","year":"2002","status":"public","date_updated":"2023-01-24T10:07:22Z","_id":"39378","language":[{"iso":"eng"}],"user_id":"5786","citation":{"ama":"Schäfer R, Müller W, Dangberg A. Fuzzy Rules for the Transcoding of HTML Files. In: <i>Proceedings of the HICSS-35</i>. ; 2002.","bibtex":"@inproceedings{Schäfer_Müller_Dangberg_2002, place={Hawaii, USA}, title={Fuzzy Rules for the Transcoding of HTML Files}, booktitle={Proceedings of the HICSS-35}, author={Schäfer, Robbie and Müller, Wolfgang and Dangberg, Andreas}, year={2002} }","mla":"Schäfer, Robbie, et al. “Fuzzy Rules for the Transcoding of HTML Files.” <i>Proceedings of the HICSS-35</i>, 2002.","short":"R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii, USA, 2002.","chicago":"Schäfer, Robbie, Wolfgang Müller, and Andreas Dangberg. “Fuzzy Rules for the Transcoding of HTML Files.” In <i>Proceedings of the HICSS-35</i>. Hawaii, USA, 2002.","apa":"Schäfer, R., Müller, W., &#38; Dangberg, A. (2002). Fuzzy Rules for the Transcoding of HTML Files. <i>Proceedings of the HICSS-35</i>.","ieee":"R. Schäfer, W. Müller, and A. Dangberg, “Fuzzy Rules for the Transcoding of HTML Files,” 2002."},"publication":"Proceedings of the HICSS-35","place":"Hawaii, USA","date_created":"2023-01-24T10:07:18Z","department":[{"_id":"672"}],"type":"conference"},{"publication":"Proceedings of the UML 2002 - The Unified Modeling Language","citation":{"short":"S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002.","chicago":"Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” In <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>. Dresden, Germany: Springer-Verlag, 2002.","ieee":"S. Flake and W. Müller, “A UML Profile for Real-Time Constraints with the OCL,” 2002.","apa":"Flake, S., &#38; Müller, W. (2002). A UML Profile for Real-Time Constraints with the OCL. <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>.","bibtex":"@inproceedings{Flake_Müller_2002, place={Dresden, Germany}, title={A UML Profile for Real-Time Constraints with the OCL}, booktitle={Proceedings of the UML 2002 - The Unified Modeling Language}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }","ama":"Flake S, Müller W. A UML Profile for Real-Time Constraints with the OCL. In: <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>. Springer-Verlag; 2002.","mla":"Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>, Springer-Verlag, 2002."},"abstract":[{"text":"This article presents a UML profile for an OCL extension that enables modelers to specify behavioral, state-oriented real-time constraints in OCL. In order to perform a seamless integration into the upcoming UML2.0 standard, we take the latest OCL2.0 metamodel proposal by Warmer et al. [22] as a basis. A formal semantics of our temporal OCL extension is given by a mapping to time-annotated temporal logics formulae. To give an example of the applicability of our extension, we consider a modeling approach for manufacturing systems called MFERT. We present a corresponding UML profile for that approach and combine both profiles for formal verification by real-time model checking.","lang":"eng"}],"date_created":"2023-01-24T10:17:16Z","place":"Dresden, Germany","type":"conference","department":[{"_id":"672"}],"year":"2002","title":"A UML Profile for Real-Time Constraints with the OCL","status":"public","author":[{"full_name":"Flake, Stephan","first_name":"Stephan","last_name":"Flake"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"date_updated":"2023-01-24T10:18:16Z","_id":"39398","publisher":"Springer-Verlag","language":[{"iso":"eng"}],"user_id":"5786"},{"status":"public","title":"Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen","year":"2002","author":[{"full_name":"Dangelmeier, Wilhelm","last_name":"Dangelmeier","first_name":"Wilhelm"},{"full_name":"Darnedde, C.","first_name":"C.","last_name":"Darnedde"},{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"last_name":"Pape","first_name":"U.","full_name":"Pape, U."}],"date_updated":"2023-01-24T10:15:39Z","series_title":"Tagungsband: 4. Paderborner Frühlingstagung","_id":"39393","language":[{"iso":"eng"}],"user_id":"5786","citation":{"ieee":"W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, and U. Pape, “Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Paderborn, Germany, 2002.","apa":"Dangelmeier, W., Darnedde, C., Flake, S., Müller, W., &#38; Pape, U. (2002). <i>Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen</i>.","short":"W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).","chicago":"Dangelmeier, Wilhelm, C. Darnedde, Stephan Flake, Wolfgang Müller, and U. Pape. “Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Tagungsband: 4. Paderborner Frühlingstagung. Paderborn, Germany, 2002.","mla":"Dangelmeier, Wilhelm, et al. <i>Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen</i>. 2002.","bibtex":"@article{Dangelmeier_Darnedde_Flake_Müller_Pape_2002, place={Paderborn, Germany}, series={Tagungsband: 4. Paderborner Frühlingstagung}, title={Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen}, author={Dangelmeier, Wilhelm and Darnedde, C. and Flake, Stephan and Müller, Wolfgang and Pape, U.}, year={2002}, collection={Tagungsband: 4. Paderborner Frühlingstagung} }","ama":"Dangelmeier W, Darnedde C, Flake S, Müller W, Pape U. Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. Published online 2002."},"date_created":"2023-01-24T10:15:34Z","place":"Paderborn, Germany","type":"conference","department":[{"_id":"672"}]},{"date_created":"2023-01-24T10:10:24Z","place":"Nagoya, Japan","keyword":["Standardization","Kernel","Permission","Formal verification","Logic functions","Documentation","Reasoning about programs","Specification languages","Formal specifications","Software systems"],"type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of the ISSS02","citation":{"apa":"Müller, W., Dömer, R., &#38; Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. <i>Proceedings of the ISSS02</i>. <a href=\"https://doi.org/10.1145/581199.581234 \">https://doi.org/10.1145/581199.581234 </a>","ieee":"W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: <a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>.","chicago":"Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.” In <i>Proceedings of the ISSS02</i>. Nagoya, Japan, 2002. <a href=\"https://doi.org/10.1145/581199.581234 \">https://doi.org/10.1145/581199.581234 </a>.","short":"W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.","mla":"Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” <i>Proceedings of the ISSS02</i>, 2002, doi:<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>.","ama":"Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC. In: <i>Proceedings of the ISSS02</i>. ; 2002. doi:<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>","bibtex":"@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The Formal Execution Semantics of SpecC}, DOI={<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>}, booktitle={Proceedings of the ISSS02}, author={Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }"},"abstract":[{"lang":"eng","text":"We present a rigorous but transparent semantics definition of the SpecC language that covers the execution of SpecC behaviors and their interaction with the kernel process. The semantics include wait, wait for, par, and try statements as they are introduced in SpecC. We present our definition in form of distributed abstract state machine (ASM) rules strictly following the lines of the SpecC Language Reference Manual. We mainly see our formal semantics in three application areas. First, it is a concise, unambiguous description for documentation and standardization. Second, it applies as a high-level, pseudo code-oriented specification for the implementation of a SpecC simulator. Finally, it is a first step for SpecC synthesis in order to identify similar concepts with other languages like VHDL and SystemC for the definition of common patterns and language subsets."}],"language":[{"iso":"eng"}],"_id":"39382","user_id":"5786","doi":"10.1145/581199.581234 ","status":"public","title":"The Formal Execution Semantics of SpecC","year":"2002","publication_identifier":{"isbn":["1-58113-576-9"]},"author":[{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"full_name":"Dömer, Rainer","last_name":"Dömer","first_name":"Rainer"},{"first_name":"Andreas","last_name":"Gerstlauer","full_name":"Gerstlauer, Andreas"}],"date_updated":"2023-01-24T10:10:28Z"}]