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 …

Recommender Systems (RS) are nowadays widely used in the area of consumer electronics
and home entertainment. They are exploited by large companies (such as Amazon in the …

Engineering interactive systems for safety critical applications such as in avionic digital
cockpits (and more generally Graphical User interfaces) is a challenge from a dependability …

Over the last few years multi-touch interfaces have made their ways in most environments
including mobile technologies, flight entertainment systems, consumer electronics,... Such …

This paper proposes a unified formal framework, Formal Framework For FLUID (F3FLUID),
for the development of safety‐critical interactive systems. This framework is based on the …

Critical human-machine interfaces are present in many systems including avionics systems
and medical devices. Use error is a concern in these systems both in terms of hardware …

During early phases of the development of an interactive system, future system properties
are identified (through interaction with end-users, eg, in the brainstorming and prototyping …

The internet of things (IoT) is a chance to provide users with pervasive environments in
which they can interact naturally with the environment. Multimodal interaction is the domain …

Early prototyping of user interfaces is an established good practice in interactive system
development. However, prototypes cover only some usage scenarios, and questions …

When interactive systems allow users to interact with critical systems, they are qualified as
Critical Interactive Systems, CIS for short. Their design requires the support of different …