---
_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'
...
---
_id: '38543'
abstract:
- lang: eng
  text: Today a large variety of mobile interaction devices such as PDAs and mobile
    phones enforce the development of a wide range of user interfaces for each platform.
    The complexity even grows, when multiple interaction devices are used to perform
    the same task and when different modalities have to be supported. We introduce
    a new dialog model for the abstraction of concrete user interfaces with a separate
    advanced control layer for the integration of different modalities. In this context,
    we present the Dialog and Interface Specification Language (DISL), which comes
    with a proof-of-concept implementation.
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Steffen
  full_name: Bleul, Steffen
  last_name: Bleul
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schäfer R, Bleul S, Müller W. Dialog Modelling for Multiple Devices and Multiple
    Interaction Modalities. In: <i>Proceedings of the 5th International Workshop on
    Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>. ; 2006.
    doi:<a href="https://doi.org/10.1007/978-3-540-70816-2_4">10.1007/978-3-540-70816-2_4</a>'
  apa: Schäfer, R., Bleul, S., &#38; Müller, W. (2006). Dialog Modelling for Multiple
    Devices and Multiple Interaction Modalities. <i>Proceedings of the 5th International
    Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>.
    <a href="https://doi.org/10.1007/978-3-540-70816-2_4">https://doi.org/10.1007/978-3-540-70816-2_4</a>
  bibtex: '@inproceedings{Schäfer_Bleul_Müller_2006, place={Hasselt, Belgium}, title={Dialog
    Modelling for Multiple Devices and Multiple Interaction Modalities}, DOI={<a href="https://doi.org/10.1007/978-3-540-70816-2_4">10.1007/978-3-540-70816-2_4</a>},
    booktitle={Proceedings of the 5th International Workshop on Task Models and Diagrams
    for User Interface Design (TAMODIA’2006)}, author={Schäfer, Robbie and Bleul,
    Steffen and Müller, Wolfgang}, year={2006} }'
  chicago: Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “Dialog Modelling
    for Multiple Devices and Multiple Interaction Modalities.” In <i>Proceedings of
    the 5th International Workshop on Task Models and Diagrams for User Interface
    Design (TAMODIA’2006)</i>. Hasselt, Belgium, 2006. <a href="https://doi.org/10.1007/978-3-540-70816-2_4">https://doi.org/10.1007/978-3-540-70816-2_4</a>.
  ieee: 'R. Schäfer, S. Bleul, and W. Müller, “Dialog Modelling for Multiple Devices
    and Multiple Interaction Modalities,” 2006, doi: <a href="https://doi.org/10.1007/978-3-540-70816-2_4">10.1007/978-3-540-70816-2_4</a>.'
  mla: Schäfer, Robbie, et al. “Dialog Modelling for Multiple Devices and Multiple
    Interaction Modalities.” <i>Proceedings of the 5th International Workshop on Task
    Models and Diagrams for User Interface Design (TAMODIA’2006)</i>, 2006, doi:<a
    href="https://doi.org/10.1007/978-3-540-70816-2_4">10.1007/978-3-540-70816-2_4</a>.
  short: 'R. Schäfer, S. Bleul, W. Müller, in: Proceedings of the 5th International
    Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006),
    Hasselt, Belgium, 2006.'
date_created: 2023-01-24T08:03:51Z
date_updated: 2023-01-24T08:03:56Z
department:
- _id: '672'
doi: 10.1007/978-3-540-70816-2_4
keyword:
- User Interface     Interaction Manager     Output Device     Multimodal Interface     Interaction
  Object
