[{"publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"year":"2010","place":"Dresden","citation":{"apa":"Mischkalla, F., He, D., &#38; Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">https://doi.org/10.1109/DATE.2010.5456990</a>","short":"F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","bibtex":"@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }","mla":"Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>.","chicago":"Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">https://doi.org/10.1109/DATE.2010.5456990</a>.","ieee":"F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>.","ama":"Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>"},"date_updated":"2023-01-17T09:12:44Z","publisher":"IEEE","author":[{"full_name":"Mischkalla, Fabian","last_name":"Mischkalla","first_name":"Fabian"},{"last_name":"He","full_name":"He, Da","first_name":"Da"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_created":"2023-01-17T09:12:35Z","title":"Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems","doi":"10.1109/DATE.2010.5456990","conference":{"location":"Dresden","name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"publication":"Proceedings of DATE’10","type":"conference","abstract":[{"lang":"eng","text":"UML is widely applied for the specification and modeling of software and some studies have demonstrated that it is applicable for HW/SW codesign. However, in this area there is still a big gap from UML modeling to SystemC-based verification and synthesis environments. This paper presents an efficient approach to bridge this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework for the seamless integration of a customized SysML entry with code generation for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate the applicability of our approach."}],"status":"public","_id":"37007","department":[{"_id":"672"}],"user_id":"5786","keyword":["Unified modeling language","Field programmable gate arrays","Bridges","Helium","Real time systems","Operating systems","Documentation","Application software","XML","Space exploration"],"language":[{"iso":"eng"}]},{"_id":"37011","department":[{"_id":"672"}],"user_id":"5786","keyword":["Timing","Programming","Automotive engineering","Application software","Hardware","Computer architecture","Communication system software","Software architecture","Delay","Software standards"],"language":[{"iso":"eng"}],"publication":"Proceedings of DATE’10, Dresden","type":"conference","abstract":[{"lang":"eng","text":"Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSAR-based language for timing modeling and analysis. We present and apply the Timing Augmented Description Language (TADL) and demonstrate a methodology for the development of a speed-adaptive steer-by-wire system. We examine the impact of TADL and the methodology on the development process and the suitability and interoperability of the applied tools with respect to the AUTOSAR-based tool chain in the context of our case study."}],"status":"public","publisher":"IEEE","date_updated":"2023-01-17T09:19:46Z","author":[{"last_name":"Klobedanz","full_name":"Klobedanz, Kay","first_name":"Kay"},{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"first_name":"Andre","last_name":"Thuy","full_name":"Thuy, Andre"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_created":"2023-01-17T09:19:36Z","title":"Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study","conference":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"doi":"10.1109/DATE.2010.5457125","place":"Dresden","year":"2010","citation":{"ama":"Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: <i>Proceedings of DATE’10, Dresden</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>","chicago":"Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In <i>Proceedings of DATE’10, Dresden</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457125\">https://doi.org/10.1109/DATE.2010.5457125</a>.","ieee":"K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>.","apa":"Klobedanz, K., Kuznik, C., Thuy, A., &#38; Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. <i>Proceedings of DATE’10, Dresden</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5457125\">https://doi.org/10.1109/DATE.2010.5457125</a>","bibtex":"@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }","mla":"Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” <i>Proceedings of DATE’10, Dresden</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>.","short":"K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010."}},{"language":[{"iso":"eng"}],"keyword":["Hardware","Microprogramming","Application software","Timing","Protocols","Virtual prototyping","Real time systems","Sampling methods","Operating systems","Emulation"],"department":[{"_id":"672"}],"user_id":"5786","_id":"37053","status":"public","abstract":[{"lang":"eng","text":"Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent Software (HdS) like drivers, operating systems, and firmware. For early estimation and verification, the application of SystemC in combination with Instruction Set Simulators and Software Emulators like QEMU is widely accepted. In this article, we present an advanced design flow for HW, (RT)OS and HdS refinement and verification with focus on the transition from abstract RTOS verification to full system RTOS/HdS emulation. In the context of assertion-based verification, we introduce a set of generic real-time properties which can be reused and verified at different abstraction levels and discuss their application. The properties are presented by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS models."}],"publication":"Proceedings of HLDVT2010","type":"conference","conference":{"name":"IEEE International High Level Design Validation and Test Workshop (HLDVT)","location":"Anaheim, FL, USA"},"title":"Verification of Real-Time Properties for Hardware-Dependant Software","author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Marcio F.","full_name":"da S. Oliveira, Marcio F.","last_name":"da S. Oliveira"},{"last_name":"Zabel","full_name":"Zabel, Henning","first_name":"Henning"},{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"}],"date_created":"2023-01-17T11:28:26Z","publisher":"IEEE","date_updated":"2023-01-17T11:28:30Z","citation":{"apa":"Müller, W., da S. Oliveira, M. F., Zabel, H., &#38; Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. <i>Proceedings of HLDVT2010</i>. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.","short":"W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.","mla":"Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” <i>Proceedings of HLDVT2010</i>, IEEE, 2010.","bibtex":"@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }","chicago":"Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In <i>Proceedings of HLDVT2010</i>. IEEE, 2010.","ieee":"W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.","ama":"Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: <i>Proceedings of HLDVT2010</i>. IEEE; 2010."},"year":"2010","publication_identifier":{"eisbn":["978-1-4244-7806-4"]}},{"_id":"37067","department":[{"_id":"672"}],"user_id":"5786","keyword":["Unified modeling language","XML","Power system modeling","Application software","Master-slave","Power system management","Acceleration","Scattering","Software engineering","Software standards"],"language":[{"iso":"eng"}],"publication":"Proceedings of DATE'09","type":"conference","abstract":[{"text":"IP-XACT is a well accepted standard for the exchange of IP components at Electronic System and Register Transfer Level. Still, the creation and manipulation of these descriptions at the XML level can be time-consuming and error-prone. In this paper, we show that the UML can be consistently applied as an efficient and comprehensible frontend for IP-XACT-based IP description and integration. For this, we present an IP-XACT UML profile that enables UML-based descriptions covering the same information as a corresponding IP-XACT description. This enables the automated generation of IP-XACT component and design descriptions from respective UML models. In particular, it also allows the integration of existing IPs with UML. To illustrate our approach, we present an application example based on the IBM PowerPC Evaluation Kit.","lang":"eng"}],"status":"public","publisher":"IEEE","date_updated":"2023-01-17T11:54:07Z","date_created":"2023-01-17T11:54:02Z","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"title":"A UML Frontend for IP-XACT-based IP Management","doi":"10.1109/DATE.2009.5090664","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition"},"publication_identifier":{"isbn":["978-1-4244-3781-8"]},"place":"Nice, France","year":"2009","citation":{"apa":"Schattkowsky, T., Xie, T., &#38; Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. <i>Proceedings of DATE’09</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition. <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">https://doi.org/10.1109/DATE.2009.5090664</a>","mla":"Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.” <i>Proceedings of DATE’09</i>, IEEE, 2009, doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>.","bibtex":"@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A UML Frontend for IP-XACT-based IP Management}, DOI={<a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>}, booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang}, year={2009} }","short":"T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.","ama":"Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management. In: <i>Proceedings of DATE’09</i>. IEEE; 2009. doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>","ieee":"T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based IP Management,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition, 2009, doi: <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>.","chicago":"Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.” In <i>Proceedings of DATE’09</i>. Nice, France: IEEE, 2009. <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">https://doi.org/10.1109/DATE.2009.5090664</a>."}},{"doi":"10.1109/DATE.2009.5090925","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition"},"title":"Increased Accuracy through Noise Injection in Abstract RTOS Simulation","date_created":"2023-01-17T11:51:44Z","author":[{"last_name":"Zabel","full_name":"Zabel, Henning","first_name":"Henning"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_updated":"2023-01-17T11:51:48Z","citation":{"bibtex":"@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>}, booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang}, year={2009} }","mla":"Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” <i>Proceedings of DATE’09</i>, 2009, doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>.","short":"H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.","apa":"Zabel, H., &#38; Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. <i>Proceedings of DATE’09</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition. <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">https://doi.org/10.1109/DATE.2009.5090925</a>","ama":"Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: <i>Proceedings of DATE’09</i>. ; 2009. doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>","chicago":"Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” In <i>Proceedings of DATE’09</i>. Nice, France, 2009. <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">https://doi.org/10.1109/DATE.2009.5090925</a>.","ieee":"H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition, 2009, doi: <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>."},"place":"Nice, France","year":"2009","publication_identifier":{"isbn":["978-1-4244-3781-8"]},"language":[{"iso":"eng"}],"keyword":["Timing","Analytical models","Clocks","Performance analysis","Scheduling","Operating systems","Delay","Real time systems","Application software","Context modeling"],"department":[{"_id":"672"}],"user_id":"5786","_id":"37066","status":"public","abstract":[{"text":"Today, mobile and embedded real-time systems have to cope with the migration and allocation of multiple software tasks running on top of a real-time operating system (RTOS) residing on one or multiple system processors. Abstract RTOS simulations and timing analysis applies for fast and early estimation to configure it towards the individual needs of the application and environment. In this context, a high accuracy of the simulation compared to an instruction set simulation (ISS) is of key importance. In this paper, we investigate the accuracy of abstract RTOS simulation and compare it to ISS and the behavior of the physical system. We show that we can reach an increased accuracy of the simulation when we inject noise into the time model. Our results indicate that it is sufficient to inject uniformly distributed random time values to the RTOS real-time clock.","lang":"eng"}],"publication":"Proceedings of DATE'09","type":"conference"},{"language":[{"iso":"eng"}],"keyword":["Unified modeling language","Logic","Clocks","Boolean functions","Application software","Time factors","Real time systems","Formal verification","Buffer storage","Software packages"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39069","status":"public","abstract":[{"lang":"eng","text":"We present the syntax and semantics of a past- and future-oriented temporal extension of the Object Constraint Language (OCL). Our extension supports designers to express time-bounded properties over a state-oriented UML model of a system under development. The semantics is formally defined over the system states of a mathematical object model. Additionally, we present a mapping to Clocked Linear Temporal Logic (Clocked LTL) formulae, which is the basis for further application in verification with model checking. We demonstrate the applicability of the approach by the example of a buffer specification in the context of a production system."}],"publication":"Proceedings of SEFM´04","type":"conference","doi":"10.1109/SEFM.2004.1347516","conference":{"name":" Proceedings of the Second International Conference on Software Engineering and Formal Methods"},"title":"Past- and Future-Oriented Time-Bound Temporal Properties with OCL","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2023-01-24T09:03:36Z","date_updated":"2023-01-24T09:03:41Z","publisher":"IEEE","citation":{"apa":"Flake, S., &#38; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. <i>Proceedings of SEFM´04</i>.  Proceedings of the Second International Conference on Software Engineering and Formal Methods. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>","short":"S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.","mla":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” <i>Proceedings of SEFM´04</i>, IEEE, 2004, doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","bibtex":"@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }","ama":"Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: <i>Proceedings of SEFM´04</i>. IEEE; 2004. doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>","ieee":"S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the  Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","chicago":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In <i>Proceedings of SEFM´04</i>. Beijing, China: IEEE, 2004. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>."},"year":"2004","place":"Beijing, China","publication_identifier":{"isbn":["0-7695-2222-X"]}},{"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."}],"status":"public","publication":"Proceedings of IEEE KMN 2001","type":"conference","keyword":["Virtual prototyping","Animation","Collaboration","System analysis and design","Feedback","Application software","Power system modeling","Handicapped aids","Process design","Contracts"],"language":[{"iso":"eng"}],"_id":"39411","department":[{"_id":"672"}],"user_id":"5786","year":"2001","place":"Cambridge, MA, USA ","citation":{"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>","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>.","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>.","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>.","short":"S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 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>"},"publication_identifier":{"isbn":["0-7695-1269-0"]},"title":"Customer-Oriented Systems Design through Virtual Prototyps","conference":{"name":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises"},"doi":"10.1109/ENABL.2001.953425","date_updated":"2023-01-24T10:30:21Z","date_created":"2023-01-24T10:30:14Z","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"first_name":"Christian","last_name":"Geiger","full_name":"Geiger, Christian"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"}]},{"citation":{"short":"M. Dücker, W. Müller, J. Rubart, in:  Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, Maui, HI, USA , 1999.","mla":"Dücker, M., et al. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>, 1999, doi:<a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>.","bibtex":"@inproceedings{Dücker_Müller_Rubart_1999, place={Maui, HI, USA }, title={Innovative Concepts for Configurating Shared Workspaces through Visual Programming}, DOI={<a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>}, booktitle={ Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences}, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica}, year={1999} }","apa":"Dücker, M., Müller, W., &#38; Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA . <a href=\"https://doi.org/10.1109/HICSS.1999.773046\">https://doi.org/10.1109/HICSS.1999.773046</a>","ama":"Dücker M, Müller W, Rubart J. Innovative Concepts for Configurating Shared Workspaces through Visual Programming. In: <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>. ; 1999. doi:<a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>","chicago":"Dücker, M., Wolfgang Müller, and Jessica Rubart. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” In <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>. Maui, HI, USA , 1999. <a href=\"https://doi.org/10.1109/HICSS.1999.773046\">https://doi.org/10.1109/HICSS.1999.773046</a>.","ieee":"M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi: <a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>."},"year":"1999","place":"Maui, HI, USA ","publication_identifier":{"isbn":["0-7695-0001-3"]},"doi":"10.1109/HICSS.1999.773046","conference":{"location":"Maui, HI, USA ","name":"Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32"},"title":"Innovative Concepts for Configurating Shared Workspaces through Visual Programming","date_created":"2023-01-24T11:35:47Z","author":[{"first_name":"M.","last_name":"Dücker","full_name":"Dücker, M."},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Jessica","full_name":"Rubart, Jessica","last_name":"Rubart"}],"date_updated":"2023-01-24T11:35:52Z","status":"public","abstract":[{"text":"CSCW systems like BSCW (Basic Support for Cooperative Work), HyperNews, and Lotus Notes have been successfully introduced to support the cooperation of geographically distributed work groups. Unfortunately, some of these software systems are not flexible enough to be customized easily to the requirements of an individual user. Most of the environments can only be configured by experts through complex programming. In this article we introduce VIP space, a shared workspace space in the sense of exchanging and processing shared objects between members of distributed work groups. VIP space can be easily adapted to the user's individual views and needs by means of a visual programming language. In VIP space, objects of the shared workspace are moved by drag and drop between task fields. Task fields are programmed by visual \"if-then\" rules applying a combination of icon- and form-based techniques. When a document represented by an icon is dropped on a task field its rules are checked and actions of the selected rules are excited. VIP space is finally demonstrated in an Internet course application.","lang":"eng"}],"type":"conference","publication":" Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences","language":[{"iso":"eng"}],"keyword":["Application software","Electronic mail","Computer networks","Collaborative work","Teleconferencing","Asynchronous communication","Software systems","Internet","Computer applications","Discussion forums"],"user_id":"5786","department":[{"_id":"672"}],"_id":"39488"},{"year":"1998","place":"Halifax, Canada","citation":{"ama":"Geiger C, Müller W, Rosenbach W. SAM - An Animated 3D Programming Language. In: <i>Proceedings of the IEEE Symposium on Visual Languages</i>. ; 1998. doi:<a href=\"https://doi.org/10.1109/VL.1998.706167\">10.1109/VL.1998.706167</a>","ieee":"C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax, Canada, 1998, doi: <a href=\"https://doi.org/10.1109/VL.1998.706167\">10.1109/VL.1998.706167</a>.","chicago":"Geiger, Christian, Wolfgang Müller, and W. Rosenbach. “SAM - An Animated 3D Programming Language.” In <i>Proceedings of the IEEE Symposium on Visual Languages</i>. Halifax, Canada, 1998. <a href=\"https://doi.org/10.1109/VL.1998.706167\">https://doi.org/10.1109/VL.1998.706167</a>.","short":"C. Geiger, W. Müller, W. Rosenbach, in: Proceedings of the IEEE Symposium on Visual Languages, Halifax, Canada, 1998.","bibtex":"@inproceedings{Geiger_Müller_Rosenbach_1998, place={Halifax, Canada}, title={SAM - An Animated 3D Programming Language}, DOI={<a href=\"https://doi.org/10.1109/VL.1998.706167\">10.1109/VL.1998.706167</a>}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Geiger, Christian and Müller, Wolfgang and Rosenbach, W.}, year={1998} }","mla":"Geiger, Christian, et al. “SAM - An Animated 3D Programming Language.” <i>Proceedings of the IEEE Symposium on Visual Languages</i>, 1998, doi:<a href=\"https://doi.org/10.1109/VL.1998.706167\">10.1109/VL.1998.706167</a>.","apa":"Geiger, C., Müller, W., &#38; Rosenbach, W. (1998). SAM - An Animated 3D Programming Language. <i>Proceedings of the IEEE Symposium on Visual Languages</i>. 1998 IEEE Symposium on Visual Languages, Halifax, Canada. <a href=\"https://doi.org/10.1109/VL.1998.706167\">https://doi.org/10.1109/VL.1998.706167</a>"},"publication_identifier":{"isbn":["0-8186-8712-6"]},"title":"SAM - An Animated 3D Programming Language","doi":"10.1109/VL.1998.706167","conference":{"name":"1998 IEEE Symposium on Visual Languages","location":"Halifax, Canada"},"date_updated":"2023-01-24T11:39:35Z","date_created":"2023-01-24T11:39:30Z","author":[{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"first_name":"W.","full_name":"Rosenbach, W.","last_name":"Rosenbach"}],"abstract":[{"text":"This article presents the animated visual 3D programming language SAM (Solid Agents in Motion) for parallel systems specification and animation. A SAM program is a set of interacting agents synchronously exchanging messages. The agent's behaviour is specified by means of production rules with a condition and a sequence of actions each. Actions are linearly ordered and execute when matching a rule. In SAM, main syntactic objects like agents, rules, and messages are 3D. These objects can have an abstract and a concrete, solid 3D presentation. While the abstract representation is for programming and debugging, the concrete representation is for animated 3D end-user presentations. After outlining the concepts of SAM this article gives two programming examples of 3D micro worlds and an overview of the programming environment.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of the IEEE Symposium on Visual Languages","keyword":["Animation","Computer languages","Solids","Concrete","Application software","Virtual reality","Programming profession","Switches","Visualization","Debugging"],"language":[{"iso":"eng"}],"_id":"39493","user_id":"5786","department":[{"_id":"672"}]},{"status":"public","abstract":[{"text":"Modeling of human knowledge and reasoning requires the formulation of uncertainty in its various forms. Fuzzy logic was introduced to directly support these applications (H. Zimmermann, 1991). Fuzzy control (FC) which is based on fuzzy logic allows one to control complex systems based on qualitative information like human knowledge (C. Geiger and G. Lehrenfeld, 1994). In fuzzy logic, fuzzy sets are usually defined and manipulated by means of complex mathematics, whereas the fuzzy control process is frequently outlined by visual sketches based on set diagrams in order to enhance the comprehension of the inference process. The rule based execution of this process usually follows the lines of rule based visual programming languages (VPLs), i.e., languages comparable to Agentsheets and ChemTrains. This strongly indicates that VPLs are thus well applicable for this use. We first outline the basic concepts of fuzzy logic and fuzzy control. Thereafter, we sketch a visual language which integrates fuzzy set diagrams in the visual representation of rules. The basic concepts are inherited from the complete visual programming language, Pictorial Janus (PJ). However, we significantly simplify PJ's visual concepts in order to adapt it for our purpose.","lang":"eng"}],"publication":"Proceedings of the 1997 IEEE Symposium on Visual Languages","type":"conference","language":[{"iso":"eng"}],"keyword":["Computer languages","Fuzzy control","Fuzzy sets","Animation","Visualization","Fires","Application software","Pattern matching","Impedance matching","Domain specific languages"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39510","citation":{"ama":"Dücker M, Geiger C, Lehrenfeld G, Müller W, Tahedl C. A Visual Programming Language for Qualitative Data. In: <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. ; 1997. doi:<a href=\"https://doi.org/10.1109/VL.1997.626593\">10.1109/VL.1997.626593</a>","ieee":"M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Visual Programming Language for Qualitative Data,” 1997, doi: <a href=\"https://doi.org/10.1109/VL.1997.626593\">10.1109/VL.1997.626593</a>.","chicago":"Dücker, M., Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Visual Programming Language for Qualitative Data.” In <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. Capri, Italy, 1997. <a href=\"https://doi.org/10.1109/VL.1997.626593\">https://doi.org/10.1109/VL.1997.626593</a>.","apa":"Dücker, M., Geiger, C., Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1997). A Visual Programming Language for Qualitative Data. <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1997.626593\">https://doi.org/10.1109/VL.1997.626593</a>","mla":"Dücker, M., et al. “A Visual Programming Language for Qualitative Data.” <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>, 1997, doi:<a href=\"https://doi.org/10.1109/VL.1997.626593\">10.1109/VL.1997.626593</a>.","short":"M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.","bibtex":"@inproceedings{Dücker_Geiger_Lehrenfeld_Müller_Tahedl_1997, place={Capri, Italy}, title={A Visual Programming Language for Qualitative Data}, DOI={<a href=\"https://doi.org/10.1109/VL.1997.626593\">10.1109/VL.1997.626593</a>}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1997} }"},"place":"Capri, Italy","year":"1997","publication_identifier":{"isbn":["0-8186-8144-6"]},"doi":"10.1109/VL.1997.626593","title":"A Visual Programming Language for Qualitative Data","date_created":"2023-01-24T11:51:04Z","author":[{"first_name":"M.","full_name":"Dücker, M.","last_name":"Dücker"},{"first_name":"Christian","full_name":"Geiger, Christian","last_name":"Geiger"},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Tahedl, C.","last_name":"Tahedl","first_name":"C."}],"date_updated":"2023-01-24T11:51:08Z"},{"date_updated":"2023-01-24T11:49:01Z","author":[{"first_name":"M.","last_name":"Dücker","full_name":"Dücker, M."},{"last_name":"Geiger","full_name":"Geiger, Christian","first_name":"Christian"},{"first_name":"R.","last_name":"Hunstock","full_name":"Hunstock, R."},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2023-01-24T11:48:57Z","title":"Visual-Textual Prototyping of 4D Scenes","doi":"10.1109/VL.1997.626601","conference":{"name":"1997 IEEE Symposium on Visual Languages"},"publication_identifier":{"isbn":["0-8186-8144-6"]},"place":"Capri, Italy","year":"1997","citation":{"mla":"Dücker, M., et al. “Visual-Textual Prototyping of 4D Scenes.” <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>, 1997, doi:<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>.","short":"M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.","bibtex":"@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri, Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}, year={1997} }","apa":"Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., &#38; Müller, W. (1997). Visual-Textual Prototyping of 4D Scenes. <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. 1997 IEEE Symposium on Visual Languages. <a href=\"https://doi.org/10.1109/VL.1997.626601\">https://doi.org/10.1109/VL.1997.626601</a>","chicago":"Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang Müller. “Visual-Textual Prototyping of 4D Scenes.” In <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. Capri, Italy, 1997. <a href=\"https://doi.org/10.1109/VL.1997.626601\">https://doi.org/10.1109/VL.1997.626601</a>.","ieee":"M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages, 1997, doi: <a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>.","ama":"Dücker M, Geiger C, Hunstock R, Lehrenfeld G, Müller W. Visual-Textual Prototyping of 4D Scenes. In: <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. ; 1997. doi:<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>"},"_id":"39505","department":[{"_id":"672"}],"user_id":"5786","keyword":["Prototypes","Layout","Animation","Command languages","Application software","Libraries","Virtual reality","Computer graphics","Hardware","Context modeling"],"language":[{"iso":"eng"}],"publication":"Proceedings of the 1997 IEEE Symposium on Visual Languages","type":"conference","abstract":[{"lang":"eng","text":"3D-graphics are becoming popular in a steadily increasing number of areas such as entertainment, scientific visualization, simulation, and virtual reality. Despite this rapid growth the generation of animated 3D scenes is by no means trivial. Since animated 3D objects evolve over time the authors denote these objects as 4D. The article presents a novel approach to the rapid prototyping of 4D models. They introduce the AAL (Animated Agent Layer) system. AAL is an interpreter-based approach covering a textual (AAL-PR) as well as a visual command language (AAL-VL) for the specification of the dynamics in 4D scenes. AAL provides support for different levels of abstraction: primitives, structured objects, animated objects, and animated (autonomous) agents."}],"status":"public"}]