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

Recent developments in manufacturing technologies, also known as Industry 4.0, seek to
build Smart Factories where supply chains and production lines are equipped with a higher …

A crucial aspect of physical human-robot collaboration (HRC) is to maintain a safe common
workspace for human operator. However, close proximity between human-robot and …

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 …

Abstract Human-Robot Collaboration is increasingly prominent in people's lives and in the
industrial domain, for example in manufacturing applications. The close proximity and …

Developing robotic applications with human–robot interaction for the service sector raises a
plethora of challenges. In these settings, human behavior is essentially unconstrained as …

Interactive systems may appear to work correctly and safely when analysed in isolation from
the human environment in which they are supposed to work. In fact, the same cognitive skills …

In this paper we are concerned with security issues that arise in the interaction between user
and system. We focus on cognitive processes that affect security of information flow from the …

Human-robot collaboration (HRC) is an emerging trend of robotics that promotes the co-
presence and cooperation of humans and robots in common workspaces. Physical vicinity …

Formal methods are robust tools and techniques for modeling, specifying, and
mathematically proving properties about (verifying) systems. They are particularly good at …