language:
- iso: eng
place: Hasselt, Belgium
publication: Proceedings of the 5th International Workshop on Task Models and Diagrams
  for User Interface Design (TAMODIA'2006)
publication_identifier:
  isbn:
  - 978-3-540-70815-5
status: public
title: Dialog Modelling for Multiple Devices and Multiple Interaction Modalities
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '38784'
abstract:
- lang: eng
  text: This article presents the classification tree method for functional verification
    to close the gap from the specification of a test plan to SystemVerilog (Chandra
    and Chakrabarty, 2001) test bench generation. Our method supports the systematic
    development of test configurations and is based on the classification tree method
    for embedded systems (CTM/ES) (Chakrabarty et al., 2000) extending CTM/ES for
    random test generation as well as for functional coverage and property specification
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. Classification Trees for Functional Coverage and Random
    Test Generation. In: <i>Proceedings of the Design Automation &#38; Test in Europe
    Conference</i>. IEEE; 2006. doi:<a href="https://doi.org/10.1109/DATE.2006.243902">10.1109/DATE.2006.243902</a>'
  apa: Krupp, A., &#38; Müller, W. (2006). Classification Trees for Functional Coverage
    and Random Test Generation. <i>Proceedings of the Design Automation &#38; Test
    in Europe Conference</i>. <a href="https://doi.org/10.1109/DATE.2006.243902">https://doi.org/10.1109/DATE.2006.243902</a>
  bibtex: '@inproceedings{Krupp_Müller_2006, place={Munich, Germany}, title={Classification
    Trees for Functional Coverage and Random Test Generation}, DOI={<a href="https://doi.org/10.1109/DATE.2006.243902">10.1109/DATE.2006.243902</a>},
    booktitle={Proceedings of the Design Automation &#38; Test in Europe Conference},
    publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2006}
    }'
  chicago: 'Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional
    Coverage and Random Test Generation.” In <i>Proceedings of the Design Automation
    &#38; Test in Europe Conference</i>. Munich, Germany: IEEE, 2006. <a href="https://doi.org/10.1109/DATE.2006.243902">https://doi.org/10.1109/DATE.2006.243902</a>.'
  ieee: 'A. Krupp and W. Müller, “Classification Trees for Functional Coverage and
    Random Test Generation,” 2006, doi: <a href="https://doi.org/10.1109/DATE.2006.243902">10.1109/DATE.2006.243902</a>.'
  mla: Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional
    Coverage and Random Test Generation.” <i>Proceedings of the Design Automation
    &#38; Test in Europe Conference</i>, IEEE, 2006, doi:<a href="https://doi.org/10.1109/DATE.2006.243902">10.1109/DATE.2006.243902</a>.
  short: 'A. Krupp, W. Müller, in: Proceedings of the Design Automation &#38; Test
    in Europe Conference, IEEE, Munich, Germany, 2006.'
date_created: 2023-01-24T08:06:09Z
date_updated: 2023-01-24T08:06:14Z
department:
- _id: '672'
doi: 10.1109/DATE.2006.243902
keyword:
- Classification tree analysis
- System testing
- Embedded system
- Safety
- Automatic testing
- Automation
language:
- iso: eng
place: Munich, Germany
publication: Proceedings of the Design Automation & Test in Europe Conference
publication_identifier:
  isbn:
  - 3-9810801-1-4
publisher: IEEE
status: public
title: Classification Trees for Functional Coverage and Random Test Generation
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '39028'
abstract:
- lang: eng
  text: "User adaptive systems, as envisioned with Ambient Intel-\r\nligence (AmI),
    can only unveil their power, if rich informa-\r\ntion of users – including private
    data as their preferences and\r\nabilities as well as their usage context – can
    be retrieved and\r\nevaluated. However, collecting and storing this data poses\r\nsevere
    privacy problems both legally and from a trust per-\r\nspective. Therefore we
    propose a home automation middle-\r\nware for secure management of personal profiles
    that allows\r\naccess to profiles only for the relevant stakeholders in a spe-\r\ncific
    situation."
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Max
  full_name: Ziegler, Max
  last_name: Ziegler
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schäfer R, Ziegler M, Müller W. Securing Personal Data in Smart Home Environments.
    In: <i>Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006)</i>.
    ; 2006.'
  apa: Schäfer, R., Ziegler, M., &#38; Müller, W. (2006). Securing Personal Data in
    Smart Home Environments. <i>Proceedings of the Workshop on Privacy Enhanced Personalization
    (CHI 2006)</i>.
  bibtex: '@inproceedings{Schäfer_Ziegler_Müller_2006, place={Montreal, Canada}, title={Securing
    Personal Data in Smart Home Environments}, booktitle={Proceedings of the Workshop
    on Privacy Enhanced Personalization (CHI 2006)}, author={Schäfer, Robbie and Ziegler,
    Max and Müller, Wolfgang}, year={2006} }'
  chicago: Schäfer, Robbie, Max Ziegler, and Wolfgang Müller. “Securing Personal Data
    in Smart Home Environments.” In <i>Proceedings of the Workshop on Privacy Enhanced
    Personalization (CHI 2006)</i>. Montreal, Canada, 2006.
  ieee: R. Schäfer, M. Ziegler, and W. Müller, “Securing Personal Data in Smart Home
    Environments,” 2006.
  mla: Schäfer, Robbie, et al. “Securing Personal Data in Smart Home Environments.”
    <i>Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006)</i>,
    2006.
  short: 'R. Schäfer, M. Ziegler, W. Müller, in: Proceedings of the Workshop on Privacy
    Enhanced Personalization (CHI 2006), Montreal, Canada, 2006.'
