Failures in complex systems controlled by human operators can be difficult to anticipate
because of unexpected interactions between the elements that compose the system …

This paper describes a framework that serves as a reference for classifying user interfaces
supporting multiple targets, or multiple contexts of use in the field of context-aware …

Along tasks analysis and modeling history it has been demonstrated by experience that task
modeling activities become cumbersome when performed on large, real-life systems …

This paper is concerned with support for the process of usability engineering. The aim is to
use formal techniques to provide a systematic approach that is more traceable, and because …

This chapter provides an overview of several formal approaches for the design,
specification, and verification of interactive systems. For each approach presented, we …

Level crossings (LCs) are identified as critical security points in both road and rail
infrastructures. Statistics show that more than 300 people are killed every year in Europe in …

This article describes SwingStates, a Java toolkit designed to facilitate the development of
graphical user interfaces and bring advanced interaction techniques to the Java platform …

The purpose of ARINC 661 specification [1] is to define interfaces to a Cockpit Display
System (CDS) used in any types of aircraft installations. ARINC 661 provides precise …

Human-automation interaction (HAI) is often a contributor to failures in complex systems.
This is frequently due to system interactions that were not anticipated by designers and …

This paper presents a three step approach to improve safety in the field of interactive
systems. The approach combines, within a single framework, previous work in the field of …