[{"keyword":["UML     SysML     Model-based design     System specification     Modelling languages"],"language":[{"iso":"eng"}],"_id":"34563","department":[{"_id":"672"}],"user_id":"5786","abstract":[{"lang":"eng","text":"UML has been widely accepted by the software community for several years. As electronic systems design can no longer be seen as an isolated hardware design activity, UML becomes of significant interest as a unification language for systems description combining both HW and SW components. This article provides a comprehensive view of the UML applied to System-on-Chip (SoC) and hardware-related embedded systems design. The modeling concepts in the UML language are first introduced, including major diagrams for the representation of the behavior and the structure of systems. The principles behind application specific UML customizations (UML profiles) are summarized, and several examples relevant for SoC design are given, such as the SysML (System Modeling Language) and the SoC Profile. Thereafter, various approaches associating UML with existing HW/SW design languages are presented. Beyond language aspects, the article addresses the question of UML-based design flows, and shows how UML can be applied concretely to the development of electronic-based systems. The current situation about tool support constitutes the last focus of the article. In particular, we show how UML tools can be combined with well-known simulation environments, such as MATLAB."}],"status":"public","publication":"Design Automation for Embedded Systems","type":"journal_article","title":"UML for Electronic Systems Design – A Comprehensive Overview","doi":"10.1007/s10617-008-9028-9","date_updated":"2022-12-19T12:23:56Z","publisher":"Springer-Verlag","volume":12,"date_created":"2022-12-19T12:18:21Z","author":[{"first_name":"Yves","full_name":"Vanderperren, Yves","last_name":"Vanderperren"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Wim","full_name":"Dahaene, Wim","last_name":"Dahaene"}],"year":"2008","page":"261-292","intvolume":"        12","citation":{"mla":"Vanderperren, Yves, et al. “UML for Electronic Systems Design – A Comprehensive Overview.” <i>Design Automation for Embedded Systems</i>, vol. 12, Springer-Verlag, 2008, pp. 261–92, doi:<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>.","bibtex":"@article{Vanderperren_Müller_Dahaene_2008, title={UML for Electronic Systems Design – A Comprehensive Overview}, volume={12}, DOI={<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>}, journal={Design Automation for Embedded Systems}, publisher={Springer-Verlag}, author={Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}, year={2008}, pages={261–292} }","short":"Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292.","apa":"Vanderperren, Y., Müller, W., &#38; Dahaene, W. (2008). UML for Electronic Systems Design – A Comprehensive Overview. <i>Design Automation for Embedded Systems</i>, <i>12</i>, 261–292. <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">https://doi.org/10.1007/s10617-008-9028-9</a>","ama":"Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A Comprehensive Overview. <i>Design Automation for Embedded Systems</i>. 2008;12:261-292. doi:<a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>","chicago":"Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic Systems Design – A Comprehensive Overview.” <i>Design Automation for Embedded Systems</i> 12 (2008): 261–92. <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">https://doi.org/10.1007/s10617-008-9028-9</a>.","ieee":"Y. Vanderperren, W. Müller, and W. Dahaene, “UML for Electronic Systems Design – A Comprehensive Overview,” <i>Design Automation for Embedded Systems</i>, vol. 12, pp. 261–292, 2008, doi: <a href=\"https://doi.org/10.1007/s10617-008-9028-9\">10.1007/s10617-008-9028-9</a>."}},{"language":[{"iso":"eng"}],"keyword":["Interaction architecture     Abstract interaction objects     Dialogue model     Transformations     Multimodality     Multi-device     Design principles"],"user_id":"5786","department":[{"_id":"672"}],"_id":"34564","status":"public","abstract":[{"lang":"eng","text":"To provide user interfaces for a rich set of devices and interaction modalities, we follow a model-based development methodology. We devised an architecture which deploys user interfaces specified as dialogue models with abstract interaction objects and allows context-based adaptations by means of an external transcoding process. For the validation of the applicability of this methodology for developing usable multimodal multi-device systems, we present two case studies based on proof-of-concept implementations and assessed them with a large set of established design principles and different types of modality cooperation."}],"type":"journal_article","publication":"Journal on Multimodal User Interfaces","doi":"10.1007/s12193-008-0003-3","title":"Assessment of a Multimodal Interaction and Rendering System against Established Design Principles","author":[{"full_name":"Schäfer, Robbie","last_name":"Schäfer","first_name":"Robbie"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2022-12-19T12:22:50Z","volume":2,"publisher":"Springer-Verlag","date_updated":"2022-12-19T12:23:05Z","citation":{"bibtex":"@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction and Rendering System against Established Design Principles}, volume={2}, DOI={<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>}, number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }","mla":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” <i>Journal on Multimodal User Interfaces</i>, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>.","short":"R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.","apa":"Schäfer, R., &#38; Müller, W. (2008). Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. <i>Journal on Multimodal User Interfaces</i>, <i>2</i>(1), 25–41. <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">https://doi.org/10.1007/s12193-008-0003-3</a>","chicago":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” <i>Journal on Multimodal User Interfaces</i> 2, no. 1 (2008): 25–41. <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">https://doi.org/10.1007/s12193-008-0003-3</a>.","ieee":"R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles,” <i>Journal on Multimodal User Interfaces</i>, vol. 2, no. 1, pp. 25–41, 2008, doi: <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>.","ama":"Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. <i>Journal on Multimodal User Interfaces</i>. 2008;2(1):25-41. doi:<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>"},"intvolume":"         2","page":"25-41","year":"2008","issue":"1"},{"status":"public","abstract":[{"text":"Three cis-dioxovanadium(V) complexes with similar N -salicylidenehydrazide ligands modeling hydrogen bonding interactions of vanadate relevant for vanadium haloperoxidases are studied by 51V solid-state NMR spectroscopy. Their parameters describing the quadrupolar and chemical shift anisotropy interactions (quadrupolar coupling constant C Q , asymmetry of the quadrupolar tensor η Q , isotropic chemical shift δ iso , chemical shift anisotropy δ σ , asymmetry of the chemical shift tensor η σ and the Euler angles α , β and γ ) are determined both experimentally and theoretically using DFT methods. A comparative study of different methods to determine the NMR parameters by numerical simulation of the spectra is presented. Detailed theoretical investigations on the DFT level using various basis sets and structural models show that by useful choice of the methodology, the calculated parameters agree to the experimental ones in a very good manner.","lang":"eng"}],"publication":"Solid State Nuclear Magnetic Resonance","type":"journal_article","extern":"1","language":[{"iso":"eng"}],"keyword":["51V NMR","Model system","Ab initio calculation","Cis-dioxovanadium(V) complex","Haloperoxidase","Numerical optimization","Quadrupolar interaction"],"user_id":"100715","_id":"64041","intvolume":"        34","page":"52–67","citation":{"ama":"Schweitzer A, Gutmann T, Wächtler M, et al. 51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases. <i>Solid State Nuclear Magnetic Resonance</i>. 2008;34(1–2):52–67. doi:<a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>","chicago":"Schweitzer, Annika, Torsten Gutmann, Maria Wächtler, Hergen Breitzke, Axel Buchholz, Winfried Plass, and Gerd Buntkowsky. “51V Solid-State NMR Investigations and DFT Studies of Model Compounds for Vanadium Haloperoxidases.” <i>Solid State Nuclear Magnetic Resonance</i> 34, no. 1–2 (2008): 52–67. <a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">https://doi.org/10.1016/j.ssnmr.2008.02.003</a>.","ieee":"A. Schweitzer <i>et al.</i>, “51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases,” <i>Solid State Nuclear Magnetic Resonance</i>, vol. 34, no. 1–2, pp. 52–67, 2008, doi: <a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>.","apa":"Schweitzer, A., Gutmann, T., Wächtler, M., Breitzke, H., Buchholz, A., Plass, W., &#38; Buntkowsky, G. (2008). 51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases. <i>Solid State Nuclear Magnetic Resonance</i>, <i>34</i>(1–2), 52–67. <a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">https://doi.org/10.1016/j.ssnmr.2008.02.003</a>","short":"A. Schweitzer, T. Gutmann, M. Wächtler, H. Breitzke, A. Buchholz, W. Plass, G. Buntkowsky, Solid State Nuclear Magnetic Resonance 34 (2008) 52–67.","mla":"Schweitzer, Annika, et al. “51V Solid-State NMR Investigations and DFT Studies of Model Compounds for Vanadium Haloperoxidases.” <i>Solid State Nuclear Magnetic Resonance</i>, vol. 34, no. 1–2, 2008, pp. 52–67, doi:<a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>.","bibtex":"@article{Schweitzer_Gutmann_Wächtler_Breitzke_Buchholz_Plass_Buntkowsky_2008, title={51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases}, volume={34}, DOI={<a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>}, number={1–2}, journal={Solid State Nuclear Magnetic Resonance}, author={Schweitzer, Annika and Gutmann, Torsten and Wächtler, Maria and Breitzke, Hergen and Buchholz, Axel and Plass, Winfried and Buntkowsky, Gerd}, year={2008}, pages={52–67} }"},"year":"2008","issue":"1–2","doi":"10.1016/j.ssnmr.2008.02.003","title":"51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases","volume":34,"date_created":"2026-02-07T16:10:01Z","author":[{"last_name":"Schweitzer","full_name":"Schweitzer, Annika","first_name":"Annika"},{"last_name":"Gutmann","full_name":"Gutmann, Torsten","id":"118165","first_name":"Torsten"},{"first_name":"Maria","full_name":"Wächtler, Maria","last_name":"Wächtler"},{"full_name":"Breitzke, Hergen","last_name":"Breitzke","first_name":"Hergen"},{"full_name":"Buchholz, Axel","last_name":"Buchholz","first_name":"Axel"},{"first_name":"Winfried","last_name":"Plass","full_name":"Plass, Winfried"},{"first_name":"Gerd","full_name":"Buntkowsky, Gerd","last_name":"Buntkowsky"}],"date_updated":"2026-02-17T16:13:21Z"},{"department":[{"_id":"424"}],"user_id":"42165","_id":"6070","language":[{"iso":"eng"}],"extern":"1","keyword":["Fehrer-Raab effect","Weather Station Model","visual backward masking","reaction time","metacontrast masking","conscious representation","Cognition","Humans","Perceptual Masking","Pilot Projects","Psychology","Experimental","Psychometrics","Reaction Time","Visual Perception","Models","Reaction Time","Visual Contrast","Visual Masking"],"publication":"Psychological Research","type":"journal_article","status":"public","abstract":[{"lang":"eng","text":"The Fehrer-Raab effect (simple reaction time is unaffected by metacontrast masking of the test stimulus) seems to imply that a stimulus can trigger a voluntary reaction without reaching a conscious representation. However, it is also possible that the mask triggers the reaction, and that the masked test stimulus causes a focussing of attention from which processing of the mask profits, thus reaching conscious representation earlier. This is predicted by the Weather Station Model of visual masking. Three experiments tested this explanation. Experiment 1 showed that the masked test stimulus caused a temporal shift of the mask. Experiment 2 showed that the reaction in the Fehrer-Raab effect was not exclusively triggered by a conscious representation of the test stimulus: the mask was involved in evoking the reaction. Experiment 3 again revealed a temporal shift of the mask. However, the shift was only about half as large as the Fehrer-Raab effect. The psychometric functions suggested tha"}],"volume":71,"date_created":"2018-12-10T07:04:01Z","author":[{"first_name":"Odmar","full_name":"Neumann, Odmar","last_name":"Neumann"},{"id":"451","full_name":"Scharlau, Ingrid","orcid":"0000-0003-2364-9489","last_name":"Scharlau","first_name":"Ingrid"}],"date_updated":"2022-06-07T00:19:52Z","oa":"1","main_file_link":[{"open_access":"1","url":"https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/NeumannScharlau2006A.pdf"}],"title":"Experiments on the Fehrer-Raab effect and the 'Weather Station Model' of visual backward masking.","issue":"6","publication_identifier":{"issn":["0340-0727"]},"publication_status":"published","intvolume":"        71","page":"667 - 677","citation":{"short":"O. Neumann, I. Scharlau, Psychological Research 71 (2007) 667–677.","bibtex":"@article{Neumann_Scharlau_2007, title={Experiments on the Fehrer-Raab effect and the “Weather Station Model” of visual backward masking.}, volume={71}, number={6}, journal={Psychological Research}, author={Neumann, Odmar and Scharlau, Ingrid}, year={2007}, pages={667–677} }","mla":"Neumann, Odmar, and Ingrid Scharlau. “Experiments on the Fehrer-Raab Effect and the ‘Weather Station Model’ of Visual Backward Masking.” <i>Psychological Research</i>, vol. 71, no. 6, 2007, pp. 667–77.","ama":"Neumann O, Scharlau I. Experiments on the Fehrer-Raab effect and the “Weather Station Model” of visual backward masking. <i>Psychological Research</i>. 2007;71(6):667-677.","apa":"Neumann, O., &#38; Scharlau, I. (2007). Experiments on the Fehrer-Raab effect and the “Weather Station Model” of visual backward masking. <i>Psychological Research</i>, <i>71</i>(6), 667–677.","ieee":"O. Neumann and I. Scharlau, “Experiments on the Fehrer-Raab effect and the ‘Weather Station Model’ of visual backward masking.,” <i>Psychological Research</i>, vol. 71, no. 6, pp. 667–677, 2007.","chicago":"Neumann, Odmar, and Ingrid Scharlau. “Experiments on the Fehrer-Raab Effect and the ‘Weather Station Model’ of Visual Backward Masking.” <i>Psychological Research</i> 71, no. 6 (2007): 667–77."},"year":"2007"},{"year":"2006","intvolume":"         1","page":"I","citation":{"bibtex":"@inproceedings{Windmann_Haeb-Umbach_2006, title={Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters}, volume={1}, DOI={<a href=\"https://doi.org/10.1109/ICASSP.2006.1660058\">10.1109/ICASSP.2006.1660058</a>}, booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006)}, author={Windmann, Stefan and Haeb-Umbach, Reinhold}, year={2006}, pages={I} }","short":"S. Windmann, R. Haeb-Umbach, in: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006), 2006, p. I.","mla":"Windmann, Stefan, and Reinhold Haeb-Umbach. “Iterative Speech Enhancement Using a Non-Linear Dynamic State Model of Speech and Its Parameters.” <i>IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006)</i>, vol. 1, 2006, p. I, doi:<a href=\"https://doi.org/10.1109/ICASSP.2006.1660058\">10.1109/ICASSP.2006.1660058</a>.","apa":"Windmann, S., &#38; Haeb-Umbach, R. (2006). Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters. In <i>IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006)</i> (Vol. 1, p. I). <a href=\"https://doi.org/10.1109/ICASSP.2006.1660058\">https://doi.org/10.1109/ICASSP.2006.1660058</a>","ieee":"S. Windmann and R. Haeb-Umbach, “Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters,” in <i>IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006)</i>, 2006, vol. 1, p. I.","chicago":"Windmann, Stefan, and Reinhold Haeb-Umbach. “Iterative Speech Enhancement Using a Non-Linear Dynamic State Model of Speech and Its Parameters.” In <i>IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006)</i>, 1:I, 2006. <a href=\"https://doi.org/10.1109/ICASSP.2006.1660058\">https://doi.org/10.1109/ICASSP.2006.1660058</a>.","ama":"Windmann S, Haeb-Umbach R. Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters. In: <i>IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006)</i>. Vol 1. ; 2006:I. doi:<a href=\"https://doi.org/10.1109/ICASSP.2006.1660058\">10.1109/ICASSP.2006.1660058</a>"},"date_updated":"2022-01-06T06:51:12Z","oa":"1","volume":1,"author":[{"full_name":"Windmann, Stefan","last_name":"Windmann","first_name":"Stefan"},{"id":"242","full_name":"Haeb-Umbach, Reinhold","last_name":"Haeb-Umbach","first_name":"Reinhold"}],"date_created":"2019-07-12T05:31:15Z","title":"Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters","doi":"10.1109/ICASSP.2006.1660058","main_file_link":[{"open_access":"1","url":"https://groups.uni-paderborn.de/nt/pubs/2006/WiHa06-2.pdf"}],"publication":"IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006)","type":"conference","abstract":[{"lang":"eng","text":"A marginalized particle filter is proposed for performing single channel speech enhancement with a non-linear dynamic state model. The system consists of a particle filter for tracking line spectral pair (LSP) parameters and a Kalman filter per particle for speech enhancement. The state model for the LSPs has been learnt on clean speech training data. In our approach parameters and speech samples are processed at different time scales by assuming the parameters to be constant for small blocks of data. Further enhancement is obtained by an iteration which can be applied on these small blocks. The experiments show that similar SNR gains are obtained as with the Kalman-LM-iterative algorithm. However better values of the noise level and the log-spectral distance are achieved"}],"status":"public","_id":"11943","department":[{"_id":"54"}],"user_id":"44006","keyword":["clean speech training data","iterative methods","iterative speech enhancement","Kalman filter","Kalman filters","Kalman-LM-iterative algorithm","line spectral pair parameters","log-spectral distance","marginalized particle filter","noise level","nonlinear dynamic state speech model","particle filtering (numerical methods)","single channel speech enhancement","SNR gains","speech enhancement","speech samples"],"language":[{"iso":"eng"}]},{"volume":2,"author":[{"id":"451","full_name":"Scharlau, Ingrid","orcid":"0000-0003-2364-9489","last_name":"Scharlau","first_name":"Ingrid"},{"first_name":"Ulrich","last_name":"Ansorge","full_name":"Ansorge, Ulrich"},{"full_name":"Breitmeyer, Bruno G.","last_name":"Breitmeyer","first_name":"Bruno G."}],"date_created":"2018-12-10T07:08:33Z","date_updated":"2022-06-06T20:08:22Z","title":"Trends and styles in visual masking.","issue":"1","publication_identifier":{"issn":["1895-1171"]},"publication_status":"published","page":"1 - 5","intvolume":"         2","citation":{"apa":"Scharlau, I., Ansorge, U., &#38; Breitmeyer, B. G. (2006). Trends and styles in visual masking. <i>Advances in Cognitive Psychology</i>, <i>2</i>(1), 1–5.","bibtex":"@article{Scharlau_Ansorge_Breitmeyer_2006, title={Trends and styles in visual masking.}, volume={2}, number={1}, journal={Advances in Cognitive Psychology}, author={Scharlau, Ingrid and Ansorge, Ulrich and Breitmeyer, Bruno G.}, year={2006}, pages={1–5} }","short":"I. Scharlau, U. Ansorge, B.G. Breitmeyer, Advances in Cognitive Psychology 2 (2006) 1–5.","mla":"Scharlau, Ingrid, et al. “Trends and Styles in Visual Masking.” <i>Advances in Cognitive Psychology</i>, vol. 2, no. 1, 2006, pp. 1–5.","ama":"Scharlau I, Ansorge U, Breitmeyer BG. Trends and styles in visual masking. <i>Advances in Cognitive Psychology</i>. 2006;2(1):1-5.","ieee":"I. Scharlau, U. Ansorge, and B. G. Breitmeyer, “Trends and styles in visual masking.,” <i>Advances in Cognitive Psychology</i>, vol. 2, no. 1, pp. 1–5, 2006.","chicago":"Scharlau, Ingrid, Ulrich Ansorge, and Bruno G. Breitmeyer. “Trends and Styles in Visual Masking.” <i>Advances in Cognitive Psychology</i> 2, no. 1 (2006): 1–5."},"year":"2006","department":[{"_id":"424"}],"user_id":"42165","_id":"6092","extern":"1","language":[{"iso":"eng"}],"keyword":["visual masking","visual information","attention","stimulus-driven effects","motion perception","Attention","Illusions (Perception)","Motion Perception","Visual Masking"],"publication":"Advances in Cognitive Psychology","type":"journal_article","status":"public","abstract":[{"lang":"eng","text":"The topic of the present edition is visual masking paradigms-as powerful tool for demonstrating the processing of nonconscious visual information. In the present issue one article presents an improved methodology for disentangling perceptual and temporal influences in markers. Another paper demonstrates that preemptive control, or DPS, mediates the allocation of attention towards possible targets. One of the contributions specify conditions under which DPS-like effects are found as opposed to conditions under which stimulus-driven effects are found. A study of two illusions which the prime may cause in a trailing stimulus, a temporal pre-dating of the mask and a perception of motion in later stimuli adjacent to the prime is presented in the issue. Another contribution addresses how the percept of a stimulus is altered by a temporal and spatial interplay of two backward masks or of one forward mask and two backwards masks. (PsycINFO Database Record (c) 2016 APA, all rights reserved)"}]},{"publication_identifier":{"isbn":["978-3-540-27863-4"]},"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>","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>.","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} }","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.","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>","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>.","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."},"intvolume":"      3147","page":"206-226","place":"Berlin, Heidelberg","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"full_name":"Pape, Ulrich","last_name":"Pape","first_name":"Ulrich"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"}],"volume":3147,"date_updated":"2022-10-20T09:26:15Z","doi":"10.1007/978-3-540-27863-4_13","type":"book_chapter","status":"public","editor":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"first_name":"Werner","last_name":"Damm","full_name":"Damm, Werner"},{"full_name":"Desel, Jörg","last_name":"Desel","first_name":"Jörg"},{"first_name":"Martin","full_name":"Große-Rhode, Martin","last_name":"Große-Rhode"},{"first_name":"Wolfgang","full_name":"Reif, Wolfgang","last_name":"Reif"},{"first_name":"Eckehard","full_name":"Schnieder, Eckehard","last_name":"Schnieder"},{"first_name":"Engelbert","full_name":"Westkämper, Engelbert","last_name":"Westkämper"}],"user_id":"5786","series_title":"Lecture Notes in Computer Science","department":[{"_id":"672"}],"_id":"33825","year":"2004","date_created":"2022-10-20T09:25:53Z","publisher":"Springer-Verlag","title":"Specification and Formal Verification of Temporal Properties of Production Automation Systems","publication":"Integration of Software Specification Techniques for Applications in Engineering","abstract":[{"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.","lang":"eng"}],"language":[{"iso":"eng"}],"keyword":["Model Check","Temporal Logic","Object Constraint Language","Abstract Syntax","Temporal Logic Formula"]},{"type":"conference","publication":"Proceedings of EHCI-DSVIS 2005","abstract":[{"lang":"eng","text":"Variation in different mobile devices with different capabilities and interaction modalities as well as changing user context in nomadic applications, poses huge challenges to the design of user interfaces. To avoid multiple designs for each device or modality, it is almost a must to employ a model-based approach. In this short paper, we present a new dialog model for multimodal interaction together with an advanced control model, which can either be used for direct modeling by an interface designer or in conjunction with higher level models."}],"status":"public","_id":"39350","series_title":"Lecture Notes in Computer Science ","user_id":"5786","department":[{"_id":"672"}],"keyword":["Multimodal User Interface     High Level Model     Multimodal User     High Level Approach     Dialog Model"],"language":[{"iso":"eng"}],"place":"Tremsbüttel, Hamburg","year":"2004","citation":{"ama":"Schäfer R, Bleul S, Müller W. A Novel Dialog Model for the Design of Multimodal User Interfaces. In: <i>Proceedings of EHCI-DSVIS 2005</i>. Lecture Notes in Computer Science . ; 2004.","ieee":"R. Schäfer, S. Bleul, and W. Müller, “A Novel Dialog Model for the Design of Multimodal User Interfaces,” 2004.","chicago":"Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” In <i>Proceedings of EHCI-DSVIS 2005</i>. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004.","apa":"Schäfer, R., Bleul, S., &#38; Müller, W. (2004). A Novel Dialog Model for the Design of Multimodal User Interfaces. <i>Proceedings of EHCI-DSVIS 2005</i>.","mla":"Schäfer, Robbie, et al. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” <i>Proceedings of EHCI-DSVIS 2005</i>, 2004.","short":"R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.","bibtex":"@inproceedings{Schäfer_Bleul_Müller_2004, place={Tremsbüttel, Hamburg}, series={Lecture Notes in Computer Science }, title={A Novel Dialog Model for the Design of Multimodal User Interfaces}, booktitle={Proceedings of EHCI-DSVIS 2005}, author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2004}, collection={Lecture Notes in Computer Science } }"},"date_updated":"2023-01-24T09:27:03Z","date_created":"2023-01-24T09:26:58Z","author":[{"first_name":"Robbie","full_name":"Schäfer, Robbie","last_name":"Schäfer"},{"full_name":"Bleul, Steffen","last_name":"Bleul","first_name":"Steffen"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"title":"A Novel Dialog Model for the Design of Multimodal User Interfaces"},{"abstract":[{"text":"Visual stimuli (primes) reduce the perceptual latency of a target appearing at the same location (perceptual latency priming, PLP). Three experiments assessed the time course of PLP by masked and, in Experiment 3, unmasked primes. Experiments 1 (N=11; mean age 26.9) and 2 (N=12; mean age 25.6) investigated the temporal parameters that determine the size of priming. Stimulus onset asynchrony was found to exert the main influence accompanied by a small effect of prime duration. Experiment 3 (N=19; mean age 27.7) used a large range of priming onset asynchronies. We suggest to explain PLP by the Asynchronous Updating Model which relates it to the asynchrony of 2 central coding processes, preattentive coding of basic visual features and attentional orienting as a prerequisite for perceptual judgments and conscious perception. (PsycINFO Database Record (c) 2017 APA, all rights reserved)","lang":"eng"}],"status":"public","publication":"Acta Psychologica","type":"journal_article","keyword":["perceptual latency priming","temporal parameters","Asynchronous Updating Model","time course","stimulus onset asynchrony","visual masking","attention","Adult","Attention","Female","Humans","Male","Perceptual Masking","Reaction Time","Time Perception","Visual Perception","Attention","Priming","Stimulus Onset","Visual Masking","Visual Perception","Models","Time"],"language":[{"iso":"eng"}],"extern":"1","_id":"6086","department":[{"_id":"424"}],"user_id":"42165","year":"2003","page":"185 - 203","intvolume":"       113","citation":{"bibtex":"@article{Scharlau_Neumann_2003, title={Temporal parameters and time course of perceptual latency priming.}, volume={113}, number={2}, journal={Acta Psychologica}, author={Scharlau, Ingrid and Neumann, Odmar}, year={2003}, pages={185–203} }","short":"I. Scharlau, O. Neumann, Acta Psychologica 113 (2003) 185–203.","mla":"Scharlau, Ingrid, and Odmar Neumann. “Temporal Parameters and Time Course of Perceptual Latency Priming.” <i>Acta Psychologica</i>, vol. 113, no. 2, 2003, pp. 185–203.","apa":"Scharlau, I., &#38; Neumann, O. (2003). Temporal parameters and time course of perceptual latency priming. <i>Acta Psychologica</i>, <i>113</i>(2), 185–203.","chicago":"Scharlau, Ingrid, and Odmar Neumann. “Temporal Parameters and Time Course of Perceptual Latency Priming.” <i>Acta Psychologica</i> 113, no. 2 (2003): 185–203.","ieee":"I. Scharlau and O. Neumann, “Temporal parameters and time course of perceptual latency priming.,” <i>Acta Psychologica</i>, vol. 113, no. 2, pp. 185–203, 2003.","ama":"Scharlau I, Neumann O. Temporal parameters and time course of perceptual latency priming. <i>Acta Psychologica</i>. 2003;113(2):185-203."},"publication_identifier":{"issn":["0001-6918"]},"publication_status":"published","issue":"2","title":"Temporal parameters and time course of perceptual latency priming.","main_file_link":[{"url":"https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/ScharlauNeumann2003ActaPsychTimeCourse.pdf","open_access":"1"}],"oa":"1","date_updated":"2022-06-07T00:27:35Z","volume":113,"date_created":"2018-12-10T07:07:20Z","author":[{"last_name":"Scharlau","orcid":"0000-0003-2364-9489","full_name":"Scharlau, Ingrid","id":"451","first_name":"Ingrid"},{"first_name":"Odmar","last_name":"Neumann","full_name":"Neumann, Odmar"}]},{"publication":"Advances in Object Modelling with the OCL","type":"book_chapter","status":"public","editor":[{"first_name":"T.","full_name":"Clark, T.","last_name":"Clark"},{"first_name":"J.","last_name":"Warmer","full_name":"Warmer, J."}],"abstract":[{"text":"The Object Constraint Language (OCL) was introduced to support the specification of constraints for UML diagrams and is mainly used to formulate invariants and operation pre- and postconditions. Though OCL is also applied in behavioral diagrams, e.g., as guards for state transitions, it is currently not possible to specify constraints concerning the dynamic behavior and timing properties of such diagrams.\r\n\r\nThis article discusses OCL’s application for the dynamic behavior of UML Statechart diagrams and presents an OCL extension for specification of state-oriented time-bounded constraints.We introduce operations to extract state configurations from diagrams and define additional predicates over states and state configurations. The semantics of our OCL extension is given by employing time-bounded Computational Tree Logic (CTL) formulae. An example of a flexible manufacturing system with automated guided vehicles demonstrates the application of our extension.","lang":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"34447","language":[{"iso":"eng"}],"keyword":["Model Check     Temporal Logic     Object Constraint Language     Execution Path     Kripke Structure"],"publication_identifier":{"isbn":["978-3-540-45669-8"]},"page":"150 - 171","citation":{"short":"S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.","mla":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>.","bibtex":"@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>}, booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.}, year={2002}, pages={150–171} }","apa":"Flake, S., &#38; Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark &#38; J. Warmer (Eds.), <i>Advances in Object Modelling with the OCL</i> (pp. 150–171). Springer-Verlag. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>","ieee":"S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in <i>Advances in Object Modelling with the OCL</i>, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.","chicago":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” In <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>.","ama":"Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. <i>Advances in Object Modelling with the OCL</i>. Springer-Verlag; 2002:150-171. doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>"},"place":"Berlin, Heidelberg","year":"2002","date_created":"2022-12-15T11:38:20Z","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"publisher":"Springer-Verlag","date_updated":"2022-12-15T11:38:47Z","doi":"10.1007/3-540-45669-4_8","title":"An OCL Extension for Real-Time Constraints"},{"main_file_link":[{"url":"https://link.springer.com/content/pdf/10.1023/A:1014217421749.pdf","open_access":"1"}],"date_updated":"2022-08-29T03:59:57Z","oa":"1","volume":30,"author":[{"last_name":"Buhl","full_name":"Buhl, Heike M.","id":"27152","first_name":"Heike M."}],"page":"549 - 567","intvolume":"        30","citation":{"chicago":"Buhl, Heike M. “Partner Orientation and Speaker’s Knowledge as Conflicting Parameters in Language Production.” <i>Journal of Psycholinguistic Research</i> 30, no. 6 (2001): 549–67.","ieee":"H. M. Buhl, “Partner orientation and speaker’s knowledge as conflicting parameters in language production,” <i>Journal of Psycholinguistic Research</i>, vol. 30, no. 6, pp. 549–567, 2001.","ama":"Buhl HM. Partner orientation and speaker’s knowledge as conflicting parameters in language production. <i>Journal of Psycholinguistic Research</i>. 2001;30(6):549-567.","bibtex":"@article{Buhl_2001, title={Partner orientation and speaker’s knowledge as conflicting parameters in language production}, volume={30}, number={6}, journal={Journal of Psycholinguistic Research}, author={Buhl, Heike M.}, year={2001}, pages={549–567} }","short":"H.M. Buhl, Journal of Psycholinguistic Research 30 (2001) 549–567.","mla":"Buhl, Heike M. “Partner Orientation and Speaker’s Knowledge as Conflicting Parameters in Language Production.” <i>Journal of Psycholinguistic Research</i>, vol. 30, no. 6, 2001, pp. 549–67.","apa":"Buhl, H. M. (2001). Partner orientation and speaker’s knowledge as conflicting parameters in language production. <i>Journal of Psycholinguistic Research</i>, <i>30</i>(6), 549–567."},"publication_status":"published","extern":"1","_id":"32503","department":[{"_id":"427"}],"user_id":"42165","status":"public","type":"journal_article","title":"Partner orientation and speaker’s knowledge as conflicting parameters in language production","date_created":"2022-08-02T11:31:30Z","year":"2001","issue":"6","keyword":["language production","partner model","mental representation","spatial point of view","route direction"],"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Two parameters of language production, the partner model and the mentally represented knowledge\r\nabout a spatial constellation, are investigated with respect to their influence on spatial reference. At\r\nissue is whether the verbally expressed point of view in route directions is primarily influenced by the\r\nneeds of the partner or by the underlying mental representation of the speaker stemming from his or\r\nher own experience with an object. Two experiments in which participants (N 5 90) were asked to\r\nproduce a set of route directions are reported. The experimental situation was such that the point of\r\nview of the speaker did not correspond to the point of view of the partner. The results show that more\r\nparticipants localize from their own point of view than from the point of view of the partner.\r\nDiscussion centers on the fact that speakers do not always behave in a truly partner-oriented manner."}],"publication":"Journal of Psycholinguistic Research"}]