date_created: 2023-01-24T08:08:07Z
date_updated: 2023-01-24T08:08:17Z
department:
- _id: '672'
language:
- iso: eng
place: Montreal, Canada
publication: Proceedings of the Workshop on Privacy Enhanced Personalization (CHI
  2006)
status: public
title: Securing Personal Data in Smart Home Environments
type: conference
user_id: '5786'
year: '2006'
...
---
_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'
...
---
_id: '38109'
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Alberto
  full_name: Rosti, Alberto
  last_name: Rosti
- first_name: Sara
  full_name: Bocchio, Sara
  last_name: Bocchio
- first_name: Elvinia
  full_name: Riccobene, Elvinia
  last_name: Riccobene
citation:
  ama: 'Müller W, Rosti A, Bocchio S, Riccobene E. UML for ESL Design - Basic Principles,
    Tools, and Applications. In: <i>Proc. of ICCAD’06</i>. ; 2006.'
  apa: Müller, W., Rosti, A., Bocchio, S., &#38; Riccobene, E. (2006). UML for ESL
    Design - Basic Principles, Tools, and Applications. <i>Proc. of ICCAD’06</i>.
  bibtex: '@inproceedings{Müller_Rosti_Bocchio_Riccobene_2006, place={San Jose, USA},
    title={UML for ESL Design - Basic Principles, Tools, and Applications}, booktitle={Proc.
    of ICCAD’06}, author={Müller, Wolfgang and Rosti, Alberto and Bocchio, Sara and
    Riccobene, Elvinia}, year={2006} }'
  chicago: Müller, Wolfgang, Alberto Rosti, Sara Bocchio, and Elvinia Riccobene. “UML
    for ESL Design - Basic Principles, Tools, and Applications.” In <i>Proc. of ICCAD’06</i>.
    San Jose, USA, 2006.
  ieee: W. Müller, A. Rosti, S. Bocchio, and E. Riccobene, “UML for ESL Design - Basic
    Principles, Tools, and Applications,” 2006.
  mla: Müller, Wolfgang, et al. “UML for ESL Design - Basic Principles, Tools, and
    Applications.” <i>Proc. of ICCAD’06</i>, 2006.
  short: 'W. Müller, A. Rosti, S. Bocchio, E. Riccobene, in: Proc. of ICCAD’06, San
    Jose, USA, 2006.'
date_created: 2023-01-23T12:06:11Z
date_updated: 2023-01-23T12:06:32Z
department:
- _id: '672'
language:
- iso: eng
place: San Jose, USA
publication: Proc. of ICCAD'06
status: public
title: UML for ESL Design - Basic Principles, Tools, and Applications
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '38539'
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-24T07:59:32Z
date_updated: 2025-03-12T16:39:07Z
language:
- iso: eng
status: public
title: 'UML: A Next Generation Language for SoC Design'
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '33822'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Achim
  full_name: Rettberg, Achim
  last_name: Rettberg
