DSV-IS 2008 Program

Wednesday July 16, 2008

8:00-8:45 Registration and Continental Breakfast
8:45-9:00 Workshop Opening
9:00-10:30 Session: User Interface Evaluation
Session Chair: Gerrit van der Veer

EMU in the car: evaluating multimodal usability of a satellite navigation system
Ann Blandford, Paul Curzon, Joanne Hyde, George Papatzanis

Comparing mixed interactive systems for navigating 3D environments in museums
Emmanuel Dubois, Cedric Bach, Philippe Truillet

An attentive groupware device to mitigate information overload
Antonio Ferreira, Pedro Antunes
10:30-11:00 Break
11:00-12:00 Keynote Presentation
On the Design and Use of Interfaces for Computer-Assisted Orthopedic Surgery
Randy E. Ellis
12:00-1:30 Lunch
1:30-3:20 Session: User Interface Specification
Session Chair: Kevin Schneider

Multi-fidelity user interface specifications
Thomas Memmel, Jean Vanderdonckt, Harald Reiterer

HOPS: a prototypical specification tool for interactive systems
Anke Dittmar, Toral Hübner, Peter Forbrig

Systematic analysis of control panel interfaces using formal tools
Jose Creissac Campos, Michael Harrison

Investigating system navigation ergonomics through model verification
Alexandre Scaico, Maria Vieira, Markson Sousa, Charles Santoni
3:20-3:50 Break
3:50-4:50 Session: Tasks and Formal Specification
Session Chair: Anke Dittmar

Task model refinement with meta operators
Maik Wurdel, Daniel Sinnig, Peter Forbrig

Toward multi-disciplinary model-based (re)design of sustainable user interfaces
Jan Van den Bergh, Mieke Haesen, Kris Luyten, Sofie Notelaers, Karin Coninx

Specification and verification of multi-agent systems interaction protocols using a combination of AUML and Event B
Leila Jemni Ben Ayed, Fatma Siala
6:00-8:30 OpenInterface Workshop

Thursday July 17, 2008

8:30-9:00 Continental Breakfast
9:00-10:30 Session: Models of User Interfaces
Session Chair: Gaelle Calvary

Pattern languages as tool for discount usability engineering
Elbert-Jan Hennipman, Evert-Jan Oppelaar, Gerrit van der Veer

Cascading dialog modeling with UsiXML
Marco Winckler, Jean Vanderdonckt, Adrian Stanciulescu, Francisco Trindade

Designing graphical elements for cognitively demanding activities: an account on fine-tuning for colors
Gilles Tabart, Stéphane Conversy, Jean-Luc Vinot, Sylvie Athènes
10:30-11:00 Break
11:00-12:00 Session: Implementing Interactive Systems
Session Chair: Michael Harrison

Lightweight coding of structurally varying dialogs
Michael Dunlavey

ReWiRe: designing reactive systems for pervasive environments
Geert Vanderhulst, Kris Luyten, Karin Coninx

Towards a library of workflow user interface patterns
Josefina Guerrero Garcia, Jean Vanderdonckt, Juan Manuel Gonzalez, Marco Winckler
12:00-1:30 Lunch and Demonstrations
Utilizing Dynamic Executable Models for User Interface Development
Grzegorz Lehmann, Marco Blumendorf, Sebastian Feuerstack, Sahin Albayrak

Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications
Daniel Reichart, Anke Dittmar, Peter Forbrig, Maik Wurdel
1:30-3:00 Session: Models for Mobile and Ubiquitous Applications
Session Chair: Morten Borup Harning

A model-based approach to supporting configuration in ubiquitous systems
Tony McBryan, Phil Gray

Exploiting web services and model-based user interfaces for multi-device access to home applications
Giulio Mori, Fabio Paternò, Lucio Davide Spano

Resources for situated actions
Gavin Doherty, Jose Campos, Michael Harrison
3:00-5:00 Working Groups
5:00-6:00 IFIP WG 2.7/13.4 Meeting
For working group members and observers
7:00-10:00 Workshop Dinner
Queen's University Club
Reception in the Old Bar and Urquhart Lounge at 7:00; Dinner at 8:00 in the Main Dining Room

Friday July 18, 2008

8:30-9:00 Continental Breakfast
9:00-10:30 Session: User Interface Architecture
Session Chair: Greg Phillips

An architecture and a formal description technique for user interaction
Philippe Palanque, David Navarre, Sandra Basnyat, Jean-François Ladry

COMET(s), a software architecture style and an interactors toolkit for plastic user interfaces
Alexandre Demeure, Gaelle Calvary, Karin Coninx

Executable models for human-computer interaction
Marco Blumendorf, Grzegorz Lehmann, Sebastian Feuerstack, Sahin Albayrak
10:30-11:00 Break
11:00-12:00 Keynote Presentation
Designer-Developer Interactions Through Design Artifacts
Judith Brown
12:00-1:00 Lunch
1:00-2:00 Session: Graphics and Displays
Session Chair: Helmut Stiegler

A middleware for seamless use of multiple displays
Satoshi Sakurai, Yuichi Itoh, Yoshifumi Kitamura, Miguel Nacenta, Tokuo Yamaguchi, Sriram Subramanian, Fumio Kishino

Graphic rendering considered as a compilation chain
Benjamin Tissoires, Stéphane Conversy
2:00-2:30 Break
2:30-3:30 Session: Notations and Evaluation
Session Chair: Ann Blandford

Towards specifying multimodal collaborative user interfaces: a comparison of collaboration notations
Frédéric Jourde, Yann Laurillau, Alberto Moran, Laurence Nigay

Towards characterizing visualizations
Christophe Hurter, Stéphane Conversy

Towards usability evaluation for smart appliance ensembles
Gregor Buchholz, Stefan Propp
3:30-4:30 Working Group Reports
Session Chair: Phil Gray
4:30-4:45 Workshop Close