---
_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: '33815'
abstract:
- lang: eng
  text: Test processes in the automotive industry are tool-intensive and affected
    by technologically heterogeneous test infrastructures. In the industrial practice
    a product has to pass tests at several levels of abstraction such as Model-in-the-Loop
    (MIL), Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) tests. Different
    test systems are applied for this purpose (e.g. dSPACE MTest, dSPACE Automation
    Desk, National Instruments Teststand) and almost each test system requests its
    own proprietary test description language. The exchange of tests between different
    test systems and the reuse of tests between different test levels is normally
    not possible. Efforts to integrate these heterogeneous test environments, to address
    test exchange in a general manner and to standardize and harmonize the existing
    language environment are still at the beginning and not tailored towards the requirements
    of the automotive domain. To keep the whole development and test process efficient
    and manageable, the definition of an integrated and seamless approach is required.
    TestML – the test exchange language we present in this article – is defined to
    overcome the technological obstacles (different test language syntax and semantics,
    different data formats and interface descriptions) that almost automatically accompany
    the application of heterogeneous test tools and test infrastructures. TestML supports
    the exchange of tests between different test notations in a heterogeneous tool
    environment. In this paper, we introduce the XML schema of TestML and demonstrate
    the efficiency of the interchange format by giving examples from the model-based
    development of electronic control units. Tool support is illustrated by an application
    with Simulink/Stateflow.
author:
- first_name: Jürgen
  full_name: Großmann, Jürgen
  last_name: Großmann
- first_name: Ines
  full_name: Fey, Ines
  last_name: Fey
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Mirko
  full_name: Conrad, Mirko
  last_name: Conrad
- first_name: Christian
  full_name: Wewetzer, Christian
  last_name: Wewetzer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Großmann J, Fey I, Krupp A, Conrad M, Wewetzer C, Müller W. TestML – A Test
    Exchange Language for Model-based Testing of Embedded Software. In: Broy M, Krüger
    IH, Meisinger M, eds. <i>ASWSD 2006: Model-Driven Development of Reliable Automotive
    Services</i>. Springer Verlag; 2008:98-117. doi:<a href="https://doi.org/10.1007/978-3-540-70930-5_7">10.1007/978-3-540-70930-5_7</a>'
  apa: 'Großmann, J., Fey, I., Krupp, A., Conrad, M., Wewetzer, C., &#38; Müller,
    W. (2008). TestML – A Test Exchange Language for Model-based Testing of Embedded
    Software. In M. Broy, I. H. Krüger, &#38; M. Meisinger (Eds.), <i>ASWSD 2006:
    Model-Driven Development of Reliable Automotive Services</i> (pp. 98–117). Springer
    Verlag. <a href="https://doi.org/10.1007/978-3-540-70930-5_7">https://doi.org/10.1007/978-3-540-70930-5_7</a>'
  bibtex: '@inbook{Großmann_Fey_Krupp_Conrad_Wewetzer_Müller_2008, place={Berlin,
    Heidelberg}, title={TestML – A Test Exchange Language for Model-based Testing
    of Embedded Software}, DOI={<a href="https://doi.org/10.1007/978-3-540-70930-5_7">10.1007/978-3-540-70930-5_7</a>},
    booktitle={ASWSD 2006: Model-Driven Development of Reliable Automotive Services},
    publisher={Springer Verlag}, author={Großmann, Jürgen and Fey, Ines and Krupp,
    Alexander and Conrad, Mirko and Wewetzer, Christian and Müller, Wolfgang}, editor={Broy,
    Manfred and Krüger, Ingolf H. and Meisinger, Michael}, year={2008}, pages={98–117}
    }'
  chicago: 'Großmann, Jürgen, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer,
    and Wolfgang Müller. “TestML – A Test Exchange Language for Model-Based Testing
    of Embedded Software.” In <i>ASWSD 2006: Model-Driven Development of Reliable
    Automotive Services</i>, edited by Manfred Broy, Ingolf H. Krüger, and Michael
    Meisinger, 98–117. Berlin, Heidelberg: Springer Verlag, 2008. <a href="https://doi.org/10.1007/978-3-540-70930-5_7">https://doi.org/10.1007/978-3-540-70930-5_7</a>.'
  ieee: 'J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, and W. Müller, “TestML
    – A Test Exchange Language for Model-based Testing of Embedded Software,” in <i>ASWSD
    2006: Model-Driven Development of Reliable Automotive Services</i>, M. Broy, I.
    H. Krüger, and M. Meisinger, Eds. Berlin, Heidelberg: Springer Verlag, 2008, pp.
    98–117.'
  mla: 'Großmann, Jürgen, et al. “TestML – A Test Exchange Language for Model-Based
    Testing of Embedded Software.” <i>ASWSD 2006: Model-Driven Development of Reliable
    Automotive Services</i>, edited by Manfred Broy et al., Springer Verlag, 2008,
    pp. 98–117, doi:<a href="https://doi.org/10.1007/978-3-540-70930-5_7">10.1007/978-3-540-70930-5_7</a>.'
  short: 'J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, W. Müller, in: M.
    Broy, I.H. Krüger, M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of
    Reliable Automotive Services, Springer Verlag, Berlin, Heidelberg, 2008, pp. 98–117.'
date_created: 2022-10-18T11:19:31Z
date_updated: 2022-10-18T11:20:02Z
department:
- _id: '672'
doi: 10.1007/978-3-540-70930-5_7
editor:
- first_name: Manfred
  full_name: Broy, Manfred
  last_name: Broy
- first_name: Ingolf H.
  full_name: Krüger, Ingolf H.
  last_name: Krüger
- first_name: Michael
  full_name: Meisinger, Michael
  last_name: Meisinger
keyword:
- Test Behavior
- Test Exchange
- System Under Test
- Hybrid Automaton
- Test Execution
language:
- iso: eng
page: 98-117
place: Berlin, Heidelberg
publication: 'ASWSD 2006: Model-Driven Development of Reliable Automotive Services'
publication_identifier:
  isbn:
  - 978-3-540-70929-9
