---
_id: '37039'
abstract:
- lang: eng
  text: Refinement of untimed TLM models into a timed HW/SW platform is a step by
    step design process which is a trade-off between timing accuracy of the used models
    and correct estimation of the final timing performance. The use of an RTOS on
    the target platform is mandatory in the case real-time properties must be guaranteed.
    Thus, the question is when the RTOS must be introduced in this step by step refinement
    process. This paper proposes a four-level RTOS-aware refinement methodology that,
    starting from an untimed TLM SystemC description of the whole system, progressively
    introduce HW/SW partitioning, timing, device driver and RTOS functionalities,
    till to obtain an accurate model of the final platform, where SW tasks run upon
    an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions.
    Each refinement level allows the designer to estimate more and more accurate timing
    properties, thus anticipating design decisions without being constrained to leave
    timing analysis to the final step of the refinement. The effectiveness of the
    methodology has been evaluated in the design of two complex platforms.
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Giuseppe
  full_name: Di Guglielmo, Giuseppe
  last_name: Di Guglielmo
- first_name: Franco
  full_name: Fummi, Franco
  last_name: Fummi
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Graziano
  full_name: Pravadelli, Graziano
  last_name: Pravadelli
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
citation:
  ama: 'Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware
    Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE;
    2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>'
  apa: Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38;
    Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings
    of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition
    (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5456965">https://doi.org/10.1109/DATE.2010.5456965</a>
  bibtex: '@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden},
    title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>},
    booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and
    Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli,
    Graziano and Xie, Tao}, year={2010} }'
  chicago: 'Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller,
    Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW
    Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href="https://doi.org/10.1109/DATE.2010.5456965">https://doi.org/10.1109/DATE.2010.5456965</a>.'
  ieee: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie,
    “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design,
    Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden,
    2010, doi: <a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>.'
  mla: Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”
    <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>.
  short: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie,
    in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
  location: Dresden
  name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:44:46Z
date_updated: 2025-03-12T16:39:17Z
doi: 10.1109/DATE.2010.5456965
keyword:
- Timing
- Hardware
- Operating systems
- Process design
- Accuracy
- Standards development
- Context modeling
- Real time systems
- Communication channels
- Microprogramming
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
  eisbn:
  - 978-3-9810801-6-2
publisher: IEEE
status: public
title: RTOS-Aware Refinement for TLM2.0-based HW/SW Design
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '24065'
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
  full_name: Japs, Anna Maria
  last_name: Japs
- first_name: Stephan
  full_name: Prödel, Stephan
  last_name: Prödel
- first_name: Rainer
  full_name: Koch, Rainer
  last_name: Koch
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.'
  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>.
  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} }'
  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.
  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.
  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.'
date_created: 2021-09-09T12:27:14Z
date_updated: 2026-03-31T03:52:00Z
editor:
- first_name: Simon
  full_name: French, Simon
  last_name: French
- first_name: Brian
  full_name: Tomaszewski, Brian
  last_name: Tomaszewski
- first_name: Chris
  full_name: Zobel, Chris
  last_name: Zobel
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
main_file_link:
- open_access: '1'
  url: http://idl.iscram.org/files/pottebaum/2010/847_Pottebaum_etal2010.pdf
oa: '1'
place: Seattle, WA
publication: ISCRAM 2010 -- 7th International Conference on Information Systems for
  Crisis Response and Management
quality_controlled: '1'
status: public
title: Design and modeling of a domain ontology for fire protection
type: conference
user_id: '405'
year: '2010'
...
---
_id: '4406'
abstract:
- lang: eng
  text: Using aggregate balance sheet data from banks across the EU-25 over the period
    from 1997 to 2005 we provide empirical evidence that national banking market concentration
    has a negative impact on European banks’ financial soundness as measured by the
    Z-score technique while controlling for macroeconomic, bank-specific, regulatory,
    and institutional factors. Furthermore, our analysis reveals that Eastern European
    banking markets exhibiting a lower level of competitive pressure, fewer diversification
    opportunities and a higher fraction of government-owned banks are more prone to
    financial fragility whereas capital regulations have supported financial stability
    across the entire European Union.
author:
- first_name: André
  full_name: Uhde, André
  id: '36049'
  last_name: Uhde
  orcid: https://orcid.org/0000-0002-8058-8857
- first_name: Ulrich
  full_name: Heimeshoff, Ulrich
  last_name: Heimeshoff
citation:
  ama: 'Uhde A, Heimeshoff U. Consolidation in banking and financial stability in
    Europe: Empirical evidence. <i>Journal of Banking &#38; Finance</i>. 2009;33(7):1299-1311.
    doi:<a href="https://doi.org/10.1016/j.jbankfin.2009.01.006">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>'
  apa: 'Uhde, A., &#38; Heimeshoff, U. (2009). Consolidation in banking and financial
    stability in Europe: Empirical evidence. <i>Journal of Banking &#38; Finance</i>,
    <i>33</i>(7), 1299–1311. <a href="https://doi.org/10.1016/j.jbankfin.2009.01.006">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>'
  bibtex: '@article{Uhde_Heimeshoff_2009, title={Consolidation in banking and financial
    stability in Europe: Empirical evidence}, volume={33}, DOI={<a href="https://doi.org/10.1016/j.jbankfin.2009.01.006">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>},
    number={7}, journal={Journal of Banking &#38; Finance}, author={Uhde, André and
    Heimeshoff, Ulrich}, year={2009}, pages={1299–1311} }'
  chicago: 'Uhde, André, and Ulrich Heimeshoff. “Consolidation in Banking and Financial
    Stability in Europe: Empirical Evidence.” <i>Journal of Banking &#38; Finance</i>
    33, no. 7 (2009): 1299–1311. <a href="https://doi.org/10.1016/j.jbankfin.2009.01.006">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>.'
  ieee: 'A. Uhde and U. Heimeshoff, “Consolidation in banking and financial stability
    in Europe: Empirical evidence,” <i>Journal of Banking &#38; Finance</i>, vol.
    33, no. 7, pp. 1299–1311, 2009, doi: <a href="https://doi.org/10.1016/j.jbankfin.2009.01.006">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>.'
  mla: 'Uhde, André, and Ulrich Heimeshoff. “Consolidation in Banking and Financial
    Stability in Europe: Empirical Evidence.” <i>Journal of Banking &#38; Finance</i>,
    vol. 33, no. 7, 2009, pp. 1299–311, doi:<a href="https://doi.org/10.1016/j.jbankfin.2009.01.006">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>.'
  short: A. Uhde, U. Heimeshoff, Journal of Banking &#38; Finance 33 (2009) 1299–1311.
