Model-based analysis of driver distraction by infotainment systems in automotive domain. - Giovanna Broccia (EICS, 2017)

An Algorithm for Simulating Human Selective Attention. - Giovanna Broccia; Paolo Milazzo; Peter Csaba Ölveczky (SEFM Workshops, 2017)

Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results. - Giovanna Broccia; Paolo Masci 001; Paolo Milazzo (EICS, 2018)

An Executable Formal Framework for Safety-Critical Human Multitasking. - Giovanna Broccia; Paolo Milazzo; Peter Csaba Ölveczky (NFM, 2018)

Validation of a Simulation Algorithm for Safety-Critical Human Multitasking. - Giovanna Broccia; Paolo Milazzo; Cristina Belviso; Carmen Berrocal Montiel (FM Workshops (1), 2019)

Formal modeling and analysis of safety-critical human multitasking. - Giovanna Broccia; Paolo Milazzo; Peter Csaba Ölveczky (Innov. Syst. Softw. Eng., 2019)

A Formal Framework for Modelling and Analysing Safety-Critical Human Multitasking. - Giovanna Broccia (2019)

DataMod2020: 9th International Symposium "From Data to Models and Back". - Juliana Bowles; Giovanna Broccia; Mirco Nanni (CIKM, 2020)

Using Spatial Logic and Model Checking for Nevus Segmentation. - Gina Belmonte; Giovanna Broccia; Vincenzo Ciancia; Diego Latella; Mieke Massink (CoRR, 2020)

Flexible Automatic Support for Web Accessibility Validation. - Giovanna Broccia; Marco Manca 001; Fabio Paternò; Francesca Pulina (Proc. ACM Hum. Comput. Interact., 2020)

Feasibility of Spatial Model Checking for Nevus Segmentation. - Gina Belmonte; Giovanna Broccia; Vincenzo Ciancia; Diego Latella; Mieke Massink (FormaliSE@ICSE, 2021)

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). - Gina Belmonte; Giovanna Broccia; Laura Bussi; Vincenzo Ciancia; Diego Latella; Mieke Massink (MEDI Workshops, 2021)

Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues. - Giovanna Broccia; Vincenzo Ciancia; Diego Latella; Mieke Massink (HCI (38), 2022)

Empirical Software Engineering and Formal Methods for IoT Systems. - Davide Basile 001; Maurice H. ter Beek; Giovanna Broccia; Alessio Ferrari 001 (ERCIM News, 2022)

Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Walter Cazzola; Luca Favalli; Francesco Bertolotti (ICPC, 2023)

Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance - Supplementary Material. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Walter Cazzola; Luca Favalli; Francesco Bertolotti (Zenodo, 2023)

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini (Zenodo, 2023)

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini (Zenodo, 2023)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessio Ferrari 001 (Zenodo, 2023)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessio Ferrari 001 (Zenodo, 2023)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessio Ferrari 001 (Zenodo, 2023)

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini (Zenodo, 2023)

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 001 (REFSQ, 2024)

On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability. - Andreas Vogelsang; Alexander Korn; Giovanna Broccia; Alessio Ferrari 001; Jannik Fischbach; Chetan Arora 002 (NIER@ICSE, 2025)

An Experience Report on Leveraging LLMs for GUI Generation: Automating Coding to Prioritise Creativity. - Giovanna Broccia; Alessandro Borselli; Maria Rosaria Cefaloni; Franco Delcorno; Alessio Ferrari 001 (REFSQ Workshops, 2025)

Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessandro Fantechi; Alessio Ferrari 001 (Inf. Softw. Technol., 2025)