publisher: Springer Verlag
status: public
title: TestML – A Test Exchange Language for Model-based Testing of Embedded Software
type: book_chapter
user_id: '5786'
year: '2008'
...
---
_id: '53583'
citation:
  ama: Müller W, Wolfe J, eds. <i>Proceedings of the 5th International DAC Workshop
    of UML for SoC Design</i>.; 2008.
  apa: Müller, W., &#38; Wolfe, J. (Eds.). (2008). <i>Proceedings of the 5th International
    DAC Workshop of UML for SoC Design</i>.
  bibtex: '@book{Müller_Wolfe_2008, place={Anaheim, CA, USA}, title={Proceedings of
    the 5th International DAC Workshop of UML for SoC Design}, year={2008} }'
  chicago: Müller, Wolfgang, and John Wolfe, eds. <i>Proceedings of the 5th International
    DAC Workshop of UML for SoC Design</i>. Anaheim, CA, USA, 2008.
  ieee: W. Müller and J. Wolfe, Eds., <i>Proceedings of the 5th International DAC
    Workshop of UML for SoC Design</i>. Anaheim, CA, USA, 2008.
  mla: Müller, Wolfgang, and John Wolfe, editors. <i>Proceedings of the 5th International
    DAC Workshop of UML for SoC Design</i>. 2008.
  short: W. Müller, J. Wolfe, eds., Proceedings of the 5th International DAC Workshop
    of UML for SoC Design, Anaheim, CA, USA, 2008.
date_created: 2024-04-18T20:44:43Z
date_updated: 2024-04-18T20:44:48Z
department:
- _id: '58'
editor:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: John
  full_name: Wolfe, John
  last_name: Wolfe
language:
- iso: eng
place: Anaheim, CA, USA
status: public
title: Proceedings of the 5th International DAC Workshop of UML for SoC Design
type: book_editor
user_id: '16243'
year: '2008'
...
---
_id: '53594'
citation:
  ama: Wolfe J, Müller W, eds. <i>Proceedings of the 4th DAC Workshop on UML for SOC
    Design </i>.; 2008.
  apa: Wolfe, J., &#38; Müller, W. (Eds.). (2008). <i>Proceedings of the 4th DAC Workshop
    on UML for SOC Design </i>.
  bibtex: '@book{Wolfe_Müller_2008, place={Anaheim CA, USA}, title={Proceedings of
    the 4th DAC Workshop on UML for SOC Design }, year={2008} }'
  chicago: Wolfe, John, and Wolfgang Müller, eds. <i>Proceedings of the 4th DAC Workshop
    on UML for SOC Design </i>. Anaheim CA, USA, 2008.
  ieee: J. Wolfe and W. Müller, Eds., <i>Proceedings of the 4th DAC Workshop on UML
    for SOC Design </i>. Anaheim CA, USA, 2008.
  mla: Wolfe, John, and Wolfgang Müller, editors. <i>Proceedings of the 4th DAC Workshop
    on UML for SOC Design </i>. 2008.
  short: J. Wolfe, W. Müller, eds., Proceedings of the 4th DAC Workshop on UML for
    SOC Design , Anaheim CA, USA, 2008.
date_created: 2024-04-18T21:54:23Z
date_updated: 2024-04-18T22:11:24Z
department:
- _id: '58'
editor:
- first_name: John
  full_name: Wolfe, John
  last_name: Wolfe
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
language:
- iso: eng
place: Anaheim CA, USA
status: public
title: 'Proceedings of the 4th DAC Workshop on UML for SOC Design '
type: book_editor
user_id: '16243'
year: '2008'
...
---
_id: '37075'
abstract:
- lang: eng
  text: Complex control oriented embedded systems with hard real-time constraints
    require real-time operation system (RTOS) for predictable timing behavior. To
    support the evaluation of different scheduling strategies and task priorities,
    we use an abstract RTOS model based on SystemC. In this article, we present an
    annotation method for time estimation that supports flexible simulation and validation
    of real-time-constraints for task migration between different target processors
    without loss of simulation performance and less memory overhead.
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. An Efficient Time Annotation Technique in Abstract RTOS
    Simulations for Multiprocessor Task Migration. Kleinjohann L, Kleinjohann B, eds.
    2008;271. doi:<a href="https://doi.org/10.1007/978-0-387-09661-2_18">10.1007/978-0-387-09661-2_18</a>
  apa: Zabel, H., &#38; Müller, W. (2008). <i>An Efficient Time Annotation Technique
    in Abstract RTOS Simulations for Multiprocessor Task Migration</i> (L. Kleinjohann
    &#38; B. Kleinjohann, Eds.; Vol. 271). Springer Verlag. <a href="https://doi.org/10.1007/978-0-387-09661-2_18">https://doi.org/10.1007/978-0-387-09661-2_18</a>
  bibtex: '@article{Zabel_Müller_2008, place={Dordrecht}, series={ IFIP – The International
    Federation for Information Processing}, title={An Efficient Time Annotation Technique
    in Abstract RTOS Simulations for Multiprocessor Task Migration}, volume={271},
    DOI={<a href="https://doi.org/10.1007/978-0-387-09661-2_18">10.1007/978-0-387-09661-2_18</a>},
    publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann,
    L. and Kleinjohann, B.}, year={2008}, collection={ IFIP – The International Federation
    for Information Processing} }'
  chicago: 'Zabel, Henning, and Wolfgang Müller. “An Efficient Time Annotation Technique
    in Abstract RTOS Simulations for Multiprocessor Task Migration.” Edited by L.
    Kleinjohann and B. Kleinjohann.  IFIP – The International Federation for Information
    Processing. Dordrecht: Springer Verlag, 2008. <a href="https://doi.org/10.1007/978-0-387-09661-2_18">https://doi.org/10.1007/978-0-387-09661-2_18</a>.'
  ieee: 'H. Zabel and W. Müller, “An Efficient Time Annotation Technique in Abstract
    RTOS Simulations for Multiprocessor Task Migration,” vol. 271. Springer Verlag,
    Dordrecht, 2008, doi: <a href="https://doi.org/10.1007/978-0-387-09661-2_18">10.1007/978-0-387-09661-2_18</a>.'
  mla: Zabel, Henning, and Wolfgang Müller. <i>An Efficient Time Annotation Technique
    in Abstract RTOS Simulations for Multiprocessor Task Migration</i>. Edited by
    L. Kleinjohann and B. Kleinjohann, vol. 271, Springer Verlag, 2008, doi:<a href="https://doi.org/10.1007/978-0-387-09661-2_18">10.1007/978-0-387-09661-2_18</a>.
  short: H. Zabel, W. Müller, 271 (2008).
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2008)
date_created: 2023-01-17T12:08:21Z
date_updated: 2023-01-17T12:08:25Z
department:
- _id: '672'
doi: 10.1007/978-0-387-09661-2_18
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
intvolume: '       271'
keyword:
- Execution Time     Schedule Strategy     Simulation Speed     Task Migration     Atomic
  Block
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - 978-0-387-09660-5
publisher: Springer Verlag
series_title: ' IFIP – The International Federation for Information Processing'
status: public
title: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor
  Task Migration
