---
_id: '34563'
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.
author:
- first_name: Yves
full_name: Vanderperren, Yves
last_name: Vanderperren
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Wim
full_name: Dahaene, Wim
last_name: Dahaene
citation:
ama: Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A
Comprehensive Overview. Design Automation for Embedded Systems. 2008;12:261-292.
doi:10.1007/s10617-008-9028-9
apa: Vanderperren, Y., Müller, W., & Dahaene, W. (2008). UML for Electronic
Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems,
12, 261–292. https://doi.org/10.1007/s10617-008-9028-9
bibtex: '@article{Vanderperren_Müller_Dahaene_2008, title={UML for Electronic Systems
Design – A Comprehensive Overview}, volume={12}, DOI={10.1007/s10617-008-9028-9},
journal={Design Automation for Embedded Systems}, publisher={Springer-Verlag},
author={Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}, year={2008},
pages={261–292} }'
chicago: 'Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic
Systems Design – A Comprehensive Overview.” Design Automation for Embedded
Systems 12 (2008): 261–92. https://doi.org/10.1007/s10617-008-9028-9.'
ieee: 'Y. Vanderperren, W. Müller, and W. Dahaene, “UML for Electronic Systems Design
– A Comprehensive Overview,” Design Automation for Embedded Systems, vol.
12, pp. 261–292, 2008, doi: 10.1007/s10617-008-9028-9.'
mla: Vanderperren, Yves, et al. “UML for Electronic Systems Design – A Comprehensive
Overview.” Design Automation for Embedded Systems, vol. 12, Springer-Verlag,
2008, pp. 261–92, doi:10.1007/s10617-008-9028-9.
short: Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems
12 (2008) 261–292.
date_created: 2022-12-19T12:18:21Z
date_updated: 2022-12-19T12:23:56Z
department:
- _id: '672'
doi: 10.1007/s10617-008-9028-9
intvolume: ' 12'
keyword:
- UML SysML Model-based design System specification Modelling languages
language:
- iso: eng
page: 261-292
publication: Design Automation for Embedded Systems
publisher: Springer-Verlag
status: public
title: UML for Electronic Systems Design – A Comprehensive Overview
type: journal_article
user_id: '5786'
volume: 12
year: '2008'
...
---
_id: '34564'
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.
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System
against Established Design Principles. Journal on Multimodal User Interfaces.
2008;2(1):25-41. doi:10.1007/s12193-008-0003-3
apa: Schäfer, R., & Müller, W. (2008). Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles. Journal on Multimodal
User Interfaces, 2(1), 25–41. https://doi.org/10.1007/s12193-008-0003-3
bibtex: '@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles}, volume={2}, DOI={10.1007/s12193-008-0003-3},
number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag},
author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }'
chicago: 'Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles.” Journal on Multimodal
User Interfaces 2, no. 1 (2008): 25–41. https://doi.org/10.1007/s12193-008-0003-3.'
ieee: 'R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering
System against Established Design Principles,” Journal on Multimodal User Interfaces,
vol. 2, no. 1, pp. 25–41, 2008, doi: 10.1007/s12193-008-0003-3.'
mla: Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles.” Journal on Multimodal
User Interfaces, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:10.1007/s12193-008-0003-3.
short: R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.
date_created: 2022-12-19T12:22:50Z
date_updated: 2022-12-19T12:23:05Z
department:
- _id: '672'
doi: 10.1007/s12193-008-0003-3
intvolume: ' 2'
issue: '1'
keyword:
- Interaction architecture Abstract interaction objects Dialogue model Transformations Multimodality Multi-device Design
principles
language:
- iso: eng
page: 25-41
publication: Journal on Multimodal User Interfaces
publisher: Springer-Verlag
status: public
title: Assessment of a Multimodal Interaction and Rendering System against Established
Design Principles
type: journal_article
user_id: '5786'
volume: 2
year: '2008'
...
---
_id: '64041'
abstract:
- lang: eng
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.
author:
- first_name: Annika
full_name: Schweitzer, Annika
last_name: Schweitzer
- first_name: Torsten
full_name: Gutmann, Torsten
id: '118165'
last_name: Gutmann
- first_name: Maria
full_name: Wächtler, Maria
last_name: Wächtler
- first_name: Hergen
full_name: Breitzke, Hergen
last_name: Breitzke
- first_name: Axel
full_name: Buchholz, Axel
last_name: Buchholz
- first_name: Winfried
full_name: Plass, Winfried
last_name: Plass
- first_name: Gerd
full_name: Buntkowsky, Gerd
last_name: Buntkowsky
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. Solid State
Nuclear Magnetic Resonance. 2008;34(1–2):52–67. doi:10.1016/j.ssnmr.2008.02.003
apa: Schweitzer, A., Gutmann, T., Wächtler, M., Breitzke, H., Buchholz, A., Plass,
W., & Buntkowsky, G. (2008). 51V solid-state NMR investigations and DFT studies
of model compounds for vanadium haloperoxidases. Solid State Nuclear Magnetic
Resonance, 34(1–2), 52–67. https://doi.org/10.1016/j.ssnmr.2008.02.003
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={10.1016/j.ssnmr.2008.02.003},
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} }'
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.” Solid State
Nuclear Magnetic Resonance 34, no. 1–2 (2008): 52–67. https://doi.org/10.1016/j.ssnmr.2008.02.003.'
ieee: 'A. Schweitzer et al., “51V solid-state NMR investigations and DFT
studies of model compounds for vanadium haloperoxidases,” Solid State Nuclear
Magnetic Resonance, vol. 34, no. 1–2, pp. 52–67, 2008, doi: 10.1016/j.ssnmr.2008.02.003.'
mla: Schweitzer, Annika, et al. “51V Solid-State NMR Investigations and DFT Studies
of Model Compounds for Vanadium Haloperoxidases.” Solid State Nuclear Magnetic
Resonance, vol. 34, no. 1–2, 2008, pp. 52–67, doi:10.1016/j.ssnmr.2008.02.003.
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.
date_created: 2026-02-07T16:10:01Z
date_updated: 2026-02-17T16:13:21Z
doi: 10.1016/j.ssnmr.2008.02.003
extern: '1'
intvolume: ' 34'
issue: 1–2
keyword:
- 51V NMR
- Model system
- Ab initio calculation
- Cis-dioxovanadium(V) complex
- Haloperoxidase
- Numerical optimization
- Quadrupolar interaction
language:
- iso: eng
page: 52–67
publication: Solid State Nuclear Magnetic Resonance
status: public
title: 51V solid-state NMR investigations and DFT studies of model compounds for vanadium
haloperoxidases
type: journal_article
user_id: '100715'
volume: 34
year: '2008'
...
---
_id: '6070'
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'
author:
- first_name: Odmar
full_name: Neumann, Odmar
last_name: Neumann
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
citation:
ama: Neumann O, Scharlau I. Experiments on the Fehrer-Raab effect and the “Weather
Station Model” of visual backward masking. Psychological Research. 2007;71(6):667-677.
apa: Neumann, O., & Scharlau, I. (2007). Experiments on the Fehrer-Raab effect
and the “Weather Station Model” of visual backward masking. Psychological Research,
71(6), 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} }'
chicago: 'Neumann, Odmar, and Ingrid Scharlau. “Experiments on the Fehrer-Raab Effect
and the ‘Weather Station Model’ of Visual Backward Masking.” Psychological
Research 71, no. 6 (2007): 667–77.'
ieee: O. Neumann and I. Scharlau, “Experiments on the Fehrer-Raab effect and the
‘Weather Station Model’ of visual backward masking.,” Psychological Research,
vol. 71, no. 6, pp. 667–677, 2007.
mla: Neumann, Odmar, and Ingrid Scharlau. “Experiments on the Fehrer-Raab Effect
and the ‘Weather Station Model’ of Visual Backward Masking.” Psychological
Research, vol. 71, no. 6, 2007, pp. 667–77.
short: O. Neumann, I. Scharlau, Psychological Research 71 (2007) 667–677.
date_created: 2018-12-10T07:04:01Z
date_updated: 2022-06-07T00:19:52Z
department:
- _id: '424'
extern: '1'
intvolume: ' 71'
issue: '6'
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
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/NeumannScharlau2006A.pdf
oa: '1'
page: 667 - 677
publication: Psychological Research
publication_identifier:
issn:
- 0340-0727
publication_status: published
status: public
title: Experiments on the Fehrer-Raab effect and the 'Weather Station Model' of visual
backward masking.
type: journal_article
user_id: '42165'
volume: 71
year: '2007'
...
---
_id: '11943'
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
author:
- first_name: Stefan
full_name: Windmann, Stefan
last_name: Windmann
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Windmann S, Haeb-Umbach R. Iterative Speech Enhancement using a Non-Linear
Dynamic State Model of Speech and its Parameters. In: IEEE International Conference
on Acoustics, Speech and Signal Processing (ICASSP 2006). Vol 1. ; 2006:I.
doi:10.1109/ICASSP.2006.1660058'
apa: Windmann, S., & Haeb-Umbach, R. (2006). Iterative Speech Enhancement using
a Non-Linear Dynamic State Model of Speech and its Parameters. In IEEE International
Conference on Acoustics, Speech and Signal Processing (ICASSP 2006) (Vol.
1, p. I). https://doi.org/10.1109/ICASSP.2006.1660058
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={10.1109/ICASSP.2006.1660058},
booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing
(ICASSP 2006)}, author={Windmann, Stefan and Haeb-Umbach, Reinhold}, year={2006},
pages={I} }'
chicago: Windmann, Stefan, and Reinhold Haeb-Umbach. “Iterative Speech Enhancement
Using a Non-Linear Dynamic State Model of Speech and Its Parameters.” In IEEE
International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006),
1:I, 2006. https://doi.org/10.1109/ICASSP.2006.1660058.
ieee: S. Windmann and R. Haeb-Umbach, “Iterative Speech Enhancement using a Non-Linear
Dynamic State Model of Speech and its Parameters,” in IEEE International Conference
on Acoustics, Speech and Signal Processing (ICASSP 2006), 2006, vol. 1, p.
I.
mla: Windmann, Stefan, and Reinhold Haeb-Umbach. “Iterative Speech Enhancement Using
a Non-Linear Dynamic State Model of Speech and Its Parameters.” IEEE International
Conference on Acoustics, Speech and Signal Processing (ICASSP 2006), vol.
1, 2006, p. I, doi:10.1109/ICASSP.2006.1660058.
short: 'S. Windmann, R. Haeb-Umbach, in: IEEE International Conference on Acoustics,
Speech and Signal Processing (ICASSP 2006), 2006, p. I.'
date_created: 2019-07-12T05:31:15Z
date_updated: 2022-01-06T06:51:12Z
department:
- _id: '54'
doi: 10.1109/ICASSP.2006.1660058
intvolume: ' 1'
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
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2006/WiHa06-2.pdf
oa: '1'
page: I
publication: IEEE International Conference on Acoustics, Speech and Signal Processing
(ICASSP 2006)
status: public
title: Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech
and its Parameters
type: conference
user_id: '44006'
volume: 1
year: '2006'
...
---
_id: '6092'
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)
author:
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
- first_name: Ulrich
full_name: Ansorge, Ulrich
last_name: Ansorge
- first_name: Bruno G.
full_name: Breitmeyer, Bruno G.
last_name: Breitmeyer
citation:
ama: Scharlau I, Ansorge U, Breitmeyer BG. Trends and styles in visual masking.
Advances in Cognitive Psychology. 2006;2(1):1-5.
apa: Scharlau, I., Ansorge, U., & Breitmeyer, B. G. (2006). Trends and styles
in visual masking. Advances in Cognitive Psychology, 2(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} }'
chicago: 'Scharlau, Ingrid, Ulrich Ansorge, and Bruno G. Breitmeyer. “Trends and
Styles in Visual Masking.” Advances in Cognitive Psychology 2, no. 1 (2006):
1–5.'
ieee: I. Scharlau, U. Ansorge, and B. G. Breitmeyer, “Trends and styles in visual
masking.,” Advances in Cognitive Psychology, vol. 2, no. 1, pp. 1–5, 2006.
mla: Scharlau, Ingrid, et al. “Trends and Styles in Visual Masking.” Advances
in Cognitive Psychology, vol. 2, no. 1, 2006, pp. 1–5.
short: I. Scharlau, U. Ansorge, B.G. Breitmeyer, Advances in Cognitive Psychology
2 (2006) 1–5.
date_created: 2018-12-10T07:08:33Z
date_updated: 2022-06-06T20:08:22Z
department:
- _id: '424'
extern: '1'
intvolume: ' 2'
issue: '1'
keyword:
- visual masking
- visual information
- attention
- stimulus-driven effects
- motion perception
- Attention
- Illusions (Perception)
- Motion Perception
- Visual Masking
language:
- iso: eng
page: 1 - 5
publication: Advances in Cognitive Psychology
publication_identifier:
issn:
- 1895-1171
publication_status: published
status: public
title: Trends and styles in visual masking.
type: journal_article
user_id: '42165'
volume: 2
year: '2006'
...
---
_id: '33825'
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.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Ulrich
full_name: Pape, Ulrich
last_name: Pape
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
citation:
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. Integration of Software Specification Techniques for Applications
in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag;
2004:206-226. doi:10.1007/978-3-540-27863-4_13'
apa: Flake, S., Müller, W., Pape, U., & 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, & E. Westkämper
(Eds.), Integration of Software Specification Techniques for Applications in
Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
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={10.1007/978-3-540-27863-4_13},
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} }'
chicago: 'Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification
and Formal Verification of Temporal Properties of Production Automation Systems.”
In Integration of Software Specification Techniques for Applications in Engineering,
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. https://doi.org/10.1007/978-3-540-27863-4_13.'
ieee: 'S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification
of Temporal Properties of Production Automation Systems,” in Integration of
Software Specification Techniques for Applications in Engineering, 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.'
mla: Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties
of Production Automation Systems.” Integration of Software Specification Techniques
for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147,
Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
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.'
date_created: 2022-10-20T09:25:53Z
date_updated: 2022-10-20T09:26:15Z
department:
- _id: '672'
doi: 10.1007/978-3-540-27863-4_13
editor:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Werner
full_name: Damm, Werner
last_name: Damm
- first_name: Jörg
full_name: Desel, Jörg
last_name: Desel
- 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
intvolume: ' 3147'
keyword:
- Model Check
- Temporal Logic
- Object Constraint Language
- Abstract Syntax
- Temporal Logic Formula
language:
- iso: eng
page: 206-226
place: Berlin, Heidelberg
publication: Integration of Software Specification Techniques for Applications in
Engineering
publication_identifier:
isbn:
- 978-3-540-27863-4
publisher: Springer-Verlag
series_title: Lecture Notes in Computer Science
status: public
title: Specification and Formal Verification of Temporal Properties of Production
Automation Systems
type: book_chapter
user_id: '5786'
volume: 3147
year: '2004'
...
---
_id: '39350'
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.
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Steffen
full_name: Bleul, Steffen
last_name: Bleul
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schäfer R, Bleul S, Müller W. A Novel Dialog Model for the Design of Multimodal
User Interfaces. In: Proceedings of EHCI-DSVIS 2005. Lecture Notes in Computer
Science . ; 2004.'
apa: Schäfer, R., Bleul, S., & Müller, W. (2004). A Novel Dialog Model for the
Design of Multimodal User Interfaces. Proceedings of EHCI-DSVIS 2005.
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 } }'
chicago: Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model
for the Design of Multimodal User Interfaces.” In Proceedings of EHCI-DSVIS
2005. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004.
ieee: R. Schäfer, S. Bleul, and W. Müller, “A Novel Dialog Model for the Design
of Multimodal User Interfaces,” 2004.
mla: Schäfer, Robbie, et al. “A Novel Dialog Model for the Design of Multimodal
User Interfaces.” Proceedings of EHCI-DSVIS 2005, 2004.
short: 'R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel,
Hamburg, 2004.'
date_created: 2023-01-24T09:26:58Z
date_updated: 2023-01-24T09:27:03Z
department:
- _id: '672'
keyword:
- Multimodal User Interface High Level Model Multimodal User High Level
Approach Dialog Model
language:
- iso: eng
place: Tremsbüttel, Hamburg
publication: Proceedings of EHCI-DSVIS 2005
series_title: 'Lecture Notes in Computer Science '
status: public
title: A Novel Dialog Model for the Design of Multimodal User Interfaces
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '6086'
abstract:
- lang: eng
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)
author:
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
- first_name: Odmar
full_name: Neumann, Odmar
last_name: Neumann
citation:
ama: Scharlau I, Neumann O. Temporal parameters and time course of perceptual latency
priming. Acta Psychologica. 2003;113(2):185-203.
apa: Scharlau, I., & Neumann, O. (2003). Temporal parameters and time course
of perceptual latency priming. Acta Psychologica, 113(2), 185–203.
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} }'
chicago: 'Scharlau, Ingrid, and Odmar Neumann. “Temporal Parameters and Time Course
of Perceptual Latency Priming.” Acta Psychologica 113, no. 2 (2003): 185–203.'
ieee: I. Scharlau and O. Neumann, “Temporal parameters and time course of perceptual
latency priming.,” Acta Psychologica, vol. 113, no. 2, pp. 185–203, 2003.
mla: Scharlau, Ingrid, and Odmar Neumann. “Temporal Parameters and Time Course of
Perceptual Latency Priming.” Acta Psychologica, vol. 113, no. 2, 2003,
pp. 185–203.
short: I. Scharlau, O. Neumann, Acta Psychologica 113 (2003) 185–203.
date_created: 2018-12-10T07:07:20Z
date_updated: 2022-06-07T00:27:35Z
department:
- _id: '424'
extern: '1'
intvolume: ' 113'
issue: '2'
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
main_file_link:
- open_access: '1'
url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/ScharlauNeumann2003ActaPsychTimeCourse.pdf
oa: '1'
page: 185 - 203
publication: Acta Psychologica
publication_identifier:
issn:
- 0001-6918
publication_status: published
status: public
title: Temporal parameters and time course of perceptual latency priming.
type: journal_article
user_id: '42165'
volume: 113
year: '2003'
...
---
_id: '34447'
abstract:
- lang: eng
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."
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T,
Warmer J, eds. Advances in Object Modelling with the OCL. Springer-Verlag;
2002:150-171. doi:10.1007/3-540-45669-4_8'
apa: Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints.
In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL
(pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8
bibtex: '@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension
for Real-Time Constraints}, DOI={10.1007/3-540-45669-4_8},
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} }'
chicago: 'Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”
In Advances in Object Modelling with the OCL, edited by T. Clark and J.
Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. https://doi.org/10.1007/3-540-45669-4_8.'
ieee: 'S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in
Advances in Object Modelling with the OCL, T. Clark and J. Warmer, Eds.
Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.'
mla: Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”
Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer,
Springer-Verlag, 2002, pp. 150–71, doi:10.1007/3-540-45669-4_8.
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.'
date_created: 2022-12-15T11:38:20Z
date_updated: 2022-12-15T11:38:47Z
department:
- _id: '672'
doi: 10.1007/3-540-45669-4_8
editor:
- first_name: T.
full_name: Clark, T.
last_name: Clark
- first_name: J.
full_name: Warmer, J.
last_name: Warmer
keyword:
- Model Check Temporal Logic Object Constraint Language Execution Path Kripke
Structure
language:
- iso: eng
page: 150 - 171
place: Berlin, Heidelberg
publication: Advances in Object Modelling with the OCL
publication_identifier:
isbn:
- 978-3-540-45669-8
publisher: Springer-Verlag
status: public
title: An OCL Extension for Real-Time Constraints
type: book_chapter
user_id: '5786'
year: '2002'
...
---
_id: '32503'
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."
author:
- first_name: Heike M.
full_name: Buhl, Heike M.
id: '27152'
last_name: Buhl
citation:
ama: Buhl HM. Partner orientation and speaker’s knowledge as conflicting parameters
in language production. Journal of Psycholinguistic Research. 2001;30(6):549-567.
apa: Buhl, H. M. (2001). Partner orientation and speaker’s knowledge as conflicting
parameters in language production. Journal of Psycholinguistic Research,
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}
}'
chicago: 'Buhl, Heike M. “Partner Orientation and Speaker’s Knowledge as Conflicting
Parameters in Language Production.” Journal of Psycholinguistic Research
30, no. 6 (2001): 549–67.'
ieee: H. M. Buhl, “Partner orientation and speaker’s knowledge as conflicting parameters
in language production,” Journal of Psycholinguistic Research, vol. 30,
no. 6, pp. 549–567, 2001.
mla: Buhl, Heike M. “Partner Orientation and Speaker’s Knowledge as Conflicting
Parameters in Language Production.” Journal of Psycholinguistic Research,
vol. 30, no. 6, 2001, pp. 549–67.
short: H.M. Buhl, Journal of Psycholinguistic Research 30 (2001) 549–567.
date_created: 2022-08-02T11:31:30Z
date_updated: 2022-08-29T03:59:57Z
department:
- _id: '427'
extern: '1'
intvolume: ' 30'
issue: '6'
keyword:
- language production
- partner model
- mental representation
- spatial point of view
- route direction
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://link.springer.com/content/pdf/10.1023/A:1014217421749.pdf
oa: '1'
page: 549 - 567
publication: Journal of Psycholinguistic Research
publication_status: published
status: public
title: Partner orientation and speaker’s knowledge as conflicting parameters in language
production
type: journal_article
user_id: '42165'
volume: 30
year: '2001'
...