citation:
  ama: 'Schattkowsky T, Müller W, Rettberg A. Model Based Specification for Platform
    Independent Hardware Execution. In: Martin G, Müller W, eds. <i>UML for SoC Design</i>.
    Kluwer; 2005:63-88.'
  apa: Schattkowsky, T., Müller, W., &#38; Rettberg, A. (2005). Model Based Specification
    for Platform Independent Hardware Execution. In G. Martin &#38; W. Müller (Eds.),
    <i>UML for SoC Design</i> (pp. 63–88). Kluwer.
  bibtex: '@inbook{Schattkowsky_Müller_Rettberg_2005, title={Model Based Specification
    for Platform Independent Hardware Execution}, booktitle={UML for SoC Design},
    publisher={Kluwer}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg,
    Achim}, editor={Martin, Grant and Müller, Wolfgang}, year={2005}, pages={63–88}
    }'
  chicago: Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “Model Based Specification
    for Platform Independent Hardware Execution.” In <i>UML for SoC Design</i>, edited
    by Grant Martin and Wolfgang Müller, 63–88. Kluwer, 2005.
  ieee: T. Schattkowsky, W. Müller, and A. Rettberg, “Model Based Specification for
    Platform Independent Hardware Execution,” in <i>UML for SoC Design</i>, G. Martin
    and W. Müller, Eds. Kluwer, 2005, pp. 63–88.
  mla: Schattkowsky, Tim, et al. “Model Based Specification for Platform Independent
    Hardware Execution.” <i>UML for SoC Design</i>, edited by Grant Martin and Wolfgang
    Müller, Kluwer, 2005, pp. 63–88.
  short: 'T. Schattkowsky, W. Müller, A. Rettberg, in: G. Martin, W. Müller (Eds.),
    UML for SoC Design, Kluwer, 2005, pp. 63–88.'
date_created: 2022-10-20T09:09:17Z
date_updated: 2022-10-20T09:09:37Z
department:
- _id: '672'
editor:
- first_name: Grant
  full_name: Martin, Grant
  last_name: Martin
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
language:
- iso: eng
page: 63-88
publication: UML for SoC Design
publication_identifier:
  isbn:
  - 0-387-25744-6
publisher: Kluwer
status: public
title: Model Based Specification for Platform Independent Hardware Execution
type: book_chapter
user_id: '5786'
year: '2005'
...
---
_id: '33824'
author:
- first_name: Grant
  full_name: Martin, Grant
  last_name: Martin
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Martin G, Müller W. When Worlds Collide: Can UML help SoC Design? In: Martin
    G, Müller W, eds. <i>UML for SoC Design</i>. Kluwer; 2005:1-15.'
  apa: 'Martin, G., &#38; Müller, W. (2005). When Worlds Collide: Can UML help SoC
    Design? In G. Martin &#38; W. Müller (Eds.), <i>UML for SoC Design</i> (pp. 1–15).
    Kluwer.'
  bibtex: '@inbook{Martin_Müller_2005, title={When Worlds Collide: Can UML help SoC
    Design?}, booktitle={UML for SoC Design}, publisher={Kluwer}, author={Martin,
    Grant and Müller, Wolfgang}, editor={Martin, Grant and Müller, Wolfgang}, year={2005},
    pages={1–15} }'
  chicago: 'Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help
    SoC Design?” In <i>UML for SoC Design</i>, edited by Grant Martin and Wolfgang
    Müller, 1–15. Kluwer, 2005.'
  ieee: 'G. Martin and W. Müller, “When Worlds Collide: Can UML help SoC Design?,”
    in <i>UML for SoC Design</i>, G. Martin and W. Müller, Eds. Kluwer, 2005, pp.
    1–15.'
  mla: 'Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help SoC
    Design?” <i>UML for SoC Design</i>, edited by Grant Martin and Wolfgang Müller,
    Kluwer, 2005, pp. 1–15.'
  short: 'G. Martin, W. Müller, in: G. Martin, W. Müller (Eds.), UML for SoC Design,
    Kluwer, 2005, pp. 1–15.'
date_created: 2022-10-20T09:14:51Z
date_updated: 2022-10-20T09:15:13Z
department:
- _id: '672'
editor:
- first_name: Grant
  full_name: Martin, Grant
  last_name: Martin
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
language:
- iso: eng
page: 1-15
publication: UML for SoC Design
publication_identifier:
  isbn:
  - 0-387-25744-6
