Formal modeling and analysis of safety-critical human multitasking

G Broccia, P Milazzo, PC Ölveczky - Innovations in Systems and Software …, 2019 - Springer
When a person is concurrently interacting with different systems, the amount of cognitive
resources required (cognitive load) could be too high and might prevent some tasks from …

Towards a cognitive architecture for the formal analysis of human behaviour and learning

A Cerone - … : Applications and Foundations: STAF 2018 Collocated …, 2018 - Springer
In this paper we propose a cognitive architecture for the modelling of automatic and
deliberate human behaviour as it occurs and evolves in a living environment or in interaction …

Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues

G Broccia, V Ciancia, D Latella, M Massink - International Conference on …, 2022 - Springer
Abstract In medical imaging,(semi-) automatic image analysis techniques have been
proposed to support the current time-consuming and cognitively demanding practice of …

[PDF][PDF] A Cognitive Framework for Modeling and Analysing Safety-Critical Human Multitasking

G Broccia - pages.di.unipi.it
Nowadays people often interact with multiple devices at the same time. In such multitasking
situation the human attention works as a scheduler among concurrent processes. The way …