date_created: 2018-09-14T13:02:19Z
date_updated: 2023-01-10T09:36:22Z
department:
- _id: '186'
- _id: '188'
doi: https://doi.org/10.1016/j.jbankfin.2009.01.006
extern: '1'
intvolume: '        33'
issue: '7'
jel:
- G21
- G28
- G34
- L16
keyword:
- Market structure
- Financial stability
- Banking regulation
language:
- iso: eng
page: 1299-1311
publication: Journal of Banking & Finance
publication_status: published
status: public
title: 'Consolidation in banking and financial stability in Europe: Empirical evidence'
type: journal_article
user_id: '21810'
volume: 33
year: '2009'
...
---
_id: '17259'
abstract:
- lang: eng
  text: Learning is a social endeavor, in which the learner generally receives support
    from his/her social partner(s). In developmental research – even though tutors/adults
    behavior modifications in their speech, gestures and motions have been extensively
    studied, studies barely consider the recipient’s (i.e. the child’s) perspective
    in the analysis of the adult’s presentation, In addition, the variability in parental
    behavior, i.e. the fact that not every parent modifies her/his behavior in the
    same way, found less fine-grained analysis. In contrast, in this paper, we assume
    an interactional perspective investigating the loop between the tutor’s and the
    learner’s actions. With this approach, we aim both at discovering the levels and
    features of variability and at achieving a better understanding of how they come
    about within the course of the interaction. For our analysis, we used a combination
    of (1) qualitative investigation derived from ethnomethodological Conversation
    Analysis (CA), (2) semi-automatic computational 2D hand tracking and (3) a mathematically
    based visualization of the data. Our analysis reveals that tutors not only shape
    their demonstrations differently with regard to the intended recipient per se
    (adult-directed vs. child-directed), but most importantly that the learner’s feedback
    during the presentation is consequential for the concrete ways in which the presentation
    is carried out.
author:
- first_name: Karola
  full_name: Pitsch, Karola
  last_name: Pitsch
- first_name: Anna-Lisa
  full_name: Vollmer, Anna-Lisa
  last_name: Vollmer
- first_name: Jannik
  full_name: Fritsch, Jannik
  last_name: Fritsch
- first_name: Britta
  full_name: Wrede, Britta
  last_name: Wrede
- first_name: Katharina
  full_name: Rohlfing, Katharina
  id: '50352'
  last_name: Rohlfing
- first_name: Gerhard
  full_name: Sagerer, Gerhard
  last_name: Sagerer
citation:
  ama: 'Pitsch K, Vollmer A-L, Fritsch J, Wrede B, Rohlfing K, Sagerer G. On the loop
    of action modification and the recipient’s gaze in adult-child interaction. In:
    <i>Gesture and Speech in Interaction</i>. ; 2009.'
  apa: Pitsch, K., Vollmer, A.-L., Fritsch, J., Wrede, B., Rohlfing, K., &#38; Sagerer,
    G. (2009). On the loop of action modification and the recipient’s gaze in adult-child
    interaction. <i>Gesture and Speech in Interaction</i>.
  bibtex: '@inproceedings{Pitsch_Vollmer_Fritsch_Wrede_Rohlfing_Sagerer_2009, title={On
    the loop of action modification and the recipient’s gaze in adult-child interaction},
    booktitle={Gesture and Speech in Interaction}, author={Pitsch, Karola and Vollmer,
    Anna-Lisa and Fritsch, Jannik and Wrede, Britta and Rohlfing, Katharina and Sagerer,
    Gerhard}, year={2009} }'
  chicago: Pitsch, Karola, Anna-Lisa Vollmer, Jannik Fritsch, Britta Wrede, Katharina
    Rohlfing, and Gerhard Sagerer. “On the Loop of Action Modification and the Recipient’s
    Gaze in Adult-Child Interaction.” In <i>Gesture and Speech in Interaction</i>,
    2009.
  ieee: K. Pitsch, A.-L. Vollmer, J. Fritsch, B. Wrede, K. Rohlfing, and G. Sagerer,
    “On the loop of action modification and the recipient’s gaze in adult-child interaction,”
    2009.
  mla: Pitsch, Karola, et al. “On the Loop of Action Modification and the Recipient’s
    Gaze in Adult-Child Interaction.” <i>Gesture and Speech in Interaction</i>, 2009.
  short: 'K. Pitsch, A.-L. Vollmer, J. Fritsch, B. Wrede, K. Rohlfing, G. Sagerer,
    in: Gesture and Speech in Interaction, 2009.'
date_created: 2020-06-24T13:02:27Z
date_updated: 2023-02-01T13:02:31Z
department:
- _id: '749'
keyword:
- gaze
- gesture
- Multimodal
- adult-child interaction
language:
- iso: eng
publication: Gesture and Speech in Interaction
status: public
title: On the loop of action modification and the recipient's gaze in adult-child
  interaction
type: conference
user_id: '14931'
year: '2009'
...
---
_id: '17272'
abstract:
- lang: eng
  text: In developmental research, tutoring behavior has been identified as scaffolding
    infants' learning processes. It has been defined in terms of child-directed speech
    (Motherese), child-directed motion (Motionese), and contingency. In the field
    of developmental robotics, research often assumes that in human-robot interaction
    (HRI), robots are treated similar to infants, because their immature cognitive
    capabilities benefit from this behavior. However, according to our knowledge,
    it has barely been studied whether this is true and how exactly humans alter their
    behavior towards a robotic interaction partner. In this paper, we present results
    concerning the acceptance of a robotic agent in a social learning scenario obtained
    via comparison to adults and 8-11 months old infants in equal conditions. These
    results constitute an important empirical basis for making use of tutoring behavior
    in social robotics. In our study, we performed a detailed multimodal analysis
    of HRI in a tutoring situation using the example of a robot simulation equipped
    with a bottom-up saliency-based attention model. Our results reveal significant
    differences in hand movement velocity, motion pauses, range of motion, and eye
    gaze suggesting that for example adults decrease their hand movement velocity
    in an Adult-Child Interaction (ACI), opposed to an Adult-Adult Interaction (AAI)
    and this decrease is even higher in the Adult-Robot Interaction (ARI). We also
    found important differences between ACI and ARI in how the behavior is modified
    over time as the interaction unfolds. These findings indicate the necessity of
    integrating top-down feedback structures into a bottom-up system for robots to
    be fully accepted as interaction partners.