publisher: Kluwer
status: public
title: 'When Worlds Collide: Can UML help SoC Design?'
type: book_chapter
user_id: '5786'
year: '2005'
...
---
_id: '39029'
abstract:
- lang: eng
  text: UML 2.0 provides a rich set of diagrams for systems documentation and specification.
    Much effort has been undertaken to employ different aspects of UML for multiple
    domains, mainly in the area of software systems. Considering the area of electronic
    design automation, however, we currently see only very few approaches which investigate
    UML for hardware design and hardware/software co-design. We present an approach
    for executable UML closing the gap from system specification to its model-based
    execution on reconfigurable hardware. For this purpose, we present our abstract
    execution platform (AEP), which is based on a virtual machine running an executable
    UML subset for embedded software and reconfigurable hardware. This subset combines
    UML 2.0 classes, state-machines and sequence diagrams for a complete system specification.
    We describe how these binary encoded UML specifications can be directly executed
    and give the implementation of such a virtual machine on a Virtex II FPGA. Finally,
    we present evaluation results comparing the AEP implementation with C code on
    a C167 microcontroller.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Achim
  full_name: Rettberg, Achim
  last_name: Rettberg
citation:
  ama: 'Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable
    Specification on Reconfigurable Hardware. In: <i>Proceedings of DATE’05</i>. IEEE;
    2005. doi:<a href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>'
  apa: Schattkowsky, T., Müller, W., &#38; Rettberg, A. (2005). A Model-Based Approach
    for Executable Specification on Reconfigurable Hardware. <i>Proceedings of DATE’05</i>.
    <a href="https://doi.org/10.1109/DATE.2005.20">https://doi.org/10.1109/DATE.2005.20</a>
  bibtex: '@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany
    }, title={A Model-Based Approach for Executable Specification on Reconfigurable
    Hardware}, DOI={<a href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>},
    booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim
    and Müller, Wolfgang and Rettberg, Achim}, year={2005} }'
  chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based
    Approach for Executable Specification on Reconfigurable Hardware.” In <i>Proceedings
    of DATE’05</i>. Munich, Germany : IEEE, 2005. <a href="https://doi.org/10.1109/DATE.2005.20">https://doi.org/10.1109/DATE.2005.20</a>.'
  ieee: 'T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for
    Executable Specification on Reconfigurable Hardware,” 2005, doi: <a href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>.'
  mla: Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification
    on Reconfigurable Hardware.” <i>Proceedings of DATE’05</i>, IEEE, 2005, doi:<a
    href="https://doi.org/10.1109/DATE.2005.20">10.1109/DATE.2005.20</a>.
  short: 'T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE,
    Munich, Germany , 2005.'
date_created: 2023-01-24T08:10:40Z
date_updated: 2023-01-24T08:10:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2005.20
keyword:
- Hardware
- Unified modeling language
- Virtual machining
- Object oriented modeling
- Field programmable gate arrays
- Java
- Microcontrollers
- Embedded software
- Real time systems
- Documentation
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of DATE’05
publication_identifier:
  isbn:
  - 0-7695-2288-2
publisher: IEEE
status: public
title: A Model-Based Approach for Executable Specification on Reconfigurable Hardware
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39030'
abstract:
- lang: eng
  text: "StateCharts are well accepted for embedded systems\r\nspecification for various
    applications. However, for the\r\nspecification of complex systems they have several\r\nlimitations.
    In this article, we present a novel approach to\r\nefficiently execute an UML
    2.0 subset for embedded real-\r\ntime systems implementation with focus on hardware\r\ninterrupts,
    software exceptions, and timeouts. We\r\nintroduce a UML Virtual Machine, which
    directly\r\nexecutes sequence diagrams, which are embedded into\r\nhierarchically
    structured state transition diagrams.\r\nWhereas state diagrams are directly executed
    as\r\nEmbedded State Machines (ESMs), sequence diagrams\r\nare translated into
    UVM Bytecode. The final UVM\r\nexecution is performed by the interaction of the
    ESM and\r\nthe Bytecode Interpreter. Due to our completely model-\r\nbased approach,
    the UVM runtime kernel is easily\r\nadaptable and scalable to different scheduling
    and\r\nmemory management strategies."
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In:
    <i>Proceedings of ISNG 05</i>. ; 2005.'
  apa: Schattkowsky, T., &#38; Müller, W. (2005). A UML Virtual Machine for Embedded
    Systems. <i>Proceedings of ISNG 05</i>.
  bibtex: '@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A
    UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05},
    author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }'
  chicago: Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded
    Systems.” In <i>Proceedings of ISNG 05</i>. Las Vegas, NV, 2005.
  ieee: T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,”
    2005.
  mla: Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded
    Systems.” <i>Proceedings of ISNG 05</i>, 2005.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.'