type: conference
user_id: '5786'
volume: 271
year: '2008'
...
---
_id: '37072'
abstract:
- lang: eng
  text: "Bei der Simulation von eingebetteten Echtzeit Systemen zur Analyse von Ausführungs-\r\nzeiten
    und Scheduling gibt es immer einen Kompromiss zwischen zyklengenauen Ergebnis-\r\nsen
    und der Laufzeit der Simulation. Mithilfe von abstrakten RTOS Modellen auf Basis
    von\r\nSystemC wird versucht diese Lücke zu schließen. Aktuelle Arbeiten besitzen
    allerdings nur\r\nunzureichende Möglichkeiten zur Modellierung von Interrupt Scheduling
    und ihren hard-\r\nwareabhängigen Prioritäten. Unser Ansatz verwendet zwei getrennte
    Scheduler für Softwa-\r\nre Task und Interrupt Service Routinen. Diese Trennung
    erlaubt die präzise Modellierung\r\nvon Interrupt Prioritäten und Interrupt Scheduling
    unabhängig von dem eigentlichen RTOS\r\nScheduler."
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. Präzises Interrupt Scheduling in abstrakten RTOS Modellen
    in SystemC. In: Scholl Ch, Disch S, eds. <i>Methoden Und Beschreibungs-Sprachen
    Zur Modellierung Und Verifikation von Schaltungen Und System</i>. Shaker Verlag;
    2008.'
  apa: Zabel, H., &#38; Müller, W. (2008). Präzises Interrupt Scheduling in abstrakten
    RTOS Modellen in SystemC. In Ch. Scholl &#38; S. Disch (Eds.), <i>Methoden und
    Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System</i>.
    Shaker Verlag.
  bibtex: '@inproceedings{Zabel_Müller_2008, place={Aachen}, title={Präzises Interrupt
    Scheduling in abstrakten RTOS Modellen in SystemC}, booktitle={Methoden und Beschreibungs-sprachen
    zur Modellierung und Verifikation von Schaltungen und System}, publisher={Shaker
    Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Scholl, Ch. and
    Disch, S.}, year={2008} }'
  chicago: 'Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in
    Abstrakten RTOS Modellen in SystemC.” In <i>Methoden Und Beschreibungs-Sprachen
    Zur Modellierung Und Verifikation von Schaltungen Und System</i>, edited by Ch.
    Scholl and S. Disch. Aachen: Shaker Verlag, 2008.'
  ieee: H. Zabel and W. Müller, “Präzises Interrupt Scheduling in abstrakten RTOS
    Modellen in SystemC,” in <i>Methoden und Beschreibungs-sprachen zur Modellierung
    und Verifikation von Schaltungen und System</i>, 2008.
  mla: Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten
    RTOS Modellen in SystemC.” <i>Methoden Und Beschreibungs-Sprachen Zur Modellierung
    Und Verifikation von Schaltungen Und System</i>, edited by Ch. Scholl and S. Disch,
    Shaker Verlag, 2008.
  short: 'H. Zabel, W. Müller, in: Ch. Scholl, S. Disch (Eds.), Methoden Und Beschreibungs-Sprachen
    Zur Modellierung Und Verifikation von Schaltungen Und System, Shaker Verlag, Aachen,
    2008.'
date_created: 2023-01-17T12:05:11Z
date_updated: 2023-01-17T12:05:17Z
department:
- _id: '672'
editor:
- first_name: Ch.
  full_name: Scholl, Ch.
  last_name: Scholl
- first_name: S.
  full_name: Disch, S.
  last_name: Disch
language:
- iso: eng
place: Aachen
publication: Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation
  von Schaltungen und System
publisher: Shaker Verlag
status: public
title: Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC
type: conference
user_id: '5786'
year: '2008'
...
---
_id: '37076'
abstract:
- lang: eng
  text: "An komplexe Steuersoftware werden harte Anforderungen bez ̈ug-\r\nlich der
    Einhaltung von Zeitschranken gestellt. Die richtige Wahl eines\r\nEchtzeit-Schedulingverfahrens
    ist hier entscheidend. Die Verwendung\r\nvon Interrupts in einem Echtzeitsystem
    erlaubt die zeitnahe Reaktion\r\nauf externe Ereignisse. Sie erschwert allerdings
    die Vorhersagbarkeit\r\nvon Zeitschranken.\r\nIn diesem Bericht wird eine Methode
    zur abstrakten Simulation\r\neines Echtzeitbetriebssystems (Real-Time Operating
    System/RTOS)\r\nin der Systembeschreibungssprache SystemC vorgestellt. Die Verwen-\r\ndung
    eines RTOS-Modelles in SystemC erlaubt die Evaluierung ver-\r\nschiedener Schedulingverfahren
    zu einem fr ̈uhen Zeitpunkt im Ent-\r\nwurf des Systems. Interrupts unterliegen
    allerdings nicht einem RTOS-\r\nSchedulingverfahren und m ̈ussen daher gesondert
    behandelt werden.\r\nDieser Bericht beschreibt die Implementierung eines kanonischen\r\nRTOS-Modells
    zur fr ̈uhen Analyse von Schedulingverfahren, das ei-\r\nne getrennte Modellierung
    von Task- und Interrupt-Scheduling er-\r\nlaubt. Dieser Ansatz erlaubt die Trennung
    des hardwareabh ̈angigen\r\nInterrupt-Scheduling in ein separates Modell und eine
    Evaluierung des\r\nSchedules, das sich rein auf Tasks bezieht."
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. Simulation mit abstrakten RTOS Modellen in SystemC. 2007;6(4).
  apa: Zabel, H., &#38; Müller, W. (2007). <i>Simulation mit abstrakten RTOS Modellen
    in SystemC</i> (Vol. 6, Issue 4).
  bibtex: '@article{Zabel_Müller_2007, place={Paderborn}, series={C-LAB Report}, title={Simulation
    mit abstrakten RTOS Modellen in SystemC}, volume={6}, number={4}, author={Zabel,
    Henning and Müller, Wolfgang}, year={2007}, collection={C-LAB Report} }'
  chicago: Zabel, Henning, and Wolfgang Müller. “Simulation Mit Abstrakten RTOS Modellen
    in SystemC.” C-LAB Report. Paderborn, 2007.
  ieee: H. Zabel and W. Müller, “Simulation mit abstrakten RTOS Modellen in SystemC,”
    vol. 6, no. 4. Paderborn, 2007.
  mla: Zabel, Henning, and Wolfgang Müller. <i>Simulation Mit Abstrakten RTOS Modellen
    in SystemC</i>. no. 4, 2007.
  short: H. Zabel, W. Müller, 6 (2007).