author:
- first_name: Anna-Lisa
  full_name: Vollmer, Anna-Lisa
  last_name: Vollmer
- first_name: Katrin Solveig
  full_name: Lohan, Katrin Solveig
  last_name: Lohan
- first_name: Kerstin
  full_name: Fischer, Kerstin
  last_name: Fischer
- first_name: Yukie
  full_name: Nagai, Yukie
  last_name: Nagai
- first_name: Karola
  full_name: Pitsch, Karola
  last_name: Pitsch
- first_name: Jannik
  full_name: Fritsch, Jannik
  last_name: Fritsch
- first_name: Katharina
  full_name: Rohlfing, Katharina
  id: '50352'
  last_name: Rohlfing
- first_name: Britta
  full_name: Wrede, Britta
  last_name: Wrede
citation:
  ama: 'Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior
    in robot-directed interaction for action learning. In: <i>Development and Learning,
    2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>.
    IEEE; 2009:1-6. doi:<a href="https://doi.org/10.1109/DEVLRN.2009.5175516">10.1109/DEVLRN.2009.5175516</a>'
  apa: Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch,
    J., Rohlfing, K., &#38; Wrede, B. (2009). People modify their tutoring behavior
    in robot-directed interaction for action learning. <i>Development and Learning,
    2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>,
    1–6. <a href="https://doi.org/10.1109/DEVLRN.2009.5175516">https://doi.org/10.1109/DEVLRN.2009.5175516</a>
  bibtex: '@inproceedings{Vollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009,
    title={People modify their tutoring behavior in robot-directed interaction for
    action learning}, DOI={<a href="https://doi.org/10.1109/DEVLRN.2009.5175516">10.1109/DEVLRN.2009.5175516</a>},
    booktitle={Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
    on Development and Learning}, publisher={IEEE}, author={Vollmer, Anna-Lisa and
    Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola
    and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}, year={2009}, pages={1–6}
    }'
  chicago: Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai,
    Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify
    Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” In
    <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
    on Development and Learning</i>, 1–6. IEEE, 2009. <a href="https://doi.org/10.1109/DEVLRN.2009.5175516">https://doi.org/10.1109/DEVLRN.2009.5175516</a>.
  ieee: 'A.-L. Vollmer <i>et al.</i>, “People modify their tutoring behavior in robot-directed
    interaction for action learning,” in <i>Development and Learning, 2009. ICDL 2009.
    IEEE 8th International Conference on Development and Learning</i>, 2009, pp. 1–6,
    doi: <a href="https://doi.org/10.1109/DEVLRN.2009.5175516">10.1109/DEVLRN.2009.5175516</a>.'
  mla: Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed
    Interaction for Action Learning.” <i>Development and Learning, 2009. ICDL 2009.
    IEEE 8th International Conference on Development and Learning</i>, IEEE, 2009,
    pp. 1–6, doi:<a href="https://doi.org/10.1109/DEVLRN.2009.5175516">10.1109/DEVLRN.2009.5175516</a>.
  short: 'A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch,
    K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th
    International Conference on Development and Learning, IEEE, 2009, pp. 1–6.'
date_created: 2020-06-24T13:02:43Z
date_updated: 2023-02-01T13:06:43Z
department:
- _id: '749'
doi: 10.1109/DEVLRN.2009.5175516
keyword:
- robot simulation
- hand movement velocity
- robotic interaction partner
- robotic agent
- robot-directed interaction
- multimodal analysis
- Motionese
- Motherese
- intelligent tutoring systems
- immature cognitive capability
- human computer interaction
- eye gaze
- child-directed speech
- child-directed motion
- bottom-up system
- bottom-up saliency-based attention model
- adult-robot interaction
- adult-child interaction
- adult-adult interaction
- human-robot interaction
- action learning
- social learning scenario
- social robotics
- software agents
- top-down feedback structures
- tutoring behavior
language:
- iso: eng
page: 1-6
publication: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
  on Development and Learning
publisher: IEEE
status: public
title: People modify their tutoring behavior in robot-directed interaction for action
  learning
type: conference
user_id: '14931'
year: '2009'
...
---
_id: '17267'
author:
- first_name: Manja
  full_name: Lohse, Manja
  last_name: Lohse
- first_name: Marc
  full_name: Hanheide, Marc
  last_name: Hanheide
- first_name: Katharina
  full_name: Rohlfing, Katharina
  id: '50352'
  last_name: Rohlfing
- first_name: Gerhard
  full_name: Sagerer, Gerhard
  last_name: Sagerer
citation:
  ama: 'Lohse M, Hanheide M, Rohlfing K, Sagerer G. Systemic interaction analysis
    (SInA) in HRI. In: <i>Proceedings of the 4th ACM/IEEE International Conference
    on Human Robot Interaction - HRI ’09</i>. ; 2009:93-100. doi:<a href="https://doi.org/10.1145/1514095.1514114">10.1145/1514095.1514114</a>'
  apa: Lohse, M., Hanheide, M., Rohlfing, K., &#38; Sagerer, G. (2009). Systemic interaction
    analysis (SInA) in HRI. <i>Proceedings of the 4th ACM/IEEE International Conference
    on Human Robot Interaction - HRI ’09</i>, 93–100. <a href="https://doi.org/10.1145/1514095.1514114">https://doi.org/10.1145/1514095.1514114</a>
  bibtex: '@inproceedings{Lohse_Hanheide_Rohlfing_Sagerer_2009, title={Systemic interaction
    analysis (SInA) in HRI}, DOI={<a href="https://doi.org/10.1145/1514095.1514114">10.1145/1514095.1514114</a>},
    booktitle={Proceedings of the 4th ACM/IEEE international conference on Human robot
    interaction - HRI ’09}, author={Lohse, Manja and Hanheide, Marc and Rohlfing,
    Katharina and Sagerer, Gerhard}, year={2009}, pages={93–100} }'
  chicago: Lohse, Manja, Marc Hanheide, Katharina Rohlfing, and Gerhard Sagerer. “Systemic
    Interaction Analysis (SInA) in HRI.” In <i>Proceedings of the 4th ACM/IEEE International
    Conference on Human Robot Interaction - HRI ’09</i>, 93–100, 2009. <a href="https://doi.org/10.1145/1514095.1514114">https://doi.org/10.1145/1514095.1514114</a>.
  ieee: 'M. Lohse, M. Hanheide, K. Rohlfing, and G. Sagerer, “Systemic interaction
    analysis (SInA) in HRI,” in <i>Proceedings of the 4th ACM/IEEE international conference
    on Human robot interaction - HRI ’09</i>, 2009, pp. 93–100, doi: <a href="https://doi.org/10.1145/1514095.1514114">10.1145/1514095.1514114</a>.'
  mla: Lohse, Manja, et al. “Systemic Interaction Analysis (SInA) in HRI.” <i>Proceedings
    of the 4th ACM/IEEE International Conference on Human Robot Interaction - HRI
    ’09</i>, 2009, pp. 93–100, doi:<a href="https://doi.org/10.1145/1514095.1514114">10.1145/1514095.1514114</a>.
  short: 'M. Lohse, M. Hanheide, K. Rohlfing, G. Sagerer, in: Proceedings of the 4th
    ACM/IEEE International Conference on Human Robot Interaction - HRI ’09, 2009,
    pp. 93–100.'
