[{"user_id":"5786","language":[{"iso":"eng"}],"_id":"39387","date_updated":"2023-01-24T10:12:45Z","title":"Comparing Transcoding Tools for Use with a Generic User Interface Format","status":"public","year":"2002","author":[{"full_name":"Plomp, Johan","last_name":"Plomp","first_name":"Johan"},{"full_name":"Schäfer, Robbie","first_name":"Robbie","last_name":"Schäfer"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T10:12:41Z","place":"Montreal, Canada","abstract":[{"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.","lang":"eng"}],"publication":"Proceedings of the Extreme Markup Languages 2002","citation":{"short":"J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages 2002, Montreal, Canada, 2002.","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.","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>.","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.","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."}},{"status":"public","year":"2002","title":"Specification of Real-Time Properties for UML Models","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"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"date_updated":"2023-01-24T10:22:16Z","language":[{"iso":"eng"}],"_id":"39403","doi":"10.1109/HICSS.2002.994469","user_id":"5786","publication":"Proceedings of HICSS-35","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>."},"abstract":[{"lang":"eng","text":"The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynamic behavior of a model. This article presents an OCL extension that is consistent with current OCL and enables modelers to specify state-related time-bounded constraints. We consider the case study of a flexible manufacturing system and identify typical real-time constraints. The constraints are presented in our temporal OCL extension as well as in temporal logic formulae. For general application, we define a semantics of our OCL extension by means of a time-bounded temporal logic based on Computational Tree Logic (CTL)."}],"place":"Big Island, HI, USA ","date_created":"2023-01-24T10:22:12Z","keyword":["Unified modeling language","Logic","Formal verification","Real time systems","Programming profession","Vehicle dynamics","Software standards","Flexible manufacturing systems","Electronics industry","Protocols"],"type":"conference","department":[{"_id":"672"}]},{"citation":{"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.","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>."},"abstract":[{"lang":"eng","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."}],"date_created":"2023-01-24T10:19:57Z","place":"Halle(Saale), Germany","type":"conference","department":[{"_id":"672"}],"year":"2002","title":"Temporale Erweiterungen der OCL - Überblick und Aussichten","status":"public","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"}],"date_updated":"2023-01-24T10:20:03Z","_id":"39402","series_title":"Tagungsband: 2. Workshop \"Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen\"","language":[{"iso":"eng"}],"user_id":"5786"},{"author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"first_name":"Christian","last_name":"Geiger","full_name":"Geiger, Christian"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Ruf, Jürgen","last_name":"Ruf","first_name":"Jürgen"}],"publication_identifier":{"isbn":["0-7695-1269-0"]},"conference":{"name":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises"},"title":"Customer-Oriented Systems Design through Virtual Prototyps","status":"public","year":"2001","date_updated":"2023-01-24T10:30:21Z","_id":"39411","language":[{"iso":"eng"}],"user_id":"5786","doi":"10.1109/ENABL.2001.953425","citation":{"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>.","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} }","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>.","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>."},"publication":"Proceedings of IEEE KMN 2001","abstract":[{"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.","lang":"eng"}],"date_created":"2023-01-24T10:30:14Z","place":"Cambridge, MA, USA ","department":[{"_id":"672"}],"keyword":["Virtual prototyping","Animation","Collaboration","System analysis and design","Feedback","Application software","Power system modeling","Handicapped aids","Process design","Contracts"],"type":"conference"},{"citation":{"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>.","short":"M. Bauer, H.-J. Eikerling, W. Müller, A. Pawlak, K. Siekierska, D. Soderberg, X. Warzee, (2001).","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.","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."},"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"}],"date_created":"2023-01-24T10:27:55Z","place":"Venice, Italy","type":"conference","department":[{"_id":"672"}],"status":"public","title":"Advanced Infrastructure for PAN-European Collaborative Engineering","year":"2001","author":[{"first_name":"M.","last_name":"Bauer","full_name":"Bauer, M."},{"full_name":"Eikerling, Heinz-Josef","last_name":"Eikerling","first_name":"Heinz-Josef"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"full_name":"Pawlak, A.","first_name":"A.","last_name":"Pawlak"},{"full_name":"Siekierska, K.","first_name":"K.","last_name":"Siekierska"},{"first_name":"D.","last_name":"Soderberg","full_name":"Soderberg, D."},{"full_name":"Warzee, X.","last_name":"Warzee","first_name":"X."}],"date_updated":"2023-01-24T10:28:01Z","series_title":"The e-Business and e-Work Conference and Exhibition","_id":"39407","language":[{"iso":"eng"}],"user_id":"5786"},{"publication":"Proceedings of the Design, Automation, and Test in Europe (DATE’01)","citation":{"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>","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>.","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>.","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>"},"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."}],"place":"Munich, Germany ","date_created":"2023-01-24T10:39:33Z","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"}],"title":"The Simulation Semantics of SystemC","status":"public","year":"2001","conference":{"name":" Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001"},"publication_identifier":{"isbn":["0-7695-0993-2"]},"author":[{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"full_name":"Ruf, Jürgen","first_name":"Jürgen","last_name":"Ruf"},{"full_name":"Hoffmann, D. W.","last_name":"Hoffmann","first_name":"D. W."},{"first_name":"Joachim","last_name":"Gerlach","full_name":"Gerlach, Joachim"},{"full_name":"Kropf, Thomas","last_name":"Kropf","first_name":"Thomas"},{"full_name":"Rosenstiehl, W.","first_name":"W.","last_name":"Rosenstiehl"}],"date_updated":"2023-01-24T10:39:38Z","_id":"39421","language":[{"iso":"eng"}],"publisher":"IEEE","doi":"10.1109/DATE.2001.915002","user_id":"5786"},{"place":"Dubai","date_created":"2023-01-24T10:43:11Z","department":[{"_id":"672"}],"type":"conference","citation":{"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.","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.","mla":"Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” <i>Proceedings of ISI 2001</i>, 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} }"},"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"},{"last_name":"Pape","first_name":"U.","full_name":"Pape, U."},{"last_name":"Ruf","first_name":"Jürgen","full_name":"Ruf, Jürgen"}],"title":"Real-Time Model Checking for the Analysis of flexible Manufacturing Systems","status":"public","year":"2001","date_updated":"2023-01-24T10:43:21Z"},{"keyword":["software prototyping","distributed programming","authoring languages","software agents","program visualisation","parallel languages"],"type":"conference","department":[{"_id":"672"}],"place":"Maui, HI, USA ","date_created":"2023-01-24T10:48:09Z","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"}],"publication":"Proceedings of the 34th Annual Hawaii International Conference on System Sciences","citation":{"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>.","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} }","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>","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>.","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>","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>."},"doi":"10.1109/HICSS.2001.926319","user_id":"5786","language":[{"iso":"eng"}],"_id":"39432","date_updated":"2023-01-24T10:48:14Z","status":"public","year":"2001","title":"A Language for the Rapid Prototyping of Mobile Evolving Agents","author":[{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"last_name":"Meyer","first_name":"A.","full_name":"Meyer, A."},{"full_name":"Zabel, Henning","last_name":"Zabel","first_name":"Henning"}],"publication_identifier":{"isbn":["0-7695-0981-9"]}},{"date_updated":"2023-01-24T10:45:54Z","title":"Security Concepts for Agent-Based Systems","status":"public","year":"2001","author":[{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"first_name":"Rainer","last_name":"Tellmann","full_name":"Tellmann, Rainer"}],"user_id":"5786","_id":"39431","language":[{"iso":"eng"}],"publication":"Proceedings of SCASE 01","citation":{"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.","short":"G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede, Netherlands, 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>.","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.","mla":"Lehrenfeld, Georg, et al. “Security Concepts for Agent-Based Systems.” <i>Proceedings of SCASE 01</i>, 2001."},"type":"conference","department":[{"_id":"672"}],"place":"Enschede, Netherlands","date_created":"2023-01-24T10:45:49Z"},{"department":[{"_id":"672"}],"type":"conference","date_created":"2023-01-24T10:24:09Z","place":"Berlin","abstract":[{"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.","lang":"eng"}],"citation":{"mla":"Flake, Stephan, and Wolfgang Müller. <i>Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie</i>. 2001.","ama":"Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. Published online 2001.","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} }","apa":"Flake, S., &#38; Müller, W. (2001). <i>Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie</i>.","ieee":"S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.” Berlin, 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.","short":"S. Flake, W. Müller, (2001)."},"user_id":"5786","language":[{"iso":"eng"}],"_id":"39406","series_title":"Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen","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"}],"status":"public","year":"2001","title":"Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie"},{"type":"conference","department":[{"_id":"672"}],"place":"Dubai","date_created":"2023-01-24T10:41:05Z","abstract":[{"text":"This paper introduces the VIVID (Visual Interactive VIew Development) framework for generation and customization of advanced visual interactive environments for resource manipulation in databases. The framework covers the definition of symbols, their mapping to database objects, specification of spatial relationships among them, layout assignment as well as the definition of drag&drop-based user interactions.","lang":"eng"}],"publication":"Proceedings of ISI 2001","citation":{"ama":"Dangberg A, Müller W. Generation of Interactive Visual Interfaces for Resource Management. In: <i>Proceedings of ISI 2001</i>. ; 2001.","bibtex":"@inproceedings{Dangberg_Müller_2001, place={Dubai}, title={Generation of Interactive Visual Interfaces for Resource Management}, booktitle={Proceedings of ISI 2001}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2001} }","mla":"Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” <i>Proceedings of ISI 2001</i>, 2001.","short":"A. Dangberg, W. Müller, in: Proceedings of ISI 2001, Dubai, 2001.","chicago":"Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” In <i>Proceedings of ISI 2001</i>. Dubai, 2001.","apa":"Dangberg, A., &#38; Müller, W. (2001). Generation of Interactive Visual Interfaces for Resource Management. <i>Proceedings of ISI 2001</i>.","ieee":"A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for Resource Management,” 2001."},"user_id":"5786","language":[{"iso":"eng"}],"_id":"39425","date_updated":"2023-01-24T10:41:09Z","title":"Generation of Interactive Visual Interfaces for Resource Management","status":"public","year":"2001","author":[{"first_name":"Andreas","last_name":"Dangberg","full_name":"Dangberg, Andreas"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}]},{"_id":"53588","user_id":"16243","publication_date":"2000/12/31","author":[{"full_name":"Dangberg, Andreas","last_name":"Dangberg","first_name":"Andreas"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"year":"2000","title":"Verfahren zur Steuerung der Anordnung von graphischen Elementen","status":"public","ipn":"DE200/0165323","date_updated":"2024-04-18T21:23:39Z","date_created":"2024-04-18T21:23:25Z","department":[{"_id":"58"}],"type":"patent","citation":{"ama":"Dangberg A, Müller W. Verfahren zur Steuerung der Anordnung von graphischen Elementen. Published online 2000.","bibtex":"@article{Dangberg_Müller_2000, title={Verfahren zur Steuerung der Anordnung von graphischen Elementen}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2000} }","mla":"Dangberg, Andreas, and Wolfgang Müller. <i>Verfahren Zur Steuerung Der Anordnung von Graphischen Elementen</i>. 2000.","chicago":"Dangberg, Andreas, and Wolfgang Müller. “Verfahren Zur Steuerung Der Anordnung von Graphischen Elementen,” 2000.","short":"A. Dangberg, W. Müller, (2000).","apa":"Dangberg, A., &#38; Müller, W. (2000). <i>Verfahren zur Steuerung der Anordnung von graphischen Elementen</i>.","ieee":"A. Dangberg and W. Müller, “Verfahren zur Steuerung der Anordnung von graphischen Elementen.” 2000."},"ipc":"Deutsches Patentamt"},{"user_id":"5786","series_title":"Mobis 2000","_id":"39434","language":[{"iso":"eng"}],"date_updated":"2023-01-24T10:49:57Z","author":[{"last_name":"Flake","first_name":"Stephan","full_name":"Flake, Stephan"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"last_name":"Pape","first_name":"Ulrich","full_name":"Pape, Ulrich"},{"last_name":"Ruf","first_name":"Jürgen","full_name":"Ruf, Jürgen"}],"title":"Modellprüfung für den Entwurf von Fertigungssteuerungssystemen","year":"2000","status":"public","department":[{"_id":"672"}],"type":"conference","place":"Siegen","date_created":"2023-01-24T10:49:52Z","abstract":[{"text":"In diesem Artikel stellen wir die Anwendung von Modellprüfung für ein\r\nFertigungssystem mit freifahrenden Transportfahrzeugen vor. Dabei konzentrieren wir\r\nuns darauf, den Materialfluss in einem Systemmodell auf die Einhaltung quantitativer\r\nund zeitlicher Bedingungen hin zu überprüfen. Zur Modellentwicklung setzen wir die\r\ngraphische Beschreibungsmethode MFERT ein, die sich bereits mehrfach in\r\nIndustrieprojekten bewährt hat. Wir präsentieren eine Abbildung von MFERT in\r\nzeitannotierte Zustandsübergangssysteme, die für ein bereits existierendes Werkzeug zur\r\nModellprüfung als Eingabe einer Modellbeschreibung dienen. Bei der Modellprüfung\r\nwird diese Beschreibung auf die Einhaltung von Eigenschaften überprüft, die in einer\r\ntemporalen Logik oder einer davon abstrahierten Form spezifiziert werden.","lang":"eng"}],"citation":{"mla":"Flake, Stephan, et al. <i>Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen</i>. 2000.","bibtex":"@article{Flake_Müller_Pape_Ruf_2000, place={Siegen}, series={Mobis 2000}, title={Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, year={2000}, collection={Mobis 2000} }","ama":"Flake S, Müller W, Pape U, Ruf J. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. Published online 2000.","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.” Siegen, 2000.","apa":"Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2000). <i>Modellprüfung für den Entwurf von Fertigungssteuerungssystemen</i>.","chicago":"Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen.” Mobis 2000. Siegen, 2000.","short":"S. Flake, W. Müller, U. Pape, J. Ruf, (2000)."}},{"citation":{"bibtex":"@article{Braatz_Flake_Müller_Westkämper_2000, place={Magdeburg, Germany}, series={Simulation und Visualisierung 2000}, title={Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung}, author={Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E.}, year={2000}, collection={Simulation und Visualisierung 2000} }","ama":"Braatz A, Flake S, Müller W, Westkämper E. Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung. Published online 2000.","mla":"Braatz, A., et al. <i>Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung</i>. 2000.","chicago":"Braatz, A., Stephan Flake, Wolfgang Müller, and E. Westkämper. “Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung.” Simulation Und Visualisierung 2000. Magdeburg, Germany, 2000.","short":"A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).","ieee":"A. Braatz, S. Flake, W. Müller, and E. Westkämper, “Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.” Magdeburg, Germany, 2000.","apa":"Braatz, A., Flake, S., Müller, W., &#38; Westkämper, E. (2000). <i>Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung</i>."},"abstract":[{"lang":"eng","text":"Prototyping mit 3D-Modellen in virtueller Umgebung ist eine kostengünstige Alternative zur Entwicklung von physikalischen Modellen und Mock-ups. Für einige Anwendungen ergeben sich erhebliche Vorteile durch die Validierung in einer virtuellen Umgebung. In diesem Artikel stellen wir den Einsatz einer 3D-Animation zur Entwicklung und zum Test einer Fahrzeugsteuerung vor. Basierend auf dem Prinzip der schrittweisen Verfeinerung kann die Steuerung zunächst nur unter Berücksichtigung der Kommunikation zwischen den Basiskomponenten entworfen werden. Im zweiten Schritt wird die Ansteuerung der Aktoren unter Auswertung der Sensoren berücksichtigt. Letztendlich ist das System unter Einflussnahme der physikalischen Größen zu validieren. Wir stellen die Schnittstelle exemplarisch anhand einer Steuerung für fahrerlose Transportfahrzeuge im Szenario eines holonischen Transportsystems vor. "}],"place":"Magdeburg, Germany","date_created":"2023-01-24T11:09:42Z","department":[{"_id":"672"}],"type":"conference","author":[{"full_name":"Braatz, A.","first_name":"A.","last_name":"Braatz"},{"last_name":"Flake","first_name":"Stephan","full_name":"Flake, Stephan"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"E.","last_name":"Westkämper","full_name":"Westkämper, E."}],"title":"Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung","status":"public","year":"2000","date_updated":"2023-01-24T11:09:46Z","_id":"39444","series_title":"Simulation und Visualisierung 2000","language":[{"iso":"eng"}],"user_id":"5786"},{"department":[{"_id":"672"}],"type":"conference","date_created":"2023-01-24T11:13:28Z","place":"Frankfurt","abstract":[{"lang":"eng","text":"Model checking has received wide acceptance as a valuable technique in the field of electronic\r\ndesign automation and is currently of growing interest in general systems design. Though its\r\nconcepts and applications are well understood it often turns out that engineers have severe\r\nproblems with the specification process and the underlying notation, i.e., formulation and\r\nunderstanding of specifications through means of temporal logic formulae. In this article, we\r\npresent an approach for a natural language–oriented representation of temporal logic formulae\r\nby introducing patterns of structured English sentences for Clocked CTL (CCTL) specification.\r\nAfter outlining the basic patterns of the sentences we give their semantics by a translation to\r\nCCTL. A final example demonstrates their application."}],"citation":{"mla":"Flake, Stephan, et al. <i>Structured English for Model Checking Specification</i>. 2000.","ama":"Flake S, Müller W, Ruf J. Structured English for Model Checking Specification. Published online 2000.","bibtex":"@article{Flake_Müller_Ruf_2000, place={Frankfurt}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, title={Structured English for Model Checking Specification}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen} }","apa":"Flake, S., Müller, W., &#38; Ruf, J. (2000). <i>Structured English for Model Checking Specification</i>.","ieee":"S. Flake, W. Müller, and J. Ruf, “Structured English for Model Checking Specification.” Frankfurt, 2000.","short":"S. Flake, W. Müller, J. Ruf, (2000).","chicago":"Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “Structured English for Model Checking Specification.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. Frankfurt, 2000."},"user_id":"5786","series_title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen","_id":"39461","language":[{"iso":"eng"}],"date_updated":"2023-01-24T11:13:33Z","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"full_name":"Ruf, Jürgen","first_name":"Jürgen","last_name":"Ruf"}],"title":"Structured English for Model Checking Specification","status":"public","year":"2000"},{"citation":{"mla":"Müller, Wolfgang, et al. “A Visual Framework for the Scripting of Parallel Agents.” <i>Proceedings of the IEEE Symposium on Visual Languages</i>, 2000.","ama":"Müller W, Meyer A, Zabel H. A Visual Framework for the Scripting of Parallel Agents. In: <i>Proceedings of the IEEE Symposium on Visual Languages</i>. ; 2000.","bibtex":"@inproceedings{Müller_Meyer_Zabel_2000, place={Seattle, Washington, USA}, title={A Visual Framework for the Scripting of Parallel Agents}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Müller, Wolfgang and Meyer, Arne and Zabel, Henning}, year={2000} }","apa":"Müller, W., Meyer, A., &#38; Zabel, H. (2000). A Visual Framework for the Scripting of Parallel Agents. <i>Proceedings of the IEEE Symposium on Visual Languages</i>.","ieee":"W. Müller, A. Meyer, and H. Zabel, “A Visual Framework for the Scripting of Parallel Agents,” 2000.","chicago":"Müller, Wolfgang, Arne Meyer, and Henning Zabel. “A Visual Framework for the Scripting of Parallel Agents.” In <i>Proceedings of the IEEE Symposium on Visual Languages</i>. Seattle, Washington, USA, 2000.","short":"W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000."},"publication":"Proceedings of the IEEE Symposium on Visual Languages","abstract":[{"lang":"eng","text":"This article presents SAL (Synchronous Agent Language), a general-purpose grid{based 2D programming language for parallel system specication, implementation, and visualization. SAL agents have a depiction and a behavior. The behavior is dened by the means of state transition rules. The depiction is given by the drawing area on its surface. Actions in rules can execute drawing operations for dynamically changing the depiction during runtime. For a broader range of applications, SAL incorporates mobile code, code modication during runtime, and tool integration facilities."}],"date_created":"2023-01-24T10:51:23Z","place":"Seattle, Washington, USA","department":[{"_id":"672"}],"type":"conference","author":[{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Meyer, Arne","first_name":"Arne","last_name":"Meyer"},{"first_name":"Henning","last_name":"Zabel","full_name":"Zabel, Henning"}],"title":"A Visual Framework for the Scripting of Parallel Agents","status":"public","year":"2000","date_updated":"2023-01-24T10:51:41Z","_id":"39435","language":[{"iso":"eng"}],"user_id":"5786"},{"user_id":"5786","language":[{"iso":"eng"}],"_id":"39439","date_updated":"2023-01-24T10:53:27Z","author":[{"full_name":"Bhatt, P. C. P.","first_name":"P. C. P.","last_name":"Bhatt"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"title":"A Methodology for the Protocol-Centered Design of Agent-Based Systems","year":"2000","status":"public","department":[{"_id":"672"}],"type":"conference","place":"Nagoya, Japan","date_created":"2023-01-24T10:53:23Z","citation":{"apa":"Bhatt, P. C. P., &#38; Müller, W. (2000). A Methodology for the Protocol-Centered Design of Agent-Based Systems. <i>Proceedings of IECON 2000</i>.","ieee":"P. C. P. Bhatt and W. Müller, “A Methodology for the Protocol-Centered Design of Agent-Based Systems,” 2000.","chicago":"Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” In <i>Proceedings of IECON 2000</i>. Nagoya, Japan, 2000.","short":"P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.","mla":"Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” <i>Proceedings of IECON 2000</i>, 2000.","ama":"Bhatt PCP, Müller W. A Methodology for the Protocol-Centered Design of Agent-Based Systems. In: <i>Proceedings of IECON 2000</i>. ; 2000.","bibtex":"@inproceedings{Bhatt_Müller_2000, place={Nagoya, Japan}, title={A Methodology for the Protocol-Centered Design of Agent-Based Systems}, booktitle={Proceedings of IECON 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }"},"publication":"Proceedings of IECON 2000"},{"year":"2000","title":"Morphic Nets: Model Based Design Diagrams","status":"public","author":[{"last_name":"Bhatt","first_name":"P. C. P.","full_name":"Bhatt, P. C. P."},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"date_updated":"2023-01-24T10:55:00Z","language":[{"iso":"eng"}],"_id":"39442","user_id":"5786","publication":"Proceedings of UKPEW 2000","citation":{"bibtex":"@inproceedings{Bhatt_Müller_2000, place={Durham, UK}, title={Morphic Nets: Model Based Design Diagrams}, booktitle={Proceedings of UKPEW 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }","ama":"Bhatt PCP, Müller W. Morphic Nets: Model Based Design Diagrams. In: <i>Proceedings of UKPEW 2000</i>. ; 2000.","mla":"Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” <i>Proceedings of UKPEW 2000</i>, 2000.","chicago":"Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” In <i>Proceedings of UKPEW 2000</i>. Durham, UK, 2000.","short":"P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.","ieee":"P. C. P. Bhatt and W. Müller, “Morphic Nets: Model Based Design Diagrams,” 2000.","apa":"Bhatt, P. C. P., &#38; Müller, W. (2000). Morphic Nets: Model Based Design Diagrams. <i>Proceedings of UKPEW 2000</i>."},"date_created":"2023-01-24T10:54:54Z","place":"Durham, UK","type":"conference","department":[{"_id":"672"}]},{"department":[{"_id":"672"}],"type":"conference","date_created":"2023-01-24T11:14:51Z","place":"Palermo, Italy","citation":{"short":"S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.","chicago":"Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “An Advanced Visual Capture for Model Checking Specifications.” In <i>Proceedings of AVI 2000</i>. Palermo, Italy, 2000.","apa":"Flake, S., Müller, W., &#38; Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. <i>Proceedings of AVI 2000</i>.","ieee":"S. Flake, W. Müller, and J. Ruf, “An Advanced Visual Capture for Model Checking Specifications,” 2000.","ama":"Flake S, Müller W, Ruf J. An Advanced Visual Capture for Model Checking Specifications. In: <i>Proceedings of AVI 2000</i>. ; 2000.","bibtex":"@inproceedings{Flake_Müller_Ruf_2000, place={Palermo, Italy}, title={An Advanced Visual Capture for Model Checking Specifications}, booktitle={Proceedings of AVI 2000}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000} }","mla":"Flake, Stephan, et al. “An Advanced Visual Capture for Model Checking Specifications.” <i>Proceedings of AVI 2000</i>, 2000."},"publication":"Proceedings of AVI 2000","user_id":"5786","language":[{"iso":"eng"}],"_id":"39464","date_updated":"2023-01-24T11:14:59Z","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"last_name":"Ruf","first_name":"Jürgen","full_name":"Ruf, Jürgen"}],"status":"public","title":"An Advanced Visual Capture for Model Checking Specifications","year":"2000"},{"title":"Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation","year":"1999","status":"public","author":[{"last_name":"Geiger","first_name":"Christian","full_name":"Geiger, Christian"},{"full_name":"Lehrenfeld, G.","first_name":"G.","last_name":"Lehrenfeld"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"date_updated":"2023-01-24T11:30:35Z","_id":"39481","series_title":"Simulation und Visualisierung","language":[{"iso":"eng"}],"user_id":"5786","citation":{"mla":"Geiger, Christian, et al. <i>Virtuelles Prototyping Einer Robotersteuerung Durch Interaktive 3D-Simulation</i>. 1999.","ama":"Geiger C, Lehrenfeld G, Müller W. Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. Published online 1999.","bibtex":"@article{Geiger_Lehrenfeld_Müller_1999, place={Magdeburg, Germany}, series={Simulation und Visualisierung}, title={Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999}, collection={Simulation und Visualisierung} }","apa":"Geiger, C., Lehrenfeld, G., &#38; Müller, W. (1999). <i>Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation</i>.","ieee":"C. Geiger, G. Lehrenfeld, and W. Müller, “Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.” Magdeburg, Germany, 1999.","chicago":"Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Virtuelles Prototyping Einer Robotersteuerung Durch Interaktive 3D-Simulation.” Simulation Und Visualisierung. Magdeburg, Germany, 1999.","short":"C. Geiger, G. Lehrenfeld, W. Müller, (1999)."},"place":"Magdeburg, Germany","date_created":"2023-01-24T11:25:48Z","type":"conference","department":[{"_id":"672"}]}]