[{"citation":{"ama":"Russer JA, Uddin N, Awny AS, Thiede A, Russer P. Near-field measurement of stochastic electromagnetic fields. <i>IEEE Electromagnetic Compatibility Magazine</i>. 2015;4(3):79-85. doi:<a href=\"https://doi.org/10.1109/memc.2015.7336761\">10.1109/memc.2015.7336761</a>","chicago":"Russer, Johannes A., Nasir Uddin, Ahmed Sanaa Awny, Andreas Thiede, and Peter Russer. “Near-Field Measurement of Stochastic Electromagnetic Fields.” <i>IEEE Electromagnetic Compatibility Magazine</i> 4, no. 3 (2015): 79–85. <a href=\"https://doi.org/10.1109/memc.2015.7336761\">https://doi.org/10.1109/memc.2015.7336761</a>.","ieee":"J. A. Russer, N. Uddin, A. S. Awny, A. Thiede, and P. Russer, “Near-field measurement of stochastic electromagnetic fields,” <i>IEEE Electromagnetic Compatibility Magazine</i>, vol. 4, no. 3, pp. 79–85, 2015, doi: <a href=\"https://doi.org/10.1109/memc.2015.7336761\">10.1109/memc.2015.7336761</a>.","mla":"Russer, Johannes A., et al. “Near-Field Measurement of Stochastic Electromagnetic Fields.” <i>IEEE Electromagnetic Compatibility Magazine</i>, vol. 4, no. 3, Institute of Electrical and Electronics Engineers (IEEE), 2015, pp. 79–85, doi:<a href=\"https://doi.org/10.1109/memc.2015.7336761\">10.1109/memc.2015.7336761</a>.","bibtex":"@article{Russer_Uddin_Awny_Thiede_Russer_2015, title={Near-field measurement of stochastic electromagnetic fields}, volume={4}, DOI={<a href=\"https://doi.org/10.1109/memc.2015.7336761\">10.1109/memc.2015.7336761</a>}, number={3}, journal={IEEE Electromagnetic Compatibility Magazine}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Russer, Johannes A. and Uddin, Nasir and Awny, Ahmed Sanaa and Thiede, Andreas and Russer, Peter}, year={2015}, pages={79–85} }","short":"J.A. Russer, N. Uddin, A.S. Awny, A. Thiede, P. Russer, IEEE Electromagnetic Compatibility Magazine 4 (2015) 79–85.","apa":"Russer, J. A., Uddin, N., Awny, A. S., Thiede, A., &#38; Russer, P. (2015). Near-field measurement of stochastic electromagnetic fields. <i>IEEE Electromagnetic Compatibility Magazine</i>, <i>4</i>(3), 79–85. <a href=\"https://doi.org/10.1109/memc.2015.7336761\">https://doi.org/10.1109/memc.2015.7336761</a>"},"intvolume":"         4","page":"79-85","year":"2015","issue":"3","publication_status":"published","publication_identifier":{"issn":["2162-2264","2162-2272"]},"doi":"10.1109/memc.2015.7336761","title":"Near-field measurement of stochastic electromagnetic fields","date_created":"2023-02-07T10:59:53Z","author":[{"first_name":"Johannes A.","full_name":"Russer, Johannes A.","last_name":"Russer"},{"first_name":"Nasir","last_name":"Uddin","full_name":"Uddin, Nasir"},{"first_name":"Ahmed Sanaa","full_name":"Awny, Ahmed Sanaa","last_name":"Awny"},{"last_name":"Thiede","full_name":"Thiede, Andreas","id":"538","first_name":"Andreas"},{"first_name":"Peter","full_name":"Russer, Peter","last_name":"Russer"}],"volume":4,"date_updated":"2023-02-07T11:00:56Z","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","status":"public","type":"journal_article","publication":"IEEE Electromagnetic Compatibility Magazine","language":[{"iso":"eng"}],"keyword":["Electrical and Electronic Engineering","Computer Networks and Communications","Instrumentation","Signal Processing","Software"],"user_id":"77496","department":[{"_id":"51"}],"_id":"41866"},{"status":"public","publication":"24th Intl. Conf. on Field Programmable Logic and Applications (FPL)","type":"conference","keyword":["Linux","hardware-software codesign","multiprocessing systems","parallel processing","LEON3 multicore platform","Linux kernel","PMU","hardware counters","hardware-software infrastructure","high performance embedded computing","perf_event","performance monitoring unit","Computer architecture","Hardware","Monitoring","Phasor measurement units","Radiation detectors","Registers","Software"],"language":[{"iso":"eng"}],"_id":"10674","project":[{"name":"Engineering Proprioception in Computing Systems","_id":"31","grant_number":"257906"}],"department":[{"_id":"78"}],"user_id":"3118","year":"2014","page":"1-4","citation":{"apa":"Ho, N., Kaufmann, P., &#38; Platzner, M. (2014). A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms. In <i>24th Intl. Conf. on Field Programmable Logic and Applications (FPL)</i> (pp. 1–4). <a href=\"https://doi.org/10.1109/FPL.2014.6927437\">https://doi.org/10.1109/FPL.2014.6927437</a>","bibtex":"@inproceedings{Ho_Kaufmann_Platzner_2014, title={A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms}, DOI={<a href=\"https://doi.org/10.1109/FPL.2014.6927437\">10.1109/FPL.2014.6927437</a>}, booktitle={24th Intl. Conf. on Field Programmable Logic and Applications (FPL)}, author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2014}, pages={1–4} }","mla":"Ho, Nam, et al. “A Hardware/Software Infrastructure for Performance Monitoring on LEON3 Multicore Platforms.” <i>24th Intl. Conf. on Field Programmable Logic and Applications (FPL)</i>, 2014, pp. 1–4, doi:<a href=\"https://doi.org/10.1109/FPL.2014.6927437\">10.1109/FPL.2014.6927437</a>.","short":"N. Ho, P. Kaufmann, M. Platzner, in: 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 2014, pp. 1–4.","ieee":"N. Ho, P. Kaufmann, and M. Platzner, “A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms,” in <i>24th Intl. Conf. on Field Programmable Logic and Applications (FPL)</i>, 2014, pp. 1–4.","chicago":"Ho, Nam, Paul Kaufmann, and Marco Platzner. “A Hardware/Software Infrastructure for Performance Monitoring on LEON3 Multicore Platforms.” In <i>24th Intl. Conf. on Field Programmable Logic and Applications (FPL)</i>, 1–4, 2014. <a href=\"https://doi.org/10.1109/FPL.2014.6927437\">https://doi.org/10.1109/FPL.2014.6927437</a>.","ama":"Ho N, Kaufmann P, Platzner M. A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms. In: <i>24th Intl. Conf. on Field Programmable Logic and Applications (FPL)</i>. ; 2014:1-4. doi:<a href=\"https://doi.org/10.1109/FPL.2014.6927437\">10.1109/FPL.2014.6927437</a>"},"title":"A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms","doi":"10.1109/FPL.2014.6927437","date_updated":"2022-01-06T06:50:49Z","author":[{"first_name":"Nam","last_name":"Ho","full_name":"Ho, Nam"},{"full_name":"Kaufmann, Paul","last_name":"Kaufmann","first_name":"Paul"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"date_created":"2019-07-10T11:18:01Z"},{"date_updated":"2023-01-16T11:57:22Z","publisher":"IEEE","author":[{"first_name":"Markus","full_name":"Becker, Markus","last_name":"Becker"},{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-16T11:57:08Z","title":"Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems","doi":"10.1109/ICCPS.2014.6843726","conference":{"location":"Berlin","name":"ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)"},"year":"2014","place":"Berlin","citation":{"apa":"Becker, M., Kuznik, C., &#38; Müller, W. (2014). <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>","mla":"Becker, Markus, et al. <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. IEEE, 2014, doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>.","short":"M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.","bibtex":"@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}, DOI={<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>}, publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }","ama":"Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>","ieee":"M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi: <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>.","chicago":"Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>."},"_id":"36918","department":[{"_id":"58"}],"user_id":"5786","keyword":["Computational modeling","Finite element analysis","Prototypes","Abstracts","Software","Fault tolerance","Fault tolerant systems"],"language":[{"iso":"eng"}],"type":"conference","abstract":[{"text":"This paper presents an advanced eight levels spanning SystemC based virtual platform methodology and framework - referred to as HeroeS 3 - providing smooth application to platform mapping and continuous co-refinement of a virtual prototype with its physical environment model. For heterogeneity support, various SystemC extensions are combined covering continuous/discrete models of computation and different communication abstractions, such as analog mixed-signal models, abstract RTOS/HAL/middleware models, TLM bus models, and QEMU wrappers. We enable dependability assessment by Fault Effect Modeling (FEM) at the virtual prototype in order to avoid risking physical injury or damage. Also, simulation results are deterministic and can be evaluated interactively or offline. We apply FEM to both the physical environment model and the different abstractions of the virtual prototype. Currently, we focus on sensor failures and application control flow errors.","lang":"eng"}],"status":"public"},{"year":"2014","page":"1-1","citation":{"bibtex":"@article{Alizadeh_Behnam_Sadeghi-Kohan_2014, title={A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs}, DOI={<a href=\"https://doi.org/10.1109/tc.2014.2329687\">10.1109/tc.2014.2329687</a>}, journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Alizadeh, Bijan and Behnam, Payman and Sadeghi-Kohan, Somayeh}, year={2014}, pages={1–1} }","mla":"Alizadeh, Bijan, et al. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.” <i>IEEE Transactions on Computers</i>, Institute of Electrical and Electronics Engineers (IEEE), 2014, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/tc.2014.2329687\">10.1109/tc.2014.2329687</a>.","short":"B. Alizadeh, P. Behnam, S. Sadeghi-Kohan, IEEE Transactions on Computers (2014) 1–1.","apa":"Alizadeh, B., Behnam, P., &#38; Sadeghi-Kohan, S. (2014). A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. <i>IEEE Transactions on Computers</i>, 1–1. <a href=\"https://doi.org/10.1109/tc.2014.2329687\">https://doi.org/10.1109/tc.2014.2329687</a>","ama":"Alizadeh B, Behnam P, Sadeghi-Kohan S. A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. <i>IEEE Transactions on Computers</i>. Published online 2014:1-1. doi:<a href=\"https://doi.org/10.1109/tc.2014.2329687\">10.1109/tc.2014.2329687</a>","ieee":"B. Alizadeh, P. Behnam, and S. Sadeghi-Kohan, “A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs,” <i>IEEE Transactions on Computers</i>, pp. 1–1, 2014, doi: <a href=\"https://doi.org/10.1109/tc.2014.2329687\">10.1109/tc.2014.2329687</a>.","chicago":"Alizadeh, Bijan, Payman Behnam, and Somayeh Sadeghi-Kohan. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.” <i>IEEE Transactions on Computers</i>, 2014, 1–1. <a href=\"https://doi.org/10.1109/tc.2014.2329687\">https://doi.org/10.1109/tc.2014.2329687</a>."},"publication_identifier":{"issn":["0018-9340"]},"publication_status":"published","title":"A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs","doi":"10.1109/tc.2014.2329687","date_updated":"2023-08-02T11:32:37Z","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","author":[{"last_name":"Alizadeh","full_name":"Alizadeh, Bijan","first_name":"Bijan"},{"last_name":"Behnam","full_name":"Behnam, Payman","first_name":"Payman"},{"first_name":"Somayeh","id":"78614","full_name":"Sadeghi-Kohan, Somayeh","orcid":"https://orcid.org/0000-0001-7246-0610","last_name":"Sadeghi-Kohan"}],"date_created":"2023-08-02T11:15:22Z","status":"public","publication":"IEEE Transactions on Computers","type":"journal_article","keyword":["Computational Theory and Mathematics","Hardware and Architecture","Theoretical Computer Science","Software"],"language":[{"iso":"eng"}],"extern":"1","_id":"46266","department":[{"_id":"48"}],"user_id":"78614"},{"place":"New York, NY, USA","year":"2012","citation":{"ieee":"M. Becker, M. Luckey, and S. Becker, “Model-driven Performance Engineering of Self-adaptive Systems: A Survey,” in <i>{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}</i>, 2012, pp. 117–122.","chicago":"Becker, Matthias, Markus Luckey, and Steffen Becker. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.” In <i>{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}</i>, 117–22. New York, NY, USA: ACM, 2012. <a href=\"https://doi.org/10.1145/2304696.2304716\">https://doi.org/10.1145/2304696.2304716</a>.","ama":"Becker M, Luckey M, Becker S. Model-driven Performance Engineering of Self-adaptive Systems: A Survey. In: <i>{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}</i>. New York, NY, USA: ACM; 2012:117-122. doi:<a href=\"https://doi.org/10.1145/2304696.2304716\">10.1145/2304696.2304716</a>","short":"M. Becker, M. Luckey, S. Becker, in: {Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}, ACM, New York, NY, USA, 2012, pp. 117–122.","bibtex":"@inproceedings{Becker_Luckey_Becker_2012, place={New York, NY, USA}, title={Model-driven Performance Engineering of Self-adaptive Systems: A Survey}, DOI={<a href=\"https://doi.org/10.1145/2304696.2304716\">10.1145/2304696.2304716</a>}, booktitle={{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}}, publisher={ACM}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2012}, pages={117–122} }","mla":"Becker, Matthias, et al. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.” <i>{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}</i>, ACM, 2012, pp. 117–22, doi:<a href=\"https://doi.org/10.1145/2304696.2304716\">10.1145/2304696.2304716</a>.","apa":"Becker, M., Luckey, M., &#38; Becker, S. (2012). Model-driven Performance Engineering of Self-adaptive Systems: A Survey. In <i>{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}</i> (pp. 117–122). New York, NY, USA: ACM. <a href=\"https://doi.org/10.1145/2304696.2304716\">https://doi.org/10.1145/2304696.2304716</a>"},"page":"117-122","publication_identifier":{"isbn":["978-1-4503-1346-9"]},"title":"Model-driven Performance Engineering of Self-adaptive Systems: A Survey","doi":"10.1145/2304696.2304716","date_updated":"2022-01-06T06:55:39Z","publisher":"ACM","date_created":"2021-07-15T08:38:08Z","author":[{"first_name":"Matthias","full_name":"Becker, Matthias","last_name":"Becker"},{"full_name":"Luckey, Markus","last_name":"Luckey","first_name":"Markus"},{"first_name":"Steffen","full_name":"Becker, Steffen","last_name":"Becker"}],"status":"public","type":"conference","publication":"{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}","keyword":["model-driven performance engineering","self-*","Self-adaptation","software performance"],"_id":"22737","user_id":"4870"},{"author":[{"first_name":"Christian","last_name":"Janiesch","full_name":"Janiesch, Christian"},{"last_name":"Matzner","full_name":"Matzner, Martin","first_name":"Martin"},{"first_name":"Oliver","full_name":"Müller, Oliver","id":"72849","last_name":"Müller"}],"date_created":"2018-10-12T08:36:51Z","date_updated":"2022-01-06T07:01:19Z","doi":"10.1108/14637151211253765","title":"Beyond process monitoring: A proof-of-concept of event-driven business activity management","issue":"4","publication_identifier":{"issn":["14637154"],"isbn":["1020120096"]},"page":"625--643","citation":{"ama":"Janiesch C, Matzner M, Müller O. Beyond process monitoring: A proof-of-concept of event-driven business activity management. <i>Business Process Management Journal</i>. 2012;(4):625--643. doi:<a href=\"https://doi.org/10.1108/14637151211253765\">10.1108/14637151211253765</a>","ieee":"C. Janiesch, M. Matzner, and O. Müller, “Beyond process monitoring: A proof-of-concept of event-driven business activity management,” <i>Business Process Management Journal</i>, no. 4, pp. 625--643, 2012.","chicago":"Janiesch, Christian, Martin Matzner, and Oliver Müller. “Beyond Process Monitoring: A Proof-of-Concept of Event-Driven Business Activity Management.” <i>Business Process Management Journal</i>, no. 4 (2012): 625--643. <a href=\"https://doi.org/10.1108/14637151211253765\">https://doi.org/10.1108/14637151211253765</a>.","bibtex":"@article{Janiesch_Matzner_Müller_2012, title={Beyond process monitoring: A proof-of-concept of event-driven business activity management}, DOI={<a href=\"https://doi.org/10.1108/14637151211253765\">10.1108/14637151211253765</a>}, number={4}, journal={Business Process Management Journal}, author={Janiesch, Christian and Matzner, Martin and Müller, Oliver}, year={2012}, pages={625--643} }","mla":"Janiesch, Christian, et al. “Beyond Process Monitoring: A Proof-of-Concept of Event-Driven Business Activity Management.” <i>Business Process Management Journal</i>, no. 4, 2012, pp. 625--643, doi:<a href=\"https://doi.org/10.1108/14637151211253765\">10.1108/14637151211253765</a>.","short":"C. Janiesch, M. Matzner, O. Müller, Business Process Management Journal (2012) 625--643.","apa":"Janiesch, C., Matzner, M., &#38; Müller, O. (2012). Beyond process monitoring: A proof-of-concept of event-driven business activity management. <i>Business Process Management Journal</i>, (4), 625--643. <a href=\"https://doi.org/10.1108/14637151211253765\">https://doi.org/10.1108/14637151211253765</a>"},"year":"2012","user_id":"72849","_id":"4706","extern":"1","keyword":["Architecture","Business activity monitoring","Business process management","Business process re-engineering","Complex event processing","Computer software","Standard software"],"publication":"Business Process Management Journal","type":"journal_article","status":"public","abstract":[{"text":"Purpose – The purpose of this paper is to show how to employ complex event processing (CEP) for the observation and management of business processes. It proposes a conceptual architecture of BPM event producer, processor, and consumer and describes technical implications for the application with standard software in a perfect order scenario. Design/methodology/approach – The authors discuss business process analytics as the technological background. The capabilities of CEP in a BPM context are outlined an architecture design is proposed. A sophisticated proof-of-concept demonstrates its applicability. Findings – The results overcome the separation and data latency issues of process controlling, monitoring, and simulation. Distinct analyses of past, present, and future blur into a holistic real-time approach. The authors highlight the necessity for configurable event producer in BPM engines, process event support in CEP engines, a common process event format, connectors to visualizers, notifiers and return channels to the BPM engine. Research limitations/implications – Further research will thoroughly evaluate the approach in a variety of business settings. New concepts and standards for the architecture's building blocks will be needed to improve maintainability and operability. Practical implications – Managers learn how CEP can yield insights into business processes' operations. The paper illustrates a path to overcome inflexibility, latency, and missing feedback mechanisms of current process modeling and control solutions. Software vendors might be interested in the conceptualization and the described needs for further development. Originality/value – So far, there is no commercial CEP-based BPM solution which facilitates a round trip from insight to action as outlines. As major software vendors have begun developing solutions (BPM/BPA solutions), this paper will stimulate a debate between research and practice on suitable design and technology.","lang":"eng"}]},{"date_updated":"2022-01-06T06:50:58Z","author":[{"last_name":"Schuster","full_name":"Schuster, Jörg","first_name":"Jörg"},{"first_name":"Yeong Su","full_name":"Lee, Yeong Su","last_name":"Lee"},{"full_name":"Kobothanassi, Despina ","last_name":"Kobothanassi","first_name":"Despina "},{"last_name":"Bargel","full_name":"Bargel, Matthias","first_name":"Matthias"},{"first_name":"Michaela","full_name":"Geierhos, Michaela","id":"42496","last_name":"Geierhos","orcid":"0000-0002-8180-5606"}],"conference":{"end_date":"2011-06-29","location":"London, UK","name":"International Conference on Information Society (i-Society 2011)","start_date":"2011-06-27"},"publication_status":"published","publication_identifier":{"eisbn":["978-0-9564263-8-3 "],"isbn":["978-1-61284-148-9"]},"place":"Piscataway, NJ, USA","citation":{"ama":"Schuster J, Lee YS, Kobothanassi D, Bargel M, Geierhos M. SCM - A Simple, Modular and Flexible Customer Interaction Management System. In: <i>International Conference on Information Society (i-Society 2011)</i>. Piscataway, NJ, USA: IEEE; 2011:153-158.","chicago":"Schuster, Jörg, Yeong Su Lee, Despina  Kobothanassi, Matthias Bargel, and Michaela Geierhos. “SCM - A Simple, Modular and Flexible Customer Interaction Management System.” In <i>International Conference on Information Society (i-Society 2011)</i>, 153–58. Piscataway, NJ, USA: IEEE, 2011.","ieee":"J. Schuster, Y. S. Lee, D. Kobothanassi, M. Bargel, and M. Geierhos, “SCM - A Simple, Modular and Flexible Customer Interaction Management System,” in <i>International Conference on Information Society (i-Society 2011)</i>, London, UK, 2011, pp. 153–158.","apa":"Schuster, J., Lee, Y. S., Kobothanassi, D., Bargel, M., &#38; Geierhos, M. (2011). SCM - A Simple, Modular and Flexible Customer Interaction Management System. In <i>International Conference on Information Society (i-Society 2011)</i> (pp. 153–158). Piscataway, NJ, USA: IEEE.","bibtex":"@inproceedings{Schuster_Lee_Kobothanassi_Bargel_Geierhos_2011, place={Piscataway, NJ, USA}, title={SCM - A Simple, Modular and Flexible Customer Interaction Management System}, booktitle={International Conference on Information Society (i-Society 2011)}, publisher={IEEE}, author={Schuster, Jörg and Lee, Yeong Su and Kobothanassi, Despina  and Bargel, Matthias and Geierhos, Michaela}, year={2011}, pages={153–158} }","mla":"Schuster, Jörg, et al. “SCM - A Simple, Modular and Flexible Customer Interaction Management System.” <i>International Conference on Information Society (i-Society 2011)</i>, IEEE, 2011, pp. 153–58.","short":"J. Schuster, Y.S. Lee, D. Kobothanassi, M. Bargel, M. Geierhos, in: International Conference on Information Society (i-Society 2011), IEEE, Piscataway, NJ, USA, 2011, pp. 153–158."},"page":"153-158","_id":"1120","user_id":"42496","department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"extern":"1","type":"conference","status":"public","publisher":"IEEE","date_created":"2018-01-29T15:15:25Z","title":"SCM - A Simple, Modular and Flexible Customer Interaction Management System","quality_controlled":"1","year":"2011","keyword":["Social Media Business Integration","Contact Center Application Support","Monitoring Social Conversations","Social Customer Interaction Management","Monitoring","Software Agents"],"language":[{"iso":"eng"}],"publication":"International Conference on Information Society (i-Society 2011)","abstract":[{"lang":"eng","text":"SCM is a simple, modular and flexible system for web monitoring and customer interaction management. In our view, its main advantages are the following: It is completely web based. It combines all technologies, data, software agents and human agents involved in the monitoring and customer interaction process. It can be used for messages written in any natural language. Although the prototype of SCM is designed for classifying and processing messages about mobile-phone related problems in social networks, SCM can easily be adapted to other text types such as discussion board posts, blogs or emails. Unlike comparable systems, SCM uses linguistic technologies to classify messages and recognize paraphrases of product names. For two reasons, product name paraphrasing plays a major role in SCM: First, product names typically have many, sometimes hundreds or thousands of intralingual paraphrases. Secondly, product names have interlingual paraphrases: The same products are often called or spelt differently in different countries and/or languages. By mapping product name variants to an international canonical form, SCM allows for answering questions like Which statements are made about this mobile phone in which languages/in which social networks/in which countries/...? The SCM product name paraphrasing engine is designed in such a way that standard variants are assigned automatically, regular variants are assigned semiautomatically and idiosyncratic variants can be added manually. With this and similar features we try to realize our philosophy of simplicity, modularity and flexibility: Whatever can be done automatically is done automatically. But manual intervention is always possible and easy and it does not conflict in any way with the automatic functions of SCM."}]},{"date_created":"2019-07-12T05:30:16Z","author":[{"last_name":"Schmalenstroeer","full_name":"Schmalenstroeer, Joerg","id":"460","first_name":"Joerg"},{"first_name":"Reinhold","last_name":"Haeb-Umbach","full_name":"Haeb-Umbach, Reinhold","id":"242"}],"volume":4,"date_updated":"2023-10-26T08:10:18Z","oa":"1","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2010/ScHa10.pdf","open_access":"1"}],"doi":"10.1109/JSTSP.2010.2050519","title":"Online Diarization of Streaming Audio-Visual Data for Smart Environments","issue":"5","quality_controlled":"1","citation":{"apa":"Schmalenstroeer, J., &#38; Haeb-Umbach, R. (2010). Online Diarization of Streaming Audio-Visual Data for Smart Environments. <i>IEEE Journal of Selected Topics in Signal Processing</i>, <i>4</i>(5), 845–856. <a href=\"https://doi.org/10.1109/JSTSP.2010.2050519\">https://doi.org/10.1109/JSTSP.2010.2050519</a>","mla":"Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Online Diarization of Streaming Audio-Visual Data for Smart Environments.” <i>IEEE Journal of Selected Topics in Signal Processing</i>, vol. 4, no. 5, 2010, pp. 845–56, doi:<a href=\"https://doi.org/10.1109/JSTSP.2010.2050519\">10.1109/JSTSP.2010.2050519</a>.","bibtex":"@article{Schmalenstroeer_Haeb-Umbach_2010, title={Online Diarization of Streaming Audio-Visual Data for Smart Environments}, volume={4}, DOI={<a href=\"https://doi.org/10.1109/JSTSP.2010.2050519\">10.1109/JSTSP.2010.2050519</a>}, number={5}, journal={IEEE Journal of Selected Topics in Signal Processing}, author={Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2010}, pages={845–856} }","short":"J. Schmalenstroeer, R. Haeb-Umbach, IEEE Journal of Selected Topics in Signal Processing 4 (2010) 845–856.","ama":"Schmalenstroeer J, Haeb-Umbach R. Online Diarization of Streaming Audio-Visual Data for Smart Environments. <i>IEEE Journal of Selected Topics in Signal Processing</i>. 2010;4(5):845-856. doi:<a href=\"https://doi.org/10.1109/JSTSP.2010.2050519\">10.1109/JSTSP.2010.2050519</a>","chicago":"Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Online Diarization of Streaming Audio-Visual Data for Smart Environments.” <i>IEEE Journal of Selected Topics in Signal Processing</i> 4, no. 5 (2010): 845–56. <a href=\"https://doi.org/10.1109/JSTSP.2010.2050519\">https://doi.org/10.1109/JSTSP.2010.2050519</a>.","ieee":"J. Schmalenstroeer and R. Haeb-Umbach, “Online Diarization of Streaming Audio-Visual Data for Smart Environments,” <i>IEEE Journal of Selected Topics in Signal Processing</i>, vol. 4, no. 5, pp. 845–856, 2010, doi: <a href=\"https://doi.org/10.1109/JSTSP.2010.2050519\">10.1109/JSTSP.2010.2050519</a>."},"page":"845-856","intvolume":"         4","year":"2010","user_id":"460","department":[{"_id":"54"}],"_id":"11892","language":[{"iso":"eng"}],"keyword":["audio streaming","audio visual data streaming","context information speech","face identification","face recognition","image segmentation","middleware","multimodal telecommunication","online diarization","service oriented middleware architecture","sessionless telecommunication","software architecture","speaker identification","speaker localization","speaker recognition","steerable camera","telecommunication computing","temporal segmentation","terminal-less telecommunication","video streaming"],"type":"journal_article","publication":"IEEE Journal of Selected Topics in Signal Processing","status":"public","abstract":[{"text":"For an environment to be perceived as being smart, contextual information has to be gathered to adapt the system's behavior and its interface towards the user. Being a rich source of context information speech can be acquired unobtrusively by microphone arrays and then processed to extract information about the user and his environment. In this paper, a system for joint temporal segmentation, speaker localization, and identification is presented, which is supported by face identification from video data obtained from a steerable camera. Special attention is paid to latency aspects and online processing capabilities, as they are important for the application under investigation, namely ambient communication. It describes the vision of terminal-less, session-less and multi-modal telecommunication with remote partners, where the user can move freely within his home while the communication follows him. The speaker diarization serves as a context source, which has been integrated in a service-oriented middleware architecture and provided to the application to select the most appropriate I/O device and to steer the camera towards the speaker during ambient communication.","lang":"eng"}]},{"_id":"37007","department":[{"_id":"672"}],"user_id":"5786","keyword":["Unified modeling language","Field programmable gate arrays","Bridges","Helium","Real time systems","Operating systems","Documentation","Application software","XML","Space exploration"],"language":[{"iso":"eng"}],"publication":"Proceedings of DATE’10","type":"conference","abstract":[{"text":"UML is widely applied for the specification and modeling of software and some studies have demonstrated that it is applicable for HW/SW codesign. However, in this area there is still a big gap from UML modeling to SystemC-based verification and synthesis environments. This paper presents an efficient approach to bridge this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework for the seamless integration of a customized SysML entry with code generation for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate the applicability of our approach.","lang":"eng"}],"status":"public","publisher":"IEEE","date_updated":"2023-01-17T09:12:44Z","date_created":"2023-01-17T09:12:35Z","author":[{"first_name":"Fabian","last_name":"Mischkalla","full_name":"Mischkalla, Fabian"},{"first_name":"Da","last_name":"He","full_name":"He, Da"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"title":"Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems","conference":{"location":"Dresden","name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"doi":"10.1109/DATE.2010.5456990","publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"place":"Dresden","year":"2010","citation":{"apa":"Mischkalla, F., He, D., &#38; Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">https://doi.org/10.1109/DATE.2010.5456990</a>","bibtex":"@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }","mla":"Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>.","short":"F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","ama":"Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>","ieee":"F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>.","chicago":"Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">https://doi.org/10.1109/DATE.2010.5456990</a>."}},{"citation":{"apa":"Oliveira, M. F. S., Zabel, H., &#38; Müller, W. (2010). Assertion-Based Verification of RTOS Properties. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">https://doi.org/10.1109/DATE.2010.5457130</a>","short":"M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","mla":"Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>.","bibtex":"@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }","chicago":"Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">https://doi.org/10.1109/DATE.2010.5457130</a>.","ieee":"M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>.","ama":"Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>"},"place":"Dresden","year":"2010","author":[{"first_name":"Marcio F. S.","last_name":"Oliveira","full_name":"Oliveira, Marcio F. S."},{"full_name":"Zabel, Henning","last_name":"Zabel","first_name":"Henning"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-17T09:15:10Z","date_updated":"2023-01-17T09:15:18Z","publisher":"IEEE","doi":"10.1109/DATE.2010.5457130","conference":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"title":"Assertion-Based Verification of RTOS Properties","publication":"Proceedings of DATE’10","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) residing on one or several processors. For scaling of each task set and processor configuration, instruction set simulation and worst case timing analysis are typically applied. This paper presents a complementary approach for the verification of RTOS properties based on an abstract RTOS-Model in SystemC. We apply IEEE P1850 PSL for which we present an approach and first experiences for the assertion-based verification of RTOS properties."}],"department":[{"_id":"672"}],"user_id":"5786","_id":"37009","language":[{"iso":"eng"}],"keyword":["Operating systems","Real time systems","Timing","Hardware","Analytical models","Embedded software","Software systems","Processor scheduling","Software performance","Performance analysis"]},{"keyword":["Timing","Programming","Automotive engineering","Application software","Hardware","Computer architecture","Communication system software","Software architecture","Delay","Software standards"],"language":[{"iso":"eng"}],"_id":"37011","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"text":"Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSAR-based language for timing modeling and analysis. We present and apply the Timing Augmented Description Language (TADL) and demonstrate a methodology for the development of a speed-adaptive steer-by-wire system. We examine the impact of TADL and the methodology on the development process and the suitability and interoperability of the applied tools with respect to the AUTOSAR-based tool chain in the context of our case study.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of DATE’10, Dresden","title":"Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study","conference":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"doi":"10.1109/DATE.2010.5457125","date_updated":"2023-01-17T09:19:46Z","publisher":"IEEE","date_created":"2023-01-17T09:19:36Z","author":[{"first_name":"Kay","full_name":"Klobedanz, Kay","last_name":"Klobedanz"},{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"first_name":"Andre","last_name":"Thuy","full_name":"Thuy, Andre"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"year":"2010","place":"Dresden","citation":{"apa":"Klobedanz, K., Kuznik, C., Thuy, A., &#38; Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. <i>Proceedings of DATE’10, Dresden</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5457125\">https://doi.org/10.1109/DATE.2010.5457125</a>","mla":"Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” <i>Proceedings of DATE’10, Dresden</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>.","short":"K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.","bibtex":"@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }","ieee":"K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>.","chicago":"Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In <i>Proceedings of DATE’10, Dresden</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457125\">https://doi.org/10.1109/DATE.2010.5457125</a>.","ama":"Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: <i>Proceedings of DATE’10, Dresden</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457125\">10.1109/DATE.2010.5457125</a>"}},{"title":"A Systematic Approach to Combined HW/SW System Test","doi":"10.1109/DATE.2010.5457186","conference":{"location":"Dresden","name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"publisher":"IEEE","date_updated":"2023-01-17T10:41:25Z","author":[{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_created":"2023-01-17T10:41:15Z","year":"2010","place":"Dresden","citation":{"ama":"Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>","ieee":"A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” 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.5457186\">10.1109/DATE.2010.5457186</a>.","chicago":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457186\">https://doi.org/10.1109/DATE.2010.5457186</a>.","apa":"Krupp, A., &#38; Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. <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.5457186\">https://doi.org/10.1109/DATE.2010.5457186</a>","short":"A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","mla":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>.","bibtex":"@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }"},"keyword":["System testing","Automatic testing","Object oriented modeling","Classification tree analysis","Automotive engineering","Mathematical model","Embedded system","Control systems","Electronic equipment testing","Software testing"],"language":[{"iso":"eng"}],"_id":"37037","department":[{"_id":"672"}],"user_id":"5786","abstract":[{"text":"Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the precise specification of stimuli for operational ranges of continuous control systems. It introduces novel means for continuous acceptance criteria definition and for functional coverage definition.","lang":"eng"}],"status":"public","publication":"Proceedings of DATE’10","type":"conference"},{"date_created":"2023-01-17T11:28:26Z","author":[{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"first_name":"Marcio F.","full_name":"da S. Oliveira, Marcio F.","last_name":"da S. Oliveira"},{"first_name":"Henning","full_name":"Zabel, Henning","last_name":"Zabel"},{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"}],"publisher":"IEEE","date_updated":"2023-01-17T11:28:30Z","conference":{"name":"IEEE International High Level Design Validation and Test Workshop (HLDVT)","location":"Anaheim, FL, USA"},"title":"Verification of Real-Time Properties for Hardware-Dependant Software","publication_identifier":{"eisbn":["978-1-4244-7806-4"]},"citation":{"bibtex":"@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }","mla":"Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” <i>Proceedings of HLDVT2010</i>, IEEE, 2010.","short":"W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.","apa":"Müller, W., da S. Oliveira, M. F., Zabel, H., &#38; Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. <i>Proceedings of HLDVT2010</i>. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.","ama":"Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: <i>Proceedings of HLDVT2010</i>. IEEE; 2010.","ieee":"W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.","chicago":"Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In <i>Proceedings of HLDVT2010</i>. IEEE, 2010."},"year":"2010","department":[{"_id":"672"}],"user_id":"5786","_id":"37053","language":[{"iso":"eng"}],"keyword":["Hardware","Microprogramming","Application software","Timing","Protocols","Virtual prototyping","Real time systems","Sampling methods","Operating systems","Emulation"],"publication":"Proceedings of HLDVT2010","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent Software (HdS) like drivers, operating systems, and firmware. For early estimation and verification, the application of SystemC in combination with Instruction Set Simulators and Software Emulators like QEMU is widely accepted. In this article, we present an advanced design flow for HW, (RT)OS and HdS refinement and verification with focus on the transition from abstract RTOS verification to full system RTOS/HdS emulation. In the context of assertion-based verification, we introduce a set of generic real-time properties which can be reused and verified at different abstraction levels and discuss their application. The properties are presented by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS models."}]},{"title":"Open Source vs. Closed Source Software: Towards Measuring Security","oa":"1","date_updated":"2022-01-06T07:02:13Z","author":[{"first_name":"Guido","last_name":"Schryen","full_name":"Schryen, Guido","id":"72850"},{"last_name":"Kadura","full_name":"Kadura, Rouven","first_name":"Rouven"}],"date_created":"2018-11-14T14:12:27Z","year":"2009","citation":{"apa":"Schryen, G., &#38; Kadura, R. (2009). Open Source vs. Closed Source Software: Towards Measuring Security. In <i>24th Annual ACM Symposium on Applied Computing</i>.","mla":"Schryen, Guido, and Rouven Kadura. “Open Source vs. Closed Source Software: Towards Measuring Security.” <i>24th Annual ACM Symposium on Applied Computing</i>, 2009.","short":"G. Schryen, R. Kadura, in: 24th Annual ACM Symposium on Applied Computing, 2009.","bibtex":"@inproceedings{Schryen_Kadura_2009, title={Open Source vs. Closed Source Software: Towards Measuring Security}, booktitle={24th Annual ACM Symposium on Applied Computing}, author={Schryen, Guido and Kadura, Rouven}, year={2009} }","chicago":"Schryen, Guido, and Rouven Kadura. “Open Source vs. Closed Source Software: Towards Measuring Security.” In <i>24th Annual ACM Symposium on Applied Computing</i>, 2009.","ieee":"G. Schryen and R. Kadura, “Open Source vs. Closed Source Software: Towards Measuring Security,” in <i>24th Annual ACM Symposium on Applied Computing</i>, 2009.","ama":"Schryen G, Kadura R. Open Source vs. Closed Source Software: Towards Measuring Security. In: <i>24th Annual ACM Symposium on Applied Computing</i>. ; 2009."},"has_accepted_license":"1","keyword":["Open source software","Closed source software","Security","Metrics"],"ddc":["000"],"language":[{"iso":"eng"}],"file_date_updated":"2018-12-18T13:14:09Z","extern":"1","_id":"5625","department":[{"_id":"277"}],"user_id":"61579","abstract":[{"lang":"eng","text":"The increasing availability and deployment of open source software in personal and commercial environments makes open source software highly appealing for hackers, and others who are interested in exploiting software vulnerabilities. This deployment has resulted in a debate ?full of religion? on the security of open source software compared to that of closed source software. However, beyond such arguments, only little quantitative analysis on this research issue has taken place. We discuss the state-of-the-art of the security debate and identify shortcomings. Based on these, we propose new metrics, which allows to answer the question to what extent the review process of open source and closed source development has helped to fix vulnerabilities. We illustrate the application of some of these metrics in a case study on OpenOffice (open source software) vs. Microsoft Office (closed source software)."}],"status":"public","file":[{"creator":"hsiemes","date_created":"2018-12-18T13:14:09Z","date_updated":"2018-12-18T13:14:09Z","access_level":"open_access","file_id":"6310","file_name":"ACM VERSION.pdf","file_size":456497,"content_type":"application/pdf","relation":"main_file"}],"publication":"24th Annual ACM Symposium on Applied Computing","type":"conference"},{"has_accepted_license":"1","citation":{"ama":"Schryen G. Security of open source and closed source software: An empirical comparison of published vulnerabilities. In: <i>15th Americas Conference on Information Systems</i>. ; 2009.","chicago":"Schryen, Guido. “Security of Open Source and Closed Source Software: An Empirical Comparison of Published Vulnerabilities.” In <i>15th Americas Conference on Information Systems</i>, 2009.","ieee":"G. Schryen, “Security of open source and closed source software: An empirical comparison of published vulnerabilities,” in <i>15th Americas Conference on Information Systems</i>, 2009.","bibtex":"@inproceedings{Schryen_2009, title={Security of open source and closed source software: An empirical comparison of published vulnerabilities}, booktitle={15th Americas Conference on Information Systems}, author={Schryen, Guido}, year={2009} }","short":"G. Schryen, in: 15th Americas Conference on Information Systems, 2009.","mla":"Schryen, Guido. “Security of Open Source and Closed Source Software: An Empirical Comparison of Published Vulnerabilities.” <i>15th Americas Conference on Information Systems</i>, 2009.","apa":"Schryen, G. (2009). Security of open source and closed source software: An empirical comparison of published vulnerabilities. In <i>15th Americas Conference on Information Systems</i>."},"year":"2009","date_created":"2018-11-14T14:41:24Z","author":[{"first_name":"Guido","last_name":"Schryen","id":"72850","full_name":"Schryen, Guido"}],"oa":"1","date_updated":"2022-01-06T07:02:19Z","title":"Security of open source and closed source software: An empirical comparison of published vulnerabilities","publication":"15th Americas Conference on Information Systems","type":"conference","status":"public","file":[{"content_type":"application/pdf","relation":"main_file","date_updated":"2018-12-18T13:16:39Z","date_created":"2018-12-18T13:16:39Z","creator":"hsiemes","file_size":483690,"file_name":"Security of Open Source and Closed Source Software An Empirical - AMCIS Version.pdf","access_level":"open_access","file_id":"6317"}],"abstract":[{"text":"Reviewing literature on open source and closed source security reveals that the discussion is often determined by biased attitudes toward one of these development styles. The discussion specifically lacks appropriate metrics, methodology and hard data. This paper contributes to solving this problem by analyzing and comparing published vulnerabilities of eight open source software and nine closed source software packages, all of which are widely deployed. Thereby, it provides an extensive empirical analysis of vulnerabilities in terms of mean time between vulnerability disclosures, the development of disclosure over time, and the severity of vulnerabilities, and allows for validating models provided in the literature. The investigation reveals that (a) the mean time between vulnerability disclosures was lower for open source software in half of the cases, while the other cases show no differences, (b) in contrast to literature assumption, 14 out of 17 software packages showed a significant linear or piecewise linear correlation between time and the number of published vulnerabilities, and (c) regarding the severity of vulnerabilities, no significant differences were found between open source and closed source.","lang":"eng"}],"department":[{"_id":"277"}],"user_id":"61579","_id":"5647","file_date_updated":"2018-12-18T13:16:39Z","language":[{"iso":"eng"}],"extern":"1","keyword":["Vulnerabilities","security","open source software","closed source software","empirical comparison"],"ddc":["000"]},{"date_created":"2022-10-18T10:54:39Z","author":[{"full_name":"Ecker, Wolfgang","last_name":"Ecker","first_name":"Wolfgang"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"last_name":"Dömer","full_name":"Dömer, Rainer","first_name":"Rainer"}],"date_updated":"2022-10-18T10:54:56Z","publisher":"Springer Verlag","doi":"10.1007/978-1-4020-9436-1_1","title":"Hardware-dependent Software - Introduction and Overview","publication_identifier":{"isbn":["978-1-4020-9435-4"]},"citation":{"ama":"Ecker W, Müller W, Dömer R. Hardware-dependent Software - Introduction and Overview. In: Ecker W, Müller W, Dömer R, eds. <i>Hardware Dependent Software - Principles and Practice</i>. Springer Verlag; 2009:1-14. doi:<a href=\"https://doi.org/10.1007/978-1-4020-9436-1_1\">10.1007/978-1-4020-9436-1_1</a>","chicago":"Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer. “Hardware-Dependent Software - Introduction and Overview.” In <i>Hardware Dependent Software - Principles and Practice</i>, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 1–14. Dordrecht: Springer Verlag, 2009. <a href=\"https://doi.org/10.1007/978-1-4020-9436-1_1\">https://doi.org/10.1007/978-1-4020-9436-1_1</a>.","ieee":"W. Ecker, W. Müller, and R. Dömer, “Hardware-dependent Software - Introduction and Overview,” in <i>Hardware Dependent Software - Principles and Practice</i>, W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp. 1–14.","apa":"Ecker, W., Müller, W., &#38; Dömer, R. (2009). Hardware-dependent Software - Introduction and Overview. In W. Ecker, W. Müller, &#38; R. Dömer (Eds.), <i>Hardware Dependent Software - Principles and Practice</i> (pp. 1–14). Springer Verlag. <a href=\"https://doi.org/10.1007/978-1-4020-9436-1_1\">https://doi.org/10.1007/978-1-4020-9436-1_1</a>","mla":"Ecker, Wolfgang, et al. “Hardware-Dependent Software - Introduction and Overview.” <i>Hardware Dependent Software - Principles and Practice</i>, edited by Wolfgang Ecker et al., Springer Verlag, 2009, pp. 1–14, doi:<a href=\"https://doi.org/10.1007/978-1-4020-9436-1_1\">10.1007/978-1-4020-9436-1_1</a>.","bibtex":"@inbook{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent Software - Introduction and Overview}, DOI={<a href=\"https://doi.org/10.1007/978-1-4020-9436-1_1\">10.1007/978-1-4020-9436-1_1</a>}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={1–14} }","short":"W. Ecker, W. Müller, R. Dömer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 1–14."},"page":"1-14","place":"Dordrecht","year":"2009","user_id":"5786","department":[{"_id":"672"}],"_id":"33814","language":[{"iso":"eng"}],"keyword":["Hardware-dependent Software","Systems Complexity","Productivity Gap"],"type":"book_chapter","publication":"Hardware Dependent Software - Principles and Practice","status":"public","editor":[{"first_name":"Wolfgang","full_name":"Ecker, Wolfgang","last_name":"Ecker"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"first_name":"Rainer","last_name":"Dömer","full_name":"Dömer, Rainer"}],"abstract":[{"text":"Rapidly rising system complexity has created a growing productivity gap in the\r\ndesign of electronic systems. One critical component is Hardware-dependent\r\nSoftware (HdS), the importance of which is often underestimated. In this chap-\r\nter, we introduce HdS and illustrate its role in the overall system design context.\r\nWe also provide a brief overview and define a basic HdS terminology and con-\r\nclude with a brief outlook over the following chapters in this book.","lang":"eng"}]},{"date_created":"2023-01-17T11:54:02Z","author":[{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"full_name":"Xie, Tao","last_name":"Xie","first_name":"Tao"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_updated":"2023-01-17T11:54:07Z","publisher":"IEEE","doi":"10.1109/DATE.2009.5090664","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition"},"title":"A UML Frontend for IP-XACT-based IP Management","publication_identifier":{"isbn":["978-1-4244-3781-8"]},"citation":{"apa":"Schattkowsky, T., Xie, T., &#38; Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. <i>Proceedings of DATE’09</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition. <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">https://doi.org/10.1109/DATE.2009.5090664</a>","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} }","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.","ama":"Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management. In: <i>Proceedings of DATE’09</i>. IEEE; 2009. doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>","ieee":"T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based IP Management,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition, 2009, doi: <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>.","chicago":"Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.” In <i>Proceedings of DATE’09</i>. Nice, France: IEEE, 2009. <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">https://doi.org/10.1109/DATE.2009.5090664</a>."},"place":"Nice, France","year":"2009","department":[{"_id":"672"}],"user_id":"5786","_id":"37067","language":[{"iso":"eng"}],"keyword":["Unified modeling language","XML","Power system modeling","Application software","Master-slave","Power system management","Acceleration","Scattering","Software engineering","Software standards"],"publication":"Proceedings of DATE'09","type":"conference","status":"public","abstract":[{"lang":"eng","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."}]},{"abstract":[{"lang":"eng","text":"Today, mobile and embedded real-time systems have to cope with the migration and allocation of multiple software tasks running on top of a real-time operating system (RTOS) residing on one or multiple system processors. Abstract RTOS simulations and timing analysis applies for fast and early estimation to configure it towards the individual needs of the application and environment. In this context, a high accuracy of the simulation compared to an instruction set simulation (ISS) is of key importance. In this paper, we investigate the accuracy of abstract RTOS simulation and compare it to ISS and the behavior of the physical system. We show that we can reach an increased accuracy of the simulation when we inject noise into the time model. Our results indicate that it is sufficient to inject uniformly distributed random time values to the RTOS real-time clock."}],"status":"public","type":"conference","publication":"Proceedings of DATE'09","keyword":["Timing","Analytical models","Clocks","Performance analysis","Scheduling","Operating systems","Delay","Real time systems","Application software","Context modeling"],"language":[{"iso":"eng"}],"_id":"37066","user_id":"5786","department":[{"_id":"672"}],"year":"2009","place":"Nice, France","citation":{"ama":"Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: <i>Proceedings of DATE’09</i>. ; 2009. doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>","chicago":"Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” In <i>Proceedings of DATE’09</i>. Nice, France, 2009. <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">https://doi.org/10.1109/DATE.2009.5090925</a>.","ieee":"H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition, 2009, doi: <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>.","apa":"Zabel, H., &#38; Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. <i>Proceedings of DATE’09</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition. <a href=\"https://doi.org/10.1109/DATE.2009.5090925\">https://doi.org/10.1109/DATE.2009.5090925</a>","bibtex":"@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>}, booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang}, year={2009} }","mla":"Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” <i>Proceedings of DATE’09</i>, 2009, doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090925\">10.1109/DATE.2009.5090925</a>.","short":"H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009."},"publication_identifier":{"isbn":["978-1-4244-3781-8"]},"title":"Increased Accuracy through Noise Injection in Abstract RTOS Simulation","doi":"10.1109/DATE.2009.5090925","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition"},"date_updated":"2023-01-17T11:51:48Z","author":[{"last_name":"Zabel","full_name":"Zabel, Henning","first_name":"Henning"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_created":"2023-01-17T11:51:44Z"},{"type":"conference","publication":"Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning","status":"public","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."}],"user_id":"14931","department":[{"_id":"749"}],"_id":"17272","language":[{"iso":"eng"}],"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"],"citation":{"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>.","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>","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.","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} }","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>."},"page":"1-6","year":"2009","date_created":"2020-06-24T13:02:43Z","author":[{"last_name":"Vollmer","full_name":"Vollmer, Anna-Lisa","first_name":"Anna-Lisa"},{"first_name":"Katrin Solveig","last_name":"Lohan","full_name":"Lohan, Katrin Solveig"},{"last_name":"Fischer","full_name":"Fischer, Kerstin","first_name":"Kerstin"},{"first_name":"Yukie","last_name":"Nagai","full_name":"Nagai, Yukie"},{"first_name":"Karola","full_name":"Pitsch, Karola","last_name":"Pitsch"},{"first_name":"Jannik","last_name":"Fritsch","full_name":"Fritsch, Jannik"},{"first_name":"Katharina","full_name":"Rohlfing, Katharina","id":"50352","last_name":"Rohlfing"},{"first_name":"Britta","last_name":"Wrede","full_name":"Wrede, Britta"}],"date_updated":"2023-02-01T13:06:43Z","publisher":"IEEE","doi":"10.1109/DEVLRN.2009.5175516","title":"People modify their tutoring behavior in robot-directed interaction for action learning"},{"status":"public","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."}],"type":"conference","publication":"Proc. of ISOLA 06","language":[{"iso":"eng"}],"keyword":["System testing","Software testing","Automotive engineering","Automatic testing","Machinery production industries","Protocols","Hardware design languages","Samarium","XML","Computer industry"],"user_id":"5786","department":[{"_id":"672"}],"_id":"38107","citation":{"short":"J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.","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} }","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>.","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>","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>","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>.","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>."},"place":"Paphos, Cyprus","year":"2006","publication_identifier":{"isbn":["978-0-7695-3071-0"]},"conference":{"location":"Paphos, Cyprus"},"doi":"10.1109/ISoLA.2006.37","title":"A Formal Behavioral Semantics for TestML","author":[{"full_name":"Großmann, Jürgen","last_name":"Großmann","first_name":"Jürgen"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2023-01-23T12:00:06Z","date_updated":"2023-01-23T12:06:26Z"}]