date_created: 2020-06-24T13:02:37Z
date_updated: 2023-02-01T13:05:01Z
department:
- _id: '749'
doi: 10.1145/1514095.1514114
keyword:
- SINA
- human robot interaction
- biron
language:
- iso: eng
page: 93-100
publication: Proceedings of the 4th ACM/IEEE international conference on Human robot
  interaction - HRI '09
status: public
title: Systemic interaction analysis (SInA) in HRI
type: conference
user_id: '14931'
year: '2009'
...
---
_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. <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>
  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>
  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} }'
  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>.'
  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.
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: '17278'
abstract:
- lang: eng
  text: This paper investigates the influence of feedback provided by an autonomous
    robot (BIRON) on users’ discursive behavior. A user study is described during
    which users show objects to the robot. The results of the experiment indicate,
    that the robot’s verbal feedback utterances cause the humans to adapt their own
    way of speaking. The changes in users’ verbal behavior are due to their beliefs
    about the robots knowledge and abilities. In this paper they are identified and
    grouped. Moreover, the data implies variations in user behavior regarding gestures.
    Unlike speech, the robot was not able to give feedback with gestures. Due to the
    lack of feedback, users did not seem to have a consistent mental representation
    of the robot’s abilities to recognize gestures. As a result, changes between different
    gestures are interpreted to be unconscious variations accompanying speech.
author:
- first_name: Manja
  full_name: Lohse, Manja
  last_name: Lohse
- first_name: Katharina
  full_name: Rohlfing, Katharina
  id: '50352'
  last_name: Rohlfing
- first_name: Britta
  full_name: Wrede, Britta
  last_name: Wrede
- first_name: Gerhard
  full_name: Sagerer, Gerhard
  last_name: Sagerer
citation:
  ama: 'Lohse M, Rohlfing K, Wrede B, Sagerer G. “Try something else!” — When users
    change their discursive behavior in human-robot interaction. In: ; 2008:3481-3486.
    doi:<a href="https://doi.org/10.1109/ROBOT.2008.4543743">10.1109/ROBOT.2008.4543743</a>'
  apa: Lohse, M., Rohlfing, K., Wrede, B., &#38; Sagerer, G. (2008). <i>“Try something
    else!” — When users change their discursive behavior in human-robot interaction</i>.
    3481–3486. <a href="https://doi.org/10.1109/ROBOT.2008.4543743">https://doi.org/10.1109/ROBOT.2008.4543743</a>
  bibtex: '@inproceedings{Lohse_Rohlfing_Wrede_Sagerer_2008, title={“Try something
    else!” — When users change their discursive behavior in human-robot interaction},
    DOI={<a href="https://doi.org/10.1109/ROBOT.2008.4543743">10.1109/ROBOT.2008.4543743</a>},
    author={Lohse, Manja and Rohlfing, Katharina and Wrede, Britta and Sagerer, Gerhard},
    year={2008}, pages={3481–3486} }'
  chicago: Lohse, Manja, Katharina Rohlfing, Britta Wrede, and Gerhard Sagerer. “‘Try
    Something Else!’ — When Users Change Their Discursive Behavior in Human-Robot
    Interaction,” 3481–86, 2008. <a href="https://doi.org/10.1109/ROBOT.2008.4543743">https://doi.org/10.1109/ROBOT.2008.4543743</a>.
  ieee: 'M. Lohse, K. Rohlfing, B. Wrede, and G. Sagerer, “‘Try something else!’ —
    When users change their discursive behavior in human-robot interaction,” 2008,
    pp. 3481–3486, doi: <a href="https://doi.org/10.1109/ROBOT.2008.4543743">10.1109/ROBOT.2008.4543743</a>.'
  mla: Lohse, Manja, et al. <i>“Try Something Else!” — When Users Change Their Discursive
    Behavior in Human-Robot Interaction</i>. 2008, pp. 3481–86, doi:<a href="https://doi.org/10.1109/ROBOT.2008.4543743">10.1109/ROBOT.2008.4543743</a>.
  short: 'M. Lohse, K. Rohlfing, B. Wrede, G. Sagerer, in: 2008, pp. 3481–3486.'
date_created: 2020-06-24T13:02:49Z
date_updated: 2023-02-01T13:08:20Z
department:
- _id: '749'
doi: 10.1109/ROBOT.2008.4543743
keyword:
- discursive behavior
- autonomous robot
- BIRON
- man-machine systems
- robot abilities
- robot knowledge
- user gestures
- robot verbal feedback utterance
- speech processing
- user verbal behavior
- service robots
- human-robot interaction
- human computer interaction
- gesture recognition
language:
- iso: eng
page: 3481-3486
publication_identifier:
  isbn:
  - 1050-4729
status: public
title: “Try something else!” — When users change their discursive behavior in human-robot
  interaction
type: conference
user_id: '14931'
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. <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>
  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>
  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} }'
  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>.'
  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>.
  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: '11883'
abstract:
- lang: eng
  text: In this paper, we experimentally evaluate algorithms for velocity estimation
    of a GSM 900 mobile terminal which are based on the analysis of the statistical
    properties of the fast fading process. It is shown how theses statistics can be
    obtained from the training sequences present in downlink transmission bursts without
    establishing an active connection. Realistic simulations of a GSM channel according
    to the COST 207 channel models have been conducted. These models incorporate effects
    like multipath propagation, fading, cochannel interference and additive noise.
    It is shown that velocity estimation by searching for the maximum slope of the
    power density spectrum of the fast fading performs best.
