[{"publication_identifier":{"issn":["1664-1078"]},"year":"2016","intvolume":"         7","citation":{"ama":"Rohlfing K, Wrede B, Vollmer A-L, Oudeyer P-Y. An Alternative to Mapping a Word onto a Concept in Language Acquisition: Pragmatic Frames. <i>FRONTIERS IN PSYCHOLOGY</i>. 2016;7. doi:<a href=\"https://doi.org/10.3389/fpsyg.2016.00470\">10.3389/fpsyg.2016.00470</a>","ieee":"K. Rohlfing, B. Wrede, A.-L. Vollmer, and P.-Y. Oudeyer, “An Alternative to Mapping a Word onto a Concept in Language Acquisition: Pragmatic Frames,” <i>FRONTIERS IN PSYCHOLOGY</i>, vol. 7, 2016, doi: <a href=\"https://doi.org/10.3389/fpsyg.2016.00470\">10.3389/fpsyg.2016.00470</a>.","chicago":"Rohlfing, Katharina, Britta Wrede, Anna-Lisa Vollmer, and Pierre-Yves Oudeyer. “An Alternative to Mapping a Word onto a Concept in Language Acquisition: Pragmatic Frames.” <i>FRONTIERS IN PSYCHOLOGY</i> 7 (2016). <a href=\"https://doi.org/10.3389/fpsyg.2016.00470\">https://doi.org/10.3389/fpsyg.2016.00470</a>.","mla":"Rohlfing, Katharina, et al. “An Alternative to Mapping a Word onto a Concept in Language Acquisition: Pragmatic Frames.” <i>FRONTIERS IN PSYCHOLOGY</i>, vol. 7, Frontiers Media Sa, 2016, doi:<a href=\"https://doi.org/10.3389/fpsyg.2016.00470\">10.3389/fpsyg.2016.00470</a>.","short":"K. Rohlfing, B. Wrede, A.-L. Vollmer, P.-Y. Oudeyer, FRONTIERS IN PSYCHOLOGY 7 (2016).","bibtex":"@article{Rohlfing_Wrede_Vollmer_Oudeyer_2016, title={An Alternative to Mapping a Word onto a Concept in Language Acquisition: Pragmatic Frames}, volume={7}, DOI={<a href=\"https://doi.org/10.3389/fpsyg.2016.00470\">10.3389/fpsyg.2016.00470</a>}, journal={FRONTIERS IN PSYCHOLOGY}, publisher={Frontiers Media Sa}, author={Rohlfing, Katharina and Wrede, Britta and Vollmer, Anna-Lisa and Oudeyer, Pierre-Yves}, year={2016} }","apa":"Rohlfing, K., Wrede, B., Vollmer, A.-L., &#38; Oudeyer, P.-Y. (2016). An Alternative to Mapping a Word onto a Concept in Language Acquisition: Pragmatic Frames. <i>FRONTIERS IN PSYCHOLOGY</i>, <i>7</i>. <a href=\"https://doi.org/10.3389/fpsyg.2016.00470\">https://doi.org/10.3389/fpsyg.2016.00470</a>"},"publisher":"Frontiers Media Sa","date_updated":"2023-02-01T16:04:21Z","volume":7,"date_created":"2020-06-24T13:00:57Z","author":[{"first_name":"Katharina","id":"50352","full_name":"Rohlfing, Katharina","last_name":"Rohlfing"},{"full_name":"Wrede, Britta","last_name":"Wrede","first_name":"Britta"},{"first_name":"Anna-Lisa","full_name":"Vollmer, Anna-Lisa","last_name":"Vollmer"},{"last_name":"Oudeyer","full_name":"Oudeyer, Pierre-Yves","first_name":"Pierre-Yves"}],"title":"An Alternative to Mapping a Word onto a Concept in Language Acquisition: Pragmatic Frames","doi":"10.3389/fpsyg.2016.00470","publication":"FRONTIERS IN PSYCHOLOGY","type":"journal_article","abstract":[{"lang":"eng","text":"The classic mapping metaphor posits that children learn a word by mapping it onto a concept of an object or event. However, we believe that a mapping metaphor cannot account for word learning, because even though children focus attention on objects, they do not necessarily remember the connection between the word and the referent unless it is framed pragmatically, that is, within a task. Our theoretical paper proposes an alternative mechanism for word learning. Our main premise is that word learning occurs as children accomplish a goal in cooperation with a partner. We follow Bruner's (1983) idea and further specify pragmatic frames as the learning units that drive language acquisition and cognitive development. These units consist of a sequence of actions and verbal behaviors that are co-constructed with a partner to achieve a joint goal. We elaborate on this alternative, offer some initial parametrizations of the concept, and embed it in current language learning approaches."}],"status":"public","_id":"17181","department":[{"_id":"749"}],"user_id":"14931","keyword":["language acquisition","pragmatics","infants' social learning","frames","learning and memory","developmental robotics"],"language":[{"iso":"eng"}]},{"status":"public","type":"journal_article","publication":"International Journal of Lexicography","keyword":["Language and Linguistics"],"language":[{"iso":"eng"}],"extern":"1","_id":"46148","user_id":"89571","year":"2016","citation":{"apa":"Wolfer, S., Bartz, T., Weber, T., Abel, A., Meyer, C. M., Müller-Spitzer, C., &#38; Storrer, A. (2016). The Effectiveness of Lexicographic Tools for Optimising Written L1-Texts. <i>International Journal of Lexicography</i>, <i>31</i>(1), 1–28. <a href=\"https://doi.org/10.1093/ijl/ecw038\">https://doi.org/10.1093/ijl/ecw038</a>","bibtex":"@article{Wolfer_Bartz_Weber_Abel_Meyer_Müller-Spitzer_Storrer_2016, title={The Effectiveness of Lexicographic Tools for Optimising Written L1-Texts}, volume={31}, DOI={<a href=\"https://doi.org/10.1093/ijl/ecw038\">10.1093/ijl/ecw038</a>}, number={1}, journal={International Journal of Lexicography}, publisher={Oxford University Press (OUP)}, author={Wolfer, Sascha and Bartz, Thomas and Weber, Tassja and Abel, Andrea and Meyer, Christian M and Müller-Spitzer, Carolin and Storrer, Angelika}, year={2016}, pages={1–28} }","short":"S. Wolfer, T. Bartz, T. Weber, A. Abel, C.M. Meyer, C. Müller-Spitzer, A. Storrer, International Journal of Lexicography 31 (2016) 1–28.","mla":"Wolfer, Sascha, et al. “The Effectiveness of Lexicographic Tools for Optimising Written L1-Texts.” <i>International Journal of Lexicography</i>, vol. 31, no. 1, Oxford University Press (OUP), 2016, pp. 1–28, doi:<a href=\"https://doi.org/10.1093/ijl/ecw038\">10.1093/ijl/ecw038</a>.","chicago":"Wolfer, Sascha, Thomas Bartz, Tassja Weber, Andrea Abel, Christian M Meyer, Carolin Müller-Spitzer, and Angelika Storrer. “The Effectiveness of Lexicographic Tools for Optimising Written L1-Texts.” <i>International Journal of Lexicography</i> 31, no. 1 (2016): 1–28. <a href=\"https://doi.org/10.1093/ijl/ecw038\">https://doi.org/10.1093/ijl/ecw038</a>.","ieee":"S. Wolfer <i>et al.</i>, “The Effectiveness of Lexicographic Tools for Optimising Written L1-Texts,” <i>International Journal of Lexicography</i>, vol. 31, no. 1, pp. 1–28, 2016, doi: <a href=\"https://doi.org/10.1093/ijl/ecw038\">10.1093/ijl/ecw038</a>.","ama":"Wolfer S, Bartz T, Weber T, et al. The Effectiveness of Lexicographic Tools for Optimising Written L1-Texts. <i>International Journal of Lexicography</i>. 2016;31(1):1-28. doi:<a href=\"https://doi.org/10.1093/ijl/ecw038\">10.1093/ijl/ecw038</a>"},"page":"1-28","intvolume":"        31","publication_status":"published","publication_identifier":{"issn":["0950-3846","1477-4577"]},"issue":"1","title":"The Effectiveness of Lexicographic Tools for Optimising Written L1-Texts","doi":"10.1093/ijl/ecw038","date_updated":"2023-07-26T07:44:09Z","publisher":"Oxford University Press (OUP)","author":[{"first_name":"Sascha","full_name":"Wolfer, Sascha","last_name":"Wolfer"},{"first_name":"Thomas","last_name":"Bartz","full_name":"Bartz, Thomas"},{"first_name":"Tassja","id":"89571","full_name":"Weber, Tassja","last_name":"Weber"},{"first_name":"Andrea","full_name":"Abel, Andrea","last_name":"Abel"},{"first_name":"Christian M","last_name":"Meyer","full_name":"Meyer, Christian M"},{"full_name":"Müller-Spitzer, Carolin","last_name":"Müller-Spitzer","first_name":"Carolin"},{"first_name":"Angelika","last_name":"Storrer","full_name":"Storrer, Angelika"}],"date_created":"2023-07-26T07:03:57Z","volume":31},{"year":"2016","citation":{"ama":"Pieczewski J, Nettekoven C, Neuschmelting V, Thiele K, Goldbrunner R, Weiss Lucas C. Retest-reliability and tolerability of 10, 30 and 50 Hz repetitive transcranial magnetic stimulation (rTMS) for language mapping: a preclinical study. In: ; 2016. doi:<a href=\"https://doi.org/10.3205/16dgnc323\">10.3205/16dgnc323</a>","ieee":"J. Pieczewski, C. Nettekoven, V. Neuschmelting, K. Thiele, R. Goldbrunner, and C. Weiss Lucas, “Retest-reliability and tolerability of 10, 30 and 50 Hz repetitive transcranial magnetic stimulation (rTMS) for language mapping: a preclinical study,” 2016, doi: <a href=\"https://doi.org/10.3205/16dgnc323\">10.3205/16dgnc323</a>.","chicago":"Pieczewski, Julia, Charlotte Nettekoven, Volker Neuschmelting, Kristina Thiele, Roland Goldbrunner, and Carolin Weiss Lucas. “Retest-Reliability and Tolerability of 10, 30 and 50 Hz Repetitive Transcranial Magnetic Stimulation (RTMS) for Language Mapping: A Preclinical Study,” 2016. <a href=\"https://doi.org/10.3205/16dgnc323\">https://doi.org/10.3205/16dgnc323</a>.","apa":"Pieczewski, J., Nettekoven, C., Neuschmelting, V., Thiele, K., Goldbrunner, R., &#38; Weiss Lucas, C. (2016). <i>Retest-reliability and tolerability of 10, 30 and 50 Hz repetitive transcranial magnetic stimulation (rTMS) for language mapping: a preclinical study</i>. <a href=\"https://doi.org/10.3205/16dgnc323\">https://doi.org/10.3205/16dgnc323</a>","bibtex":"@inproceedings{Pieczewski_Nettekoven_Neuschmelting_Thiele_Goldbrunner_Weiss Lucas_2016, title={Retest-reliability and tolerability of 10, 30 and 50 Hz repetitive transcranial magnetic stimulation (rTMS) for language mapping: a preclinical study}, DOI={<a href=\"https://doi.org/10.3205/16dgnc323\">10.3205/16dgnc323</a>}, author={Pieczewski, Julia and Nettekoven, Charlotte and Neuschmelting, Volker and Thiele, Kristina and Goldbrunner, Roland and Weiss Lucas, Carolin}, year={2016} }","mla":"Pieczewski, Julia, et al. <i>Retest-Reliability and Tolerability of 10, 30 and 50 Hz Repetitive Transcranial Magnetic Stimulation (RTMS) for Language Mapping: A Preclinical Study</i>. 2016, doi:<a href=\"https://doi.org/10.3205/16dgnc323\">10.3205/16dgnc323</a>.","short":"J. Pieczewski, C. Nettekoven, V. Neuschmelting, K. Thiele, R. Goldbrunner, C. Weiss Lucas, in: 2016."},"title":"Retest-reliability and tolerability of 10, 30 and 50 Hz repetitive transcranial magnetic stimulation (rTMS) for language mapping: a preclinical study","doi":"10.3205/16dgnc323","date_updated":"2026-04-13T11:35:27Z","date_created":"2025-01-06T12:11:42Z","author":[{"first_name":"Julia","last_name":"Pieczewski","full_name":"Pieczewski, Julia"},{"full_name":"Nettekoven, Charlotte","last_name":"Nettekoven","first_name":"Charlotte"},{"full_name":"Neuschmelting, Volker","last_name":"Neuschmelting","first_name":"Volker"},{"last_name":"Thiele","full_name":"Thiele, Kristina","first_name":"Kristina"},{"first_name":"Roland","last_name":"Goldbrunner","full_name":"Goldbrunner, Roland"},{"first_name":"Carolin","last_name":"Weiss Lucas","full_name":"Weiss Lucas, Carolin"}],"status":"public","type":"conference_abstract","keyword":["610 Medical sciences","language mapping","Medicine","retest-reliability","rTMS"],"extern":"1","language":[{"iso":"eng"}],"_id":"57965","user_id":"61071","department":[{"_id":"890"}]},{"status":"public","abstract":[{"text":"Besides the core learning algorithm itself, one major question in machine learning is how to best encode given training data such that the learning technology can efficiently learn based thereon and generalize to novel data. While classical approaches often rely on a hand coded data representation, the topic of autonomous representation or feature learning plays a major role in modern learning architectures. The goal of this contribution is to give an overview about different principles of autonomous feature learning, and to exemplify two principles based on two recent examples: autonomous metric learning for sequences, and autonomous learning of a deep representation for spoken language, respectively.","lang":"eng"}],"type":"journal_article","publication":"KI - Kuenstliche Intelligenz","language":[{"iso":"eng"}],"keyword":["Representation learning","Metric learning","Deep representation","Spoken language"],"user_id":"44006","department":[{"_id":"54"}],"_id":"11922","citation":{"chicago":"Walter, Oliver, Reinhold Haeb-Umbach, Bassam Mokbel, Benjamin Paassen, and Barbara Hammer. “Autonomous Learning of Representations.” <i>KI - Kuenstliche Intelligenz</i>, 2015, 1–13. <a href=\"http://dx.doi.org/10.1007/s13218-015-0372-1\">http://dx.doi.org/10.1007/s13218-015-0372-1</a>.","ieee":"O. Walter, R. Haeb-Umbach, B. Mokbel, B. Paassen, and B. Hammer, “Autonomous Learning of Representations,” <i>KI - Kuenstliche Intelligenz</i>, pp. 1–13, 2015.","ama":"Walter O, Haeb-Umbach R, Mokbel B, Paassen B, Hammer B. Autonomous Learning of Representations. <i>KI - Kuenstliche Intelligenz</i>. 2015:1-13. doi:<a href=\"http://dx.doi.org/10.1007/s13218-015-0372-1\">http://dx.doi.org/10.1007/s13218-015-0372-1</a>","short":"O. Walter, R. Haeb-Umbach, B. Mokbel, B. Paassen, B. Hammer, KI - Kuenstliche Intelligenz (2015) 1–13.","bibtex":"@article{Walter_Haeb-Umbach_Mokbel_Paassen_Hammer_2015, title={Autonomous Learning of Representations}, DOI={<a href=\"http://dx.doi.org/10.1007/s13218-015-0372-1\">http://dx.doi.org/10.1007/s13218-015-0372-1</a>}, journal={KI - Kuenstliche Intelligenz}, author={Walter, Oliver and Haeb-Umbach, Reinhold and Mokbel, Bassam and Paassen, Benjamin and Hammer, Barbara}, year={2015}, pages={1–13} }","mla":"Walter, Oliver, et al. “Autonomous Learning of Representations.” <i>KI - Kuenstliche Intelligenz</i>, 2015, pp. 1–13, doi:<a href=\"http://dx.doi.org/10.1007/s13218-015-0372-1\">http://dx.doi.org/10.1007/s13218-015-0372-1</a>.","apa":"Walter, O., Haeb-Umbach, R., Mokbel, B., Paassen, B., &#38; Hammer, B. (2015). Autonomous Learning of Representations. <i>KI - Kuenstliche Intelligenz</i>, 1–13. <a href=\"http://dx.doi.org/10.1007/s13218-015-0372-1\">http://dx.doi.org/10.1007/s13218-015-0372-1</a>"},"page":"1-13","year":"2015","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2015/WaHaMoPaHa15.pdf","open_access":"1"}],"doi":"http://dx.doi.org/10.1007/s13218-015-0372-1","title":"Autonomous Learning of Representations","author":[{"full_name":"Walter, Oliver","last_name":"Walter","first_name":"Oliver"},{"first_name":"Reinhold","last_name":"Haeb-Umbach","full_name":"Haeb-Umbach, Reinhold","id":"242"},{"full_name":"Mokbel, Bassam","last_name":"Mokbel","first_name":"Bassam"},{"first_name":"Benjamin","full_name":"Paassen, Benjamin","last_name":"Paassen"},{"first_name":"Barbara","last_name":"Hammer","full_name":"Hammer, Barbara"}],"date_created":"2019-07-12T05:30:51Z","date_updated":"2022-01-06T06:51:12Z","oa":"1"},{"date_created":"2023-01-18T16:28:58Z","publisher":"Informa UK Limited","title":"Effects of a Whole-Class Reading Program Designed for Different Reading Levels and the Learning Needs of L1 and L2 Children","issue":"6","year":"2015","language":[{"iso":"eng"}],"keyword":["Linguistics and Language","Education"],"publication":"Reading &amp; Writing Quarterly","volume":32,"author":[{"first_name":"Susanne","last_name":"Seifert","id":"97270","full_name":"Seifert, Susanne"},{"first_name":"Susanne","full_name":"Schwab, Susanne","last_name":"Schwab"},{"first_name":"Barbara","last_name":"Gasteiger-Klicpera","full_name":"Gasteiger-Klicpera, Barbara"}],"date_updated":"2023-01-18T16:50:29Z","doi":"10.1080/10573569.2015.1029176","publication_identifier":{"issn":["1057-3569","1521-0693"]},"publication_status":"published","page":"499-526","intvolume":"        32","citation":{"apa":"Seifert, S., Schwab, S., &#38; Gasteiger-Klicpera, B. (2015). Effects of a Whole-Class Reading Program Designed for Different Reading Levels and the Learning Needs of L1 and L2 Children. <i>Reading &#38;amp; Writing Quarterly</i>, <i>32</i>(6), 499–526. <a href=\"https://doi.org/10.1080/10573569.2015.1029176\">https://doi.org/10.1080/10573569.2015.1029176</a>","short":"S. Seifert, S. Schwab, B. Gasteiger-Klicpera, Reading &#38;amp; Writing Quarterly 32 (2015) 499–526.","mla":"Seifert, Susanne, et al. “Effects of a Whole-Class Reading Program Designed for Different Reading Levels and the Learning Needs of L1 and L2 Children.” <i>Reading &#38;amp; Writing Quarterly</i>, vol. 32, no. 6, Informa UK Limited, 2015, pp. 499–526, doi:<a href=\"https://doi.org/10.1080/10573569.2015.1029176\">10.1080/10573569.2015.1029176</a>.","bibtex":"@article{Seifert_Schwab_Gasteiger-Klicpera_2015, title={Effects of a Whole-Class Reading Program Designed for Different Reading Levels and the Learning Needs of L1 and L2 Children}, volume={32}, DOI={<a href=\"https://doi.org/10.1080/10573569.2015.1029176\">10.1080/10573569.2015.1029176</a>}, number={6}, journal={Reading &#38;amp; Writing Quarterly}, publisher={Informa UK Limited}, author={Seifert, Susanne and Schwab, Susanne and Gasteiger-Klicpera, Barbara}, year={2015}, pages={499–526} }","ama":"Seifert S, Schwab S, Gasteiger-Klicpera B. Effects of a Whole-Class Reading Program Designed for Different Reading Levels and the Learning Needs of L1 and L2 Children. <i>Reading &#38;amp; Writing Quarterly</i>. 2015;32(6):499-526. doi:<a href=\"https://doi.org/10.1080/10573569.2015.1029176\">10.1080/10573569.2015.1029176</a>","ieee":"S. Seifert, S. Schwab, and B. Gasteiger-Klicpera, “Effects of a Whole-Class Reading Program Designed for Different Reading Levels and the Learning Needs of L1 and L2 Children,” <i>Reading &#38;amp; Writing Quarterly</i>, vol. 32, no. 6, pp. 499–526, 2015, doi: <a href=\"https://doi.org/10.1080/10573569.2015.1029176\">10.1080/10573569.2015.1029176</a>.","chicago":"Seifert, Susanne, Susanne Schwab, and Barbara Gasteiger-Klicpera. “Effects of a Whole-Class Reading Program Designed for Different Reading Levels and the Learning Needs of L1 and L2 Children.” <i>Reading &#38;amp; Writing Quarterly</i> 32, no. 6 (2015): 499–526. <a href=\"https://doi.org/10.1080/10573569.2015.1029176\">https://doi.org/10.1080/10573569.2015.1029176</a>."},"department":[{"_id":"645"}],"user_id":"97270","_id":"37461","type":"journal_article","status":"public"},{"status":"public","type":"journal_article","file_date_updated":"2023-12-08T16:01:00Z","department":[{"_id":"36"},{"_id":"5"},{"_id":"463"}],"user_id":"23088","_id":"46434","intvolume":"        42","page":"26-49","citation":{"apa":"Topalović, E., &#38; Uhl, B. (2014). Linguistik des literarischen Erzählens. <i>Zeitschrift für germanistische Linguistik</i>, <i>42</i>(1), 26–49. <a href=\"https://doi.org/10.1515/zgl-2014-0002\">https://doi.org/10.1515/zgl-2014-0002</a>","mla":"Topalović, Elvira, and Benjamin Uhl. “Linguistik des literarischen Erzählens.” <i>Zeitschrift für germanistische Linguistik</i>, vol. 42, no. 1, Walter de Gruyter GmbH, 2014, pp. 26–49, doi:<a href=\"https://doi.org/10.1515/zgl-2014-0002\">10.1515/zgl-2014-0002</a>.","bibtex":"@article{Topalović_Uhl_2014, title={Linguistik des literarischen Erzählens}, volume={42}, DOI={<a href=\"https://doi.org/10.1515/zgl-2014-0002\">10.1515/zgl-2014-0002</a>}, number={1}, journal={Zeitschrift für germanistische Linguistik}, publisher={Walter de Gruyter GmbH}, author={Topalović, Elvira and Uhl, Benjamin}, year={2014}, pages={26–49} }","short":"E. Topalović, B. Uhl, Zeitschrift für germanistische Linguistik 42 (2014) 26–49.","ama":"Topalović E, Uhl B. Linguistik des literarischen Erzählens. <i>Zeitschrift für germanistische Linguistik</i>. 2014;42(1):26-49. doi:<a href=\"https://doi.org/10.1515/zgl-2014-0002\">10.1515/zgl-2014-0002</a>","chicago":"Topalović, Elvira, and Benjamin Uhl. “Linguistik des literarischen Erzählens.” <i>Zeitschrift für germanistische Linguistik</i> 42, no. 1 (2014): 26–49. <a href=\"https://doi.org/10.1515/zgl-2014-0002\">https://doi.org/10.1515/zgl-2014-0002</a>.","ieee":"E. Topalović and B. Uhl, “Linguistik des literarischen Erzählens,” <i>Zeitschrift für germanistische Linguistik</i>, vol. 42, no. 1, pp. 26–49, 2014, doi: <a href=\"https://doi.org/10.1515/zgl-2014-0002\">10.1515/zgl-2014-0002</a>."},"publication_identifier":{"issn":["1613-0626","0301-3294"]},"has_accepted_license":"1","publication_status":"published","doi":"10.1515/zgl-2014-0002","volume":42,"author":[{"last_name":"Topalović","full_name":"Topalović, Elvira","id":"23088","first_name":"Elvira"},{"full_name":"Uhl, Benjamin","last_name":"Uhl","first_name":"Benjamin"}],"date_updated":"2023-12-08T16:01:42Z","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","file_name":"TOPALOVIC-UHL-2014-Linguistik-literarisches-Erzhlen.pdf","file_id":"49557","access_level":"closed","file_size":223776,"date_created":"2023-12-08T16:01:00Z","creator":"topal","date_updated":"2023-12-08T16:01:00Z"}],"abstract":[{"lang":"eng","text":"<jats:title>Abstract</jats:title>\r\n               <jats:p>When looking at seminal works in contemporary literary criticism (exemplary: Martinez/Scheffel 2012), it is apparent that the subject of “time”, or, “the representation of time”, receives a great deal of significance. Regarding the ontogenesis of literary research discourse over the past 50 years, Käte Hamburger’s “The Logic of Poetry” (original “Die Logik der Dichtung”, 1957) is a work that has fundamentally shaped the research discourse. But not only within the field of literary studies has the subject of “tense and narration” has been received and discussed – also the field of linguistics also demonstrates an intensive engagement with the subject of narration (cf. e. g. Weinrich 1964, Ehlich 1980) and tense. For example, Rolf Thieroffs monograph “The finite Verb in German: Tense – Mood – Distance” (original “Das finite Verb im Deutschen: Tempus – Modus – Distanz”, 1992) elaborates a conceptualisation of the German temporal system with reference to Weinrich’s representation of time in fiction and non-fiction texts (cf. Thieroff 1992, 298). This contribution joins at the interface between linguistic research on tenses and literary research on narration. The aim is to show that there is an interaction between choice of tense and narrative context, or, in other words: the use of different tenses activates different states of consciousness, and thereby different ‘forms’ of narration are created. The latter are captured from empirical data arising from language acquisition and speech genesis as well as, in accordance with Iser (1991) and Sartre (1940/1994), not in a dichotomic fashion but as a trias-system, and are opened for discussion. The remodeling does not regard the two poles of “every­day narration” and “literary narration” as contrasting, but rather as a continuum, which can show transitions relative to the genre of the text and the speech competence of the narrator.</jats:p>"}],"publication":"Zeitschrift für germanistische Linguistik","language":[{"iso":"ger"}],"keyword":["Linguistics and Language","Developmental and Educational Psychology","Language and Linguistics"],"ddc":["410","430"],"year":"2014","issue":"1","title":"Linguistik des literarischen Erzählens","date_created":"2023-08-07T08:55:10Z","publisher":"Walter de Gruyter GmbH"},{"title":"Conceptualizing pronunciation as part of translingual/transcultural competence: New impulses for SLA research and the L2 classroom","date_created":"2021-12-07T12:37:11Z","year":"2013","issue":"2","language":[{"iso":"eng"}],"keyword":["critical language awareness","native‐speaker ideal","pronunciation","study abroad","translingual and transcultural competence"],"abstract":[{"lang":"eng","text":"This article aims to reconceptualize pronunciation teaching and learning according to the tenets of the 2007 MLA Report and its call for translingual/transcultural competence. The critical discussion of current teaching and research practices shows that the realm of pronunciation has benefitted little from debates on intercultural language learning. In order to link the teaching of pronunciation with learner needs in intercultural encounters, this article develops the concept of pronunciation‐as‐language. The theoretical exploration of this concept is supported by a narrative analysis of study-abroad learners’ accounts, contrasting learners’ perceptions of teaching practices with the complex role pronunciation plays in second language‐mediated interactions. The results underline the importance of pedagogical approaches that encourage the critical reflection on and creative use of pronunciation beyond structural elements and native‐speaker\r\nnorms."}],"publication":"Foreign Language Annals","doi":"10.1111/flan.12024","author":[{"first_name":"Mareike","last_name":"Müller","full_name":"Müller, Mareike","id":"71540"}],"volume":46,"date_updated":"2022-01-06T06:58:02Z","citation":{"ama":"Müller M. Conceptualizing pronunciation as part of translingual/transcultural competence: New impulses for SLA research and the L2 classroom. <i>Foreign Language Annals</i>. 2013;46(2):213-229. doi:<a href=\"https://doi.org/10.1111/flan.12024\">10.1111/flan.12024</a>","chicago":"Müller, Mareike. “Conceptualizing Pronunciation as Part of Translingual/Transcultural Competence: New Impulses for SLA Research and the L2 Classroom.” <i>Foreign Language Annals</i> 46, no. 2 (2013): 213–29. <a href=\"https://doi.org/10.1111/flan.12024\">https://doi.org/10.1111/flan.12024</a>.","ieee":"M. Müller, “Conceptualizing pronunciation as part of translingual/transcultural competence: New impulses for SLA research and the L2 classroom,” <i>Foreign Language Annals</i>, vol. 46, no. 2, pp. 213–229, 2013, doi: <a href=\"https://doi.org/10.1111/flan.12024\">10.1111/flan.12024</a>.","apa":"Müller, M. (2013). Conceptualizing pronunciation as part of translingual/transcultural competence: New impulses for SLA research and the L2 classroom. <i>Foreign Language Annals</i>, <i>46</i>(2), 213–229. <a href=\"https://doi.org/10.1111/flan.12024\">https://doi.org/10.1111/flan.12024</a>","mla":"Müller, Mareike. “Conceptualizing Pronunciation as Part of Translingual/Transcultural Competence: New Impulses for SLA Research and the L2 Classroom.” <i>Foreign Language Annals</i>, vol. 46, no. 2, 2013, pp. 213–29, doi:<a href=\"https://doi.org/10.1111/flan.12024\">10.1111/flan.12024</a>.","short":"M. Müller, Foreign Language Annals 46 (2013) 213–229.","bibtex":"@article{Müller_2013, title={Conceptualizing pronunciation as part of translingual/transcultural competence: New impulses for SLA research and the L2 classroom}, volume={46}, DOI={<a href=\"https://doi.org/10.1111/flan.12024\">10.1111/flan.12024</a>}, number={2}, journal={Foreign Language Annals}, author={Müller, Mareike}, year={2013}, pages={213–229} }"},"page":"213-229","intvolume":"        46","publication_status":"published","publication_identifier":{"issn":["0015-718X","1944-9720"]},"extern":"1","article_type":"original","user_id":"71540","department":[{"_id":"468"}],"_id":"28353","status":"public","type":"journal_article"},{"editor":[{"first_name":"Emre","full_name":"Ugur, Emre","last_name":"Ugur"},{"first_name":"Yukie","last_name":"Nagai","full_name":"Nagai, Yukie"},{"full_name":"Oztop, Erhan","last_name":"Oztop","first_name":"Erhan"},{"first_name":"Minoru","full_name":"Asada, Minoru","last_name":"Asada"}],"status":"public","type":"conference","publication":"{Humanoids 2012 Workshop on Developmental Robotics: Can developmental robotics yield human-like cognitive abilities?}","keyword":["language acquisition","teleological","compositional","robotics"],"language":[{"iso":"eng"}],"_id":"17218","user_id":"14931","department":[{"_id":"749"}],"year":"2012","citation":{"mla":"Wrede, Britta, et al. “Towards Robots with Teleological Action and Language Understanding.” <i>{Humanoids 2012 Workshop on Developmental Robotics: Can Developmental Robotics Yield Human-like Cognitive Abilities?}</i>, edited by Emre Ugur et al., 2012.","short":"B. Wrede, K. Rohlfing, J.J. Steil, S. Wrede, P.-Y. Oudeyer, J. Tani, in: E. Ugur, Y. Nagai, E. Oztop, M. Asada (Eds.), {Humanoids 2012 Workshop on Developmental Robotics: Can Developmental Robotics Yield Human-like Cognitive Abilities?}, 2012.","bibtex":"@inproceedings{Wrede_Rohlfing_Steil_Wrede_Oudeyer_Tani_2012, title={Towards robots with teleological action and language understanding}, booktitle={{Humanoids 2012 Workshop on Developmental Robotics: Can developmental robotics yield human-like cognitive abilities?}}, author={Wrede, Britta and Rohlfing, Katharina and Steil, Jochen J. and Wrede, Sebastian and Oudeyer, Pierre-Yves and Tani, Jun}, editor={Ugur, Emre and Nagai, Yukie and Oztop, Erhan and Asada, Minoru}, year={2012} }","apa":"Wrede, B., Rohlfing, K., Steil, J. J., Wrede, S., Oudeyer, P.-Y., &#38; Tani, J. (2012). Towards robots with teleological action and language understanding. In E. Ugur, Y. Nagai, E. Oztop, &#38; M. Asada (Eds.), <i>{Humanoids 2012 Workshop on Developmental Robotics: Can developmental robotics yield human-like cognitive abilities?}</i>.","ama":"Wrede B, Rohlfing K, Steil JJ, Wrede S, Oudeyer P-Y, Tani J. Towards robots with teleological action and language understanding. In: Ugur E, Nagai Y, Oztop E, Asada M, eds. <i>{Humanoids 2012 Workshop on Developmental Robotics: Can Developmental Robotics Yield Human-like Cognitive Abilities?}</i>. ; 2012.","chicago":"Wrede, Britta, Katharina Rohlfing, Jochen J. Steil, Sebastian Wrede, Pierre-Yves Oudeyer, and Jun Tani. “Towards Robots with Teleological Action and Language Understanding.” In <i>{Humanoids 2012 Workshop on Developmental Robotics: Can Developmental Robotics Yield Human-like Cognitive Abilities?}</i>, edited by Emre Ugur, Yukie Nagai, Erhan Oztop, and Minoru Asada, 2012.","ieee":"B. Wrede, K. Rohlfing, J. J. Steil, S. Wrede, P.-Y. Oudeyer, and J. Tani, “Towards robots with teleological action and language understanding,” in <i>{Humanoids 2012 Workshop on Developmental Robotics: Can developmental robotics yield human-like cognitive abilities?}</i>, 2012."},"title":"Towards robots with teleological action and language understanding","date_updated":"2023-02-01T16:19:06Z","date_created":"2020-06-24T13:01:40Z","author":[{"last_name":"Wrede","full_name":"Wrede, Britta","first_name":"Britta"},{"first_name":"Katharina","last_name":"Rohlfing","full_name":"Rohlfing, Katharina","id":"50352"},{"first_name":"Jochen J.","full_name":"Steil, Jochen J.","last_name":"Steil"},{"first_name":"Sebastian","last_name":"Wrede","full_name":"Wrede, Sebastian"},{"last_name":"Oudeyer","full_name":"Oudeyer, Pierre-Yves","first_name":"Pierre-Yves"},{"full_name":"Tani, Jun","last_name":"Tani","first_name":"Jun"}]},{"date_updated":"2022-01-06T06:58:05Z","date_created":"2021-12-08T14:38:18Z","author":[{"last_name":"Liebscher","full_name":"Liebscher, Grit","first_name":"Grit"},{"first_name":"Jennifer","full_name":"Dailey-O’Cain, Jennifer","last_name":"Dailey-O’Cain"},{"last_name":"Müller","full_name":"Müller, Mareike","id":"71540","first_name":"Mareike"},{"first_name":"Tetyana","last_name":"Reichert","full_name":"Reichert, Tetyana"}],"volume":20,"title":"Negotiating identities through pronouns of address in an immigrant community","doi":"10.1075/prag.20.3.04lie","publication_status":"published","publication_identifier":{"issn":["1018-2101","2406-4238"]},"issue":"3","year":"2010","citation":{"ieee":"G. Liebscher, J. Dailey-O’Cain, M. Müller, and T. Reichert, “Negotiating identities through pronouns of address in an immigrant community,” <i>Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA)</i>, vol. 20, no. 3, pp. 375–400, 2010, doi: <a href=\"https://doi.org/10.1075/prag.20.3.04lie\">10.1075/prag.20.3.04lie</a>.","chicago":"Liebscher, Grit, Jennifer Dailey-O’Cain, Mareike Müller, and Tetyana Reichert. “Negotiating Identities through Pronouns of Address in an Immigrant Community.” <i>Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA)</i> 20, no. 3 (2010): 375–400. <a href=\"https://doi.org/10.1075/prag.20.3.04lie\">https://doi.org/10.1075/prag.20.3.04lie</a>.","ama":"Liebscher G, Dailey-O’Cain J, Müller M, Reichert T. Negotiating identities through pronouns of address in an immigrant community. <i>Pragmatics Quarterly Publication of the International Pragmatics Association (IPrA)</i>. 2010;20(3):375-400. doi:<a href=\"https://doi.org/10.1075/prag.20.3.04lie\">10.1075/prag.20.3.04lie</a>","apa":"Liebscher, G., Dailey-O’Cain, J., Müller, M., &#38; Reichert, T. (2010). Negotiating identities through pronouns of address in an immigrant community. <i>Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA)</i>, <i>20</i>(3), 375–400. <a href=\"https://doi.org/10.1075/prag.20.3.04lie\">https://doi.org/10.1075/prag.20.3.04lie</a>","bibtex":"@article{Liebscher_Dailey-O’Cain_Müller_Reichert_2010, title={Negotiating identities through pronouns of address in an immigrant community}, volume={20}, DOI={<a href=\"https://doi.org/10.1075/prag.20.3.04lie\">10.1075/prag.20.3.04lie</a>}, number={3}, journal={Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA)}, author={Liebscher, Grit and Dailey-O’Cain, Jennifer and Müller, Mareike and Reichert, Tetyana}, year={2010}, pages={375–400} }","mla":"Liebscher, Grit, et al. “Negotiating Identities through Pronouns of Address in an Immigrant Community.” <i>Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA)</i>, vol. 20, no. 3, 2010, pp. 375–400, doi:<a href=\"https://doi.org/10.1075/prag.20.3.04lie\">10.1075/prag.20.3.04lie</a>.","short":"G. Liebscher, J. Dailey-O’Cain, M. Müller, T. Reichert, Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA) 20 (2010) 375–400."},"page":"375-400","intvolume":"        20","_id":"28449","user_id":"71540","department":[{"_id":"468"}],"article_type":"original","keyword":["Forms of address","T/V distinction","Du vs. Sie","Conversation analysis","Language attitudes","Interviews","German in Canada","Migration studies","North American migration"],"language":[{"iso":"eng"}],"extern":"1","type":"journal_article","publication":"Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA)","abstract":[{"lang":"eng","text":"This article investigates forms of address, in particular the T/V distinction in German, in conversational interviews with German-speaking immigrants to English-speaking Canada and their descendants. From among 77 interviews conducted in two urban areas in Canada, we discuss instances of both the interactional use of and metalinguistic comments on forms of address. Our analysis is largely guided by conversation analysis and interactional sociolinguistics (e.g. Goodwin & Heritage 1990). Using Clyne, Norrby and Warren’s (2009) model of address as a backdrop, we investigate the construction of group identity and group socialization through the lens of positioning theory (e.g. van Langenhove & Harré 1993; Dailey-O’Cain & Liebscher 2009). This combination of analytical tools can explain shifts in both usage of and attitudes toward the T/V distinction that cannot be explained through language attrition arguments alone."}],"status":"public"},{"author":[{"id":"42496","full_name":"Geierhos, Michaela","orcid":"0000-0002-8180-5606","last_name":"Geierhos","first_name":"Michaela"}],"volume":5,"date_updated":"2022-01-06T06:50:57Z","citation":{"ama":"Geierhos M. <i>BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen</i>. Vol 5. 1st ed. München: Lincom; 2010.","chicago":"Geierhos, Michaela. <i>BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen</i>. 1st ed. Vol. 5. Linguistic Resources for Natural Language Processing. München: Lincom, 2010.","ieee":"M. Geierhos, <i>BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen</i>, 1st ed., vol. 5. München: Lincom, 2010.","short":"M. Geierhos, BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen, 1st ed., Lincom, München, 2010.","mla":"Geierhos, Michaela. <i>BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen</i>. 1st ed., vol. 5, Lincom, 2010.","bibtex":"@book{Geierhos_2010, place={München}, edition={1}, series={Linguistic Resources for Natural Language Processing}, title={BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen}, volume={5}, publisher={Lincom}, author={Geierhos, Michaela}, year={2010}, collection={Linguistic Resources for Natural Language Processing} }","apa":"Geierhos, M. (2010). <i>BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen</i> (1st ed., Vol. 5). München: Lincom."},"page":"286","intvolume":"         5","place":"München","publication_status":"published","publication_identifier":{"isbn":["9783862880133"]},"extern":"1","series_title":"Linguistic Resources for Natural Language Processing","user_id":"42496","department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"_id":"1118","status":"public","type":"book","title":"BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen","date_created":"2018-01-29T14:52:46Z","publisher":"Lincom","year":"2010","edition":"1","language":[{"iso":"ger"}],"keyword":["Natural Language Processing"],"abstract":[{"lang":"ger","text":"Das wesentliche Ziel der vorliegenden Publikation ist die Erstellung von sprachspezifischen Modulen im Bereich der Biographischen InformationsExtraktion (BiographIE). Unter Informationsextraktion verstehen wir die automatisierte Analyse von Dokumenten im Hinblick auf das Entdecken und Normalisieren von semantisch interessanten Entitäten und deren Eigenschaften.\r\nDas Hauptgewicht der Arbeit liegt auf sehr detaillierten und umfangreichen linguistischen Grammatiken im Bereich der Beschreibung von Personen und deren Beziehungen zu anderen relevanten Entitäten (z.B. Organisationen, Orte, Datums- und Zeitangaben) in Texten. Neben den öffentlichen und privaten Eigenschaften von Personen (Geburtsdatum, Nationalität etc.) sollen vor allem alle biographisch relevanten Attribute aus Texten extrahiert werden können. Dazu gehören in erster Linie berufliche Werdegänge, Anstellungsverhältnisse, Rollen in Firmen und ähnliche Eigenschaften. Da alle diese Attribute in unzählbar verschiedenen Formen ausgedrückt werden können, müssen sehr umfangreiche Lexika und sehr detaillierte grammatische Beschreibungen erstellt werden. Dies geschieht hauptsächlich bei der systematischen Evaluierung von Korpora. Je umfangreicher diese sind, desto adäquater werden die erstellten Grammatiken sein. Im Gegensatz zu den heute üblichen statistischen, auf maschinellem Lernen basierenden Verfahren setzen wir auch umfangreiche semi-automatisch erstellte, linguistische Module ein, die dann durch systematische Evaluierung auf Korpora schnell ergänzt und verbessert werden können.\r\nBasierend auf unseren Extraktionsmethoden ist es nun möglich, im Bereich der semantischen Suche deutliche Fortschritte zu machen. Insbesondere Personensuchmaschinen können sich unsere detaillierten Analysemethoden zu Nutze machen, um beispielsweise zu ermitteln, wer in welcher Funktion bei welcher Firma von wann bis wann beschäftigt war."}]},{"_id":"37007","user_id":"5786","department":[{"_id":"672"}],"keyword":["Unified modeling language","Field programmable gate arrays","Bridges","Helium","Real time systems","Operating systems","Documentation","Application software","XML","Space exploration"],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of DATE’10","abstract":[{"lang":"eng","text":"UML is widely applied for the specification and modeling of software and some studies have demonstrated that it is applicable for HW/SW codesign. However, in this area there is still a big gap from UML modeling to SystemC-based verification and synthesis environments. This paper presents an efficient approach to bridge this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework for the seamless integration of a customized SysML entry with code generation for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate the applicability of our approach."}],"status":"public","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","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"title":"Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems","doi":"10.1109/DATE.2010.5456990","conference":{"location":"Dresden","name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"publication_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} }","short":"F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 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>.","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>","chicago":"Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">https://doi.org/10.1109/DATE.2010.5456990</a>.","ieee":"F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456990\">10.1109/DATE.2010.5456990</a>."}},{"citation":{"ama":"Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>","ieee":"W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems,” 2010, doi: <a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>.","chicago":"Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">https://doi.org/10.1007/978-3-642-15234-4_9</a>.","apa":"Müller, W., Bol, A., Krupp, A., &#38; Lundkvist, O. (2010). <i>Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">https://doi.org/10.1007/978-3-642-15234-4_9</a>","mla":"Müller, Wolfgang, et al. <i>Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems</i>. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>.","bibtex":"@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>}, publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp, Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }","short":"W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010."},"place":"Dordrecht","year":"2010","publication_identifier":{"isbn":["978-3-642-15233-7"]},"doi":"10.1007/978-3-642-15234-4_9","conference":{"name":"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010)"},"title":"Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems","author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Bol","full_name":"Bol, Alexander","first_name":"Alexander"},{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"first_name":"Ola","last_name":"Lundkvist","full_name":"Lundkvist, Ola"}],"date_created":"2023-01-17T11:09:48Z","date_updated":"2023-01-17T11:09:54Z","publisher":"Springer Verlag","status":"public","abstract":[{"text":"We introduce a structured methodology for the generation of executable test environments from textual requirement specifications via UML class diagrams and the application of the classification tree methodology for embedded systems. The first phase is a stepwise transformation from unstructured English text into a textual normal form (TNF), which is automatically translated into UML class diagrams. After annotations of the class diagrams and the definition of test cases by sequence diagrams, both are converted into classification trees. From the classification trees we can finally generate SystemVerilog code. The methodology is introduced and evaluated by the example of an Adaptive Cruise Controller.","lang":"eng"}],"editor":[{"first_name":"L.","full_name":"Kleinjohann, L.","last_name":"Kleinjohann"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, B.","first_name":"B."}],"type":"conference","language":[{"iso":"eng"}],"keyword":["Natural Language     UML     SystemVerilog     Testbenches"],"department":[{"_id":"672"}],"user_id":"5786","_id":"37048"},{"language":[{"iso":"eng"}],"keyword":["Natural Language     UML     SystemVerilog     Testbenches"],"user_id":"5786","_id":"37047","status":"public","editor":[{"full_name":"Kleinjohann, L.","last_name":"Kleinjohann","first_name":"L."},{"last_name":"Kleinjohann","full_name":"Kleinjohann, B.","first_name":"B."}],"abstract":[{"lang":"eng","text":"We introduce a structured methodology for the generation of executable test environments from textual requirement specifications via UML class diagrams and the application of the classification tree methodology for embedded systems. The first phase is a stepwise transformation from unstructured English text into a textual normal form (TNF), which is automatically translated into UML class diagrams. After annotations of the class diagrams and the definition of test cases by sequence diagrams, both are converted into classification trees. From the classification trees we can finally generate SystemVerilog code. The methodology is introduced and evaluated by the example of an Adaptive Cruise Controller."}],"type":"conference","doi":"10.1007/978-3-642-15234-4_9","conference":{"name":"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010)"},"title":"Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems","author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Bol","full_name":"Bol, Alexander","first_name":"Alexander"},{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"},{"full_name":"Lundkvist, Ola","last_name":"Lundkvist","first_name":"Ola"}],"date_created":"2023-01-17T11:05:55Z","publisher":"Springer Verlag","date_updated":"2025-03-12T16:39:13Z","citation":{"ama":"Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>","ieee":"W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems,” 2010, doi: <a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>.","chicago":"Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">https://doi.org/10.1007/978-3-642-15234-4_9</a>.","apa":"Müller, W., Bol, A., Krupp, A., &#38; Lundkvist, O. (2010). <i>Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">https://doi.org/10.1007/978-3-642-15234-4_9</a>","bibtex":"@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>}, publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp, Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }","short":"W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.","mla":"Müller, Wolfgang, et al. <i>Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems</i>. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_9\">10.1007/978-3-642-15234-4_9</a>."},"year":"2010","place":"Dordrecht","publication_identifier":{"isbn":["978-3-642-15233-7"]}},{"_id":"24065","user_id":"405","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"],"language":[{"iso":"eng"}],"publication":"ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management","type":"conference","editor":[{"last_name":"French","full_name":"French, Simon","first_name":"Simon"},{"first_name":"Brian","full_name":"Tomaszewski, Brian","last_name":"Tomaszewski"},{"first_name":"Chris","full_name":"Zobel, Chris","last_name":"Zobel"}],"status":"public","date_updated":"2026-03-31T03:52:00Z","oa":"1","date_created":"2021-09-09T12:27:14Z","author":[{"first_name":"Jens","full_name":"Pottebaum, Jens","id":"405","last_name":"Pottebaum","orcid":"http://orcid.org/0000-0001-8778-2989"},{"first_name":"Anna Maria","last_name":"Japs","full_name":"Japs, Anna Maria"},{"last_name":"Prödel","full_name":"Prödel, Stephan","first_name":"Stephan"},{"first_name":"Rainer","full_name":"Koch, Rainer","last_name":"Koch"}],"title":"Design and modeling of a domain ontology for fire protection","main_file_link":[{"open_access":"1","url":"http://idl.iscram.org/files/pottebaum/2010/847_Pottebaum_etal2010.pdf"}],"quality_controlled":"1","place":"Seattle, WA","year":"2010","citation":{"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.","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.","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.","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.","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>."}},{"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."}],"type":"conference","publication":"Proceedings of DATE'09","language":[{"iso":"eng"}],"keyword":["Unified modeling language","XML","Power system modeling","Application software","Master-slave","Power system management","Acceleration","Scattering","Software engineering","Software standards"],"user_id":"5786","department":[{"_id":"672"}],"_id":"37067","citation":{"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>.","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>","apa":"Schattkowsky, T., Xie, T., &#38; Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. <i>Proceedings of DATE’09</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition. <a href=\"https://doi.org/10.1109/DATE.2009.5090664\">https://doi.org/10.1109/DATE.2009.5090664</a>","mla":"Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.” <i>Proceedings of DATE’09</i>, IEEE, 2009, doi:<a href=\"https://doi.org/10.1109/DATE.2009.5090664\">10.1109/DATE.2009.5090664</a>.","short":"T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.","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} }"},"place":"Nice, France","year":"2009","publication_identifier":{"isbn":["978-1-4244-3781-8"]},"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","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"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_updated":"2023-01-17T11:54:07Z","publisher":"IEEE"},{"publication_identifier":{"isbn":["0-7695-2288-2"]},"citation":{"ama":"Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: <i>Proceedings of DATE’05</i>. IEEE; 2005. doi:<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>","chicago":"Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In <i>Proceedings of DATE’05</i>. Munich, Germany : IEEE, 2005. <a href=\"https://doi.org/10.1109/DATE.2005.20\">https://doi.org/10.1109/DATE.2005.20</a>.","ieee":"T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,” 2005, doi: <a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>.","short":"T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.","mla":"Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” <i>Proceedings of DATE’05</i>, IEEE, 2005, doi:<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>.","bibtex":"@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }","apa":"Schattkowsky, T., Müller, W., &#38; Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. <i>Proceedings of DATE’05</i>. <a href=\"https://doi.org/10.1109/DATE.2005.20\">https://doi.org/10.1109/DATE.2005.20</a>"},"year":"2005","place":"Munich, Germany ","date_created":"2023-01-24T08:10:40Z","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"last_name":"Rettberg","full_name":"Rettberg, Achim","first_name":"Achim"}],"publisher":"IEEE","date_updated":"2023-01-24T08:10:44Z","doi":"10.1109/DATE.2005.20","title":"A Model-Based Approach for Executable Specification on Reconfigurable Hardware","publication":"Proceedings of DATE’05","type":"conference","status":"public","abstract":[{"text":"UML 2.0 provides a rich set of diagrams for systems documentation and specification. Much effort has been undertaken to employ different aspects of UML for multiple domains, mainly in the area of software systems. Considering the area of electronic design automation, however, we currently see only very few approaches which investigate UML for hardware design and hardware/software co-design. We present an approach for executable UML closing the gap from system specification to its model-based execution on reconfigurable hardware. For this purpose, we present our abstract execution platform (AEP), which is based on a virtual machine running an executable UML subset for embedded software and reconfigurable hardware. This subset combines UML 2.0 classes, state-machines and sequence diagrams for a complete system specification. We describe how these binary encoded UML specifications can be directly executed and give the implementation of such a virtual machine on a Virtex II FPGA. Finally, we present evaluation results comparing the AEP implementation with C code on a C167 microcontroller.","lang":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39029","language":[{"iso":"eng"}],"keyword":["Hardware","Unified modeling language","Virtual machining","Object oriented modeling","Field programmable gate arrays","Java","Microcontrollers","Embedded software","Real time systems","Documentation"]},{"year":"2005","place":"Dallas, TX, USA","citation":{"chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In <i>Proceedings of VL/HCC 05</i>. Dallas, TX, USA, 2005. <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">https://doi.org/10.1109/VLHCC.2005.64</a>.","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>.","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>","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>","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>.","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} }","short":"T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005."},"publication_identifier":{"isbn":["0-7695-2443-5"]},"title":"Transformation of UML State Machines for Direct Execution","doi":"10.1109/VLHCC.2005.64","date_updated":"2023-01-24T08:18:27Z","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_created":"2023-01-24T08:18:10Z","abstract":[{"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.","lang":"eng"}],"status":"public","publication":"Proceedings of VL/HCC 05","type":"conference","keyword":["Unified modeling language","Software design","Virtual machining","Embedded system","Programming","Documentation","Hardware","Computer languages","Operating systems","Runtime"],"language":[{"iso":"eng"}],"_id":"39032","department":[{"_id":"672"}],"user_id":"5786"},{"abstract":[{"lang":"eng","text":"This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles."}],"publication":"Integration of Software Specification Techniques for Applications in Engineering","keyword":["Model Check","Temporal Logic","Object Constraint Language","Abstract Syntax","Temporal Logic Formula"],"language":[{"iso":"eng"}],"year":"2004","title":"Specification and Formal Verification of Temporal Properties of Production Automation Systems","publisher":"Springer-Verlag","date_created":"2022-10-20T09:25:53Z","editor":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"full_name":"Damm, Werner","last_name":"Damm","first_name":"Werner"},{"full_name":"Desel, Jörg","last_name":"Desel","first_name":"Jörg"},{"full_name":"Große-Rhode, Martin","last_name":"Große-Rhode","first_name":"Martin"},{"full_name":"Reif, Wolfgang","last_name":"Reif","first_name":"Wolfgang"},{"first_name":"Eckehard","last_name":"Schnieder","full_name":"Schnieder, Eckehard"},{"first_name":"Engelbert","full_name":"Westkämper, Engelbert","last_name":"Westkämper"}],"status":"public","type":"book_chapter","_id":"33825","department":[{"_id":"672"}],"user_id":"5786","series_title":"Lecture Notes in Computer Science","place":"Berlin, Heidelberg","page":"206-226","intvolume":"      3147","citation":{"apa":"Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, &#38; E. Westkämper (Eds.), <i>Integration of Software Specification Techniques for Applications in Engineering</i> (Vol. 3147, pp. 206–226). Springer-Verlag. <a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">https://doi.org/10.1007/978-3-540-27863-4_13</a>","short":"S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.","bibtex":"@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }","mla":"Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” <i>Integration of Software Specification Techniques for Applications in Engineering</i>, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>.","ama":"Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. <i>Integration of Software Specification Techniques for Applications in Engineering</i>. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in <i>Integration of Software Specification Techniques for Applications in Engineering</i>, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.","chicago":"Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In <i>Integration of Software Specification Techniques for Applications in Engineering</i>, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. <a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">https://doi.org/10.1007/978-3-540-27863-4_13</a>."},"publication_identifier":{"isbn":["978-3-540-27863-4"]},"doi":"10.1007/978-3-540-27863-4_13","date_updated":"2022-10-20T09:26:15Z","volume":3147,"author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Ulrich","last_name":"Pape","full_name":"Pape, Ulrich"},{"full_name":"Ruf, Jürgen","last_name":"Ruf","first_name":"Jürgen"}]},{"date_updated":"2023-01-24T08:53:31Z","author":[{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Ian","last_name":"Oliver","full_name":"Oliver, Ian"}],"date_created":"2023-01-24T08:53:26Z","title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","doi":"10.1109/DATE.2004.1269214","conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"publication_identifier":{"isbn":["0-7695-2085-5"]},"year":"2004","place":"Paris","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>","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} }","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>.","short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.","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>.","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>"},"_id":"39061","user_id":"5786","department":[{"_id":"672"}],"keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of DATE’04 Designers' Forum","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"}],"status":"public"},{"date_created":"2023-01-24T09:03:36Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_updated":"2023-01-24T09:03:41Z","publisher":"IEEE","doi":"10.1109/SEFM.2004.1347516","conference":{"name":" Proceedings of the Second International Conference on Software Engineering and Formal Methods"},"title":"Past- and Future-Oriented Time-Bound Temporal Properties with OCL","publication_identifier":{"isbn":["0-7695-2222-X"]},"citation":{"ama":"Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: <i>Proceedings of SEFM´04</i>. IEEE; 2004. doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>","chicago":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In <i>Proceedings of SEFM´04</i>. Beijing, China: IEEE, 2004. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>.","ieee":"S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the  Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","bibtex":"@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }","short":"S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.","mla":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” <i>Proceedings of SEFM´04</i>, IEEE, 2004, doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","apa":"Flake, S., &#38; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. <i>Proceedings of SEFM´04</i>.  Proceedings of the Second International Conference on Software Engineering and Formal Methods. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>"},"place":"Beijing, China","year":"2004","user_id":"5786","department":[{"_id":"672"}],"_id":"39069","language":[{"iso":"eng"}],"keyword":["Unified modeling language","Logic","Clocks","Boolean functions","Application software","Time factors","Real time systems","Formal verification","Buffer storage","Software packages"],"type":"conference","publication":"Proceedings of SEFM´04","status":"public","abstract":[{"text":"We present the syntax and semantics of a past- and future-oriented temporal extension of the Object Constraint Language (OCL). Our extension supports designers to express time-bounded properties over a state-oriented UML model of a system under development. The semantics is formally defined over the system states of a mathematical object model. Additionally, we present a mapping to Clocked Linear Temporal Logic (Clocked LTL) formulae, which is the basis for further application in verification with model checking. We demonstrate the applicability of the approach by the example of a buffer specification in the context of a production system.","lang":"eng"}]}]