[{"doi":"10.1109/DATE.2010.5456965","user_id":"5786","_id":"37040","language":[{"iso":"eng"}],"publisher":"IEEE","date_updated":"2023-01-17T10:47:37Z","conference":{"location":"Dresden","name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"author":[{"full_name":"Becker, Markus","first_name":"Markus","last_name":"Becker"},{"full_name":"Di Guglielmo, Giuseppe","first_name":"Giuseppe","last_name":"Di Guglielmo"},{"full_name":"Fummi, Franco","last_name":"Fummi","first_name":"Franco"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"full_name":"Pravadelli, Graziano","first_name":"Graziano","last_name":"Pravadelli"},{"full_name":"Xie, Tao","last_name":"Xie","first_name":"Tao"}],"status":"public","year":"2010","title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","department":[{"_id":"672"}],"keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"type":"conference","place":"Dresden","date_created":"2023-01-17T10:47:29Z","abstract":[{"text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.","lang":"eng"}],"citation":{"apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>","ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>.","mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }"},"publication":"Proceedings of DATE’10"},{"date_updated":"2023-01-17T11:03:00Z","conference":{"name":"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010)"},"publication_identifier":{"isbn":["978-3-642-15233-7"]},"author":[{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"},{"full_name":"Zabel, Henning","last_name":"Zabel","first_name":"Henning"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"year":"2010","status":"public","title":"A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement","editor":[{"full_name":"Kleinjohann, L.","first_name":"L.","last_name":"Kleinjohann"},{"full_name":"Kleinjohann, B.","first_name":"B.","last_name":"Kleinjohann"}],"doi":"10.1007/978-3-642-15234-4_15","user_id":"5786","language":[{"iso":"eng"}],"_id":"37046","publisher":"Springer Verlag","abstract":[{"text":"In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, we combine the native speed of an abstract real-time operating system (RTOS) model in SystemC with dynamic binary translation for fast Instruction Set Simulation (ISS) by QEMU. In order to support stepwise RTOS software refinement from system level to the target software, each task can be separately migrated between the native execution and the ISS. By adapting the dynamic binary translation approach to an efficient but yet very accurate synchronization scheme the overhead of QEMU user mode execution is only factor two compared to native SystemC. Furthermore, the simulation speed increases almost linearly according to the utilization of the task set abstracted by the native execution. Hereby, the simulation time can be considerably reduced by cosimulating just a subset of tasks on QEMU.","lang":"eng"}],"citation":{"ieee":"M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement,” 2010, doi: <a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>.","mla":"Becker, Markus, et al. <i>A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement</i>. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>.","apa":"Becker, M., Zabel, H., &#38; Müller, W. (2010). <i>A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">https://doi.org/10.1007/978-3-642-15234-4_15</a>","bibtex":"@inproceedings{Becker_Zabel_Müller_2010, place={Dordrecht}, title={A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>}, publisher={Springer Verlag}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }","chicago":"Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">https://doi.org/10.1007/978-3-642-15234-4_15</a>.","short":"M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.","ama":"Becker M, Zabel H, Müller W. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>"},"department":[{"_id":"672"}],"keyword":["Application Programming Interface     User Mode     Kernel Space     System Level Design     Mixed Level"],"type":"conference","place":"Dordrecht","date_created":"2023-01-17T11:01:30Z"},{"date_updated":"2025-03-12T16:39:17Z","year":"2010","title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","status":"public","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"author":[{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"},{"full_name":"Di Guglielmo, Giuseppe","last_name":"Di Guglielmo","first_name":"Giuseppe"},{"first_name":"Franco","last_name":"Fummi","full_name":"Fummi, Franco"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"last_name":"Pravadelli","first_name":"Graziano","full_name":"Pravadelli, Graziano"},{"full_name":"Xie, Tao","first_name":"Tao","last_name":"Xie"}],"publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"doi":"10.1109/DATE.2010.5456965","user_id":"5786","publisher":"IEEE","_id":"37039","language":[{"iso":"eng"}],"abstract":[{"text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.","lang":"eng"}],"publication":"Proceedings of DATE’10","citation":{"chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>.","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>."},"type":"conference","keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"place":"Dresden","date_created":"2023-01-17T10:44:46Z"},{"type":"conference","keyword":["Command and control process","Command and control systems","Design and modeling","Domain ontologies","Emergency response","Fire extinguishers","Fire protection","Heterogeneous domains","Information analysis","Information sharing","Information systems","Interoperability","Ontology language","Semantic technologies","Semantic Web","Semantics"],"oa":"1","date_created":"2021-09-09T12:27:14Z","place":"Seattle, WA","quality_controlled":"1","publication":"ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management","citation":{"mla":"Pottebaum, Jens, et al. “Design and Modeling of a Domain Ontology for Fire Protection.” <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, edited by Simon French et al., 2010.","ama":"Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology for fire protection. In: French S, Tomaszewski B, Zobel C, eds. <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>. ; 2010.","bibtex":"@inproceedings{Pottebaum_Japs_Prödel_Koch_2010, place={Seattle, WA}, title={Design and modeling of a domain ontology for fire protection}, booktitle={ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management}, author={Pottebaum, Jens and Japs, Anna Maria and Prödel, Stephan and Koch, Rainer}, editor={French, Simon and Tomaszewski, Brian and Zobel, Chris}, year={2010} }","apa":"Pottebaum, J., Japs, A. M., Prödel, S., &#38; Koch, R. (2010). Design and modeling of a domain ontology for fire protection. In S. French, B. Tomaszewski, &#38; C. Zobel (Eds.), <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>.","ieee":"J. Pottebaum, A. M. Japs, S. Prödel, and R. Koch, “Design and modeling of a domain ontology for fire protection,” in <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, 2010.","chicago":"Pottebaum, Jens, Anna Maria Japs, Stephan Prödel, and Rainer Koch. “Design and Modeling of a Domain Ontology for Fire Protection.” In <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, edited by Simon French, Brian Tomaszewski, and Chris Zobel. Seattle, WA, 2010.","short":"J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski, C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, Seattle, WA, 2010."},"user_id":"405","editor":[{"full_name":"French, Simon","first_name":"Simon","last_name":"French"},{"full_name":"Tomaszewski, Brian","first_name":"Brian","last_name":"Tomaszewski"},{"full_name":"Zobel, Chris","first_name":"Chris","last_name":"Zobel"}],"main_file_link":[{"url":"http://idl.iscram.org/files/pottebaum/2010/847_Pottebaum_etal2010.pdf","open_access":"1"}],"language":[{"iso":"eng"}],"_id":"24065","date_updated":"2026-03-31T03:52:00Z","title":"Design and modeling of a domain ontology for fire protection","status":"public","year":"2010","author":[{"id":"405","full_name":"Pottebaum, Jens","first_name":"Jens","orcid":"http://orcid.org/0000-0001-8778-2989","last_name":"Pottebaum"},{"full_name":"Japs, Anna Maria","last_name":"Japs","first_name":"Anna Maria"},{"full_name":"Prödel, Stephan","last_name":"Prödel","first_name":"Stephan"},{"full_name":"Koch, Rainer","first_name":"Rainer","last_name":"Koch"}]},{"title":"People modify their tutoring behavior in robot-directed interaction for action learning","status":"public","year":"2009","author":[{"full_name":"Vollmer, Anna-Lisa","last_name":"Vollmer","first_name":"Anna-Lisa"},{"full_name":"Lohan, Katrin Solveig","first_name":"Katrin Solveig","last_name":"Lohan"},{"last_name":"Fischer","first_name":"Kerstin","full_name":"Fischer, Kerstin"},{"last_name":"Nagai","first_name":"Yukie","full_name":"Nagai, Yukie"},{"full_name":"Pitsch, Karola","last_name":"Pitsch","first_name":"Karola"},{"last_name":"Fritsch","first_name":"Jannik","full_name":"Fritsch, Jannik"},{"full_name":"Rohlfing, Katharina","last_name":"Rohlfing","first_name":"Katharina","id":"50352"},{"full_name":"Wrede, Britta","last_name":"Wrede","first_name":"Britta"}],"date_updated":"2023-02-01T13:06:43Z","page":"1-6","_id":"17272","publisher":"IEEE","language":[{"iso":"eng"}],"doi":"10.1109/DEVLRN.2009.5175516","user_id":"14931","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} }","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>.","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>","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."},"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."}],"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"}]},{"citation":{"apa":"Ion, V., &#38; Haeb-Umbach, R. (2008). A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition. <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, <i>16</i>(5), 1047–1060. <a href=\"https://doi.org/10.1109/TASL.2008.925879\">https://doi.org/10.1109/TASL.2008.925879</a>","ieee":"V. Ion and R. Haeb-Umbach, “A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition,” <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, vol. 16, no. 5, pp. 1047–1060, 2008.","short":"V. Ion, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language Processing 16 (2008) 1047–1060.","chicago":"Ion, Valentin, and Reinhold Haeb-Umbach. “A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition.” <i>IEEE Transactions on Audio, Speech, and Language Processing</i> 16, no. 5 (2008): 1047–60. <a href=\"https://doi.org/10.1109/TASL.2008.925879\">https://doi.org/10.1109/TASL.2008.925879</a>.","mla":"Ion, Valentin, and Reinhold Haeb-Umbach. “A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition.” <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, vol. 16, no. 5, 2008, pp. 1047–60, doi:<a href=\"https://doi.org/10.1109/TASL.2008.925879\">10.1109/TASL.2008.925879</a>.","ama":"Ion V, Haeb-Umbach R. A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition. <i>IEEE Transactions on Audio, Speech, and Language Processing</i>. 2008;16(5):1047-1060. doi:<a href=\"https://doi.org/10.1109/TASL.2008.925879\">10.1109/TASL.2008.925879</a>","bibtex":"@article{Ion_Haeb-Umbach_2008, title={A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition}, volume={16}, DOI={<a href=\"https://doi.org/10.1109/TASL.2008.925879\">10.1109/TASL.2008.925879</a>}, number={5}, journal={IEEE Transactions on Audio, Speech, and Language Processing}, author={Ion, Valentin and Haeb-Umbach, Reinhold}, year={2008}, pages={1047–1060} }"},"oa":"1","status":"public","_id":"11820","page":"1047-1060","volume":16,"user_id":"44006","issue":"5","publication":"IEEE Transactions on Audio, Speech, and Language Processing","abstract":[{"text":"In this paper, we derive an uncertainty decoding rule for automatic speech recognition (ASR), which accounts for both corrupted observations and inter-frame correlation. The conditional independence assumption, prevalent in hidden Markov model-based ASR, is relaxed to obtain a clean speech posterior that is conditioned on the complete observed feature vector sequence. This is a more informative posterior than one conditioned only on the current observation. The novel decoding is used to obtain a transmission-error robust remote ASR system, where the speech capturing unit is connected to the decoder via an error-prone communication network. We show how the clean speech posterior can be computed for communication links being characterized by either bit errors or packet loss. Recognition results are presented for both distributed and network speech recognition, where in the latter case common voice-over-IP codecs are employed.","lang":"eng"}],"date_created":"2019-07-12T05:28:53Z","department":[{"_id":"54"}],"keyword":["automatic speech recognition","bit errors","codecs","communication links","corrupted observations","decoding","distributed speech recognition","error-prone communication network","feature vector sequence","hidden Markov model-based ASR","hidden Markov models","inter-frame correlation","Internet telephony","network speech recognition","packet loss","speech posterior","speech recognition","transmission error robust speech recognition","uncertainty decoding","voice-over-IP codecs"],"type":"journal_article","author":[{"full_name":"Ion, Valentin","last_name":"Ion","first_name":"Valentin"},{"first_name":"Reinhold","last_name":"Haeb-Umbach","full_name":"Haeb-Umbach, Reinhold","id":"242"}],"year":"2008","title":"A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition","intvolume":"        16","date_updated":"2022-01-06T06:51:10Z","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2008/IoHa08-1.pdf","open_access":"1"}],"doi":"10.1109/TASL.2008.925879"},{"page":"261-292","_id":"34563","language":[{"iso":"eng"}],"publisher":"Springer-Verlag","doi":"10.1007/s10617-008-9028-9","user_id":"5786","volume":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"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Dahaene, Wim","last_name":"Dahaene","first_name":"Wim"}],"date_updated":"2022-12-19T12:23:56Z","intvolume":"        12","date_created":"2022-12-19T12:18:21Z","type":"journal_article","keyword":["UML     SysML     Model-based design     System specification     Modelling languages"],"department":[{"_id":"672"}],"publication":"Design Automation for Embedded Systems","citation":{"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>","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>.","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>.","short":"Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292.","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>"},"abstract":[{"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.","lang":"eng"}]},{"author":[{"full_name":"Schäfer, Robbie","last_name":"Schäfer","first_name":"Robbie"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"year":"2008","title":"Assessment of a Multimodal Interaction and Rendering System against Established Design Principles","intvolume":"         2","date_updated":"2022-12-19T12:23:05Z","language":[{"iso":"eng"}],"doi":"10.1007/s12193-008-0003-3","publication":"Journal on Multimodal User Interfaces","issue":"1","abstract":[{"text":"To provide user interfaces for a rich set of devices and interaction modalities, we follow a model-based development methodology. We devised an architecture which deploys user interfaces specified as dialogue models with abstract interaction objects and allows context-based adaptations by means of an external transcoding process. For the validation of the applicability of this methodology for developing usable multimodal multi-device systems, we present two case studies based on proof-of-concept implementations and assessed them with a large set of established design principles and different types of modality cooperation.","lang":"eng"}],"date_created":"2022-12-19T12:22:50Z","department":[{"_id":"672"}],"type":"journal_article","keyword":["Interaction architecture     Abstract interaction objects     Dialogue model     Transformations     Multimodality     Multi-device     Design principles"],"status":"public","_id":"34564","publisher":"Springer-Verlag","page":"25-41","volume":2,"user_id":"5786","citation":{"ama":"Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. <i>Journal on Multimodal User Interfaces</i>. 2008;2(1):25-41. doi:<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>","bibtex":"@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction and Rendering System against Established Design Principles}, volume={2}, DOI={<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>}, number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }","mla":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” <i>Journal on Multimodal User Interfaces</i>, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>.","short":"R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.","chicago":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” <i>Journal on Multimodal User Interfaces</i> 2, no. 1 (2008): 25–41. <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">https://doi.org/10.1007/s12193-008-0003-3</a>.","apa":"Schäfer, R., &#38; Müller, W. (2008). Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. <i>Journal on Multimodal User Interfaces</i>, <i>2</i>(1), 25–41. <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">https://doi.org/10.1007/s12193-008-0003-3</a>","ieee":"R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles,” <i>Journal on Multimodal User Interfaces</i>, vol. 2, no. 1, pp. 25–41, 2008, doi: <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>."}},{"department":[{"_id":"277"}],"type":"journal_article","keyword":["Address-obfuscating techniques","email","empirical analysis","honeypot","security by design","security by obscurity","spam"],"date_created":"2018-11-14T14:53:12Z","file":[{"date_created":"2018-12-18T13:27:01Z","creator":"hsiemes","file_id":"6326","content_type":"application/pdf","file_name":"The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam - An Empirical Analysis - Journal version.pdf","access_level":"open_access","file_size":3026200,"relation":"main_file","date_updated":"2018-12-18T13:27:01Z"}],"extern":"1","abstract":[{"text":"Email communication is encumbered with a mass of email messages which their recipients have neither requested nor require. Even worse, the impacts of these messages are far from being simply an annoyance, as they also involve economic damage. This manuscript examines the resource ?email addresses?, which is vital for any potential bulk mailer and spammer. Both a methodology and a honeypot conceptualization for implementing an empirical analysis of the usage of email addresses placed on the Internet are proposed here. Their objective is to assess, on a quantitative basis, the extent of the current harassment and its development over time. This ?framework? is intended to be extensible to measuring the effectiveness of address-obscuring techniques. The implementation of a pilot honeypot is described, which led to key findings, some of them being: (1) Web placements attract more than two-thirds (70\\%) of all honeypot spam emails, followed by newsgroup placements (28.6\\%) and newsletter subscriptions (1.4\\%), (2) the proportions of spam relating to the email addresses? top-level domain can be statistically assumed to be uniformly distributed, (3) More than 43\\% of addresses on the web have been abused, whereas about 27\\% was the case for addresses on newsgroups and only about 4\\% was the case for addresses used for a newsletter subscription, (4) Regarding the development of email addresses? attractiveness for spammers over time, the service ?web sites? features a negative linear relationship, whereas the service ?Usenet? hows a negative exponential relationship. (5) Only 1.54\\% of the spam emails showed an interrelation between the topic of the spam email and that of the location where the recipient?s address was placed, so that spammers are assumed to send their emails in a ?context insensitive? manner. The results of the empirical analysis motivate the need for the protection of email addresses through obscuration. We analyze this need by formulating requirements for address obscuring techniques and we reveal to which extent today?s most relevant approaches fulfill these requirements.","lang":"eng"}],"issue":"5","publication":"Computers & Security","language":[{"iso":"eng"}],"intvolume":"         2","date_updated":"2022-01-06T07:02:22Z","author":[{"last_name":"Schryen","first_name":"Guido","full_name":"Schryen, Guido","id":"72850"}],"year":"2007","title":"The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis","oa":"1","citation":{"short":"G. Schryen, Computers &#38; Security 2 (2007) 361–372.","chicago":"Schryen, Guido. “The Impact That Placing Email Addresses on the Internet Has on the Receipt of Spam ? An Empirical Analysis.” <i>Computers &#38; Security</i> 2, no. 5 (2007): 361–72.","ieee":"G. Schryen, “The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis,” <i>Computers &#38; Security</i>, vol. 2, no. 5, pp. 361–372, 2007.","apa":"Schryen, G. (2007). The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis. <i>Computers &#38; Security</i>, <i>2</i>(5), 361–372.","bibtex":"@article{Schryen_2007, title={The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis}, volume={2}, number={5}, journal={Computers &#38; Security}, publisher={Elsevier}, author={Schryen, Guido}, year={2007}, pages={361–372} }","ama":"Schryen G. The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis. <i>Computers &#38; Security</i>. 2007;2(5):361-372.","mla":"Schryen, Guido. “The Impact That Placing Email Addresses on the Internet Has on the Receipt of Spam ? An Empirical Analysis.” <i>Computers &#38; Security</i>, vol. 2, no. 5, Elsevier, 2007, pp. 361–72."},"file_date_updated":"2018-12-18T13:27:01Z","volume":2,"user_id":"61579","ddc":["000"],"publisher":"Elsevier","_id":"5658","page":"361-372","has_accepted_license":"1","status":"public"},{"doi":"10.1109/ahs.2007.73","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T07:03:08Z","title":"MOVES: A Modular Framework for Hardware Evolution","year":"2007","publication_identifier":{"isbn":["076952866X","9780769528663"]},"author":[{"full_name":"Kaufmann, Paul","last_name":"Kaufmann","first_name":"Paul"},{"id":"398","full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner"}],"keyword":["integrated circuit design","hardware evolution","evolutionary hardware design","evolutionary optimizers","hash functions","preengineered circuits","Hardware","Circuits","Design optimization","Visualization","Genetic programming","Genetic mutations","Clustering algorithms","Biological cells","Field programmable gate arrays","Routing"],"type":"conference","department":[{"_id":"78"}],"date_created":"2019-01-08T09:52:43Z","abstract":[{"lang":"eng","text":"In this paper, we present a framework that supports experimenting with evolutionary hardware design. We describe the framework's modules for composing evolutionary optimizers and for setting up, controlling, and analyzing experiments. Two case studies demonstrate the usefulness of the framework: evolution of hash functions and evolution based on pre-engineered circuits."}],"publication":"Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)","user_id":"3118","page":"447-454","_id":"6508","publisher":"IEEE","status":"public","conference":{"location":"Edinburgh, UK","start_date":"2007-08-05","name":"Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)","end_date":"2007-08-08"},"citation":{"short":"P. Kaufmann, M. Platzner, in: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), IEEE, 2007, pp. 447–454.","chicago":"Kaufmann, Paul, and Marco Platzner. “MOVES: A Modular Framework for Hardware Evolution.” In <i>Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)</i>, 447–54. IEEE, 2007. <a href=\"https://doi.org/10.1109/ahs.2007.73\">https://doi.org/10.1109/ahs.2007.73</a>.","ieee":"P. Kaufmann and M. Platzner, “MOVES: A Modular Framework for Hardware Evolution,” in <i>Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)</i>, Edinburgh, UK, 2007, pp. 447–454.","apa":"Kaufmann, P., &#38; Platzner, M. (2007). MOVES: A Modular Framework for Hardware Evolution. In <i>Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)</i> (pp. 447–454). Edinburgh, UK: IEEE. <a href=\"https://doi.org/10.1109/ahs.2007.73\">https://doi.org/10.1109/ahs.2007.73</a>","bibtex":"@inproceedings{Kaufmann_Platzner_2007, title={MOVES: A Modular Framework for Hardware Evolution}, DOI={<a href=\"https://doi.org/10.1109/ahs.2007.73\">10.1109/ahs.2007.73</a>}, booktitle={Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)}, publisher={IEEE}, author={Kaufmann, Paul and Platzner, Marco}, year={2007}, pages={447–454} }","ama":"Kaufmann P, Platzner M. MOVES: A Modular Framework for Hardware Evolution. In: <i>Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)</i>. IEEE; 2007:447-454. doi:<a href=\"https://doi.org/10.1109/ahs.2007.73\">10.1109/ahs.2007.73</a>","mla":"Kaufmann, Paul, and Marco Platzner. “MOVES: A Modular Framework for Hardware Evolution.” <i>Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)</i>, IEEE, 2007, pp. 447–54, doi:<a href=\"https://doi.org/10.1109/ahs.2007.73\">10.1109/ahs.2007.73</a>."}},{"intvolume":"         1","date_updated":"2022-01-06T06:50:49Z","author":[{"full_name":"Danne, Klaus","first_name":"Klaus","last_name":"Danne"},{"full_name":"Mühlenbernd, Roland","last_name":"Mühlenbernd","first_name":"Roland"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"publication_identifier":{"issn":["1751-8601"]},"year":"2007","status":"public","title":"Server-based execution of periodic tasks on dynamically reconfigurable hardware","volume":1,"user_id":"3118","doi":"10.1049/iet-cdt:20060186","language":[{"iso":"eng"}],"_id":"10646","page":"295-302","citation":{"short":"K. Danne, R. Mühlenbernd, M. Platzner, IET Computers Digital Techniques 1 (2007) 295–302.","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>.","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>","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.","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>","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} }","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>."},"issue":"4","publication":"IET Computers Digital Techniques","department":[{"_id":"78"}],"type":"journal_article","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"],"date_created":"2019-07-10T11:10:54Z"},{"abstract":[{"lang":"eng","text":"Location-aware services for private use such as GPS-\r\nbased navigation systems and GSM-based offerings\r\nhave become quite a success for outdoor applications,\r\nwhile indoor positioning systems are still mainly\r\nemployed for professional use only. The main reasons\r\nare cost issues and the complexity of setup and\r\nmaintenance of those systems. In this paper we\r\npresent CaMPTrack (Camera-based Multiple Person\r\nTracker), a prototype of a webcam-based positioning\r\nsystem and discuss its application and development\r\nchallenges."}],"publication":"Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007","citation":{"mla":"Schäfer, Robbie, et al. “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.” <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>, 2007.","ama":"Schäfer R, Müller W, Deimann R, Kleinjohann B. A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. In: <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>. ; 2007.","bibtex":"@inproceedings{Schäfer_Müller_Deimann_Kleinjohann_2007, place={San Jose, USA}, title={A Low-Cost Positioning System for Location-Aware Applications in Smart Homes}, booktitle={Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007}, author={Schäfer, Robbie and Müller, Wolfgang and Deimann, Roman and Kleinjohann, Bernd}, year={2007} }","apa":"Schäfer, R., Müller, W., Deimann, R., &#38; Kleinjohann, B. (2007). A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>.","ieee":"R. Schäfer, W. Müller, R. Deimann, and B. Kleinjohann, “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes,” 2007.","short":"R. Schäfer, W. Müller, R. Deimann, B. Kleinjohann, in: Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, USA, 2007.","chicago":"Schäfer, Robbie, Wolfgang Müller, Roman Deimann, and Bernd Kleinjohann. “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.” In <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>. San Jose, USA, 2007."},"keyword":["Positioning Systems","Camera Based","Cost Efficiency","Smart Home Applications"],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-23T11:50:18Z","place":"San Jose, USA","date_updated":"2023-01-23T11:50:27Z","year":"2007","title":"A Low-Cost Positioning System for Location-Aware Applications in Smart Homes","status":"public","author":[{"last_name":"Schäfer","first_name":"Robbie","full_name":"Schäfer, Robbie"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"full_name":"Deimann, Roman","first_name":"Roman","last_name":"Deimann"},{"last_name":"Kleinjohann","first_name":"Bernd","full_name":"Kleinjohann, Bernd"}],"user_id":"5786","language":[{"iso":"eng"}],"_id":"38104"},{"quality_controlled":"1","abstract":[{"text":"This paper presents a general model based on the electromechanical circuit theory. The model is set up as a mechanical equivalent model for base excited systems and describes the behaviour of a piezoelectric element around one resonance frequency which is sufficient for most practical applications. The model is extended to obtain the influence of geometrical and material properties. The derivated properties are used to describe the parameters of the general model which is easy to handle. Using this model either the calculation of the output power on a specific electric load or the determination of the design of the used piezoelectric element for a needed electric output power is possible. The paper focuses on the design of the ratio of length and width of a piezoelectric bimorph. The validity of the model is shown by the comparison of computed and experimental results.","lang":"eng"}],"publication":"ASME 2006 International Mechanical Engineering Congress and Exposition","citation":{"chicago":"Richter, Björn, Jens Twiefel, Tobias Hemsel, and Jörg Wallaschek. “Model Based Design of Piezoelectric Generators Utilizing Geometrical and Material Properties.” In <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>. Chicago, Illinois, USA, 2006. <a href=\"https://doi.org/doi:10.1115/IMECE2006-14862\">https://doi.org/doi:10.1115/IMECE2006-14862</a>.","short":"B. Richter, J. Twiefel, T. Hemsel, J. Wallaschek, in: ASME 2006 International Mechanical Engineering Congress and Exposition, Chicago, Illinois, USA, 2006.","ieee":"B. Richter, J. Twiefel, T. Hemsel, and J. Wallaschek, “Model based design of piezoelectric generators utilizing geometrical and material properties,” in <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>, 2006.","apa":"Richter, B., Twiefel, J., Hemsel, T., &#38; Wallaschek, J. (2006). Model based design of piezoelectric generators utilizing geometrical and material properties. In <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>. Chicago, Illinois, USA. <a href=\"https://doi.org/doi:10.1115/IMECE2006-14862\">https://doi.org/doi:10.1115/IMECE2006-14862</a>","bibtex":"@inproceedings{Richter_Twiefel_Hemsel_Wallaschek_2006, place={Chicago, Illinois, USA}, title={Model based design of piezoelectric generators utilizing geometrical and material properties}, DOI={<a href=\"https://doi.org/doi:10.1115/IMECE2006-14862\">doi:10.1115/IMECE2006-14862</a>}, booktitle={ASME 2006 International Mechanical Engineering Congress and Exposition}, author={Richter, Björn and Twiefel, Jens and Hemsel, Tobias and Wallaschek, Jörg}, year={2006} }","ama":"Richter B, Twiefel J, Hemsel T, Wallaschek J. Model based design of piezoelectric generators utilizing geometrical and material properties. In: <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>. Chicago, Illinois, USA; 2006. doi:<a href=\"https://doi.org/doi:10.1115/IMECE2006-14862\">doi:10.1115/IMECE2006-14862</a>","mla":"Richter, Björn, et al. “Model Based Design of Piezoelectric Generators Utilizing Geometrical and Material Properties.” <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>, 2006, doi:<a href=\"https://doi.org/doi:10.1115/IMECE2006-14862\">doi:10.1115/IMECE2006-14862</a>."},"keyword":["Materials properties","Design","Generators"],"type":"conference","department":[{"_id":"151"}],"place":"Chicago, Illinois, USA","date_created":"2019-04-29T09:37:45Z","date_updated":"2022-01-06T07:04:16Z","status":"public","year":"2006","title":"Model based design of piezoelectric generators utilizing geometrical and material properties","author":[{"full_name":"Richter, Björn","last_name":"Richter","first_name":"Björn"},{"full_name":"Twiefel, Jens","last_name":"Twiefel","first_name":"Jens"},{"first_name":"Tobias","last_name":"Hemsel","full_name":"Hemsel, Tobias","id":"210"},{"first_name":"Jörg","last_name":"Wallaschek","full_name":"Wallaschek, Jörg"}],"doi":"doi:10.1115/IMECE2006-14862","user_id":"55222","language":[{"iso":"eng"}],"_id":"9548"},{"department":[{"_id":"672"}],"keyword":["System testing","Software testing","Automotive engineering","Automatic testing","Machinery production industries","Protocols","Hardware design languages","Samarium","XML","Computer industry"],"type":"conference","date_created":"2023-01-23T12:00:06Z","place":"Paphos, Cyprus","abstract":[{"lang":"eng","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."}],"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>","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>.","short":"J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006."},"publication":"Proc. of ISOLA 06","user_id":"5786","doi":"10.1109/ISoLA.2006.37","language":[{"iso":"eng"}],"_id":"38107","date_updated":"2023-01-23T12:06:26Z","author":[{"full_name":"Großmann, Jürgen","last_name":"Großmann","first_name":"Jürgen"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"publication_identifier":{"isbn":["978-0-7695-3071-0"]},"conference":{"location":"Paphos, Cyprus"},"title":"A Formal Behavioral Semantics for TestML","status":"public","year":"2006"},{"department":[{"_id":"672"}],"type":"conference","keyword":["UML","Executable Models","Hardware/Software Co-design","Virtual Machine","Embedded Systems"],"place":"Las Vegas, NV","date_created":"2023-01-24T08:12:20Z","abstract":[{"text":"StateCharts are well accepted for embedded systems\r\nspecification for various applications. However, for the\r\nspecification of complex systems they have several\r\nlimitations. In this article, we present a novel approach to\r\nefficiently execute an UML 2.0 subset for embedded real-\r\ntime systems implementation with focus on hardware\r\ninterrupts, software exceptions, and timeouts. We\r\nintroduce a UML Virtual Machine, which directly\r\nexecutes sequence diagrams, which are embedded into\r\nhierarchically structured state transition diagrams.\r\nWhereas state diagrams are directly executed as\r\nEmbedded State Machines (ESMs), sequence diagrams\r\nare translated into UVM Bytecode. The final UVM\r\nexecution is performed by the interaction of the ESM and\r\nthe Bytecode Interpreter. Due to our completely model-\r\nbased approach, the UVM runtime kernel is easily\r\nadaptable and scalable to different scheduling and\r\nmemory management strategies.","lang":"eng"}],"citation":{"bibtex":"@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }","ama":"Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In: <i>Proceedings of ISNG 05</i>. ; 2005.","mla":"Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” <i>Proceedings of ISNG 05</i>, 2005.","short":"T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” In <i>Proceedings of ISNG 05</i>. Las Vegas, NV, 2005.","ieee":"T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.","apa":"Schattkowsky, T., &#38; Müller, W. (2005). A UML Virtual Machine for Embedded Systems. <i>Proceedings of ISNG 05</i>."},"publication":"Proceedings of ISNG 05","user_id":"5786","_id":"39030","language":[{"iso":"eng"}],"date_updated":"2023-01-24T08:12:26Z","author":[{"full_name":"Schattkowsky, Tim","first_name":"Tim","last_name":"Schattkowsky"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"title":"A UML Virtual Machine for Embedded Systems","year":"2005","status":"public"},{"date_created":"2023-01-24T08:18:10Z","place":"Dallas, TX, USA","department":[{"_id":"672"}],"type":"conference","keyword":["Unified modeling language","Software design","Virtual machining","Embedded system","Programming","Documentation","Hardware","Computer languages","Operating systems","Runtime"],"citation":{"short":"T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.","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>.","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>."},"publication":"Proceedings of VL/HCC 05","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."}],"language":[{"iso":"eng"}],"_id":"39032","user_id":"5786","doi":"10.1109/VLHCC.2005.64","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"publication_identifier":{"isbn":["0-7695-2443-5"]},"status":"public","year":"2005","title":"Transformation of UML State Machines for Direct Execution","date_updated":"2023-01-24T08:18:27Z"},{"language":[{"iso":"eng"}],"_id":"39061","doi":"10.1109/DATE.2004.1269214","user_id":"5786","year":"2004","title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","status":"public","conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"publication_identifier":{"isbn":["0-7695-2085-5"]},"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"},{"full_name":"Oliver, Ian","last_name":"Oliver","first_name":"Ian"}],"date_updated":"2023-01-24T08:53:31Z","place":"Paris","date_created":"2023-01-24T08:53:26Z","keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of DATE’04 Designers' Forum","citation":{"apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. <i>Proceedings of DATE’04 Designers’ Forum</i>. Proceedings Design, Automation and Test in Europe Conference and Exhibition. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>","ieee":"A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In <i>Proceedings of DATE’04 Designers’ Forum</i>. Paris, 2004. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>.","short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.","mla":"Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” <i>Proceedings of DATE’04 Designers’ Forum</i>, 2004, doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","ama":"Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: <i>Proceedings of DATE’04 Designers’ Forum</i>. ; 2004. doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>","bibtex":"@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }"},"abstract":[{"text":"This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit.","lang":"eng"}]},{"date_updated":"2022-01-06T06:51:08Z","intvolume":"         9","year":"2001","title":"Automatic generation of phonetic regression class trees for MLLR adaptation","author":[{"first_name":"Reinhold","last_name":"Haeb-Umbach","full_name":"Haeb-Umbach, Reinhold","id":"242"}],"doi":"10.1109/89.906003","main_file_link":[{"open_access":"1","url":"https://groups.uni-paderborn.de/nt/pubs/2001/Ha01.pdf"}],"language":[{"iso":"eng"}],"abstract":[{"text":"In this paper, it is shown that a correlation criterion is the appropriate criterion for bottom-up clustering to obtain broad phonetic class regression trees for maximum likelihood linear regression (MLLR)-based speaker adaptation. The correlation structure among speech units is estimated on the speaker-independent training data. In adaptation experiments the tree outperformed a regression tree obtained from clustering according to closeness in acoustic space and achieved results comparable with those of a manually designed broad phonetic class tree","lang":"eng"}],"publication":"IEEE Transactions on Speech and Audio Processing","issue":"3","keyword":["acoustic space","adaptation experiments","automatic generation","bottom-up clustering","broad phonetic class regression trees","correlation criterion","correlation methods","maximum likelihood estimation","maximum likelihood linear regression based speaker adaptation","MLLR adaptation","pattern clustering","phonetic regression class trees","speaker-independent training data","speech recognition","speech units","statistical analysis","trees (mathematics)"],"type":"journal_article","department":[{"_id":"54"}],"date_created":"2019-07-12T05:28:04Z","status":"public","user_id":"44006","volume":9,"page":"299-302","_id":"11778","citation":{"short":"R. Haeb-Umbach, IEEE Transactions on Speech and Audio Processing 9 (2001) 299–302.","chicago":"Haeb-Umbach, Reinhold. “Automatic Generation of Phonetic Regression Class Trees for MLLR Adaptation.” <i>IEEE Transactions on Speech and Audio Processing</i> 9, no. 3 (2001): 299–302. <a href=\"https://doi.org/10.1109/89.906003\">https://doi.org/10.1109/89.906003</a>.","apa":"Haeb-Umbach, R. (2001). Automatic generation of phonetic regression class trees for MLLR adaptation. <i>IEEE Transactions on Speech and Audio Processing</i>, <i>9</i>(3), 299–302. <a href=\"https://doi.org/10.1109/89.906003\">https://doi.org/10.1109/89.906003</a>","ieee":"R. Haeb-Umbach, “Automatic generation of phonetic regression class trees for MLLR adaptation,” <i>IEEE Transactions on Speech and Audio Processing</i>, vol. 9, no. 3, pp. 299–302, 2001.","ama":"Haeb-Umbach R. Automatic generation of phonetic regression class trees for MLLR adaptation. <i>IEEE Transactions on Speech and Audio Processing</i>. 2001;9(3):299-302. doi:<a href=\"https://doi.org/10.1109/89.906003\">10.1109/89.906003</a>","bibtex":"@article{Haeb-Umbach_2001, title={Automatic generation of phonetic regression class trees for MLLR adaptation}, volume={9}, DOI={<a href=\"https://doi.org/10.1109/89.906003\">10.1109/89.906003</a>}, number={3}, journal={IEEE Transactions on Speech and Audio Processing}, author={Haeb-Umbach, Reinhold}, year={2001}, pages={299–302} }","mla":"Haeb-Umbach, Reinhold. “Automatic Generation of Phonetic Regression Class Trees for MLLR Adaptation.” <i>IEEE Transactions on Speech and Audio Processing</i>, vol. 9, no. 3, 2001, pp. 299–302, doi:<a href=\"https://doi.org/10.1109/89.906003\">10.1109/89.906003</a>."},"oa":"1"},{"_id":"39411","language":[{"iso":"eng"}],"doi":"10.1109/ENABL.2001.953425","user_id":"5786","conference":{"name":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises"},"publication_identifier":{"isbn":["0-7695-1269-0"]},"author":[{"full_name":"Flake, Stephan","first_name":"Stephan","last_name":"Flake"},{"first_name":"Christian","last_name":"Geiger","full_name":"Geiger, Christian"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Ruf, Jürgen","first_name":"Jürgen","last_name":"Ruf"}],"status":"public","title":"Customer-Oriented Systems Design through Virtual Prototyps","year":"2001","date_updated":"2023-01-24T10:30:21Z","place":"Cambridge, MA, USA ","date_created":"2023-01-24T10:30:14Z","department":[{"_id":"672"}],"type":"conference","keyword":["Virtual prototyping","Animation","Collaboration","System analysis and design","Feedback","Application software","Power system modeling","Handicapped aids","Process design","Contracts"],"citation":{"mla":"Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” <i>Proceedings of IEEE KMN 2001</i>, 2001, doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","ama":"Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: <i>Proceedings of IEEE KMN 2001</i>. ; 2001. doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>","bibtex":"@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }","apa":"Flake, S., Geiger, C., Müller, W., &#38; Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. <i>Proceedings of IEEE KMN 2001</i>. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>","ieee":"S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","short":"S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.","chicago":"Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In <i>Proceedings of IEEE KMN 2001</i>. Cambridge, MA, USA , 2001. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>."},"publication":"Proceedings of IEEE KMN 2001","abstract":[{"text":"Rapid prototyping based on 3D models is well accepted for several applications. This article addresses the application of animated virtual 3D prototypes for the development of computer-based systems supporting early collaboration of the system designer with the external customer. Our methodology seamlessly integrates illustration through 3D animation with the main tasks of computer-based real-time systems development, i.e., implementation and verification. The approach is outlined by the example of the design of a flexible manufacturing system.","lang":"eng"}]},{"citation":{"apa":"Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., &#38; Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>.  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>","ieee":"W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: <a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","short":"W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.","chicago":"Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. Munich, Germany : IEEE, 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>.","mla":"Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>, IEEE, 2001, doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","ama":"Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. IEEE; 2001. doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>","bibtex":"@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }"},"publication":"Proceedings of the Design, Automation, and Test in Europe (DATE’01)","abstract":[{"text":"We present a rigorous but transparent semantics definition of SystemC that covers method, thread, and clocked thread behavior as well as their interaction with the simulation kernel process. The semantics includes watching statements, signal assignment, and wait statements as they are introduced in SystemC V1.O. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemC User's Manual and the reference implementation. We mainly see our formal semantics as a concise, unambiguous, high-level specification for SystemC-based implementations and for standardization. Additionally, it can be used as a sound basis to investigate SystemC interoperability with Verilog and VHDL.","lang":"eng"}],"place":"Munich, Germany ","date_created":"2023-01-24T10:39:33Z","department":[{"_id":"672"}],"type":"conference","keyword":["Yarn","Formal verification","Kernel","Hardware design languages","Electronic design automation and methodology","Algebra","Computational modeling","Logic functions","Computer languages","Clocks"],"conference":{"name":" Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001"},"publication_identifier":{"isbn":["0-7695-0993-2"]},"author":[{"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"},{"last_name":"Hoffmann","first_name":"D. W.","full_name":"Hoffmann, D. W."},{"last_name":"Gerlach","first_name":"Joachim","full_name":"Gerlach, Joachim"},{"first_name":"Thomas","last_name":"Kropf","full_name":"Kropf, Thomas"},{"full_name":"Rosenstiehl, W.","last_name":"Rosenstiehl","first_name":"W."}],"status":"public","year":"2001","title":"The Simulation Semantics of SystemC","date_updated":"2023-01-24T10:39:38Z","_id":"39421","language":[{"iso":"eng"}],"publisher":"IEEE","doi":"10.1109/DATE.2001.915002","user_id":"5786"}]