date_created: 2023-01-17T12:11:18Z
date_updated: 2023-01-17T12:11:23Z
department:
- _id: '672'
intvolume: '         6'
issue: '4'
language:
- iso: eng
place: Paderborn
publication_identifier:
  issn:
  - 1619-7879
series_title: C-LAB Report
status: public
title: Simulation mit abstrakten RTOS Modellen in SystemC
type: conference
user_id: '5786'
volume: 6
year: '2007'
...
---
_id: '37083'
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. Systematic Testbench Specification for Constrained Randomized
    Test and Functional Coverage. In: <i>Proceedings of the 21st European Conference
    on Modelling and Simulation (ECMS 2007)</i>. ; 2007.'
  apa: Krupp, A., &#38; Müller, W. (2007). Systematic Testbench Specification for
    Constrained Randomized Test and Functional Coverage. <i>Proceedings of the 21st
    European Conference on Modelling and Simulation (ECMS 2007)</i>.
  bibtex: '@inproceedings{Krupp_Müller_2007, place={Prague, Czech Republic}, title={Systematic
    Testbench Specification for Constrained Randomized Test and Functional Coverage},
    booktitle={Proceedings of the 21st European Conference on Modelling and Simulation
    (ECMS 2007)}, author={Krupp, Alexander and Müller, Wolfgang}, year={2007} }'
  chicago: Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification
    for Constrained Randomized Test and Functional Coverage.” In <i>Proceedings of
    the 21st European Conference on Modelling and Simulation (ECMS 2007)</i>. Prague,
    Czech Republic, 2007.
  ieee: A. Krupp and W. Müller, “Systematic Testbench Specification for Constrained
    Randomized Test and Functional Coverage,” 2007.
  mla: Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification
    for Constrained Randomized Test and Functional Coverage.” <i>Proceedings of the
    21st European Conference on Modelling and Simulation (ECMS 2007)</i>, 2007.
  short: 'A. Krupp, W. Müller, in: Proceedings of the 21st European Conference on
    Modelling and Simulation (ECMS 2007), Prague, Czech Republic, 2007.'
date_created: 2023-01-17T12:20:50Z
date_updated: 2023-01-17T12:20:56Z
department:
- _id: '672'
language:
- iso: eng
place: Prague, Czech Republic
publication: Proceedings of the 21st European Conference on Modelling and Simulation
  (ECMS 2007)
status: public
title: Systematic Testbench Specification for Constrained Randomized Test and Functional
  Coverage
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '37080'
author:
- first_name: Jürgen
  full_name: Großmann, Jürgen
  last_name: Großmann
- first_name: Ines
  full_name: Fey, Ines
  last_name: Fey
- first_name: M.
  full_name: Conrad, M.
  last_name: Conrad
- first_name: Ch.
  full_name: Wewetzer, Ch.
  last_name: Wewetzer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Großmann J, Fey I, Conrad M, Wewetzer Ch, Müller W. TestML - A Test Exchange
    Language for Model-based Testing of Embedded Software. In: <i>Proceedings of the
    Automotive Software Workshop ’06</i>. ; 2007.'
  apa: Großmann, J., Fey, I., Conrad, M., Wewetzer, Ch., &#38; Müller, W. (2007).
    TestML - A Test Exchange Language for Model-based Testing of Embedded Software.
    <i>Proceedings of the Automotive Software Workshop ’06</i>.
  bibtex: '@inproceedings{Großmann_Fey_Conrad_Wewetzer_Müller_2007, title={TestML
    - A Test Exchange Language for Model-based Testing of Embedded Software}, booktitle={Proceedings
    of the Automotive Software Workshop ’06}, author={Großmann, Jürgen and Fey, Ines
    and Conrad, M. and Wewetzer, Ch. and Müller, Wolfgang}, year={2007} }'
  chicago: Großmann, Jürgen, Ines Fey, M. Conrad, Ch. Wewetzer, and Wolfgang Müller.
    “TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.”
    In <i>Proceedings of the Automotive Software Workshop ’06</i>, 2007.
  ieee: J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, and W. Müller, “TestML - A Test
    Exchange Language for Model-based Testing of Embedded Software,” 2007.
  mla: Großmann, Jürgen, et al. “TestML - A Test Exchange Language for Model-Based
    Testing of Embedded Software.” <i>Proceedings of the Automotive Software Workshop
    ’06</i>, 2007.
  short: 'J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, W. Müller, in: Proceedings
    of the Automotive Software Workshop ’06, 2007.'
date_created: 2023-01-17T12:19:06Z
date_updated: 2023-01-17T12:19:12Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the Automotive Software Workshop '06
status: public
title: TestML - A Test Exchange Language for Model-based Testing of Embedded Software
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '37079'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Müller W. On the Use and Misuse of UML- Application of Diagrams in Engineering.
    In: <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>. ; 2007.'
  apa: Müller, W. (2007). On the Use and Misuse of UML- Application of Diagrams in
    Engineering. <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>.
  bibtex: '@inproceedings{Müller_2007, place={San Diego, USA}, title={On the Use and
    Misuse of UML- Application of Diagrams in Engineering}, booktitle={Proceedings
    of the UML for SoC Design Workshop at DAC’07}, author={Müller, Wolfgang}, year={2007}
    }'
  chicago: Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams
    in Engineering.” In <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>.
    San Diego, USA, 2007.
  ieee: W. Müller, “On the Use and Misuse of UML- Application of Diagrams in Engineering,”
    2007.
  mla: Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams in
    Engineering.” <i>Proceedings of the UML for SoC Design Workshop at DAC’07</i>,
    2007.
  short: 'W. Müller, in: Proceedings of the UML for SoC Design Workshop at DAC’07,
    San Diego, USA, 2007.'
date_created: 2023-01-17T12:13:03Z
date_updated: 2023-01-17T12:13:09Z
department:
- _id: '672'
language:
- iso: eng
place: San Diego, USA
publication: Proceedings of the UML for SoC Design Workshop at DAC'07
status: public
title: On the Use and Misuse of UML- Application of Diagrams in Engineering
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '37085'
abstract:
- lang: eng
  text: Smart Cards are becoming a ubiquitous means for securing a wide range of interactive
    applications. However in many cases its use is limited for authentication purposes
    only. In this paper we extend the use of smart cards for carrying abstract user
    interface descriptions which can be rendered on dierent and potentially remote
    clients that in addition can support varying interaction modalities. This adds
    on the one hand to the security since a backend application cannot be used without
    the UI description, and on the other hand to the versatility of applications,
    since all devices with a respective renderer for certain modalities can be utilized.
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
- first_name: Andrés
  full_name: Marin-López, Andrés
  last_name: Marin-López
