@inproceedings{39028,
  abstract     = {{User adaptive systems, as envisioned with Ambient Intel-
ligence (AmI), can only unveil their power, if rich informa-
tion of users – including private data as their preferences and
abilities as well as their usage context – can be retrieved and
evaluated. However, collecting and storing this data poses
severe privacy problems both legally and from a trust per-
spective. Therefore we propose a home automation middle-
ware for secure management of personal profiles that allows
access to profiles only for the relevant stakeholders in a spe-
cific situation.}},
  author       = {{Schäfer, Robbie and Ziegler, Max and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006)}},
  title        = {{{Securing Personal Data in Smart Home Environments}}},
  year         = {{2006}},
}

@inproceedings{38107,
  abstract     = {{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       = {{Großmann, Jürgen and Müller, Wolfgang}},
  booktitle    = {{Proc. of ISOLA 06}},
  isbn         = {{978-0-7695-3071-0}},
  keywords     = {{System testing, Software testing, Automotive engineering, Automatic testing, Machinery production industries, Protocols, Hardware design languages, Samarium, XML, Computer industry}},
  location     = {{Paphos, Cyprus}},
  title        = {{{A Formal Behavioral Semantics for TestML}}},
  doi          = {{10.1109/ISoLA.2006.37}},
  year         = {{2006}},
}

@inproceedings{38109,
  author       = {{Müller, Wolfgang and Rosti, Alberto and Bocchio, Sara and Riccobene, Elvinia}},
  booktitle    = {{Proc. of ICCAD'06}},
  title        = {{{UML for ESL Design - Basic Principles, Tools, and Applications}}},
  year         = {{2006}},
}

@inproceedings{38539,
  author       = {{Lavagno, Luciano and Müller, Wolfgang}},
  title        = {{{UML: A Next Generation Language for SoC Design}}},
  year         = {{2006}},
}

@inbook{33822,
  author       = {{Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}},
  booktitle    = {{UML for SoC Design}},
  editor       = {{Martin, Grant and Müller, Wolfgang}},
  isbn         = {{0-387-25744-6}},
  pages        = {{63--88}},
  publisher    = {{Kluwer}},
  title        = {{{Model Based Specification for Platform Independent Hardware Execution}}},
  year         = {{2005}},
}

@inbook{33824,
  author       = {{Martin, Grant and Müller, Wolfgang}},
  booktitle    = {{UML for SoC Design}},
  editor       = {{Martin, Grant and Müller, Wolfgang}},
  isbn         = {{0-387-25744-6}},
  pages        = {{1--15}},
  publisher    = {{Kluwer}},
  title        = {{{When Worlds Collide: Can UML help SoC Design?}}},
  year         = {{2005}},
}

@inproceedings{39029,
  abstract     = {{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       = {{Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}},
  booktitle    = {{Proceedings of DATE’05}},
  isbn         = {{0-7695-2288-2}},
  keywords     = {{Hardware, Unified modeling language, Virtual machining, Object oriented modeling, Field programmable gate arrays, Java, Microcontrollers, Embedded software, Real time systems, Documentation}},
  publisher    = {{IEEE}},
  title        = {{{A Model-Based Approach for Executable Specification on Reconfigurable Hardware}}},
  doi          = {{10.1109/DATE.2005.20}},
  year         = {{2005}},
}

@inproceedings{39030,
  abstract     = {{StateCharts are well accepted for embedded systems
specification for various applications. However, for the
specification of complex systems they have several
limitations. In this article, we present a novel approach to
efficiently execute an UML 2.0 subset for embedded real-
time systems implementation with focus on hardware
interrupts, software exceptions, and timeouts. We
introduce a UML Virtual Machine, which directly
executes sequence diagrams, which are embedded into
hierarchically structured state transition diagrams.
Whereas state diagrams are directly executed as
Embedded State Machines (ESMs), sequence diagrams
are translated into UVM Bytecode. The final UVM
execution is performed by the interaction of the ESM and
the Bytecode Interpreter. Due to our completely model-
based approach, the UVM runtime kernel is easily
adaptable and scalable to different scheduling and
memory management strategies.}},
  author       = {{Schattkowsky, Tim and Müller, Wolfgang}},
  booktitle    = {{Proceedings of ISNG 05}},
  keywords     = {{UML, Executable Models, Hardware/Software Co-design, Virtual Machine, Embedded Systems}},
  title        = {{{A UML Virtual Machine for Embedded Systems}}},
  year         = {{2005}},
}

@inproceedings{39032,
  abstract     = {{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       = {{Schattkowsky, Tim and Müller, Wolfgang}},
  booktitle    = {{Proceedings of VL/HCC 05}},
  isbn         = {{0-7695-2443-5}},
  keywords     = {{Unified modeling language, Software design, Virtual machining, Embedded system, Programming, Documentation, Hardware, Computer languages, Operating systems, Runtime}},
  title        = {{{Transformation of UML State Machines for Direct Execution}}},
  doi          = {{10.1109/VLHCC.2005.64}},
  year         = {{2005}},
}

@inproceedings{39036,
  author       = {{Krupp, Alexander and Müller, Wolfgang}},
  title        = {{{Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme}}},
  year         = {{2005}},
}

@inproceedings{39038,
  author       = {{Krupp, Alexander and Müller, Wolfgang}},
  title        = {{{Modelchecking von Klassifikationsbaum-Testsequenzen}}},
  year         = {{2005}},
}

@inproceedings{39039,
  author       = {{Zabel, Henning and Müller, Wolfgang}},
  title        = {{{Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation}}},
  year         = {{2005}},
}

@inproceedings{39041,
  author       = {{Bleul, Steffen and Schäfer, Robbie and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the HCI International 2005}},
  title        = {{{A Dialog Model for Multi Device Interfaces with Different Modalities}}},
  year         = {{2005}},
}

@inproceedings{39050,
  abstract     = {{Currently, middleware for smart home networks with embedded and mobile devices are in the focus of several investigations. In this paper, we propose a middleware for secure management of device and user profiles by integrating a profile database with a generic authentication scheme for an X.509 enabled ticket management in the context of the OSGi framework. After the introduction of the individual system components and their interaction, we also discuss potential system attacks.}},
  author       = {{Ziegler, Max and Müller, Wolfgang and Schäfer, Robbie and Loeser, Chris}},
  booktitle    = {{Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}},
  isbn         = {{0-7695-2424-9}},
  keywords     = {{Intelligent networks, Smart homes, Middleware, Project management, Data security, Ubiquitous computing, Context-aware services, Computer architecture, Home automation, Environmental management}},
  location     = {{Copenhagen, Denmark }},
  publisher    = {{IEEE}},
  title        = {{{Secure Profile Management in Smart Home Networks}}},
  doi          = {{10.1109/DEXA.2005.171}},
  year         = {{2005}},
}

@inproceedings{39052,
  abstract     = {{Smart homes provide their users with maximum comfort and convenience. In this paper, we present a profile management framework for situation-dependent customization in smart home environments, which meet the user preferences with given device capabilities. We apply profile processing and evolution methods to customize profiles on the fly and to automatically evolve user preferences. Furthermore, we give a comprehensive study on profile management technology.}},
  author       = {{Groppe, Jinghua and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}},
  isbn         = {{0-7695-2424-9}},
  keywords     = {{Technology management, Smart homes, Environmental management, Resource description framework, Data models, Navigation, Mobile computing, Embedded computing, Ubiquitous computing, Mobile communication}},
  location     = {{Copenhagen, Denmark }},
  publisher    = {{IEEE}},
  title        = {{{Profile Management technology for Smart Customization in Private Home Applications}}},
  doi          = {{10.1109/DEXA.2005.156}},
  year         = {{2005}},
}

@inbook{33823,
  author       = {{Martin, Grant and Müller, Wolfgang}},
  booktitle    = {{UML for SoC Design}},
  editor       = {{Martin, Grant and Müller, Wolfgang}},
  isbn         = {{0-387-25744-6}},
  pages        = {{1--15}},
  publisher    = {{Kluwer}},
  title        = {{{When Worlds Collide: Can UML help SoC Design?}}},
  year         = {{2005}},
}

@inbook{33825,
  abstract     = {{This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles.}},
  author       = {{Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}},
  booktitle    = {{Integration of Software Specification Techniques for Applications in Engineering}},
  editor       = {{Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}},
  isbn         = {{978-3-540-27863-4}},
  keywords     = {{Model Check, Temporal Logic, Object Constraint Language, Abstract Syntax, Temporal Logic Formula}},
  pages        = {{206--226}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Specification and Formal Verification of Temporal Properties of Production Automation Systems}}},
  doi          = {{10.1007/978-3-540-27863-4_13}},
  volume       = {{3147}},
  year         = {{2004}},
}

@inbook{33827,
  author       = {{Schattkowsky, Tim and Müller, Wolfgang and Pawlak, Adam}},
  booktitle    = {{Workflow Handbook 2004}},
  editor       = {{Fischer, Layna}},
  isbn         = {{0970350961}},
  publisher    = {{Workflow Management Coalition (WfMC)}},
  title        = {{{Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}}},
  year         = {{2004}},
}

@inbook{33830,
  author       = {{Krupp, Alexander and Müller, Wolfgang}},
  booktitle    = {{UML-B System Specification for Proven Electronic Design}},
  editor       = {{Mermet, J.}},
  isbn         = {{1-4020-2866-0}},
  pages        = {{155--168}},
  publisher    = {{Kluwer}},
  title        = {{{Refinement of Finite State Machines with Complementary Model Checking}}},
  year         = {{2004}},
}

@inbook{33829,
  author       = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}},
  booktitle    = {{Best of FDL'03}},
  editor       = {{Grimm, Ch.}},
  isbn         = {{978-1-4020-7991-7}},
  pages        = {{301--314}},
  publisher    = {{Kluwer}},
  title        = {{{Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}}},
  year         = {{2004}},
}