[{"language":[{"iso":"eng"}],"_id":"39368","user_id":"5786","author":[{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"status":"public","year":"2003","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":{"short":"A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 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.","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.","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."},"publication":"Proceedings of FDL'03"},{"status":"public","title":"Formal Semantics of OCL Messages","year":"2003","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_updated":"2023-01-24T09:54:24Z","_id":"39369","language":[{"iso":"eng"}],"user_id":"5786","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.","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} }","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.","ieee":"S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 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>.","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.","short":"S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003."},"abstract":[{"lang":"eng","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."}],"place":"San Francisco, USA","date_created":"2023-01-24T09:54:09Z","type":"conference","department":[{"_id":"672"}]},{"editor":[{"full_name":"Clark, T.","last_name":"Clark","first_name":"T."},{"last_name":"Warmer","first_name":"J.","full_name":"Warmer, J."}],"user_id":"5786","_id":"34447","publisher":"Springer-Verlag","page":"150 - 171","status":"public","place":"Berlin, Heidelberg","citation":{"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>","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.","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>.","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.","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>.","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>","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} }"},"doi":"10.1007/3-540-45669-4_8","language":[{"iso":"eng"}],"date_updated":"2022-12-15T11:38:47Z","publication_identifier":{"isbn":["978-3-540-45669-8"]},"author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"title":"An OCL Extension for Real-Time Constraints","year":"2002","department":[{"_id":"672"}],"type":"book_chapter","keyword":["Model Check     Temporal Logic     Object Constraint Language     Execution Path     Kripke Structure"],"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"},{"department":[{"_id":"672"}],"type":"journal_article","date_created":"2022-12-20T09:41:02Z","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} }"},"publication":"it+ti","user_id":"5786","publisher":"Oldenbourg Verlag","_id":"34576","language":[{"iso":"eng"}],"page":"128-136","date_updated":"2022-12-20T09:41:28Z","author":[{"full_name":"Eikerling, H. J.","first_name":"H. J.","last_name":"Eikerling"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"full_name":"Wegener, J.","first_name":"J.","last_name":"Wegener"}],"year":"2002","title":"Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken","status":"public"},{"place":"Paderborn, Germany","date_created":"2023-01-24T10:02:35Z","type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of the VHE Workshop","citation":{"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.","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} }","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.","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.","short":"R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop, Paderborn, Germany, 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>.","ieee":"R. Schäfer, A. Dangberg, and W. Müller, “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents,” 2002."},"abstract":[{"lang":"eng","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."}],"language":[{"iso":"eng"}],"_id":"39371","user_id":"5786","title":"RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents","status":"public","year":"2002","author":[{"full_name":"Schäfer, Robbie","last_name":"Schäfer","first_name":"Robbie"},{"full_name":"Dangberg, Andreas","first_name":"Andreas","last_name":"Dangberg"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_updated":"2023-01-24T10:02:46Z"},{"publication":"Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)","citation":{"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.","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.","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.","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>."},"abstract":[{"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.","lang":"eng"}],"date_created":"2023-01-24T10:00:17Z","type":"conference","department":[{"_id":"672"}],"year":"2002","title":"Distributed Video-on-Demand Services on Peer to Peer Basis","status":"public","author":[{"last_name":"Loeser","first_name":"Chris","full_name":"Loeser, Chris"},{"full_name":"Altenbernd, Peter","last_name":"Altenbernd","first_name":"Peter"},{"full_name":"Ditze, Michael","first_name":"Michael","last_name":"Ditze"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"date_updated":"2023-01-24T10:00:24Z","language":[{"iso":"eng"}],"_id":"39370","user_id":"5786"},{"place":"Hawaii, USA","date_created":"2023-01-24T10:07:18Z","type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of the HICSS-35","citation":{"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.","ieee":"R. Schäfer, W. Müller, and A. Dangberg, “Fuzzy Rules for the Transcoding of HTML Files,” 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>.","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} }","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.","mla":"Schäfer, Robbie, et al. “Fuzzy Rules for the Transcoding of HTML Files.” <i>Proceedings of the HICSS-35</i>, 2002."},"language":[{"iso":"eng"}],"_id":"39378","user_id":"5786","year":"2002","title":"Fuzzy Rules for the Transcoding of HTML Files","status":"public","author":[{"last_name":"Schäfer","first_name":"Robbie","full_name":"Schäfer, Robbie"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Dangberg, Andreas","first_name":"Andreas","last_name":"Dangberg"}],"date_updated":"2023-01-24T10:07:22Z"},{"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T10:17:16Z","place":"Dresden, Germany","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"}],"publication":"Proceedings of the UML 2002 - The Unified Modeling Language","citation":{"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.","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>."},"user_id":"5786","language":[{"iso":"eng"}],"_id":"39398","publisher":"Springer-Verlag","date_updated":"2023-01-24T10:18:16Z","title":"A UML Profile for Real-Time Constraints with the OCL","year":"2002","status":"public","author":[{"last_name":"Flake","first_name":"Stephan","full_name":"Flake, Stephan"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}]},{"citation":{"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.","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>.","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.","mla":"Dangelmeier, Wilhelm, et al. <i>Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen</i>. 2002."},"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T10:15:34Z","place":"Paderborn, Germany","date_updated":"2023-01-24T10:15:39Z","status":"public","title":"Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen","year":"2002","author":[{"full_name":"Dangelmeier, Wilhelm","first_name":"Wilhelm","last_name":"Dangelmeier"},{"full_name":"Darnedde, C.","first_name":"C.","last_name":"Darnedde"},{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"full_name":"Pape, U.","first_name":"U.","last_name":"Pape"}],"user_id":"5786","_id":"39393","series_title":"Tagungsband: 4. Paderborner Frühlingstagung","language":[{"iso":"eng"}]},{"citation":{"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>.","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} }","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>","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>.","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>","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."},"publication":"Proceedings of the ISSS02","abstract":[{"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.","lang":"eng"}],"place":"Nagoya, Japan","date_created":"2023-01-24T10:10:24Z","department":[{"_id":"672"}],"type":"conference","keyword":["Standardization","Kernel","Permission","Formal verification","Logic functions","Documentation","Reasoning about programs","Specification languages","Formal specifications","Software systems"],"publication_identifier":{"isbn":["1-58113-576-9"]},"author":[{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"first_name":"Rainer","last_name":"Dömer","full_name":"Dömer, Rainer"},{"last_name":"Gerstlauer","first_name":"Andreas","full_name":"Gerstlauer, Andreas"}],"title":"The Formal Execution Semantics of SpecC","status":"public","year":"2002","date_updated":"2023-01-24T10:10:28Z","language":[{"iso":"eng"}],"_id":"39382","doi":"10.1145/581199.581234 ","user_id":"5786"},{"user_id":"5786","language":[{"iso":"eng"}],"_id":"39387","date_updated":"2023-01-24T10:12:45Z","author":[{"full_name":"Plomp, Johan","first_name":"Johan","last_name":"Plomp"},{"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"}],"year":"2002","title":"Comparing Transcoding Tools for Use with a Generic User Interface Format","status":"public","department":[{"_id":"672"}],"type":"conference","place":"Montreal, Canada","date_created":"2023-01-24T10:12:41Z","abstract":[{"lang":"eng","text":"This paper compares the use of three different approaches to transcoding of XML [Extensible Markup Language]-based user interface descriptions to other target formats. The source is the interface section of the XML-based markup language for user interfaces, UIML [User Interface Markup Language], which has been extended with a vocabulary for the description of generic user interfaces. Target formats used as examples for the comparison are HTML [Hypertext Markup Language], and VoiceXML. The compared means for transcoding are XSLT [Extensible Stylesheet Language Transformation], the UIML peers section with enhancements for transcoding, and RDL/TT [Rule Description Language for Tree Transformation], a Java-like transcoding language. Rendered by www.RenderX.com Comparing Transcoding Tools for Use with a Generic User Interface Format."}],"citation":{"ieee":"J. Plomp, R. Schäfer, and W. Müller, “Comparing Transcoding Tools for Use with a Generic User Interface Format,” 2002.","apa":"Plomp, J., Schäfer, R., &#38; Müller, W. (2002). Comparing Transcoding Tools for Use with a Generic User Interface Format. <i>Proceedings of the Extreme Markup Languages 2002</i>.","chicago":"Plomp, Johan, Robbie Schäfer, and Wolfgang Müller. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” In <i>Proceedings of the Extreme Markup Languages 2002</i>. Montreal, Canada, 2002.","short":"J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages 2002, Montreal, Canada, 2002.","mla":"Plomp, Johan, et al. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” <i>Proceedings of the Extreme Markup Languages 2002</i>, 2002.","bibtex":"@inproceedings{Plomp_Schäfer_Müller_2002, place={Montreal, Canada}, title={Comparing Transcoding Tools for Use with a Generic User Interface Format}, booktitle={Proceedings of the Extreme Markup Languages 2002}, author={Plomp, Johan and Schäfer, Robbie and Müller, Wolfgang}, year={2002} }","ama":"Plomp J, Schäfer R, Müller W. Comparing Transcoding Tools for Use with a Generic User Interface Format. In: <i>Proceedings of the Extreme Markup Languages 2002</i>. ; 2002."},"publication":"Proceedings of the Extreme Markup Languages 2002"},{"doi":"10.1109/HICSS.2002.994469","user_id":"5786","language":[{"iso":"eng"}],"_id":"39403","date_updated":"2023-01-24T10:22:16Z","conference":{"name":"Proceedings of the 35th Annual Hawaii International Conference on System Sciences","location":"Big Island, HI, USA "},"publication_identifier":{"isbn":["0-7695-1435-9"]},"author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"status":"public","year":"2002","title":"Specification of Real-Time Properties for UML Models","department":[{"_id":"672"}],"type":"conference","keyword":["Unified modeling language","Logic","Formal verification","Real time systems","Programming profession","Vehicle dynamics","Software standards","Flexible manufacturing systems","Electronics industry","Protocols"],"place":"Big Island, HI, USA ","date_created":"2023-01-24T10:22:12Z","abstract":[{"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).","lang":"eng"}],"citation":{"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>.","short":"S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.","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>.","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} }","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>","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>."},"publication":"Proceedings of HICSS-35"},{"user_id":"5786","series_title":"Tagungsband: 2. Workshop \"Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen\"","_id":"39402","language":[{"iso":"eng"}],"date_updated":"2023-01-24T10:20:03Z","year":"2002","status":"public","title":"Temporale Erweiterungen der OCL - Überblick und Aussichten","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"}],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T10:19:57Z","place":"Halle(Saale), Germany","abstract":[{"text":"Die Object Constraint Language (OCL) wurde entwickelt, um Modelleinschränkungen beim objektorientierten Softwareentwurf mit der UML [14] ausdrücken zu können. Sie wird hauptsächlich benutzt, um Invarianten für Objekte sowie Vor-und Nachbedingungen von Operationen zu spezifizieren. Zurzeit bieten OCL und Echtzeiterweiterungen der UML nur bedingt geeignete Mittel, um temporale zeitbehaftete Modelleigenschaften zu beschreiben. Insbesondere kann man mit OCL keine Einschränkunge uber das dynamische Verhalten eines UML-Modells formulieren, die die Reihenfolge von Objektzuständen und Zustandsübergängen betreffen. Um ein korrektes Systemverhalten zu garantieren, ist es jedoch insbesondere bei zeitkritischen Anwendungen notwendig, solche zustandsbasierten zeitbehafteten Einschränkungen in einer formalen Art und Weise ausdrücken zu können. Es sind daher verschiedene Vorschläge veröffentlicht worden, in denen die OCL erweitert worden ist, um Modellierern die Möglichkeit zu geben, temporale Einschränkungen zu formulieren. Dieser Artikel gibt eine Überblick über die zurzeit bekannten Vorschläge und zeigt Ansätze für weitere Entwicklungen in diesem Bereich auf.","lang":"eng"}],"citation":{"chicago":"Flake, Stephan, and Wolfgang Müller. “Temporale Erweiterungen Der OCL - Überblick Und Aussichten.” Tagungsband: 2. Workshop “Ablaufmodellierung in Ingenieurwissenschaftlichen Anwendungen.” Halle(Saale), Germany, 2002.","short":"S. Flake, W. Müller, (2002).","ieee":"S. Flake and W. Müller, “Temporale Erweiterungen der OCL - Überblick und Aussichten.” Halle(Saale), Germany, 2002.","apa":"Flake, S., &#38; Müller, W. (2002). <i>Temporale Erweiterungen der OCL - Überblick und Aussichten</i>.","bibtex":"@article{Flake_Müller_2002, place={Halle(Saale), Germany}, series={Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”}, title={Temporale Erweiterungen der OCL - Überblick und Aussichten}, author={Flake, Stephan and Müller, Wolfgang}, year={2002}, collection={Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”} }","ama":"Flake S, Müller W. Temporale Erweiterungen der OCL - Überblick und Aussichten. Published online 2002.","mla":"Flake, Stephan, and Wolfgang Müller. <i>Temporale Erweiterungen Der OCL - Überblick Und Aussichten</i>. 2002."}},{"keyword":["Virtual prototyping","Animation","Collaboration","System analysis and design","Feedback","Application software","Power system modeling","Handicapped aids","Process design","Contracts"],"type":"conference","department":[{"_id":"672"}],"place":"Cambridge, MA, USA ","date_created":"2023-01-24T10:30:14Z","abstract":[{"lang":"eng","text":"Rapid prototyping based on 3D models is well accepted for several applications. This article addresses the application of animated virtual 3D prototypes for the development of computer-based systems supporting early collaboration of the system designer with the external customer. Our methodology seamlessly integrates illustration through 3D animation with the main tasks of computer-based real-time systems development, i.e., implementation and verification. The approach is outlined by the example of the design of a flexible manufacturing system."}],"publication":"Proceedings of IEEE KMN 2001","citation":{"short":"S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.","chicago":"Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In <i>Proceedings of IEEE KMN 2001</i>. Cambridge, MA, USA , 2001. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>.","apa":"Flake, S., Geiger, C., Müller, W., &#38; Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. <i>Proceedings of IEEE KMN 2001</i>. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>","ieee":"S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","ama":"Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: <i>Proceedings of IEEE KMN 2001</i>. ; 2001. doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>","bibtex":"@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }","mla":"Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” <i>Proceedings of IEEE KMN 2001</i>, 2001, doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>."},"doi":"10.1109/ENABL.2001.953425","user_id":"5786","language":[{"iso":"eng"}],"_id":"39411","date_updated":"2023-01-24T10:30:21Z","title":"Customer-Oriented Systems Design through Virtual Prototyps","status":"public","year":"2001","conference":{"name":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises"},"publication_identifier":{"isbn":["0-7695-1269-0"]},"author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Ruf, Jürgen","first_name":"Jürgen","last_name":"Ruf"}]},{"abstract":[{"text":"This article presents challenges, visions, and solutions for a true Pan-\r\nEuropean collaborative engineering infrastructure that is a target of the IST project\r\nE-COLLEG. The consortium aims at the definition of a transparent infrastructure\r\nthat will enable engineers from various domains to collaborate during the design of\r\ncomplex heterogeneous systems. In this context, we introduce an advanced\r\ncollaborative infrastructure (ACI). ACI covers dynamic Tool Registration and\r\nManagement Services (TRMS) for distance-spanning, tool integration and\r\nadministration, as well as open interfaces for XML-based data exchange. TRMS\r\nwill constitute a backbone for E-COLLEG-related pan-European collaborative\r\nresearch and engineering studies by fostering a combination of most recent Plug-\r\nand-Play techniques employing agent-based communication based on XML-\r\noriented integration technologies. This new enabling technology for collaborative\r\nengineering is validated in two application scenarios.","lang":"eng"}],"citation":{"mla":"Bauer, M., et al. <i>Advanced Infrastructure for PAN-European Collaborative Engineering</i>. 2001.","bibtex":"@article{Bauer_Eikerling_Müller_Pawlak_Siekierska_Soderberg_Warzee_2001, place={Venice, Italy}, series={The e-Business and e-Work Conference and Exhibition}, title={Advanced Infrastructure for PAN-European Collaborative Engineering}, author={Bauer, M. and Eikerling, Heinz-Josef and Müller, Wolfgang and Pawlak, A. and Siekierska, K. and Soderberg, D. and Warzee, X.}, year={2001}, collection={The e-Business and e-Work Conference and Exhibition} }","ama":"Bauer M, Eikerling H-J, Müller W, et al. Advanced Infrastructure for PAN-European Collaborative Engineering. Published online 2001.","ieee":"M. Bauer <i>et al.</i>, “Advanced Infrastructure for PAN-European Collaborative Engineering.” Venice, Italy, 2001.","apa":"Bauer, M., Eikerling, H.-J., Müller, W., Pawlak, A., Siekierska, K., Soderberg, D., &#38; Warzee, X. (2001). <i>Advanced Infrastructure for PAN-European Collaborative Engineering</i>.","chicago":"Bauer, M., Heinz-Josef Eikerling, Wolfgang Müller, A. Pawlak, K. Siekierska, D. Soderberg, and X. Warzee. “Advanced Infrastructure for PAN-European Collaborative Engineering.” The E-Business and e-Work Conference and Exhibition. Venice, Italy, 2001.","short":"M. Bauer, H.-J. Eikerling, W. Müller, A. Pawlak, K. Siekierska, D. Soderberg, X. Warzee, (2001)."},"department":[{"_id":"672"}],"type":"conference","date_created":"2023-01-24T10:27:55Z","place":"Venice, Italy","date_updated":"2023-01-24T10:28:01Z","author":[{"full_name":"Bauer, M.","first_name":"M.","last_name":"Bauer"},{"first_name":"Heinz-Josef","last_name":"Eikerling","full_name":"Eikerling, Heinz-Josef"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"first_name":"A.","last_name":"Pawlak","full_name":"Pawlak, A."},{"full_name":"Siekierska, K.","first_name":"K.","last_name":"Siekierska"},{"first_name":"D.","last_name":"Soderberg","full_name":"Soderberg, D."},{"full_name":"Warzee, X.","first_name":"X.","last_name":"Warzee"}],"status":"public","title":"Advanced Infrastructure for PAN-European Collaborative Engineering","year":"2001","user_id":"5786","_id":"39407","series_title":"The e-Business and e-Work Conference and Exhibition","language":[{"iso":"eng"}]},{"abstract":[{"lang":"eng","text":"We present a rigorous but transparent semantics definition of SystemC that covers method, thread, and clocked thread behavior as well as their interaction with the simulation kernel process. The semantics includes watching statements, signal assignment, and wait statements as they are introduced in SystemC V1.O. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemC User's Manual and the reference implementation. We mainly see our formal semantics as a concise, unambiguous, high-level specification for SystemC-based implementations and for standardization. Additionally, it can be used as a sound basis to investigate SystemC interoperability with Verilog and VHDL."}],"publication":"Proceedings of the Design, Automation, and Test in Europe (DATE’01)","citation":{"short":"W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.","chicago":"Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. Munich, Germany : IEEE, 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>.","ieee":"W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: <a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","apa":"Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., &#38; Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>.  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>","bibtex":"@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }","ama":"Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. IEEE; 2001. doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>","mla":"Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>, IEEE, 2001, doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>."},"type":"conference","keyword":["Yarn","Formal verification","Kernel","Hardware design languages","Electronic design automation and methodology","Algebra","Computational modeling","Logic functions","Computer languages","Clocks"],"department":[{"_id":"672"}],"date_created":"2023-01-24T10:39:33Z","place":"Munich, Germany ","date_updated":"2023-01-24T10:39:38Z","year":"2001","status":"public","title":"The Simulation Semantics of SystemC","publication_identifier":{"isbn":["0-7695-0993-2"]},"author":[{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Jürgen","last_name":"Ruf","full_name":"Ruf, Jürgen"},{"full_name":"Hoffmann, D. W.","last_name":"Hoffmann","first_name":"D. W."},{"full_name":"Gerlach, Joachim","first_name":"Joachim","last_name":"Gerlach"},{"first_name":"Thomas","last_name":"Kropf","full_name":"Kropf, Thomas"},{"last_name":"Rosenstiehl","first_name":"W.","full_name":"Rosenstiehl, W."}],"conference":{"name":" Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001"},"user_id":"5786","doi":"10.1109/DATE.2001.915002","publisher":"IEEE","_id":"39421","language":[{"iso":"eng"}]},{"place":"Dubai","date_created":"2023-01-24T10:43:11Z","department":[{"_id":"672"}],"type":"conference","citation":{"short":"S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai, 2001.","chicago":"Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” In <i>Proceedings of ISI 2001</i>. Dubai, 2001.","apa":"Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2001). Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. <i>Proceedings of ISI 2001</i>.","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the Analysis of flexible Manufacturing Systems,” 2001.","ama":"Flake S, Müller W, Pape U, Ruf J. Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. In: <i>Proceedings of ISI 2001</i>. ; 2001.","bibtex":"@inproceedings{Flake_Müller_Pape_Ruf_2001, place={Dubai}, title={Real-Time Model Checking for the Analysis of flexible Manufacturing Systems}, booktitle={Proceedings of ISI 2001}, author={Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf, Jürgen}, year={2001} }","mla":"Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” <i>Proceedings of ISI 2001</i>, 2001."},"publication":"Proceedings of ISI 2001","_id":"39427","language":[{"iso":"eng"}],"user_id":"5786","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"U.","last_name":"Pape","full_name":"Pape, U."},{"full_name":"Ruf, Jürgen","first_name":"Jürgen","last_name":"Ruf"}],"status":"public","title":"Real-Time Model Checking for the Analysis of flexible Manufacturing Systems","year":"2001","date_updated":"2023-01-24T10:43:21Z"},{"title":"A Language for the Rapid Prototyping of Mobile Evolving Agents","year":"2001","status":"public","author":[{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Meyer, A.","first_name":"A.","last_name":"Meyer"},{"full_name":"Zabel, Henning","last_name":"Zabel","first_name":"Henning"}],"publication_identifier":{"isbn":["0-7695-0981-9"]},"date_updated":"2023-01-24T10:48:14Z","language":[{"iso":"eng"}],"_id":"39432","doi":"10.1109/HICSS.2001.926319","user_id":"5786","publication":"Proceedings of the 34th Annual Hawaii International Conference on System Sciences","citation":{"apa":"Müller, W., Meyer, A., &#38; Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>. <a href=\"https://doi.org/10.1109/HICSS.2001.926319\">https://doi.org/10.1109/HICSS.2001.926319</a>","ieee":"W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping of Mobile Evolving Agents,” 2001, doi: <a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>.","short":"W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, Maui, HI, USA , 2001.","chicago":"Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” In <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>. Maui, HI, USA , 2001. <a href=\"https://doi.org/10.1109/HICSS.2001.926319\">https://doi.org/10.1109/HICSS.2001.926319</a>.","mla":"Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>, 2001, doi:<a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>.","ama":"Müller W, Meyer A, Zabel H. A Language for the Rapid Prototyping of Mobile Evolving Agents. In: <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>. ; 2001. doi:<a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>","bibtex":"@inproceedings{Müller_Meyer_Zabel_2001, place={Maui, HI, USA }, title={A Language for the Rapid Prototyping of Mobile Evolving Agents}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>}, booktitle={Proceedings of the 34th Annual Hawaii International Conference on System Sciences}, author={Müller, Wolfgang and Meyer, A. and Zabel, Henning}, year={2001} }"},"abstract":[{"text":"This article presents SAL, a general purpose scripting language for the rapid development of distributed software agents seamlessly embedded in a visual environment. Integrated facilities for dynamic visualization provide sample but powerful means for debugging and domain-oriented animation. SAL agents are arranged on a set of 2D worksheets which can be distributed over different machines. An agent's program is defined by the means of a table specifying a set of state transition rules with a condition and a sequence of actions each. Beyond basic computation and communication, actions can dynamically modify the agent's depiction, its program, and spawn arbitrary processes. A couple of examples demonstrate SAL's applicability in various domains like electronic systems design and process management.","lang":"eng"}],"place":"Maui, HI, USA ","date_created":"2023-01-24T10:48:09Z","keyword":["software prototyping","distributed programming","authoring languages","software agents","program visualisation","parallel languages"],"type":"conference","department":[{"_id":"672"}]},{"title":"Security Concepts for Agent-Based Systems","status":"public","year":"2001","author":[{"last_name":"Lehrenfeld","first_name":"Georg","full_name":"Lehrenfeld, Georg"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Tellmann, Rainer","last_name":"Tellmann","first_name":"Rainer"}],"date_updated":"2023-01-24T10:45:54Z","_id":"39431","language":[{"iso":"eng"}],"user_id":"5786","publication":"Proceedings of SCASE 01","citation":{"mla":"Lehrenfeld, Georg, et al. “Security Concepts for Agent-Based Systems.” <i>Proceedings of SCASE 01</i>, 2001.","bibtex":"@inproceedings{Lehrenfeld_Müller_Tellmann_2001, place={Enschede, Netherlands}, title={Security Concepts for Agent-Based Systems}, booktitle={Proceedings of SCASE 01}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer}, year={2001} }","ama":"Lehrenfeld G, Müller W, Tellmann R. Security Concepts for Agent-Based Systems. In: <i>Proceedings of SCASE 01</i>. ; 2001.","ieee":"G. Lehrenfeld, W. Müller, and R. Tellmann, “Security Concepts for Agent-Based Systems,” 2001.","apa":"Lehrenfeld, G., Müller, W., &#38; Tellmann, R. (2001). Security Concepts for Agent-Based Systems. <i>Proceedings of SCASE 01</i>.","short":"G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede, Netherlands, 2001.","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and Rainer Tellmann. “Security Concepts for Agent-Based Systems.” In <i>Proceedings of SCASE 01</i>. Enschede, Netherlands, 2001."},"date_created":"2023-01-24T10:45:49Z","place":"Enschede, Netherlands","type":"conference","department":[{"_id":"672"}]},{"department":[{"_id":"672"}],"type":"conference","place":"Berlin","date_created":"2023-01-24T10:24:09Z","abstract":[{"lang":"eng","text":"Die Object Constraint Language (OCL) wurde entwickelt, um Modellierer bei der Spe-\r\nzifikation von Modelleigenschaften im Kontext gegebener UML Diagramme zu un-\r\nterst ̈utzen [3]. Jedoch ist es leider nicht m ̈oglich, Eigenschaften, die das dynamische\r\nVerhalten betreffen, mit der derzeitigen Version von OCL auszudr ̈ucken.\r\nWir pr ̈asentieren eine Erweiterung von OCL Version 1.4 zur Spezifikation von zu-\r\nstandsbasierten, zeitbehafteten Eigenschaften. Obwohl OCL und unsere Erweiterung\r\nin erster Linie im Rahmen der UML entwickelt worden sind, ist es auch m ̈oglich,\r\nmit dieser Sprache Eigenschaften f ̈ur andere objektbasierte Formalismen zu beschrei-\r\nben. Wir veranschaulichen dies anhand einer Anwendung bei der Modellpr ̈ufungsspe-\r\nzifikation in Verbindung mit MFERT, einer praxisrelevanten Notation, die im Projekt\r\nGRASP zur Modellierung von Produktionsabl ̈aufen eingesetzt wird."}],"citation":{"short":"S. Flake, W. Müller, (2001).","chicago":"Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001.","ieee":"S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.” Berlin, 2001.","apa":"Flake, S., &#38; Müller, W. (2001). <i>Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie</i>.","bibtex":"@article{Flake_Müller_2001, place={Berlin}, series={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen}, title={Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie}, author={Flake, Stephan and Müller, Wolfgang}, year={2001}, collection={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen} }","ama":"Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. Published online 2001.","mla":"Flake, Stephan, and Wolfgang Müller. <i>Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie</i>. 2001."},"user_id":"5786","_id":"39406","series_title":"Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen","language":[{"iso":"eng"}],"date_updated":"2023-01-24T10:24:15Z","author":[{"full_name":"Flake, Stephan","first_name":"Stephan","last_name":"Flake"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"year":"2001","status":"public","title":"Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie"}]