- first_name: Daniel
  full_name: Díaz-Sánchez, Daniel
  last_name: Díaz-Sánchez
citation:
  ama: 'Schäfer R, Müller W, Marin-López A, Díaz-Sánchez D. Using Smart Cards for
    Secure and Device Independent User Interfaces. In: <i>Proceedings of the International
    Conference on Mobile Technology, Applications and Systems (Mobility 2007)</i>.
    ; 2007.'
  apa: Schäfer, R., Müller, W., Marin-López, A., &#38; Díaz-Sánchez, D. (2007). Using
    Smart Cards for Secure and Device Independent User Interfaces. <i>Proceedings
    of the International Conference on Mobile Technology, Applications and Systems
    (Mobility 2007)</i>.
  bibtex: '@inproceedings{Schäfer_Müller_Marin-López_Díaz-Sánchez_2007, place={Singapore},
    title={Using Smart Cards for Secure and Device Independent User Interfaces}, booktitle={Proceedings
    of the International Conference on Mobile Technology, Applications and Systems
    (Mobility 2007)}, author={Schäfer, Robbie and Müller, Wolfgang and Marin-López,
    Andrés and Díaz-Sánchez, Daniel}, year={2007} }'
  chicago: Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez.
    “Using Smart Cards for Secure and Device Independent User Interfaces.” In <i>Proceedings
    of the International Conference on Mobile Technology, Applications and Systems
    (Mobility 2007)</i>. Singapore, 2007.
  ieee: R. Schäfer, W. Müller, A. Marin-López, and D. Díaz-Sánchez, “Using Smart Cards
    for Secure and Device Independent User Interfaces,” 2007.
  mla: Schäfer, Robbie, et al. “Using Smart Cards for Secure and Device Independent
    User Interfaces.” <i>Proceedings of the International Conference on Mobile Technology,
    Applications and Systems (Mobility 2007)</i>, 2007.
  short: 'R. Schäfer, W. Müller, A. Marin-López, D. Díaz-Sánchez, in: Proceedings
    of the International Conference on Mobile Technology, Applications and Systems
    (Mobility 2007), Singapore, 2007.'
date_created: 2023-01-17T12:23:34Z
date_updated: 2023-01-17T12:23:39Z
department:
- _id: '672'
language:
- iso: eng
place: Singapore
publication: Proceedings of the International Conference on Mobile Technology, Applications
  and Systems (Mobility 2007)
status: public
title: Using Smart Cards for Secure and Device Independent User Interfaces
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '38106'
abstract:
- lang: eng
  text: User adaptive systems in the context of pervasive computing can only unveil
    their power if based on a generic middleware managing private data and context
    information in combination with flexible device access and control. However, managing
    those data poses severe privacy problems both legally and from a trust perspective.
    Therefore we propose a home automation middleware for secure management of user
    and context data that gives access to services just for the authorized users and
    devices. The middleware has been successfully tested at the ambient computing
    (AC-LAB) at the University of Paderborn.
author:
- first_name: Andres
  full_name: Marin, Andres
  last_name: Marin
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Florina
  full_name: Almenarez, Florina
  last_name: Almenarez
- first_name: Daniel
  full_name: Diaz, Daniel
  last_name: Diaz
- first_name: Max
  full_name: Ziegler, Max
  last_name: Ziegler
citation:
  ama: 'Marin A, Müller W, Schäfer R, Almenarez F, Diaz D, Ziegler M. Middleware for
    Secure Home Access and Control. In: <i>Proc. of the IEEE PerCom Middleware Support
    for Pervasive Computing (PerWare 2007)</i>. IEEE; 2007.'
  apa: Marin, A., Müller, W., Schäfer, R., Almenarez, F., Diaz, D., &#38; Ziegler,
    M. (2007). Middleware for Secure Home Access and Control. <i>Proc. of the IEEE
    PerCom Middleware Support for Pervasive Computing (PerWare 2007)</i>. 5th Conference
    on Pervasive Computing and Communications (PerCom 2007), White Plains, New York,
    USA.
  bibtex: '@inproceedings{Marin_Müller_Schäfer_Almenarez_Diaz_Ziegler_2007, place={White
    Plains, New York, USA}, title={Middleware for Secure Home Access and Control},
    booktitle={Proc. of the IEEE PerCom Middleware Support for Pervasive Computing
    (PerWare 2007)}, publisher={IEEE}, author={Marin, Andres and Müller, Wolfgang
    and Schäfer, Robbie and Almenarez, Florina and Diaz, Daniel and Ziegler, Max},
    year={2007} }'
  chicago: 'Marin, Andres, Wolfgang Müller, Robbie Schäfer, Florina Almenarez, Daniel
    Diaz, and Max Ziegler. “Middleware for Secure Home Access and Control.” In <i>Proc.
    of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007)</i>.
    White Plains, New York, USA: IEEE, 2007.'
  ieee: A. Marin, W. Müller, R. Schäfer, F. Almenarez, D. Diaz, and M. Ziegler, “Middleware
    for Secure Home Access and Control,” presented at the 5th Conference on Pervasive
    Computing and Communications (PerCom 2007), White Plains, New York, USA, 2007.
  mla: Marin, Andres, et al. “Middleware for Secure Home Access and Control.” <i>Proc.
    of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007)</i>,
    IEEE, 2007.
  short: 'A. Marin, W. Müller, R. Schäfer, F. Almenarez, D. Diaz, M. Ziegler, in:
    Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007),
    IEEE, White Plains, New York, USA, 2007.'
conference:
  location: White Plains, New York, USA
  name: 5th Conference on Pervasive Computing and Communications (PerCom 2007)
date_created: 2023-01-23T11:53:50Z
date_updated: 2023-01-23T11:53:55Z
department:
- _id: '672'
language:
- iso: eng
place: White Plains, New York, USA
publication: Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare
  2007)
publication_identifier:
  isbn:
  - 0-7695-2788-4
