Giovanna Broccia

According to our database, Giovanna Broccia authored at least 16 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements.

Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024

2023

Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance.

Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

2022

Empirical Software Engineering and Formal Methods for IoT Systems.

Davide Basile, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari

ERCIM News, 2022

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

Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the HCI International 2022 Posters, 2022

2021

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper).

Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Feasibility of Spatial Model Checking for Nevus Segmentation.

Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2020

Flexible Automatic Support for Web Accessibility Validation.

Giovanna Broccia, Marco Manca, Fabio Paternò, Francesca Pulina

Proc. ACM Hum. Comput. Interact., 2020

Using Spatial Logic and Model Checking for Nevus Segmentation.

Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink

CoRR, 2020

DataMod2020: 9th International Symposium "From Data to Models and Back".

Juliana Bowles, Giovanna Broccia, Mirco Nanni

Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

2019

A Formal Framework for Modelling and Analysing Safety-Critical Human Multitasking.

Giovanna Broccia

PhD thesis, 2019

Formal modeling and analysis of safety-critical human multitasking.

Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky

Innov. Syst. Softw. Eng., 2019

Validation of a Simulation Algorithm for Safety-Critical Human Multitasking.

Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

An Executable Formal Framework for Safety-Critical Human Multitasking.

Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results.

Giovanna Broccia, Paolo Masci, Paolo Milazzo

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018

2017

An Algorithm for Simulating Human Selective Attention.

Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky

Proceedings of the Software Engineering and Formal Methods, 2017

Model-based analysis of driver distraction by infotainment systems in automotive domain.

Giovanna Broccia

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017