DSV-IS

Keyphrases

Publications

2008

Josefina Guerrero García, Jean Vanderdonckt, Juan Manuel González-Calleros, Marco Winckler
Towards a Library of Workflow User Interface Patterns. DSV-IS (2008)
José Creissac Campos, Michael D. Harrison
Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS (2008)
Grzegorz Lehmann, Marco Blumendorf, Sebastian Feuerstack, Sahin Albayrak
Utilizing Dynamic Executable Models for User Interface Development. DSV-IS (2008)
Alexandre Scaico, Maria de Fátima Queiroz Vieira, Marckson R. F. de Sousa, Charles Santoni
Investigating System Navigation Ergonomics through Model Verification. DSV-IS (2008)
Tony McBryan, Philip D. Gray
A Model-Based Approach to Supporting Configuration in Ubiquitous Systems. DSV-IS (2008)
Gilles Tabart, Stéphane Conversy, Jean-Luc Vinot, Sylvie Athènes
Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors. DSV-IS (2008)
Elbert-Jan Hennipman, Evert-Jan Oppelaar, Gerrit C. van der Veer
Pattern Languages as Tool for Discount Usability Engineering. DSV-IS (2008)
Marco Blumendorf, Grzegorz Lehmann, Sebastian Feuerstack, Sahin Albayrak
Executable Models for Human-Computer Interaction. DSV-IS (2008)
Gavin J. Doherty, José Creissac Campos, Michael D. Harrison
Resources for Situated Actions. DSV-IS (2008)
Leila Jemni Ben Ayed, Fatma Siala
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B. DSV-IS (2008)
Jan Van den Bergh, Mieke Haesen, Kris Luyten, Sofie Notelaers, Karin Coninx
Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces. DSV-IS (2008)
Ann Blandford, Paul Curzon, Joanne K. Hyde, George Papatzanis
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. DSV-IS (2008)
Frédéric Jourde, Yann Laurillau, Alberto L. Morán, Laurence Nigay
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations. DSV-IS (2008)
Marco Winckler, Jean Vanderdonckt, Adrian Stanciulescu, Francisco M. Trindade
Cascading Dialog Modeling with UsiXML. DSV-IS (2008)
Benjamin Tissoires, Stéphane Conversy
Graphic Rendering Considered as a Compilation Chain. DSV-IS (2008)
Alexandre Demeure, Gaëlle Calvary, Karin Coninx
COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces. DSV-IS (2008)
Gregor Buchholz, Stefan Propp
Towards Usability Evaluation for Smart Appliance Ensembles. DSV-IS (2008)
David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. DSV-IS (2008)
Satoshi Sakurai, Yuichi Itoh, Yoshifumi Kitamura, Miguel A. Nacenta, Tokuo Yamaguchi, Sriram Subramanian, Fumio Kishino
A Middleware for Seamless Use of Multiple Displays. DSV-IS (2008)
Daniel Reichart, Anke Dittmar, Peter Forbrig, Maik Wurdel
Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications. DSV-IS (2008)
Geert Vanderhulst, Kris Luyten, Karin Coninx
ReWiRe: Designing Reactive Systems for Pervasive Environments. DSV-IS (2008)
Antonio Ferreira, Pedro Antunes
An Attentive Groupware Device to Mitigate Information Overload. DSV-IS (2008)
Christophe Hurter, Stéphane Conversy
Towards Characterizing Visualizations. DSV-IS (2008)
Thomas Memmel, Jean Vanderdonckt, Harald Reiterer
Multi-fidelity User Interface Specifications. DSV-IS (2008)
Emmanuel Dubois, Cédric Bach, Philippe Truillet
Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums. DSV-IS (2008)
Michael Dunlavey
Lightweight Coding of Structurally Varying Dialogs. DSV-IS (2008)
Giulio Mori, Fabio Paternò, Lucio Davide Spano
Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications. DSV-IS (2008)
Maik Wurdel, Daniel Sinnig, Peter Forbrig
Task Model Refinement with Meta Operators. DSV-IS (2008)
Anke Dittmar, Toralf Hübner, Peter Forbrig
HOPS: A Prototypical Specification Tool for Interactive Systems. DSV-IS (2008)

volume 5136, 2008

Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers DSV-IS 5136 (2008)

volume 4323, 2007

Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers DSV-IS 4323 (2007)

2006

volume 3941, 2006

Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers DSV-IS 3941 (2006)