publisher: IEEE
status: public
title: Middleware for Secure Home Access and Control
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '38100'
abstract:
- lang: eng
  text: "Smart Cards are becoming a ubiquitous means for securing\r\na wide range
    of interactive applications. However in many\r\ncases its use is limited for authentication
    purposes only. In\r\nthis paper we extend the use of smart cards for carrying\r\nabstract
    user interface descriptions which can be rendered\r\non different and potentially
    remote clients that in addition\r\ncan support different interaction modalities.
    This adds on\r\nthe one hand to the security since a backend application\r\ncannot
    be used without the UI description, and on the other\r\nhand to the versatility
    of applications, since all devices with\r\na respective renderer for certain modalities
    can be utilized."
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
- first_name: Andrés
  full_name: Marin-López, Andrés
  last_name: Marin-López
- first_name: Daniel
  full_name: Díaz-Sánchez, Daniel
  last_name: Díaz-Sánchez
citation:
  ama: 'Schäfer R, Müller W, Marin-López A, Díaz-Sánchez D. Device Independent User
    Interfaces for Smart Cards. In: <i>Proceedings of the 9th International Conference
    on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007)</i>.
    ; 2007.'
  apa: Schäfer, R., Müller, W., Marin-López, A., &#38; Díaz-Sánchez, D. (2007). Device
    Independent User Interfaces for Smart Cards. <i>Proceedings of the 9th International
    Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007)</i>.
  bibtex: '@inproceedings{Schäfer_Müller_Marin-López_Díaz-Sánchez_2007, place={Singapore},
    title={Device Independent User Interfaces for Smart Cards}, booktitle={Proceedings
    of the 9th International Conference on Human Computer Interaction with Mobile
    Devices and Services (MobileHCI2007)}, author={Schäfer, Robbie and Müller, Wolfgang
    and Marin-López, Andrés and Díaz-Sánchez, Daniel}, year={2007} }'
  chicago: Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez.
    “Device Independent User Interfaces for Smart Cards.” In <i>Proceedings of the
    9th International Conference on Human Computer Interaction with Mobile Devices
    and Services (MobileHCI2007)</i>. Singapore, 2007.
  ieee: R. Schäfer, W. Müller, A. Marin-López, and D. Díaz-Sánchez, “Device Independent
    User Interfaces for Smart Cards,” 2007.
  mla: Schäfer, Robbie, et al. “Device Independent User Interfaces for Smart Cards.”
    <i>Proceedings of the 9th International Conference on Human Computer Interaction
    with Mobile Devices and Services (MobileHCI2007)</i>, 2007.
  short: 'R. Schäfer, W. Müller, A. Marin-López, D. Díaz-Sánchez, in: Proceedings
    of the 9th International Conference on Human Computer Interaction with Mobile
    Devices and Services (MobileHCI2007), Singapore, 2007.'
date_created: 2023-01-23T11:45:55Z
date_updated: 2023-01-23T11:46:05Z
department:
- _id: '672'
keyword:
- Smart Card
- Abstract User Interface
- Device Independence
language:
- iso: eng
place: Singapore
publication: Proceedings of the 9th International Conference on Human Computer Interaction
  with Mobile Devices and Services (MobileHCI2007)
status: public
title: Device Independent User Interfaces for Smart Cards
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '38104'
abstract:
- lang: eng
  text: "Location-aware services for private use such as GPS-\r\nbased navigation
    systems and GSM-based offerings\r\nhave become quite a success for outdoor applications,\r\nwhile
    indoor positioning systems are still mainly\r\nemployed for professional use only.
    The main reasons\r\nare cost issues and the complexity of setup and\r\nmaintenance
    of those systems. In this paper we\r\npresent CaMPTrack (Camera-based Multiple
    Person\r\nTracker), a prototype of a webcam-based positioning\r\nsystem and discuss
    its application and development\r\nchallenges."
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
- first_name: Roman
  full_name: Deimann, Roman
  last_name: Deimann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Schäfer R, Müller W, Deimann R, Kleinjohann B. A Low-Cost Positioning System
    for Location-Aware Applications in Smart Homes. In: <i>Proceedings of the Workshop
    on Mobile Spatial Interaction at CHI 2007</i>. ; 2007.'
  apa: Schäfer, R., Müller, W., Deimann, R., &#38; Kleinjohann, B. (2007). A Low-Cost
    Positioning System for Location-Aware Applications in Smart Homes. <i>Proceedings
    of the Workshop on Mobile Spatial Interaction at CHI 2007</i>.
  bibtex: '@inproceedings{Schäfer_Müller_Deimann_Kleinjohann_2007, place={San Jose,
    USA}, title={A Low-Cost Positioning System for Location-Aware Applications in
    Smart Homes}, booktitle={Proceedings of the Workshop on Mobile Spatial Interaction
    at CHI 2007}, author={Schäfer, Robbie and Müller, Wolfgang and Deimann, Roman
    and Kleinjohann, Bernd}, year={2007} }'
  chicago: Schäfer, Robbie, Wolfgang Müller, Roman Deimann, and Bernd Kleinjohann.
    “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.”
    In <i>Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007</i>.
    San Jose, USA, 2007.
  ieee: R. Schäfer, W. Müller, R. Deimann, and B. Kleinjohann, “A Low-Cost Positioning
    System for Location-Aware Applications in Smart Homes,” 2007.
  mla: Schäfer, Robbie, et al. “A Low-Cost Positioning System for Location-Aware Applications
    in Smart Homes.” <i>Proceedings of the Workshop on Mobile Spatial Interaction
    at CHI 2007</i>, 2007.
  short: 'R. Schäfer, W. Müller, R. Deimann, B. Kleinjohann, in: Proceedings of the
    Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, USA, 2007.'
