[{"language":[{"iso":"eng"}],"_id":"37067","publisher":"IEEE","user_id":"5786","doi":"10.1109/DATE.2009.5090664","publication_identifier":{"isbn":["978-1-4244-3781-8"]},"author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"full_name":"Xie, Tao","last_name":"Xie","first_name":"Tao"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition"},"title":"A UML Frontend for IP-XACT-based IP Management","year":"2009","status":"public","date_updated":"2023-01-17T11:54:07Z","date_created":"2023-01-17T11:54:02Z","place":"Nice, France","department":[{"_id":"672"}],"keyword":["Unified modeling language","XML","Power system modeling","Application software","Master-slave","Power system management","Acceleration","Scattering","Software engineering","Software standards"],"type":"conference","citation":{"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} }","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>","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>.","short":"T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.","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>.","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>.","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>"},"publication":"Proceedings of DATE'09","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"}]},{"author":[{"first_name":"Kay","last_name":"Klobedanz","full_name":"Klobedanz, Kay"},{"last_name":"Kuznik","first_name":"Christoph","full_name":"Kuznik, Christoph"},{"first_name":"Ahmed","last_name":"Elfeky","full_name":"Elfeky, Ahmed"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"publication_identifier":{"isbn":["978-3-642-04283-6"]},"status":"public","title":"Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study","year":"2009","date_updated":"2023-01-17T11:42:08Z","_id":"37063","publisher":"Springer Verlag","language":[{"iso":"eng"}],"doi":"10.1007/978-3-642-04284-3_20","user_id":"5786","citation":{"short":"K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IESS09, Springer Verlag, 2009.","chicago":"Klobedanz, Kay, Christoph Kuznik, Ahmed Elfeky, and Wolfgang Müller. “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.” In <i>Proceedings of IESS09</i>. Springer Verlag, 2009. <a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">https://doi.org/10.1007/978-3-642-04284-3_20</a>.","apa":"Klobedanz, K., Kuznik, C., Elfeky, A., &#38; Müller, W. (2009). Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. <i>Proceedings of IESS09</i>. <a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">https://doi.org/10.1007/978-3-642-04284-3_20</a>","ieee":"K. Klobedanz, C. Kuznik, A. Elfeky, and W. Müller, “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study,” 2009, doi: <a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">10.1007/978-3-642-04284-3_20</a>.","ama":"Klobedanz K, Kuznik C, Elfeky A, Müller W. Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. In: <i>Proceedings of IESS09</i>. Springer Verlag; 2009. doi:<a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">10.1007/978-3-642-04284-3_20</a>","bibtex":"@inproceedings{Klobedanz_Kuznik_Elfeky_Müller_2009, title={Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">10.1007/978-3-642-04284-3_20</a>}, booktitle={Proceedings of IESS09}, publisher={Springer Verlag}, author={Klobedanz, Kay and Kuznik, Christoph and Elfeky, Ahmed and Müller, Wolfgang}, year={2009} }","mla":"Klobedanz, Kay, et al. “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.” <i>Proceedings of IESS09</i>, Springer Verlag, 2009, doi:<a href=\"https://doi.org/10.1007/978-3-642-04284-3_20\">10.1007/978-3-642-04284-3_20</a>."},"publication":"Proceedings of IESS09","abstract":[{"text":"Safety-critical automotive systems must fulfill hard real-time constraints to guarantee their reliability and safety requirements. In the context of network-based electronics systems, high-level timing requirements have to be carefully mastered and traced throughout the whole development process. In this paper, we outline the management of scheduling-specific timing information by the application of a steer-by-wire design example. We apply the principles of the AUTOSAR-compliant Timing Augmented Description Language (TADL) following the methodology introduced by the TIMMO project[2]. Focus of the example will be the identification of end-to-end timing constraints and their refinement by means of stimuli-response event chains.","lang":"eng"}],"date_created":"2023-01-17T11:42:03Z","department":[{"_id":"672"}],"type":"conference","keyword":["Abstraction Level     Controller Area Network     High Abstraction Level     Event Chain     Automotive System"]},{"date_created":"2020-06-24T13:02:43Z","keyword":["robot simulation","hand movement velocity","robotic interaction partner","robotic agent","robot-directed interaction","multimodal analysis","Motionese","Motherese","intelligent tutoring systems","immature cognitive capability","human computer interaction","eye gaze","child-directed speech","child-directed motion","bottom-up system","bottom-up saliency-based attention model","adult-robot interaction","adult-child interaction","adult-adult interaction","human-robot interaction","action learning","social learning scenario","social robotics","software agents","top-down feedback structures","tutoring behavior"],"type":"conference","department":[{"_id":"749"}],"publication":"Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning","citation":{"ieee":"A.-L. Vollmer <i>et al.</i>, “People modify their tutoring behavior in robot-directed interaction for action learning,” in <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, 2009, pp. 1–6, doi: <a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>.","apa":"Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch, J., Rohlfing, K., &#38; Wrede, B. (2009). People modify their tutoring behavior in robot-directed interaction for action learning. <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, 1–6. <a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">https://doi.org/10.1109/DEVLRN.2009.5175516</a>","mla":"Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, IEEE, 2009, pp. 1–6, doi:<a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>.","bibtex":"@inproceedings{Vollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009, title={People modify their tutoring behavior in robot-directed interaction for action learning}, DOI={<a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>}, booktitle={Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning}, publisher={IEEE}, author={Vollmer, Anna-Lisa and Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}, year={2009}, pages={1–6} }","short":"A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch, K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6.","ama":"Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior in robot-directed interaction for action learning. In: <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>. IEEE; 2009:1-6. doi:<a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>","chicago":"Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai, Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” In <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, 1–6. IEEE, 2009. <a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">https://doi.org/10.1109/DEVLRN.2009.5175516</a>."},"abstract":[{"lang":"eng","text":"In developmental research, tutoring behavior has been identified as scaffolding infants' learning processes. It has been defined in terms of child-directed speech (Motherese), child-directed motion (Motionese), and contingency. In the field of developmental robotics, research often assumes that in human-robot interaction (HRI), robots are treated similar to infants, because their immature cognitive capabilities benefit from this behavior. However, according to our knowledge, it has barely been studied whether this is true and how exactly humans alter their behavior towards a robotic interaction partner. In this paper, we present results concerning the acceptance of a robotic agent in a social learning scenario obtained via comparison to adults and 8-11 months old infants in equal conditions. These results constitute an important empirical basis for making use of tutoring behavior in social robotics. In our study, we performed a detailed multimodal analysis of HRI in a tutoring situation using the example of a robot simulation equipped with a bottom-up saliency-based attention model. Our results reveal significant differences in hand movement velocity, motion pauses, range of motion, and eye gaze suggesting that for example adults decrease their hand movement velocity in an Adult-Child Interaction (ACI), opposed to an Adult-Adult Interaction (AAI) and this decrease is even higher in the Adult-Robot Interaction (ARI). We also found important differences between ACI and ARI in how the behavior is modified over time as the interaction unfolds. These findings indicate the necessity of integrating top-down feedback structures into a bottom-up system for robots to be fully accepted as interaction partners."}],"page":"1-6","_id":"17272","publisher":"IEEE","language":[{"iso":"eng"}],"doi":"10.1109/DEVLRN.2009.5175516","user_id":"14931","title":"People modify their tutoring behavior in robot-directed interaction for action learning","status":"public","year":"2009","author":[{"first_name":"Anna-Lisa","last_name":"Vollmer","full_name":"Vollmer, Anna-Lisa"},{"full_name":"Lohan, Katrin Solveig","last_name":"Lohan","first_name":"Katrin Solveig"},{"first_name":"Kerstin","last_name":"Fischer","full_name":"Fischer, Kerstin"},{"first_name":"Yukie","last_name":"Nagai","full_name":"Nagai, Yukie"},{"first_name":"Karola","last_name":"Pitsch","full_name":"Pitsch, Karola"},{"last_name":"Fritsch","first_name":"Jannik","full_name":"Fritsch, Jannik"},{"first_name":"Katharina","last_name":"Rohlfing","full_name":"Rohlfing, Katharina","id":"50352"},{"last_name":"Wrede","first_name":"Britta","full_name":"Wrede, Britta"}],"date_updated":"2023-02-01T13:06:43Z"},{"issue":"4","publication":"Solid State Nuclear Magnetic Resonance","citation":{"mla":"Fenn, Annika, et al. “Correlations between 51V Solid-State NMR Parameters and Chemical Structure of Vanadium (V) Complexes as Models for Related Metalloproteins and Catalysts.” <i>Solid State Nuclear Magnetic Resonance</i>, vol. 36, no. 4, 2009, pp. 192–201, doi:<a href=\"https://doi.org/10.1016/j.ssnmr.2009.11.003\">10.1016/j.ssnmr.2009.11.003</a>.","apa":"Fenn, A., Wächtler, M., Gutmann, T., Breitzke, H., Buchholz, A., Lippold, I., Plass, W., &#38; Buntkowsky, G. (2009). Correlations between 51V solid-state NMR parameters and chemical structure of vanadium (V) complexes as models for related metalloproteins and catalysts. <i>Solid State Nuclear Magnetic Resonance</i>, <i>36</i>(4), 192–201. <a href=\"https://doi.org/10.1016/j.ssnmr.2009.11.003\">https://doi.org/10.1016/j.ssnmr.2009.11.003</a>","ieee":"A. Fenn <i>et al.</i>, “Correlations between 51V solid-state NMR parameters and chemical structure of vanadium (V) complexes as models for related metalloproteins and catalysts,” <i>Solid State Nuclear Magnetic Resonance</i>, vol. 36, no. 4, pp. 192–201, 2009, doi: <a href=\"https://doi.org/10.1016/j.ssnmr.2009.11.003\">10.1016/j.ssnmr.2009.11.003</a>.","short":"A. Fenn, M. Wächtler, T. Gutmann, H. Breitzke, A. Buchholz, I. Lippold, W. Plass, G. Buntkowsky, Solid State Nuclear Magnetic Resonance 36 (2009) 192–201.","ama":"Fenn A, Wächtler M, Gutmann T, et al. Correlations between 51V solid-state NMR parameters and chemical structure of vanadium (V) complexes as models for related metalloproteins and catalysts. <i>Solid State Nuclear Magnetic Resonance</i>. 2009;36(4):192–201. doi:<a href=\"https://doi.org/10.1016/j.ssnmr.2009.11.003\">10.1016/j.ssnmr.2009.11.003</a>","chicago":"Fenn, Annika, Maria Wächtler, Torsten Gutmann, Hergen Breitzke, Axel Buchholz, Ines Lippold, Winfried Plass, and Gerd Buntkowsky. “Correlations between 51V Solid-State NMR Parameters and Chemical Structure of Vanadium (V) Complexes as Models for Related Metalloproteins and Catalysts.” <i>Solid State Nuclear Magnetic Resonance</i> 36, no. 4 (2009): 192–201. <a href=\"https://doi.org/10.1016/j.ssnmr.2009.11.003\">https://doi.org/10.1016/j.ssnmr.2009.11.003</a>.","bibtex":"@article{Fenn_Wächtler_Gutmann_Breitzke_Buchholz_Lippold_Plass_Buntkowsky_2009, title={Correlations between 51V solid-state NMR parameters and chemical structure of vanadium (V) complexes as models for related metalloproteins and catalysts}, volume={36}, DOI={<a href=\"https://doi.org/10.1016/j.ssnmr.2009.11.003\">10.1016/j.ssnmr.2009.11.003</a>}, number={4}, journal={Solid State Nuclear Magnetic Resonance}, author={Fenn, Annika and Wächtler, Maria and Gutmann, Torsten and Breitzke, Hergen and Buchholz, Axel and Lippold, Ines and Plass, Winfried and Buntkowsky, Gerd}, year={2009}, pages={192–201} }"},"extern":"1","abstract":[{"lang":"eng","text":"The parameters describing the quadrupolar and CSA interactions of 51V solid-state MAS NMR investigations of model complexes mimicking vanadoenzymes as well as vanadium containing catalysts and enzyme complexes are interpreted with respect to the chemical structure. The interpretation is based on the data of 15 vanadium complexes including two new complexes with previously unpublished data and 13 complexes with data previously published by us. Correlations between the chemical structure and the 51V solid-state NMR data of this class of compounds have been established. Especially for the isotropic chemical shift δ iso and the chemical shift anisotropy δ σ , correlations with specific structural features like the coordination number of the vanadium atom, the number of coordinating nitrogens, the number of oxygen atoms and the chemical surrounding of the complex could be established for these compounds. Moreover, quantitative correlations between the solid-state NMR parameters and specific bond angles and bond lengths have been obtained. Our results can be of particular interest for future investigations concerning the structure and the mode of action of related vanadoenzymes and vanadate protein assemblies, including the use of vanadate adducts as transition state analogs for phosphate metabolizing systems."}],"date_created":"2026-02-07T15:33:58Z","keyword":["51V NMR","Cis-dioxovanadium (v) complex","Model system","Vanadate"],"type":"journal_article","title":"Correlations between 51V solid-state NMR parameters and chemical structure of vanadium (V) complexes as models for related metalloproteins and catalysts","year":"2009","status":"public","author":[{"full_name":"Fenn, Annika","last_name":"Fenn","first_name":"Annika"},{"last_name":"Wächtler","first_name":"Maria","full_name":"Wächtler, Maria"},{"id":"118165","last_name":"Gutmann","first_name":"Torsten","full_name":"Gutmann, Torsten"},{"first_name":"Hergen","last_name":"Breitzke","full_name":"Breitzke, Hergen"},{"full_name":"Buchholz, Axel","first_name":"Axel","last_name":"Buchholz"},{"first_name":"Ines","last_name":"Lippold","full_name":"Lippold, Ines"},{"last_name":"Plass","first_name":"Winfried","full_name":"Plass, Winfried"},{"full_name":"Buntkowsky, Gerd","last_name":"Buntkowsky","first_name":"Gerd"}],"date_updated":"2026-02-17T16:18:21Z","intvolume":"        36","page":"192–201","_id":"63951","language":[{"iso":"eng"}],"user_id":"100715","doi":"10.1016/j.ssnmr.2009.11.003","volume":36},{"year":"2008","title":"Development of a biomedical tissue differentiation system using piezoelectric actuators","status":"public","author":[{"first_name":"David Oliva","last_name":"Uribe","full_name":"Uribe, David Oliva"},{"full_name":"Stroop, Ralf","last_name":"Stroop","first_name":"Ralf"},{"id":"210","first_name":"Tobias","last_name":"Hemsel","full_name":"Hemsel, Tobias"},{"last_name":"Wallaschek","first_name":"Jörg","full_name":"Wallaschek, Jörg"}],"publication_identifier":{"issn":["1075-6787"]},"date_updated":"2022-01-06T07:04:16Z","page":"91-94","language":[{"iso":"eng"}],"_id":"9576","user_id":"55222","doi":"10.1109/FREQ.2008.4622963","publication":"Frequency Control Symposium, 2008 IEEE International","citation":{"mla":"Uribe, David Oliva, et al. “Development of a Biomedical Tissue Differentiation System Using Piezoelectric Actuators.” <i>Frequency Control Symposium, 2008 IEEE International</i>, 2008, pp. 91–94, doi:<a href=\"https://doi.org/10.1109/FREQ.2008.4622963\">10.1109/FREQ.2008.4622963</a>.","bibtex":"@inproceedings{Uribe_Stroop_Hemsel_Wallaschek_2008, title={Development of a biomedical tissue differentiation system using piezoelectric actuators}, DOI={<a href=\"https://doi.org/10.1109/FREQ.2008.4622963\">10.1109/FREQ.2008.4622963</a>}, booktitle={Frequency Control Symposium, 2008 IEEE International}, author={Uribe, David Oliva and Stroop, Ralf and Hemsel, Tobias and Wallaschek, Jörg}, year={2008}, pages={91–94} }","ama":"Uribe DO, Stroop R, Hemsel T, Wallaschek J. Development of a biomedical tissue differentiation system using piezoelectric actuators. In: <i>Frequency Control Symposium, 2008 IEEE International</i>. ; 2008:91-94. doi:<a href=\"https://doi.org/10.1109/FREQ.2008.4622963\">10.1109/FREQ.2008.4622963</a>","ieee":"D. O. Uribe, R. Stroop, T. Hemsel, and J. Wallaschek, “Development of a biomedical tissue differentiation system using piezoelectric actuators,” in <i>Frequency Control Symposium, 2008 IEEE International</i>, 2008, pp. 91–94.","apa":"Uribe, D. O., Stroop, R., Hemsel, T., &#38; Wallaschek, J. (2008). Development of a biomedical tissue differentiation system using piezoelectric actuators. In <i>Frequency Control Symposium, 2008 IEEE International</i> (pp. 91–94). <a href=\"https://doi.org/10.1109/FREQ.2008.4622963\">https://doi.org/10.1109/FREQ.2008.4622963</a>","short":"D.O. Uribe, R. Stroop, T. Hemsel, J. Wallaschek, in: Frequency Control Symposium, 2008 IEEE International, 2008, pp. 91–94.","chicago":"Uribe, David Oliva, Ralf Stroop, Tobias Hemsel, and Jörg Wallaschek. “Development of a Biomedical Tissue Differentiation System Using Piezoelectric Actuators.” In <i>Frequency Control Symposium, 2008 IEEE International</i>, 91–94, 2008. <a href=\"https://doi.org/10.1109/FREQ.2008.4622963\">https://doi.org/10.1109/FREQ.2008.4622963</a>."},"abstract":[{"lang":"eng","text":"In neurosurgery, delineation of tumor boundaries during resection of brain tumors is of substantial relevance. During operation distinction between tumor and healthy tissue rely on the abilities of the surgeon based on visual and tactile differentiation. In this paper a high sensitivity actuator-sensor system using a piezoelectric bimorph is presented. Frequency shift and transfer function of the bimorphpsilas voltages are detected and evaluated. Sensorpsilas sensitivity is evaluated using two frequency controls strategies: A phase-locked loop (PLL) and a self-oscillating circuit. Results of measurements conducted on gel-phantoms are presented and discussed."}],"quality_controlled":"1","date_created":"2019-04-29T13:07:39Z","type":"conference","keyword":["biomedical measurement","brain","cancer","neurophysiology","phantoms","phase locked loops","piezoelectric actuators","surgery","tactile sensors","transfer functions","tumours","PLL","biomedical tissue differentiation system","brain tumor resection","frequency control","frequency shift","gel-phantom","high sensitivity actuator-sensor system","neurosurgery","phase-locked loop","piezoelectric actuators","piezoelectric bimorph","self-oscillating circuit","sensor sensitivity","tactile differentiation","tactile sensor system","transfer function","tumor boundary","visual differentiation","Biomedical measurements","Circuits","Frequency control","Neoplasms","Neurosurgery","Phase locked loops","Piezoelectric actuators","Surges","Transfer functions","Voltage"],"department":[{"_id":"151"}]},{"keyword":["UML     SysML     Model-based design     System specification     Modelling languages"],"type":"journal_article","department":[{"_id":"672"}],"date_created":"2022-12-19T12:18:21Z","abstract":[{"lang":"eng","text":"UML has been widely accepted by the software community for several years. As electronic systems design can no longer be seen as an isolated hardware design activity, UML becomes of significant interest as a unification language for systems description combining both HW and SW components. This article provides a comprehensive view of the UML applied to System-on-Chip (SoC) and hardware-related embedded systems design. The modeling concepts in the UML language are first introduced, including major diagrams for the representation of the behavior and the structure of systems. The principles behind application specific UML customizations (UML profiles) are summarized, and several examples relevant for SoC design are given, such as the SysML (System Modeling Language) and the SoC Profile. Thereafter, various approaches associating UML with existing HW/SW design languages are presented. Beyond language aspects, the article addresses the question of UML-based design flows, and shows how UML can be applied concretely to the development of electronic-based systems. The current situation about tool support constitutes the last focus of the article. In particular, we show how UML tools can be combined with well-known simulation environments, such as MATLAB."}],"publication":"Design Automation for Embedded Systems","citation":{"mla":"Vanderperren, Yves, et al. “UML for Electronic Systems Design – A Comprehensive Overview.” <i>Design Automation for Embedded Systems</i>, vol. 12, Springer-Verlag, 2008, pp. 261–92, doi:<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>.","bibtex":"@article{Vanderperren_Müller_Dahaene_2008, title={UML for Electronic Systems Design – A Comprehensive Overview}, volume={12}, DOI={<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>}, journal={Design Automation for Embedded Systems}, publisher={Springer-Verlag}, author={Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}, year={2008}, pages={261–292} }","ama":"Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A Comprehensive Overview. <i>Design Automation for Embedded Systems</i>. 2008;12:261-292. doi:<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>","ieee":"Y. Vanderperren, W. Müller, and W. Dahaene, “UML for Electronic Systems Design – A Comprehensive Overview,” <i>Design Automation for Embedded Systems</i>, vol. 12, pp. 261–292, 2008, doi: <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>.","apa":"Vanderperren, Y., Müller, W., &#38; Dahaene, W. (2008). UML for Electronic Systems Design – A Comprehensive Overview. <i>Design Automation for Embedded Systems</i>, <i>12</i>, 261–292. <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">https://doi.org/10.1007/s10617-008-9028-9</a>","short":"Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292.","chicago":"Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic Systems Design – A Comprehensive Overview.” <i>Design Automation for Embedded Systems</i> 12 (2008): 261–92. <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">https://doi.org/10.1007/s10617-008-9028-9</a>."},"user_id":"5786","doi":"10.1007/s10617-008-9028-9","volume":12,"page":"261-292","language":[{"iso":"eng"}],"_id":"34563","publisher":"Springer-Verlag","date_updated":"2022-12-19T12:23:56Z","intvolume":"        12","year":"2008","title":"UML for Electronic Systems Design – A Comprehensive Overview","status":"public","author":[{"last_name":"Vanderperren","first_name":"Yves","full_name":"Vanderperren, Yves"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"last_name":"Dahaene","first_name":"Wim","full_name":"Dahaene, Wim"}]},{"publication":"ASWSD 2006: Model-Driven Development of Reliable Automotive Services","abstract":[{"lang":"eng","text":"Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has to pass tests at several levels of abstraction such as Model-in-the-Loop (MIL), Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) tests. Different test systems are applied for this purpose (e.g. dSPACE MTest, dSPACE Automation Desk, National Instruments Teststand) and almost each test system requests its own proprietary test description language. The exchange of tests between different test systems and the reuse of tests between different test levels is normally not possible. Efforts to integrate these heterogeneous test environments, to address test exchange in a general manner and to standardize and harmonize the existing language environment are still at the beginning and not tailored towards the requirements of the automotive domain. To keep the whole development and test process efficient and manageable, the definition of an integrated and seamless approach is required. TestML – the test exchange language we present in this article – is defined to overcome the technological obstacles (different test language syntax and semantics, different data formats and interface descriptions) that almost automatically accompany the application of heterogeneous test tools and test infrastructures. TestML supports the exchange of tests between different test notations in a heterogeneous tool environment. In this paper, we introduce the XML schema of TestML and demonstrate the efficiency of the interchange format by giving examples from the model-based development of electronic control units. Tool support is illustrated by an application with Simulink/Stateflow."}],"date_created":"2022-10-18T11:19:31Z","department":[{"_id":"672"}],"keyword":["Test Behavior","Test Exchange","System Under Test","Hybrid Automaton","Test Execution"],"type":"book_chapter","author":[{"first_name":"Jürgen","last_name":"Großmann","full_name":"Großmann, Jürgen"},{"full_name":"Fey, Ines","first_name":"Ines","last_name":"Fey"},{"full_name":"Krupp, Alexander","first_name":"Alexander","last_name":"Krupp"},{"full_name":"Conrad, Mirko","last_name":"Conrad","first_name":"Mirko"},{"full_name":"Wewetzer, Christian","first_name":"Christian","last_name":"Wewetzer"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"publication_identifier":{"isbn":["978-3-540-70929-9"]},"title":"TestML – A Test Exchange Language for Model-based Testing of Embedded Software","year":"2008","date_updated":"2022-10-18T11:20:02Z","language":[{"iso":"eng"}],"doi":"10.1007/978-3-540-70930-5_7","citation":{"mla":"Großmann, Jürgen, et al. “TestML – A Test Exchange Language for Model-Based Testing of Embedded Software.” <i>ASWSD 2006: Model-Driven Development of Reliable Automotive Services</i>, edited by Manfred Broy et al., Springer Verlag, 2008, pp. 98–117, doi:<a href=\"https://doi.org/10.1007/978-3-540-70930-5_7\">10.1007/978-3-540-70930-5_7</a>.","ama":"Großmann J, Fey I, Krupp A, Conrad M, Wewetzer C, Müller W. TestML – A Test Exchange Language for Model-based Testing of Embedded Software. In: Broy M, Krüger IH, Meisinger M, eds. <i>ASWSD 2006: Model-Driven Development of Reliable Automotive Services</i>. Springer Verlag; 2008:98-117. doi:<a href=\"https://doi.org/10.1007/978-3-540-70930-5_7\">10.1007/978-3-540-70930-5_7</a>","bibtex":"@inbook{Großmann_Fey_Krupp_Conrad_Wewetzer_Müller_2008, place={Berlin, Heidelberg}, title={TestML – A Test Exchange Language for Model-based Testing of Embedded Software}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-70930-5_7\">10.1007/978-3-540-70930-5_7</a>}, booktitle={ASWSD 2006: Model-Driven Development of Reliable Automotive Services}, publisher={Springer Verlag}, author={Großmann, Jürgen and Fey, Ines and Krupp, Alexander and Conrad, Mirko and Wewetzer, Christian and Müller, Wolfgang}, editor={Broy, Manfred and Krüger, Ingolf H. and Meisinger, Michael}, year={2008}, pages={98–117} }","apa":"Großmann, J., Fey, I., Krupp, A., Conrad, M., Wewetzer, C., &#38; Müller, W. (2008). TestML – A Test Exchange Language for Model-based Testing of Embedded Software. In M. Broy, I. H. Krüger, &#38; M. Meisinger (Eds.), <i>ASWSD 2006: Model-Driven Development of Reliable Automotive Services</i> (pp. 98–117). Springer Verlag. <a href=\"https://doi.org/10.1007/978-3-540-70930-5_7\">https://doi.org/10.1007/978-3-540-70930-5_7</a>","ieee":"J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, and W. Müller, “TestML – A Test Exchange Language for Model-based Testing of Embedded Software,” in <i>ASWSD 2006: Model-Driven Development of Reliable Automotive Services</i>, M. Broy, I. H. Krüger, and M. Meisinger, Eds. Berlin, Heidelberg: Springer Verlag, 2008, pp. 98–117.","chicago":"Großmann, Jürgen, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, and Wolfgang Müller. “TestML – A Test Exchange Language for Model-Based Testing of Embedded Software.” In <i>ASWSD 2006: Model-Driven Development of Reliable Automotive Services</i>, edited by Manfred Broy, Ingolf H. Krüger, and Michael Meisinger, 98–117. Berlin, Heidelberg: Springer Verlag, 2008. <a href=\"https://doi.org/10.1007/978-3-540-70930-5_7\">https://doi.org/10.1007/978-3-540-70930-5_7</a>.","short":"J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, W. Müller, in: M. Broy, I.H. Krüger, M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of Reliable Automotive Services, Springer Verlag, Berlin, Heidelberg, 2008, pp. 98–117."},"place":"Berlin, Heidelberg","status":"public","_id":"33815","publisher":"Springer Verlag","page":"98-117","editor":[{"full_name":"Broy, Manfred","last_name":"Broy","first_name":"Manfred"},{"first_name":"Ingolf H.","last_name":"Krüger","full_name":"Krüger, Ingolf H."},{"full_name":"Meisinger, Michael","first_name":"Michael","last_name":"Meisinger"}],"user_id":"5786"},{"keyword":["51V NMR","Model system","Ab initio calculation","Cis-dioxovanadium(V) complex","Haloperoxidase","Numerical optimization","Quadrupolar interaction"],"type":"journal_article","date_created":"2026-02-07T16:10:01Z","abstract":[{"text":"Three cis-dioxovanadium(V) complexes with similar N -salicylidenehydrazide ligands modeling hydrogen bonding interactions of vanadate relevant for vanadium haloperoxidases are studied by 51V solid-state NMR spectroscopy. Their parameters describing the quadrupolar and chemical shift anisotropy interactions (quadrupolar coupling constant C Q , asymmetry of the quadrupolar tensor η Q , isotropic chemical shift δ iso , chemical shift anisotropy δ σ , asymmetry of the chemical shift tensor η σ and the Euler angles α , β and γ ) are determined both experimentally and theoretically using DFT methods. A comparative study of different methods to determine the NMR parameters by numerical simulation of the spectra is presented. Detailed theoretical investigations on the DFT level using various basis sets and structural models show that by useful choice of the methodology, the calculated parameters agree to the experimental ones in a very good manner.","lang":"eng"}],"extern":"1","issue":"1–2","publication":"Solid State Nuclear Magnetic Resonance","citation":{"mla":"Schweitzer, Annika, et al. “51V Solid-State NMR Investigations and DFT Studies of Model Compounds for Vanadium Haloperoxidases.” <i>Solid State Nuclear Magnetic Resonance</i>, vol. 34, no. 1–2, 2008, pp. 52–67, doi:<a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>.","ama":"Schweitzer A, Gutmann T, Wächtler M, et al. 51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases. <i>Solid State Nuclear Magnetic Resonance</i>. 2008;34(1–2):52–67. doi:<a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>","bibtex":"@article{Schweitzer_Gutmann_Wächtler_Breitzke_Buchholz_Plass_Buntkowsky_2008, title={51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases}, volume={34}, DOI={<a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>}, number={1–2}, journal={Solid State Nuclear Magnetic Resonance}, author={Schweitzer, Annika and Gutmann, Torsten and Wächtler, Maria and Breitzke, Hergen and Buchholz, Axel and Plass, Winfried and Buntkowsky, Gerd}, year={2008}, pages={52–67} }","apa":"Schweitzer, A., Gutmann, T., Wächtler, M., Breitzke, H., Buchholz, A., Plass, W., &#38; Buntkowsky, G. (2008). 51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases. <i>Solid State Nuclear Magnetic Resonance</i>, <i>34</i>(1–2), 52–67. <a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">https://doi.org/10.1016/j.ssnmr.2008.02.003</a>","ieee":"A. Schweitzer <i>et al.</i>, “51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases,” <i>Solid State Nuclear Magnetic Resonance</i>, vol. 34, no. 1–2, pp. 52–67, 2008, doi: <a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>.","short":"A. Schweitzer, T. Gutmann, M. Wächtler, H. Breitzke, A. Buchholz, W. Plass, G. Buntkowsky, Solid State Nuclear Magnetic Resonance 34 (2008) 52–67.","chicago":"Schweitzer, Annika, Torsten Gutmann, Maria Wächtler, Hergen Breitzke, Axel Buchholz, Winfried Plass, and Gerd Buntkowsky. “51V Solid-State NMR Investigations and DFT Studies of Model Compounds for Vanadium Haloperoxidases.” <i>Solid State Nuclear Magnetic Resonance</i> 34, no. 1–2 (2008): 52–67. <a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">https://doi.org/10.1016/j.ssnmr.2008.02.003</a>."},"doi":"10.1016/j.ssnmr.2008.02.003","user_id":"100715","volume":34,"page":"52–67","language":[{"iso":"eng"}],"_id":"64041","date_updated":"2026-02-17T16:13:21Z","intvolume":"        34","year":"2008","title":"51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases","status":"public","author":[{"last_name":"Schweitzer","first_name":"Annika","full_name":"Schweitzer, Annika"},{"id":"118165","last_name":"Gutmann","first_name":"Torsten","full_name":"Gutmann, Torsten"},{"full_name":"Wächtler, Maria","first_name":"Maria","last_name":"Wächtler"},{"last_name":"Breitzke","first_name":"Hergen","full_name":"Breitzke, Hergen"},{"full_name":"Buchholz, Axel","first_name":"Axel","last_name":"Buchholz"},{"full_name":"Plass, Winfried","first_name":"Winfried","last_name":"Plass"},{"full_name":"Buntkowsky, Gerd","first_name":"Gerd","last_name":"Buntkowsky"}]},{"user_id":"3118","doi":"10.1049/iet-cdt:20060186","volume":1,"page":"295-302","_id":"10646","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:50:49Z","intvolume":"         1","title":"Server-based execution of periodic tasks on dynamically reconfigurable hardware","status":"public","year":"2007","publication_identifier":{"issn":["1751-8601"]},"author":[{"full_name":"Danne, Klaus","last_name":"Danne","first_name":"Klaus"},{"full_name":"Mühlenbernd, Roland","first_name":"Roland","last_name":"Mühlenbernd"},{"full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner","id":"398"}],"keyword":["reconfigurable architectures","resource allocation","device reconfiguration time","dynamic hardware reconfiguration","dynamically reconfigurable hardware","light-weight runtime system","merge server distribute load","periodic real-time tasks","runtime system overheads","schedulability analysis","scheduling technique","server-based execution","synthesis tool flow"],"type":"journal_article","department":[{"_id":"78"}],"date_created":"2019-07-10T11:10:54Z","publication":"IET Computers Digital Techniques","issue":"4","citation":{"bibtex":"@article{Danne_Mühlenbernd_Platzner_2007, title={Server-based execution of periodic tasks on dynamically reconfigurable hardware}, volume={1}, DOI={<a href=\"https://doi.org/10.1049/iet-cdt:20060186\">10.1049/iet-cdt:20060186</a>}, number={4}, journal={IET Computers Digital Techniques}, author={Danne, Klaus and Mühlenbernd, Roland and Platzner, Marco}, year={2007}, pages={295–302} }","ama":"Danne K, Mühlenbernd R, Platzner M. Server-based execution of periodic tasks on dynamically reconfigurable hardware. <i>IET Computers Digital Techniques</i>. 2007;1(4):295-302. doi:<a href=\"https://doi.org/10.1049/iet-cdt:20060186\">10.1049/iet-cdt:20060186</a>","mla":"Danne, Klaus, et al. “Server-Based Execution of Periodic Tasks on Dynamically Reconfigurable Hardware.” <i>IET Computers Digital Techniques</i>, vol. 1, no. 4, 2007, pp. 295–302, doi:<a href=\"https://doi.org/10.1049/iet-cdt:20060186\">10.1049/iet-cdt:20060186</a>.","chicago":"Danne, Klaus, Roland Mühlenbernd, and Marco Platzner. “Server-Based Execution of Periodic Tasks on Dynamically Reconfigurable Hardware.” <i>IET Computers Digital Techniques</i> 1, no. 4 (2007): 295–302. <a href=\"https://doi.org/10.1049/iet-cdt:20060186\">https://doi.org/10.1049/iet-cdt:20060186</a>.","short":"K. Danne, R. Mühlenbernd, M. Platzner, IET Computers Digital Techniques 1 (2007) 295–302.","ieee":"K. Danne, R. Mühlenbernd, and M. Platzner, “Server-based execution of periodic tasks on dynamically reconfigurable hardware,” <i>IET Computers Digital Techniques</i>, vol. 1, no. 4, pp. 295–302, 2007.","apa":"Danne, K., Mühlenbernd, R., &#38; Platzner, M. (2007). Server-based execution of periodic tasks on dynamically reconfigurable hardware. <i>IET Computers Digital Techniques</i>, <i>1</i>(4), 295–302. <a href=\"https://doi.org/10.1049/iet-cdt:20060186\">https://doi.org/10.1049/iet-cdt:20060186</a>"}},{"date_created":"2023-01-24T08:06:09Z","place":"Munich, Germany","department":[{"_id":"672"}],"keyword":["Classification tree analysis","System testing","Embedded system","Safety","Automatic testing","Automation"],"type":"conference","citation":{"apa":"Krupp, A., &#38; Müller, W. (2006). Classification Trees for Functional Coverage and Random Test Generation. <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. <a href=\"https://doi.org/10.1109/DATE.2006.243902\">https://doi.org/10.1109/DATE.2006.243902</a>","ieee":"A. Krupp and W. Müller, “Classification Trees for Functional Coverage and Random Test Generation,” 2006, doi: <a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” In <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. Munich, Germany: IEEE, 2006. <a href=\"https://doi.org/10.1109/DATE.2006.243902\">https://doi.org/10.1109/DATE.2006.243902</a>.","short":"A. Krupp, W. Müller, in: Proceedings of the Design Automation &#38; Test in Europe Conference, IEEE, Munich, Germany, 2006.","mla":"Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>, IEEE, 2006, doi:<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>.","ama":"Krupp A, Müller W. Classification Trees for Functional Coverage and Random Test Generation. In: <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. IEEE; 2006. doi:<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>","bibtex":"@inproceedings{Krupp_Müller_2006, place={Munich, Germany}, title={Classification Trees for Functional Coverage and Random Test Generation}, DOI={<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>}, booktitle={Proceedings of the Design Automation &#38; Test in Europe Conference}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2006} }"},"publication":"Proceedings of the Design Automation & Test in Europe Conference","abstract":[{"lang":"eng","text":"This article presents the classification tree method for functional verification to close the gap from the specification of a test plan to SystemVerilog (Chandra and Chakrabarty, 2001) test bench generation. Our method supports the systematic development of test configurations and is based on the classification tree method for embedded systems (CTM/ES) (Chakrabarty et al., 2000) extending CTM/ES for random test generation as well as for functional coverage and property specification"}],"_id":"38784","language":[{"iso":"eng"}],"publisher":"IEEE","user_id":"5786","doi":"10.1109/DATE.2006.243902","author":[{"last_name":"Krupp","first_name":"Alexander","full_name":"Krupp, Alexander"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"publication_identifier":{"isbn":["3-9810801-1-4"]},"status":"public","year":"2006","title":"Classification Trees for Functional Coverage and Random Test Generation","date_updated":"2023-01-24T08:06:14Z"},{"language":[{"iso":"eng"}],"_id":"38107","doi":"10.1109/ISoLA.2006.37","user_id":"5786","status":"public","year":"2006","title":"A Formal Behavioral Semantics for TestML","conference":{"location":"Paphos, Cyprus"},"publication_identifier":{"isbn":["978-0-7695-3071-0"]},"author":[{"full_name":"Großmann, Jürgen","last_name":"Großmann","first_name":"Jürgen"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"date_updated":"2023-01-23T12:06:26Z","place":"Paphos, Cyprus","date_created":"2023-01-23T12:00:06Z","type":"conference","keyword":["System testing","Software testing","Automotive engineering","Automatic testing","Machinery production industries","Protocols","Hardware design languages","Samarium","XML","Computer industry"],"department":[{"_id":"672"}],"publication":"Proc. of ISOLA 06","citation":{"mla":"Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” <i>Proc. of ISOLA 06</i>, 2006, doi:<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>.","bibtex":"@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal Behavioral Semantics for TestML}, DOI={<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>}, booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang}, year={2006} }","ama":"Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: <i>Proc. of ISOLA 06</i>. ; 2006. doi:<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>","ieee":"J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>.","apa":"Großmann, J., &#38; Müller, W. (2006). A Formal Behavioral Semantics for TestML. <i>Proc. of ISOLA 06</i>. <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">https://doi.org/10.1109/ISoLA.2006.37</a>","short":"J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.","chicago":"Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” In <i>Proc. of ISOLA 06</i>. Paphos, Cyprus, 2006. <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">https://doi.org/10.1109/ISoLA.2006.37</a>."},"abstract":[{"text":"TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies. In this paper, we present a rigorous formal behavioral semantics for TestML by means of Abstract State Machines (ASMs). Our semantics is a concise, unambiguous, high-level specification for TestML-based implementations and serves as a basis to define exact and well-defined mappings between existing test languages and TestML.","lang":"eng"}]},{"publication":"Proceedings of VL/HCC 05","citation":{"chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In <i>Proceedings of VL/HCC 05</i>. Dallas, TX, USA, 2005. <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">https://doi.org/10.1109/VLHCC.2005.64</a>.","short":"T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.","ieee":"T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>.","apa":"Schattkowsky, T., &#38; Müller, W. (2005). Transformation of UML State Machines for Direct Execution. <i>Proceedings of VL/HCC 05</i>. <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">https://doi.org/10.1109/VLHCC.2005.64</a>","bibtex":"@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }","ama":"Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: <i>Proceedings of VL/HCC 05</i>. ; 2005. doi:<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” <i>Proceedings of VL/HCC 05</i>, 2005, doi:<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>."},"abstract":[{"lang":"eng","text":"Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In this context, the direct execution of UML state machines is an interesting alternative to native code generation approaches since it significantly increases portability. However, fully featured UML 2.0 State Machines may contain a broad set of features with complex execution semantics that differ significantly from other StateChart variants. This makes their direct execution complex and inefficient. In this paper, we demonstrate how such state machines can be represented using a small subset of the UML state machine features that enables efficient execution. We describe the necessary model transformations in terms of graph transformations and discuss the underlying semantics and implications for execution."}],"date_created":"2023-01-24T08:18:10Z","place":"Dallas, TX, USA","type":"conference","keyword":["Unified modeling language","Software design","Virtual machining","Embedded system","Programming","Documentation","Hardware","Computer languages","Operating systems","Runtime"],"department":[{"_id":"672"}],"year":"2005","status":"public","title":"Transformation of UML State Machines for Direct Execution","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"publication_identifier":{"isbn":["0-7695-2443-5"]},"date_updated":"2023-01-24T08:18:27Z","language":[{"iso":"eng"}],"_id":"39032","user_id":"5786","doi":"10.1109/VLHCC.2005.64"},{"year":"2004","title":"An ASM Definition of the Dynamic OCL 2.0 Semantics","status":"public","publication_identifier":{"eisbn":["978-3-540-30187-5"]},"author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"date_updated":"2023-01-24T09:28:58Z","_id":"39352","language":[{"iso":"eng"}],"doi":"10.1007/978-3-540-30187-5_17","user_id":"5786","publication":"Proceedings of the UML 2004","citation":{"short":"S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.","chicago":"Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” In <i>Proceedings of the UML 2004</i>. Lisbon, Portugal, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">https://doi.org/10.1007/978-3-540-30187-5_17</a>.","ieee":"S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,” 2004, doi: <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>.","apa":"Flake, S., &#38; Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0 Semantics. <i>Proceedings of the UML 2004</i>. <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">https://doi.org/10.1007/978-3-540-30187-5_17</a>","bibtex":"@inproceedings{Flake_Müller_2004, place={Lisbon, Portugal}, title={An ASM Definition of the Dynamic OCL 2.0 Semantics}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>}, booktitle={Proceedings of the UML 2004}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }","ama":"Flake S, Müller W. An ASM Definition of the Dynamic OCL 2.0 Semantics. In: <i>Proceedings of the UML 2004</i>. ; 2004. doi:<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>","mla":"Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” <i>Proceedings of the UML 2004</i>, 2004, doi:<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>."},"abstract":[{"text":"The recently adopted OCL 2.0 specification comes with a formal semantics that is based on set theory with a notion of an object model and system states. System states keep the runtime information relevant for the evaluation of OCL expressions. However, not all new language concepts of OCL 2.0 are already addressed in that formal semantics. We show how to overcome this by introducing new components to the object model and system states defining a dynamic semantics of OCL. In order to give precise rules that determine when the current system state has to be updated according to a change in the referred UML model, we make use of adequate mathematical means, namely Abstract State Machines (ASMs). Though our ASM specification also gives a clear definition for the evaluation of OCL constraints, it leaves sufficient flexibility for application specific implementations that have to determine when constraints are to be checked.","lang":"eng"}],"place":"Lisbon, Portugal","date_created":"2023-01-24T09:28:53Z","keyword":["System State     Formal Semantic     Object Management Group     Denotational Semantic     Dynamic Semantic"],"type":"conference","department":[{"_id":"672"}]},{"publication":"Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP)","abstract":[{"lang":"eng","text":"Nearly all existing HPC systems are operated by resource management systems based on the queuing approach. With the increasing acceptance of grid middleware like Globus, new requirements for the underlying local resource management systems arise. Features like advanced reservation or quality of service are needed to implement high level functions like co-allocation. However it is difficult to realize these features with a resource management system based on the queuing concept since it considers only the present resource usage.\r\n\r\nIn this paper we present an approach which closes this gap. By assigning start times to each resource request, a complete schedule is planned. Advanced reservations are now easily possible. Based on this planning approach functions like diffuse requests, automatic duration extension, or service level agreements are described. We think they are useful to increase the usability, acceptance and performance of HPC machines. In the second part of this paper we present a planning based resource management system which already covers some of the mentioned features."}],"date_created":"2018-03-29T11:37:24Z","type":"conference","keyword":["High Performance Computing","Service Level Agreement","Grid Resource","Resource Management System","Advance Reservation"],"department":[{"_id":"27"}],"title":"Scheduling in HPC Resource Management Systems: Queuing vs. Planning","year":"2003","author":[{"last_name":"Hovestadt","first_name":"Matthias","full_name":"Hovestadt, Matthias"},{"full_name":"Kao, Odej","last_name":"Kao","first_name":"Odej"},{"first_name":"Axel","last_name":"Keller","full_name":"Keller, Axel","id":"15274"},{"full_name":"Streit, Achim","last_name":"Streit","first_name":"Achim"}],"publication_status":"published","date_updated":"2022-01-06T06:54:17Z","intvolume":"      2862","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"doi":"10.1007/10968987_1","citation":{"bibtex":"@inproceedings{Hovestadt_Kao_Keller_Streit_2003, place={Berlin / Heidelberg}, series={Lecture Notes in Computer Science}, title={Scheduling in HPC Resource Management Systems: Queuing vs. Planning}, volume={2862}, DOI={<a href=\"https://doi.org/10.1007/10968987_1\">10.1007/10968987_1</a>}, booktitle={Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP)}, author={Hovestadt, Matthias and Kao, Odej and Keller, Axel and Streit, Achim}, year={2003}, pages={1–20}, collection={Lecture Notes in Computer Science} }","chicago":"Hovestadt, Matthias, Odej Kao, Axel Keller, and Achim Streit. “Scheduling in HPC Resource Management Systems: Queuing vs. Planning.” In <i>Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP)</i>, 2862:1–20. Lecture Notes in Computer Science. Berlin / Heidelberg, 2003. <a href=\"https://doi.org/10.1007/10968987_1\">https://doi.org/10.1007/10968987_1</a>.","short":"M. Hovestadt, O. Kao, A. Keller, A. Streit, in: Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP), Berlin / Heidelberg, 2003, pp. 1–20.","ama":"Hovestadt M, Kao O, Keller A, Streit A. Scheduling in HPC Resource Management Systems: Queuing vs. Planning. In: <i>Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP)</i>. Vol 2862. Lecture Notes in Computer Science. Berlin / Heidelberg; 2003:1-20. doi:<a href=\"https://doi.org/10.1007/10968987_1\">10.1007/10968987_1</a>","ieee":"M. Hovestadt, O. Kao, A. Keller, and A. Streit, “Scheduling in HPC Resource Management Systems: Queuing vs. Planning,” in <i>Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP)</i>, 2003, vol. 2862, pp. 1–20.","mla":"Hovestadt, Matthias, et al. “Scheduling in HPC Resource Management Systems: Queuing vs. Planning.” <i>Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP)</i>, vol. 2862, 2003, pp. 1–20, doi:<a href=\"https://doi.org/10.1007/10968987_1\">10.1007/10968987_1</a>.","apa":"Hovestadt, M., Kao, O., Keller, A., &#38; Streit, A. (2003). Scheduling in HPC Resource Management Systems: Queuing vs. Planning. In <i>Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP)</i> (Vol. 2862, pp. 1–20). Berlin / Heidelberg. <a href=\"https://doi.org/10.1007/10968987_1\">https://doi.org/10.1007/10968987_1</a>"},"place":"Berlin / Heidelberg","status":"public","page":"1-20","_id":"1998","user_id":"15274","volume":2862},{"abstract":[{"lang":"eng","text":"Current navigation systems like GPS (Global Positioning System) and its Russian counterpart GLONASS (Global Navigation Satellite System) only evaluate the direct signal path. The receivers treat the reflected paths also reaching the receiver antenna as disturbance which has to be suppressed. Multipath affects the tracking accuracy by resulting in a degeneration of the S-curve of the DLL (delay locked loop). Nowadays the future European systems GALILEO and GPSIIF/III with two new signals are on the way to the market and it is time to think about new receiver structures. Therefore we investigated if it is possible to use multipath for navigation constructively."}],"publication":"IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)","keyword":["combined GALILEO/UMTS receiver","delay locked loop","delay lock loops","DLL","Global Positioning System","GLONASS","GPS","GPSIIF/III","mobile satellite communication","multipath channels","multipath receiver structure","radio receivers","RAKE receiver","S-curve"],"type":"conference","department":[{"_id":"54"}],"date_created":"2019-07-12T05:27:12Z","date_updated":"2022-01-06T06:51:08Z","intvolume":"         4","year":"2002","title":"Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver","author":[{"full_name":"Bischoff, Renke","last_name":"Bischoff","first_name":"Renke"},{"last_name":"Haeb-Umbach","first_name":"Reinhold","full_name":"Haeb-Umbach, Reinhold","id":"242"},{"full_name":"Schulz, Wolfgang","last_name":"Schulz","first_name":"Wolfgang"},{"full_name":"Heinrichs, Guenther","first_name":"Guenther","last_name":"Heinrichs"}],"doi":"10.1109/VTC.2002.1002940","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2002/BiHaScHe02.pdf","open_access":"1"}],"language":[{"iso":"eng"}],"citation":{"mla":"Bischoff, Renke, et al. “Employment of a Multipath Receiver Structure in a Combined GALILEO/UMTS Receiver.” <i>IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)</i>, vol. 4, 2002, pp. 1844–48 vol.4, doi:<a href=\"https://doi.org/10.1109/VTC.2002.1002940\">10.1109/VTC.2002.1002940</a>.","ama":"Bischoff R, Haeb-Umbach R, Schulz W, Heinrichs G. Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver. In: <i>IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)</i>. Vol 4. ; 2002:1844-1848 vol.4. doi:<a href=\"https://doi.org/10.1109/VTC.2002.1002940\">10.1109/VTC.2002.1002940</a>","bibtex":"@inproceedings{Bischoff_Haeb-Umbach_Schulz_Heinrichs_2002, title={Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver}, volume={4}, DOI={<a href=\"https://doi.org/10.1109/VTC.2002.1002940\">10.1109/VTC.2002.1002940</a>}, booktitle={IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)}, author={Bischoff, Renke and Haeb-Umbach, Reinhold and Schulz, Wolfgang and Heinrichs, Guenther}, year={2002}, pages={1844–1848 vol.4} }","apa":"Bischoff, R., Haeb-Umbach, R., Schulz, W., &#38; Heinrichs, G. (2002). Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver. In <i>IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)</i> (Vol. 4, pp. 1844–1848 vol.4). <a href=\"https://doi.org/10.1109/VTC.2002.1002940\">https://doi.org/10.1109/VTC.2002.1002940</a>","ieee":"R. Bischoff, R. Haeb-Umbach, W. Schulz, and G. Heinrichs, “Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver,” in <i>IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)</i>, 2002, vol. 4, pp. 1844–1848 vol.4.","short":"R. Bischoff, R. Haeb-Umbach, W. Schulz, G. Heinrichs, in: IEEE 55th Vehicular Technology Conference (VTC 2002 Spring), 2002, pp. 1844–1848 vol.4.","chicago":"Bischoff, Renke, Reinhold Haeb-Umbach, Wolfgang Schulz, and Guenther Heinrichs. “Employment of a Multipath Receiver Structure in a Combined GALILEO/UMTS Receiver.” In <i>IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)</i>, 4:1844–48 vol.4, 2002. <a href=\"https://doi.org/10.1109/VTC.2002.1002940\">https://doi.org/10.1109/VTC.2002.1002940</a>."},"oa":"1","status":"public","user_id":"44006","volume":4,"page":"1844-1848 vol.4","_id":"11733"},{"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>.","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} }","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>.","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>","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>.","short":"S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001."},"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","author":[{"last_name":"Flake","first_name":"Stephan","full_name":"Flake, Stephan"},{"full_name":"Geiger, Christian","first_name":"Christian","last_name":"Geiger"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"first_name":"Jürgen","last_name":"Ruf","full_name":"Ruf, Jürgen"}],"publication_identifier":{"isbn":["0-7695-1269-0"]},"conference":{"name":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises"},"year":"2001","status":"public","title":"Customer-Oriented Systems Design through Virtual Prototyps","date_updated":"2023-01-24T10:30:21Z","_id":"39411","language":[{"iso":"eng"}],"user_id":"5786","doi":"10.1109/ENABL.2001.953425"},{"abstract":[{"text":"Agent-based systems technologies are of emerging interest in the specification and implementation of complex systems. This article introduces the CASA agent development system which seamlessly combines the BDI (belief desire intention) approach with the FIPA agent communication language standard and an integrated specification of fuzzy controllers. The behavior of agents is defined by strategies which basically correspond to extended guarded Horn clauses with priorities. The presented concepts are introduced by an example from computer integrated manufacturing (CIM). The example gives the specification of a fuzzy controller for a manufacturing station in the context of a holonic manufacturing system (HMS).","lang":"eng"}],"citation":{"ieee":"S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA , 1999, doi: <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>.","apa":"Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., &#38; Paelke, V. (1999). Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA . <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">https://doi.org/10.1109/NAFIPS.1999.781697</a>","chicago":"Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and Volker Paelke. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” In <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. New York, NY, USA : IEEE, 1999. <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">https://doi.org/10.1109/NAFIPS.1999.781697</a>.","short":"S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke, in: Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society, IEEE, New York, NY, USA , 1999.","mla":"Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>, IEEE, 1999, doi:<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>.","bibtex":"@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York, NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control}, DOI={<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>}, booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker}, year={1999} }","ama":"Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. In: <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. IEEE; 1999. doi:<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>"},"publication":"Proceedings of NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society","department":[{"_id":"672"}],"type":"conference","keyword":["Manufacturing systems","Fuzzy control","Multiagent systems","Control systems","Concurrent computing","Specification languages","Communication standards","Standards development","Communication system control","Computer integrated manufacturing"],"date_created":"2023-01-24T11:21:53Z","place":"New York, NY, USA ","date_updated":"2023-01-24T11:21:57Z","publication_identifier":{"isbn":["0-7803-5211-4"]},"author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"full_name":"Lehrenfeld, G.","first_name":"G.","last_name":"Lehrenfeld"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Paelke","first_name":"Volker","full_name":"Paelke, Volker"}],"conference":{"location":"New York, NY, USA ","name":"18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS"},"status":"public","year":"1999","title":"Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control","user_id":"5786","doi":"10.1109/NAFIPS.1999.781697","_id":"39474","language":[{"iso":"eng"}],"publisher":"IEEE"},{"department":[{"_id":"672"}],"keyword":["Computer integrated manufacturing","Job shop scheduling","Processor scheduling","Computer languages","Control system synthesis","Computer aided manufacturing","Sorting","Assembly","Costs","Control systems"],"type":"conference","date_created":"2023-01-24T11:58:56Z","place":"Boulder, CO, USA","abstract":[{"lang":"eng","text":"The main goal of the article is to evaluate the suitability of visual programming languages, i.e., Pictorial Janus (K. Kahn and V. Saraswat, 1990), for the modeling of complex systems and their control strategies. These systems can be seen as networks of communicating objects. Objects select strategies for suitable actions based on incoming messages. Our field of investigation is in computer integrated manufacturing considering the example of a car manufacturing cell. This color sorting assembly buffer (CSAB) schedules jobs in queues. The jobs represent car bodies scheduled in feeder lines for the enameling. Feeder lines collect raw bodies to blocks. Blocks are bodies which are to be enameled by the same color. This organization decreases the cost of expensive change-over-times when changing colors at the enamelling. Blocks of bodies are dislocated from the queue and enameled successively. Contradictory system goals, such as minimizing color changes and preserving the sequence of incoming jobs, have to be regarded by appropriate control strategies. Due to the complexity of this (NP complete) problem and to real time requirements for online control there are no optimal strategies on hand. Consequently, suitable heuristics have to be developed. Often they are designed applying a trial-and-error method. A modeling framework has to support the rapid prototyping of these systems as well as an expressive end user oriented representation. Both are essential requirements since end users need other visualization techniques than experienced designers due to their different knowledge and interests."}],"citation":{"mla":"Geiger, Christian, et al. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>, 1996, doi:<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>.","bibtex":"@inproceedings{Geiger_Hunstock_Lehrenfeld_Müller_Quintanilla_Tahedl_Weber_1996, place={Boulder, CO, USA}, title={Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing}, DOI={<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang and Quintanilla, J.  and Tahedl, C.  and Weber, A.}, year={1996} }","ama":"Geiger C, Hunstock R, Lehrenfeld G, et al. Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. In: <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. ; 1996. doi:<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>","ieee":"C. Geiger <i>et al.</i>, “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing,” 1996, doi: <a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>.","apa":"Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl, C., &#38; Weber, A. (1996). Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1996.545302\">https://doi.org/10.1109/VL.1996.545302</a>","short":"C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl, A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, CO, USA, 1996.","chicago":"Geiger, Christian, R. Hunstock, Georg Lehrenfeld, Wolfgang Müller, J.  Quintanilla, C.  Tahedl, and A. Weber. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” In <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. Boulder, CO, USA, 1996. <a href=\"https://doi.org/10.1109/VL.1996.545302\">https://doi.org/10.1109/VL.1996.545302</a>."},"publication":"Proceedings of the 1996 IEEE Symposium on Visual Languages","user_id":"5786","doi":"10.1109/VL.1996.545302","language":[{"iso":"eng"}],"_id":"39526","date_updated":"2023-01-24T11:59:01Z","author":[{"full_name":"Geiger, Christian","first_name":"Christian","last_name":"Geiger"},{"last_name":"Hunstock","first_name":"R.","full_name":"Hunstock, R."},{"last_name":"Lehrenfeld","first_name":"Georg","full_name":"Lehrenfeld, Georg"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"last_name":"Quintanilla","first_name":"J. ","full_name":"Quintanilla, J. "},{"last_name":"Tahedl","first_name":"C. ","full_name":"Tahedl, C. "},{"last_name":"Weber","first_name":"A.","full_name":"Weber, A."}],"publication_identifier":{"isbn":["0-8186-7508-X"]},"title":"Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing","year":"1996","status":"public"}]