date_created: 2023-01-24T08:12:20Z
date_updated: 2023-01-24T08:12:26Z
department:
- _id: '672'
keyword:
- UML
- Executable Models
- Hardware/Software Co-design
- Virtual Machine
- Embedded Systems
language:
- iso: eng
place: Las Vegas, NV
publication: Proceedings of ISNG 05
status: public
title: A UML Virtual Machine for Embedded Systems
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39032'
abstract:
- lang: eng
  text: Executable UML models are nowadays gaining interest in embedded systems design.
    This domain is strongly devoted to the modeling of reactive behavior using StateChart
    variants. In this context, the direct execution of UML state machines is an interesting
    alternative to native code generation approaches since it significantly increases
    portability. However, fully featured UML 2.0 State Machines may contain a broad
    set of features with complex execution semantics that differ significantly from
    other StateChart variants. This makes their direct execution complex and inefficient.
    In this paper, we demonstrate how such state machines can be represented using
    a small subset of the UML state machine features that enables efficient execution.
    We describe the necessary model transformations in terms of graph transformations
    and discuss the underlying semantics and implications for execution.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Müller W. Transformation of UML State Machines for Direct
    Execution. In: <i>Proceedings of VL/HCC 05</i>. ; 2005. doi:<a href="https://doi.org/10.1109/VLHCC.2005.64">10.1109/VLHCC.2005.64</a>'
  apa: Schattkowsky, T., &#38; Müller, W. (2005). Transformation of UML State Machines
    for Direct Execution. <i>Proceedings of VL/HCC 05</i>. <a href="https://doi.org/10.1109/VLHCC.2005.64">https://doi.org/10.1109/VLHCC.2005.64</a>
  bibtex: '@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation
    of UML State Machines for Direct Execution}, DOI={<a href="https://doi.org/10.1109/VLHCC.2005.64">10.1109/VLHCC.2005.64</a>},
    booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang},
    year={2005} }'
  chicago: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
    for Direct Execution.” In <i>Proceedings of VL/HCC 05</i>. Dallas, TX, USA, 2005.
    <a href="https://doi.org/10.1109/VLHCC.2005.64">https://doi.org/10.1109/VLHCC.2005.64</a>.
  ieee: 'T. Schattkowsky and W. Müller, “Transformation of UML State Machines for
    Direct Execution,” 2005, doi: <a href="https://doi.org/10.1109/VLHCC.2005.64">10.1109/VLHCC.2005.64</a>.'
  mla: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
    for Direct Execution.” <i>Proceedings of VL/HCC 05</i>, 2005, doi:<a href="https://doi.org/10.1109/VLHCC.2005.64">10.1109/VLHCC.2005.64</a>.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA,
    2005.'
date_created: 2023-01-24T08:18:10Z
date_updated: 2023-01-24T08:18:27Z
department:
- _id: '672'
doi: 10.1109/VLHCC.2005.64
keyword:
- Unified modeling language
- Software design
- Virtual machining
- Embedded system
- Programming
- Documentation
- Hardware
- Computer languages
- Operating systems
- Runtime
language:
- iso: eng
place: Dallas, TX, USA
publication: Proceedings of VL/HCC 05
publication_identifier:
  isbn:
  - 0-7695-2443-5
status: public
title: Transformation of UML State Machines for Direct Execution
type: conference
user_id: '5786'
year: '2005'
...