author:
- first_name: Sven
  full_name: Peschke, Sven
  last_name: Peschke
- first_name: Reinhold
  full_name: Haeb-Umbach, Reinhold
  id: '242'
  last_name: Haeb-Umbach
citation:
  ama: 'Peschke S, Haeb-Umbach R. Velocity Estimation of Mobile Terminals by Exploiting
    GSM Downlink Signalling. In: <i>4th Workshop on Positioning Navigation and Communication
    (WPNC 2007)</i>. ; 2007:217-222. doi:<a href="https://doi.org/10.1109/WPNC.2007.353637">10.1109/WPNC.2007.353637</a>'
  apa: Peschke, S., &#38; Haeb-Umbach, R. (2007). Velocity Estimation of Mobile Terminals
    by Exploiting GSM Downlink Signalling. In <i>4th Workshop on Positioning Navigation
    and Communication (WPNC 2007)</i> (pp. 217–222). <a href="https://doi.org/10.1109/WPNC.2007.353637">https://doi.org/10.1109/WPNC.2007.353637</a>
  bibtex: '@inproceedings{Peschke_Haeb-Umbach_2007, title={Velocity Estimation of
    Mobile Terminals by Exploiting GSM Downlink Signalling}, DOI={<a href="https://doi.org/10.1109/WPNC.2007.353637">10.1109/WPNC.2007.353637</a>},
    booktitle={4th Workshop on Positioning Navigation and Communication (WPNC 2007)},
    author={Peschke, Sven and Haeb-Umbach, Reinhold}, year={2007}, pages={217–222}
    }'
  chicago: Peschke, Sven, and Reinhold Haeb-Umbach. “Velocity Estimation of Mobile
    Terminals by Exploiting GSM Downlink Signalling.” In <i>4th Workshop on Positioning
    Navigation and Communication (WPNC 2007)</i>, 217–22, 2007. <a href="https://doi.org/10.1109/WPNC.2007.353637">https://doi.org/10.1109/WPNC.2007.353637</a>.
  ieee: S. Peschke and R. Haeb-Umbach, “Velocity Estimation of Mobile Terminals by
    Exploiting GSM Downlink Signalling,” in <i>4th Workshop on Positioning Navigation
    and Communication (WPNC 2007)</i>, 2007, pp. 217–222.
  mla: Peschke, Sven, and Reinhold Haeb-Umbach. “Velocity Estimation of Mobile Terminals
    by Exploiting GSM Downlink Signalling.” <i>4th Workshop on Positioning Navigation
    and Communication (WPNC 2007)</i>, 2007, pp. 217–22, doi:<a href="https://doi.org/10.1109/WPNC.2007.353637">10.1109/WPNC.2007.353637</a>.
  short: 'S. Peschke, R. Haeb-Umbach, in: 4th Workshop on Positioning Navigation and
    Communication (WPNC 2007), 2007, pp. 217–222.'
date_created: 2019-07-12T05:30:06Z
date_updated: 2022-01-06T06:51:11Z
department:
- _id: '54'
doi: 10.1109/WPNC.2007.353637
keyword:
- additive noise
- cellular radio
- channel estimation
- cochannel interference
- COST 207 channel models
- downlink transmission bursts
- fading channels
- fading process
- GSM downlink signalling
- mobile terminals
- multipath channels
- multipath propagation
- power density spectrum
- statistical analysis
- statistical properties
- telecommunication links
- telecommunication terminals
- velocity estimation
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://groups.uni-paderborn.de/nt/pubs/2007/PeHa07.pdf
oa: '1'
page: 217-222
publication: 4th Workshop on Positioning Navigation and Communication (WPNC 2007)
status: public
title: Velocity Estimation of Mobile Terminals by Exploiting GSM Downlink Signalling
type: conference
user_id: '44006'
year: '2007'
...
---
_id: '6087'
abstract:
- lang: eng
  text: 'Visual backward masking is frequently used to study the temporal dynamics
    of visual perception. These dynamics may include the temporal features of conscious
    percepts, as suggested, for instance, by the asynchronous-updating model (Neumann,
    1982) and perceptual-retouch theory (Bachmann, 1994). These models predict that
    the perceptual latency of a visual backward mask is shorter than that of a like
    reference stimulus that was not preceded by a masked stimulus. The prediction
    has been confirmed by studies using temporal-order judgments: For certain asynchronies
    between mask and reference stimulus, temporal-order reversals are quite frequent
    (e.g. Scharlau, & Neumann, 2003a). However, it may be argued that these reversals
    were due to a response bias in favour of the mask rather than true temporal-perceptual
    effects. I introduce two measures for assessing latency effects that (1) are not
    prone to such a response bias, (2) allow to quantify the latency gain, and (3)
    extend the perceptual e'
author:
- first_name: Ingrid
  full_name: Scharlau, Ingrid
  id: '451'
  last_name: Scharlau
  orcid: 0000-0003-2364-9489
citation:
  ama: 'Scharlau I. Temporal processes in prime-mask interaction: Assessing perceptual
    consequences of masked information. <i>Advances in Cognitive Psychology</i>. 2007;3(1-2):241-255.'
  apa: 'Scharlau, I. (2007). Temporal processes in prime-mask interaction: Assessing
    perceptual consequences of masked information. <i>Advances in Cognitive Psychology</i>,
    <i>3</i>(1–2), 241–255.'
  bibtex: '@article{Scharlau_2007, title={Temporal processes in prime-mask interaction:
    Assessing perceptual consequences of masked information.}, volume={3}, number={1–2},
    journal={Advances in Cognitive Psychology}, author={Scharlau, Ingrid}, year={2007},
    pages={241–255} }'
  chicago: 'Scharlau, Ingrid. “Temporal Processes in Prime-Mask Interaction: Assessing
    Perceptual Consequences of Masked Information.” <i>Advances in Cognitive Psychology</i>
    3, no. 1–2 (2007): 241–55.'
  ieee: 'I. Scharlau, “Temporal processes in prime-mask interaction: Assessing perceptual
    consequences of masked information.,” <i>Advances in Cognitive Psychology</i>,
    vol. 3, no. 1–2, pp. 241–255, 2007.'
  mla: 'Scharlau, Ingrid. “Temporal Processes in Prime-Mask Interaction: Assessing
    Perceptual Consequences of Masked Information.” <i>Advances in Cognitive Psychology</i>,
    vol. 3, no. 1–2, 2007, pp. 241–55.'
  short: I. Scharlau, Advances in Cognitive Psychology 3 (2007) 241–255.
