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