| Vol-787 urn:nbn:de:0074-787-4 Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# Modiquitous 2011
Model-based Interactive Ubiquitous Systems 2011

### Proceedings of the 1st International Workshop on Model-based Interactive Ubiquitous Systems 2011

### Pisa, Italy, June 13, 2011.

Edited by

### Thomas Schlegel *
Stefan Pietschmann *

* University of Dresden, Faculty of Computer Science Dresden, Germany

## Table of Contents

- Preface 1-8

### Scientific papers

1. Models Transformations for Ubiquitous System Design 9-14
   Emmanuel Dubois, Christophe Bortolaso, Guillaume Gauffre
2. Model-Based Testing for the Menu Behavior of Automotive Infotainment System HMIs 15-20
   Linshu Duan, Heinrich Hussmann, Dieter Niederkorn, Alexander Höfer
3. Towards Ubiquitous Emergency Management Systems 21-26
   Jan Zibuschka, Uwe Laufs, Heiko Roßnagel
4. A Framework for Transforming Abstract Privacy Models into Implementable UbiComp System Requirements 27-32
   Ivan Gudymenko, Katrin Borcea-Pfitzmann
5. Ubiquitous Alignment 33-38
   Florian Haag, Michael Raschke, Thomas Schlegel
6. Generating Consistent Universal Controllers for Web-Service-enabled Appliances 39-44
   Marius Feldmann, Thomas Springer, Alexander Schill
7. A Context Taxonomy Supporting Public System Design 45-50
   Romina Kühn, Christine Keller, Thomas Schlegel
8. Navigating the Personal Information Sphere 51-55
   Simon Thiel, Andreas Schuller, Fabian Hermann

The whole proceedings can also be downloaded as a single file (pdf).

18-Oct-2011: submitted by Thomas Schlegel, Stefan Pietschmann
18-Oct-2011: published on CEUR-WS.org