date_created: 2018-12-10T07:07:33Z
date_updated: 2022-06-07T00:13:52Z
department:
- _id: '424'
extern: '1'
intvolume: '         3'
issue: 1-2
keyword:
- temporal processes
- prime mask interaction
- perceptual consequences
- masked information
- visual backward masking
- visual perception
- Temporal Lobe
- Visual Masking
- Visual Perception
- Consequence
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://ac-psych.org/index.php/en/issues/volume/3/issue/1#art43
oa: '1'
page: 241 - 255
publication: Advances in Cognitive Psychology
publication_identifier:
  issn:
  - 1895-1171
publication_status: published
status: public
title: 'Temporal processes in prime-mask interaction: Assessing perceptual consequences
  of masked information.'
type: journal_article
user_id: '42165'
volume: 3
year: '2007'
...
---
_id: '38543'
abstract:
- lang: eng
  text: Today a large variety of mobile interaction devices such as PDAs and mobile
    phones enforce the development of a wide range of user interfaces for each platform.
    The complexity even grows, when multiple interaction devices are used to perform
    the same task and when different modalities have to be supported. We introduce
    a new dialog model for the abstraction of concrete user interfaces with a separate
    advanced control layer for the integration of different modalities. In this context,
    we present the Dialog and Interface Specification Language (DISL), which comes
    with a proof-of-concept implementation.
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. Dialog Modelling for Multiple Devices and Multiple
    Interaction Modalities. In: <i>Proceedings of the 5th International Workshop on
    Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>. ; 2006.
    doi:<a href="https://doi.org/10.1007/978-3-540-70816-2_4">10.1007/978-3-540-70816-2_4</a>'
  apa: Schäfer, R., Bleul, S., &#38; Müller, W. (2006). Dialog Modelling for Multiple
    Devices and Multiple Interaction Modalities. <i>Proceedings of the 5th International
    Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>.
    <a href="https://doi.org/10.1007/978-3-540-70816-2_4">https://doi.org/10.1007/978-3-540-70816-2_4</a>
  bibtex: '@inproceedings{Schäfer_Bleul_Müller_2006, place={Hasselt, Belgium}, title={Dialog
    Modelling for Multiple Devices and Multiple Interaction Modalities}, DOI={<a href="https://doi.org/10.1007/978-3-540-70816-2_4">10.1007/978-3-540-70816-2_4</a>},
    booktitle={Proceedings of the 5th International Workshop on Task Models and Diagrams
    for User Interface Design (TAMODIA’2006)}, author={Schäfer, Robbie and Bleul,
    Steffen and Müller, Wolfgang}, year={2006} }'
  chicago: Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “Dialog Modelling
    for Multiple Devices and Multiple Interaction Modalities.” In <i>Proceedings of
    the 5th International Workshop on Task Models and Diagrams for User Interface
    Design (TAMODIA’2006)</i>. Hasselt, Belgium, 2006. <a href="https://doi.org/10.1007/978-3-540-70816-2_4">https://doi.org/10.1007/978-3-540-70816-2_4</a>.
  ieee: 'R. Schäfer, S. Bleul, and W. Müller, “Dialog Modelling for Multiple Devices
    and Multiple Interaction Modalities,” 2006, doi: <a href="https://doi.org/10.1007/978-3-540-70816-2_4">10.1007/978-3-540-70816-2_4</a>.'
  mla: Schäfer, Robbie, et al. “Dialog Modelling for Multiple Devices and Multiple
    Interaction Modalities.” <i>Proceedings of the 5th International Workshop on Task
    Models and Diagrams for User Interface Design (TAMODIA’2006)</i>, 2006, doi:<a
    href="https://doi.org/10.1007/978-3-540-70816-2_4">10.1007/978-3-540-70816-2_4</a>.
  short: 'R. Schäfer, S. Bleul, W. Müller, in: Proceedings of the 5th International
    Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006),
    Hasselt, Belgium, 2006.'
date_created: 2023-01-24T08:03:51Z
date_updated: 2023-01-24T08:03:56Z
department:
- _id: '672'
doi: 10.1007/978-3-540-70816-2_4
keyword:
- User Interface     Interaction Manager     Output Device     Multimodal Interface     Interaction
  Object
