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

Whilst science has a strong reliance on quantitative and experimental methods, there are
many complex, socially based phenomena in HCI that cannot be easily quantified or …

Breakdowns in complex systems often occur as a result of system elements interacting in
unanticipated ways. In systems with human operators, human–automation interaction …

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 …

The multimodal interaction is becoming richer in last years thanks to the increasing evolution
of mobile devices (smartphones/tablets) and their embedded sensors including …

The paper explores the role that formal modeling may play in aiding the visualization and
implementation of usability requirements of a control panel. We propose that this form of …

Use error due to user interface design defects is a major concern in many safety critical
domains, for example avionics and health care. Early detection of latent user interface …

This thesis is about the study of human error. Or more precisely it is about an investigation of
techniques by which engineers and designers of interactive computer systems may …

Human-automation interaction, including erroneous human behavior, is a factor in the failure
of complex, safety-critical systems. This paper presents a method for automatically …

This paper is concerned with the scaleable and systematic analysis of interactive systems.
The motivating problem is the procurement of medical devices. In such situations several …