date_created: 2023-01-23T11:50:18Z
date_updated: 2023-01-23T11:50:27Z
department:
- _id: '672'
keyword:
- Positioning Systems
- Camera Based
- Cost Efficiency
- Smart Home Applications
language:
- iso: eng
place: San Jose, USA
publication: Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007
status: public
title: A Low-Cost Positioning System for Location-Aware Applications in Smart Homes
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '38102'
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. Evaluation of a Multimodal System Based on Dialogue Models
    and Transformations International Workshop on Usability of User Interfaces: From
    Monomodal to Multimodal. In: <i>Proceedings of IWUMUI’2007 at HCI’2007</i>. ;
    2007.'
  apa: 'Schäfer, R., &#38; Müller, W. (2007). Evaluation of a Multimodal System Based
    on Dialogue Models and Transformations International Workshop on Usability of
    User Interfaces: From Monomodal to Multimodal. <i>Proceedings of IWUMUI’2007 at
    HCI’2007</i>.'
  bibtex: '@inproceedings{Schäfer_Müller_2007, place={Lancaster, United Kingdom},
    title={Evaluation of a Multimodal System Based on Dialogue Models and Transformations
    International Workshop on Usability of User Interfaces: From Monomodal to Multimodal},
    booktitle={Proceedings of IWUMUI’2007 at HCI’2007}, author={Schäfer, Robbie and
    Müller, Wolfgang}, year={2007} }'
  chicago: 'Schäfer, Robbie, and Wolfgang Müller. “Evaluation of a Multimodal System
    Based on Dialogue Models and Transformations International Workshop on Usability
    of User Interfaces: From Monomodal to Multimodal.” In <i>Proceedings of IWUMUI’2007
    at HCI’2007</i>. Lancaster, United Kingdom, 2007.'
  ieee: 'R. Schäfer and W. Müller, “Evaluation of a Multimodal System Based on Dialogue
    Models and Transformations International Workshop on Usability of User Interfaces:
    From Monomodal to Multimodal,” 2007.'
  mla: 'Schäfer, Robbie, and Wolfgang Müller. “Evaluation of a Multimodal System Based
    on Dialogue Models and Transformations International Workshop on Usability of
    User Interfaces: From Monomodal to Multimodal.” <i>Proceedings of IWUMUI’2007
    at HCI’2007</i>, 2007.'
  short: 'R. Schäfer, W. Müller, in: Proceedings of IWUMUI’2007 at HCI’2007, Lancaster,
    United Kingdom, 2007.'
date_created: 2023-01-23T11:48:03Z
date_updated: 2023-01-23T11:48:14Z
department:
- _id: '672'
language:
- iso: eng
place: Lancaster, United Kingdom
publication: Proceedings of IWUMUI’2007 at HCI'2007
status: public
title: 'Evaluation of a Multimodal System Based on Dialogue Models and Transformations
  International Workshop on Usability of User Interfaces: From Monomodal to Multimodal'
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '38533'
abstract:
- lang: eng
  text: UML (Unified Modeling Language™) as an OMG standard has received wide acceptance
    in software engineering over the last years. As electronic systems design moved
    towards software engineering, there is emerging interest for UML within the hardware
    community and different UML diagrams and their variations found their application
    in requirements specification, testbenches, architectural descriptions, and behavioral
    modeling.In most cases, UML is just applied as a graphical capture, though UML
    2.0 meanwhile comes as a computationally complete language based on a generic
    metamodeling mechanism. Though it introduces considerable complexity, it is one
    of the key strengths of UML 2.0, providing a flexible foundation for its customization
    towards different application domains through so-called UML profiles, which currently
    receives increasing tool support and gives UML great potential to complement current
    C++-oriented languages for ESL design. In this context, SysML and the UML for
    SoC extension are already available as OMG profiles for Systems Engineering and
    SoC application and several proprietary profiles are under development. In that
    context, the concepts of the Model Driven Architecture (MDA) are of emerging interest.
    However, since MDA was mainly introduced for CASE tool support, its full application
    for hardware design still needs some investigations and certainly comes with some
    pitfalls.For industrial applications, the availability of appropriate tool support
    is crucial for deployment of UML in SoC design. UML tools currently come in different
    variations based on different UML versions and subsets with the support of specific
    flows, so that the selection of the appropriate tools becomes a key decision for
    the successful introduction of UML. Recently, several groups have reported positive
    outcomes regarding the customization of UML and tool support towards SoC design.
    These efforts result from collaborations between industrial users, researchers,
    and tool vendors, and constitute steps in the right direction. Regarding model
    exchange between tools, the UML-related XMI (XML Metadata Interchange) format
    and its relationship to SPIRIT, the emerging IEEE standard, are of additional
    particular interest. Partial overlaps can be identified and are currently under
    investigations by some projects, like SPRINT.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Yves
  full_name: Vanderperren, Yves
  last_name: Vanderperren
citation:
  ama: 'Müller W, Vanderperren Y. UML and Model-Driven Development for SoC Design.
    In: <i>Proceedings of CODES/ISSS</i>. ; 2006.'
  apa: Müller, W., &#38; Vanderperren, Y. (2006). UML and Model-Driven Development
    for SoC Design. <i>Proceedings of CODES/ISSS</i>.
  bibtex: '@inproceedings{Müller_Vanderperren_2006, place={Seoul, Korea}, title={UML
    and Model-Driven Development for SoC Design}, booktitle={Proceedings of CODES/ISSS},
    author={Müller, Wolfgang and Vanderperren, Yves}, year={2006} }'
  chicago: Müller, Wolfgang, and Yves Vanderperren. “UML and Model-Driven Development
    for SoC Design.” In <i>Proceedings of CODES/ISSS</i>. Seoul, Korea, 2006.
  ieee: W. Müller and Y. Vanderperren, “UML and Model-Driven Development for SoC Design,”
    2006.
  mla: Müller, Wolfgang, and Yves Vanderperren. “UML and Model-Driven Development
    for SoC Design.” <i>Proceedings of CODES/ISSS</i>, 2006.
  short: 'W. Müller, Y. Vanderperren, in: Proceedings of CODES/ISSS, Seoul, Korea,
    2006.'
date_created: 2023-01-24T07:51:41Z
date_updated: 2023-01-24T07:51:52Z
department:
- _id: '672'
language:
- iso: eng
place: Seoul, Korea
publication: Proceedings of CODES/ISSS
status: public
title: UML and Model-Driven Development for SoC Design
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '38537'
abstract:
- lang: eng
  text: Ubiquitous systems use context information to select and adapt multimodal
    user interfaces and appliances for individual users in certain situations. However,
    in order to enable true reactive environments, context information has to be adequately
    collected, filtered, and processed and combined with user, device and other profiles.
    In this article, we present how an XML-based transcoding system can be applied
    for advanced profile processing and evolution. We demonstrate how to encode domain
    knowledge into sets of rules, which perform adaptations of user, device and context
    profiles for smart environments.
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
- first_name: Jinghua
  full_name: Groppe, Jinghua
  last_name: Groppe