language:
- iso: eng
place: Hasselt, Belgium
publication: Proceedings of the 5th International Workshop on Task Models and Diagrams
  for User Interface Design (TAMODIA'2006)
publication_identifier:
  isbn:
  - 978-3-540-70815-5
status: public
title: Dialog Modelling for Multiple Devices and Multiple Interaction Modalities
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '11733'
abstract:
- lang: eng
  text: Current navigation systems like GPS (Global Positioning System) and its Russian
    counterpart GLONASS (Global Navigation Satellite System) only evaluate the direct
    signal path. The receivers treat the reflected paths also reaching the receiver
    antenna as disturbance which has to be suppressed. Multipath affects the tracking
    accuracy by resulting in a degeneration of the S-curve of the DLL (delay locked
    loop). Nowadays the future European systems GALILEO and GPSIIF/III with two new
    signals are on the way to the market and it is time to think about new receiver
    structures. Therefore we investigated if it is possible to use multipath for navigation
    constructively.
author:
- first_name: Renke
  full_name: Bischoff, Renke
  last_name: Bischoff
- first_name: Reinhold
  full_name: Haeb-Umbach, Reinhold
  id: '242'
  last_name: Haeb-Umbach
- first_name: Wolfgang
  full_name: Schulz, Wolfgang
  last_name: Schulz
- first_name: Guenther
  full_name: Heinrichs, Guenther
  last_name: Heinrichs
citation:
  ama: 'Bischoff R, Haeb-Umbach R, Schulz W, Heinrichs G. Employment of a multipath
    receiver structure in a combined GALILEO/UMTS receiver. In: <i>IEEE 55th Vehicular
    Technology Conference (VTC 2002 Spring)</i>. Vol 4. ; 2002:1844-1848 vol.4. doi:<a
    href="https://doi.org/10.1109/VTC.2002.1002940">10.1109/VTC.2002.1002940</a>'
  apa: Bischoff, R., Haeb-Umbach, R., Schulz, W., &#38; Heinrichs, G. (2002). Employment
    of a multipath receiver structure in a combined GALILEO/UMTS receiver. In <i>IEEE
    55th Vehicular Technology Conference (VTC 2002 Spring)</i> (Vol. 4, pp. 1844–1848
    vol.4). <a href="https://doi.org/10.1109/VTC.2002.1002940">https://doi.org/10.1109/VTC.2002.1002940</a>
  bibtex: '@inproceedings{Bischoff_Haeb-Umbach_Schulz_Heinrichs_2002, title={Employment
    of a multipath receiver structure in a combined GALILEO/UMTS receiver}, volume={4},
    DOI={<a href="https://doi.org/10.1109/VTC.2002.1002940">10.1109/VTC.2002.1002940</a>},
    booktitle={IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)}, author={Bischoff,
    Renke and Haeb-Umbach, Reinhold and Schulz, Wolfgang and Heinrichs, Guenther},
    year={2002}, pages={1844–1848 vol.4} }'
  chicago: Bischoff, Renke, Reinhold Haeb-Umbach, Wolfgang Schulz, and Guenther Heinrichs.
    “Employment of a Multipath Receiver Structure in a Combined GALILEO/UMTS Receiver.”
    In <i>IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)</i>, 4:1844–48
    vol.4, 2002. <a href="https://doi.org/10.1109/VTC.2002.1002940">https://doi.org/10.1109/VTC.2002.1002940</a>.
  ieee: R. Bischoff, R. Haeb-Umbach, W. Schulz, and G. Heinrichs, “Employment of a
    multipath receiver structure in a combined GALILEO/UMTS receiver,” in <i>IEEE
    55th Vehicular Technology Conference (VTC 2002 Spring)</i>, 2002, vol. 4, pp.
    1844–1848 vol.4.
  mla: Bischoff, Renke, et al. “Employment of a Multipath Receiver Structure in a
    Combined GALILEO/UMTS Receiver.” <i>IEEE 55th Vehicular Technology Conference
    (VTC 2002 Spring)</i>, vol. 4, 2002, pp. 1844–48 vol.4, doi:<a href="https://doi.org/10.1109/VTC.2002.1002940">10.1109/VTC.2002.1002940</a>.
  short: 'R. Bischoff, R. Haeb-Umbach, W. Schulz, G. Heinrichs, in: IEEE 55th Vehicular
    Technology Conference (VTC 2002 Spring), 2002, pp. 1844–1848 vol.4.'
date_created: 2019-07-12T05:27:12Z
date_updated: 2022-01-06T06:51:08Z
department:
- _id: '54'
doi: 10.1109/VTC.2002.1002940
intvolume: '         4'
keyword:
- combined GALILEO/UMTS receiver
- delay locked loop
- delay lock loops
- DLL
- Global Positioning System
- GLONASS
- GPS
- GPSIIF/III
- mobile satellite communication
- multipath channels
- multipath receiver structure
- radio receivers
- RAKE receiver
- S-curve
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://groups.uni-paderborn.de/nt/pubs/2002/BiHaScHe02.pdf
oa: '1'
page: 1844-1848 vol.4
publication: IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)
status: public
title: Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver
type: conference
user_id: '44006'
volume: 4
year: '2002'
...
---
_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. <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>'
  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>
  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} }'
  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>.'
  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.'
  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>.
  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: '39411'
abstract:
- lang: eng
  text: Rapid prototyping based on 3D models is well accepted for several applications.
    This article addresses the application of animated virtual 3D prototypes for the
    development of computer-based systems supporting early collaboration of the system
    designer with the external customer. Our methodology seamlessly integrates illustration
    through 3D animation with the main tasks of computer-based real-time systems development,
    i.e., implementation and verification. The approach is outlined by the example
    of the design of a flexible manufacturing system.
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  ama: 'Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through
    Virtual Prototyps. In: <i>Proceedings of IEEE KMN 2001</i>. ; 2001. doi:<a href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>'
  apa: 'Flake, S., Geiger, C., Müller, W., &#38; Ruf, J. (2001). Customer-Oriented
    Systems Design through Virtual Prototyps. <i>Proceedings of IEEE KMN 2001</i>.
    Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
    for Collaborative Enterprises. <a href="https://doi.org/10.1109/ENABL.2001.953425">https://doi.org/10.1109/ENABL.2001.953425</a>'
  bibtex: '@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA
    }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={<a
    href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>},
    booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian
    and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }'
  chicago: Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented
    Systems Design through Virtual Prototyps.” In <i>Proceedings of IEEE KMN 2001</i>.
    Cambridge, MA, USA , 2001. <a href="https://doi.org/10.1109/ENABL.2001.953425">https://doi.org/10.1109/ENABL.2001.953425</a>.
  ieee: 'S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design
    through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International
    Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises,
    2001, doi: <a href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>.'
  mla: Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.”
    <i>Proceedings of IEEE KMN 2001</i>, 2001, doi:<a href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>.
  short: 'S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001,
    Cambridge, MA, USA , 2001.'
conference:
  name: 'Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
    for Collaborative Enterprises'
date_created: 2023-01-24T10:30:14Z
date_updated: 2023-01-24T10:30:21Z
department:
- _id: '672'
doi: 10.1109/ENABL.2001.953425
keyword:
- Virtual prototyping
- Animation
- Collaboration
- System analysis and design
- Feedback
- Application software
- Power system modeling
- Handicapped aids
- Process design
- Contracts
language:
- iso: eng
place: 'Cambridge, MA, USA '
publication: Proceedings of IEEE KMN 2001
publication_identifier:
  isbn:
  - 0-7695-1269-0
status: public
title: Customer-Oriented Systems Design through Virtual Prototyps
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39487'
abstract:
- lang: eng
  text: This article introduces and discusses different innovative means for visual
    specification and animation of complex concurrent systems. It introduces the completely
    visual programming language Pictorial Janus (PJ) and its application in the customer-oriented
    design process. PJ implements a completely visual programming language with inherent
    animation facilities. The article outlines the transformation of purely visual
    PJ programs into textual imperative programming languages. The second part of
    the article investigates animated 3D-presentations and introduces a novel approach
    to an animated 3D programming language for interactive customer-oriented illustrations.