citation:
  ama: 'Schäfer R, Müller W, Groppe J. Profile Processing and Evolution for Smart
    Environments. In: <i>Proceedings of the 3rd International Conference on Ubiquitous
    Intelligence and Computing (UIC-06)</i>. ; 2006.'
  apa: Schäfer, R., Müller, W., &#38; Groppe, J. (2006). Profile Processing and Evolution
    for Smart Environments. <i>Proceedings of the 3rd International Conference on
    Ubiquitous Intelligence and Computing (UIC-06)</i>.
  bibtex: '@inproceedings{Schäfer_Müller_Groppe_2006, place={Wuhan, China}, title={Profile
    Processing and Evolution for Smart Environments}, booktitle={Proceedings of the
    3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06)},
    author={Schäfer, Robbie and Müller, Wolfgang and Groppe, Jinghua}, year={2006}
    }'
  chicago: Schäfer, Robbie, Wolfgang Müller, and Jinghua Groppe. “Profile Processing
    and Evolution for Smart Environments.” In <i>Proceedings of the 3rd International
    Conference on Ubiquitous Intelligence and Computing (UIC-06)</i>. Wuhan, China,
    2006.
  ieee: R. Schäfer, W. Müller, and J. Groppe, “Profile Processing and Evolution for
    Smart Environments,” 2006.
  mla: Schäfer, Robbie, et al. “Profile Processing and Evolution for Smart Environments.”
    <i>Proceedings of the 3rd International Conference on Ubiquitous Intelligence
    and Computing (UIC-06)</i>, 2006.
  short: 'R. Schäfer, W. Müller, J. Groppe, in: Proceedings of the 3rd International
    Conference on Ubiquitous Intelligence and Computing (UIC-06), Wuhan, China, 2006.'
date_created: 2023-01-24T07:55:58Z
date_updated: 2023-01-24T07:56:04Z
department:
- _id: '672'
keyword:
- Resource Description Framework     User Preference     Smart Home     Prefer Temperature     Preference
  Profile
language:
- iso: eng
place: Wuhan, China
publication: Proceedings of the 3rd International Conference on Ubiquitous Intelligence
  and Computing (UIC-06)
status: public
title: Profile Processing and Evolution for Smart Environments
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '38538'
abstract:
- lang: eng
  text: "Neither UML 2.0 nor the upcoming SysML 1.0 currently provides suffi-\r\ncient
    means for applications in the context of heterogeneous electronic systems de-\r\nscription
    and simulation. In this article, we demonstrate how general concepts of the\r\nsimulation
    framework Ptolemy II seamlessly complement SysML to serve as a uni-\r\nversal
    description language covering discrete event as well as continuous behaviors."
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
citation:
  ama: 'Müller W, Zabel H. Towards a Unified Behavioural Modelling Language. In: <i>Proceedings
    of the UML-SoC Workshop at DAC 2006</i>. ; 2006.'
  apa: Müller, W., &#38; Zabel, H. (2006). Towards a Unified Behavioural Modelling
    Language. <i>Proceedings of the UML-SoC Workshop at DAC 2006</i>.
  bibtex: '@inproceedings{Müller_Zabel_2006, place={San Francisco, USA}, title={Towards
    a Unified Behavioural Modelling Language}, booktitle={Proceedings of the UML-SoC
    Workshop at DAC 2006}, author={Müller, Wolfgang and Zabel, Henning}, year={2006}
    }'
  chicago: Müller, Wolfgang, and Henning Zabel. “Towards a Unified Behavioural Modelling
    Language.” In <i>Proceedings of the UML-SoC Workshop at DAC 2006</i>. San Francisco,
    USA, 2006.
  ieee: W. Müller and H. Zabel, “Towards a Unified Behavioural Modelling Language,”
    2006.
  mla: Müller, Wolfgang, and Henning Zabel. “Towards a Unified Behavioural Modelling
    Language.” <i>Proceedings of the UML-SoC Workshop at DAC 2006</i>, 2006.
  short: 'W. Müller, H. Zabel, in: Proceedings of the UML-SoC Workshop at DAC 2006,
    San Francisco, USA, 2006.'
date_created: 2023-01-24T07:57:38Z
date_updated: 2023-01-24T07:58:11Z
department:
- _id: '672'
language:
- iso: eng
place: San Francisco, USA
publication: Proceedings of the UML-SoC Workshop at DAC 2006
status: public
title: Towards a Unified Behavioural Modelling Language
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '38536'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Müller W. UML - The Emerging Hardware Description Language? In: <i>Proc. of
    FDL’06</i>. ; 2006.'
  apa: Müller, W. (2006). UML - The Emerging Hardware Description Language? <i>Proc.
    of FDL’06</i>.
  bibtex: '@inproceedings{Müller_2006, place={Darmstadt}, title={UML - The Emerging
    Hardware Description Language?}, booktitle={Proc. of FDL’06}, author={Müller,
    Wolfgang}, year={2006} }'
  chicago: Müller, Wolfgang. “UML - The Emerging Hardware Description Language?” In
    <i>Proc. of FDL’06</i>. Darmstadt, 2006.
  ieee: W. Müller, “UML - The Emerging Hardware Description Language?,” 2006.
  mla: Müller, Wolfgang. “UML - The Emerging Hardware Description Language?” <i>Proc.
    of FDL’06</i>, 2006.
  short: 'W. Müller, in: Proc. of FDL’06, Darmstadt, 2006.'
date_created: 2023-01-24T07:53:47Z
date_updated: 2023-01-24T07:53:52Z
department:
- _id: '672'
language:
- iso: eng
place: Darmstadt
publication: Proc. of FDL'06
status: public
title: UML - The Emerging Hardware Description Language?
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '38540'
author:
- first_name: Luciano
  full_name: Lavagno, Luciano
  last_name: Lavagno
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Lavagno L, Müller W. UML: A Next Generation Language for SoC Design. In: ;
    2006.'
  apa: 'Lavagno, L., &#38; Müller, W. (2006). <i>UML: A Next Generation Language for
    SoC Design</i>.'
  bibtex: '@inproceedings{Lavagno_Müller_2006, title={UML: A Next Generation Language
    for SoC Design}, author={Lavagno, Luciano and Müller, Wolfgang}, year={2006} }'
  chicago: 'Lavagno, Luciano, and Wolfgang Müller. “UML: A Next Generation Language
    for SoC Design,” 2006.'
  ieee: 'L. Lavagno and W. Müller, “UML: A Next Generation Language for SoC Design,”
    2006.'
  mla: 'Lavagno, Luciano, and Wolfgang Müller. <i>UML: A Next Generation Language
    for SoC Design</i>. 2006.'
  short: 'L. Lavagno, W. Müller, in: 2006.'
date_created: 2023-01-24T08:01:23Z
date_updated: 2023-01-24T08:01:40Z
department:
- _id: '672'
language:
- iso: eng
status: public
title: 'UML: A Next Generation Language for SoC Design'
type: conference
user_id: '5786'
year: '2006'
...