author:
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: G.
  full_name: Lehrenfeld, G.
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations
    of Complex Systems. In: <i>Proceedings of HICSS-32</i>. ; 1999. doi:<a href="https://doi.org/10.1109/HICSS.1999.772621">10.1109/HICSS.1999.772621</a>'
  apa: Geiger, C., Lehrenfeld, G., &#38; Müller, W. (1999). Visual Specification,
    Modeling, and Illustrations of Complex Systems. <i>Proceedings of HICSS-32</i>.
    Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences
    1999, Maui, Hawaii. <a href="https://doi.org/10.1109/HICSS.1999.772621">https://doi.org/10.1109/HICSS.1999.772621</a>
  bibtex: '@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual
    Specification, Modeling, and Illustrations of Complex Systems}, DOI={<a href="https://doi.org/10.1109/HICSS.1999.772621">10.1109/HICSS.1999.772621</a>},
    booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld,
    G. and Müller, Wolfgang}, year={1999} }'
  chicago: Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification,
    Modeling, and Illustrations of Complex Systems.” In <i>Proceedings of HICSS-32</i>.
    Maui, Hawaii, 1999. <a href="https://doi.org/10.1109/HICSS.1999.772621">https://doi.org/10.1109/HICSS.1999.772621</a>.
  ieee: 'C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling,
    and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd
    Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii,
    1999, doi: <a href="https://doi.org/10.1109/HICSS.1999.772621">10.1109/HICSS.1999.772621</a>.'
  mla: Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations
    of Complex Systems.” <i>Proceedings of HICSS-32</i>, 1999, doi:<a href="https://doi.org/10.1109/HICSS.1999.772621">10.1109/HICSS.1999.772621</a>.
  short: 'C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui,
    Hawaii, 1999.'
conference:
  location: Maui, Hawaii
  name: Proceedings of the 32nd Annual Hawaii International Conference on Systems
    Sciences 1999
date_created: 2023-01-24T11:33:05Z
date_updated: 2023-01-24T11:33:35Z
department:
- _id: '672'
doi: 10.1109/HICSS.1999.772621
keyword:
- Animation
- Computer languages
- Object oriented modeling
- Collaboration
- Process design
- Graphical user interfaces
- Jacobian matrices
- Standardization
- Feedback
- Software prototyping
language:
- iso: eng
place: Maui, Hawaii
publication: Proceedings of HICSS-32
publication_identifier:
  isbn:
  - 0-7695-0001-3
status: public
title: Visual Specification, Modeling, and Illustrations of Complex Systems
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '34448'
abstract:
- lang: eng
  text: We present a rigorous but transparent semantic definition for VHDL corresponding
    to the IEEE VHDL’ 93 standard [68, 9, 84]. Our definition covers the full behavior
    of signal and variable assignments as well as the behavior of the various wait
    statements including delta, time, and postponed cycles. We consider explicitly
    declared signals, ports, local variables, and shared variables. Our specification
    defines an abstract VHDL ’ 93 interpreter in the form of transition rules for
    an evolving algebra machine (EA-Machine) [60]. It faithfully reflects and supports
    the view of simulation given in the IEEE VHDL ’ 93 standard language reference
    manual. The definition can be understood without any prior formal training. We
    illustrate our definition by running the example VHDL program set out in the Introduction
    to this volume.
author:
- first_name: Egon
  full_name: Börger, Egon
  last_name: Börger
- first_name: Uwe
  full_name: Glässer, Uwe
  last_name: Glässer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93
    Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. <i>Semantics of
    VHDL</i>. Kluwer Academic Publishers; 1995:107-139. doi:<a href="https://doi.org/10.1007/978-1-4615-2237-9_5">10.1007/978-1-4615-2237-9_5</a>'
  apa: Börger, E., Glässer, U., &#38; Müller, W. (1995). A Formal Definition of an
    Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos &#38; P. T. Breuer
    (Eds.), <i>Semantics of VHDL</i> (pp. 107–139). Kluwer Academic Publishers. <a
    href="https://doi.org/10.1007/978-1-4615-2237-9_5">https://doi.org/10.1007/978-1-4615-2237-9_5</a>
  bibtex: '@inbook{Börger_Glässer_Müller_1995, place={Dordrecht}, title={A Formal
    Definition of an Abstract VHDL’93 Simulator by EA-Machines}, DOI={<a href="https://doi.org/10.1007/978-1-4615-2237-9_5">10.1007/978-1-4615-2237-9_5</a>},
    booktitle={Semantics of VHDL}, publisher={Kluwer Academic Publishers}, author={Börger,
    Egon and Glässer, Uwe and Müller, Wolfgang}, editor={Delgado Kloos, C. and Breuer,
    Peter T.}, year={1995}, pages={107–139} }'
  chicago: 'Börger, Egon, Uwe Glässer, and Wolfgang Müller. “A Formal Definition of
    an Abstract VHDL’93 Simulator by EA-Machines.” In <i>Semantics of VHDL</i>, edited
    by C. Delgado Kloos and Peter T. Breuer, 107–39. Dordrecht: Kluwer Academic Publishers,
    1995. <a href="https://doi.org/10.1007/978-1-4615-2237-9_5">https://doi.org/10.1007/978-1-4615-2237-9_5</a>.'
  ieee: 'E. Börger, U. Glässer, and W. Müller, “A Formal Definition of an Abstract
    VHDL’93 Simulator by EA-Machines,” in <i>Semantics of VHDL</i>, C. Delgado Kloos
    and P. T. Breuer, Eds. Dordrecht: Kluwer Academic Publishers, 1995, pp. 107–139.'
  mla: Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator
    by EA-Machines.” <i>Semantics of VHDL</i>, edited by C. Delgado Kloos and Peter
    T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:<a href="https://doi.org/10.1007/978-1-4615-2237-9_5">10.1007/978-1-4615-2237-9_5</a>.
  short: 'E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.),
    Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.'
date_created: 2022-12-15T11:42:48Z
date_updated: 2022-12-15T11:43:14Z
department:
- _id: '672'
doi: 10.1007/978-1-4615-2237-9_5
editor:
- first_name: C.
  full_name: Delgado Kloos, C.
  last_name: Delgado Kloos
- first_name: Peter T.
  full_name: Breuer, Peter T.
  last_name: Breuer
keyword:
- Transition Rule     Formal Verification     Variable Assignment     Kernel Process     Simulation
  Cycle
language:
- iso: eng
page: 107 - 139
place: Dordrecht
publication: Semantics of VHDL
publication_identifier:
  isbn:
  - 978-1-4615-2237-9
publisher: Kluwer Academic Publishers
status: public
title: A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines
type: book_chapter
user_id: '5786'
year: '1995'
...
