Giovanna Broccia

27 papers A 2B 2Misc 2Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Comprehension vs. Adoption: Evaluating a Language Workbench Through a Family of Experiments.
CoRR
Giovanna Broccia, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti, Alessio Ferrari
2026 B conf
Fairness as a First-Class Requirement: A Fairness Hazard Analysis Approach to Socio-Technical Processes.
REFSQ
Giovanna Broccia, Lucio Lelii, Roberto Cirillo, Dario Di Nucci, Samuel Fricker, Fabio Palomba, Giorgio Oronzo Spagnolo, Alessio Ferrari
2026 J jnl
The Role of Cognitive Abilities in Requirements Inspection: Comparing UML and Textual Representations.
CoRR
Giovanna Broccia, Sira Vegas, Alessio Ferrari
2025 — conf
An Experience Report on Leveraging LLMs for GUI Generation: Automating Coding to Prioritise Creativity.
REFSQ Workshops
Giovanna Broccia, Alessandro Borselli, Maria Rosaria Cefaloni, Franco Delcorno, Alessio Ferrari
2025 J jnl
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication.
Inf. Softw. Technol.
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessandro Fantechi, Alessio Ferrari
2025 — ed.
From Data to Models and Back - 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
DataMod
Giovanna Broccia, Antonio Cerone
2025 — conf
On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability.
NIER@ICSE
Andreas Vogelsang, Alexander Korn, Giovanna Broccia, Alessio Ferrari, Jannik Fischbach, Chetan Arora
2025 J jnl
On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability.
CoRR
Andreas Vogelsang, Alexander Korn, Giovanna Broccia, Alessio Ferrari, Jannik Fischbach, Chetan Arora
2024 B conf
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements.
REFSQ
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
2024 J jnl
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements.
CoRR
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
2023 A conf
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance.
ICPC
Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti
2022 J jnl
Empirical Software Engineering and Formal Methods for IoT Systems.
ERCIM News
Davide Basile, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari
2022 — ed.
From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers
DataMod
Juliana Bowles, Giovanna Broccia, Roberto Pellungrini
2022 — conf
Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues.
HCI (38)
Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
2021 — conf
Feasibility of Spatial Model Checking for Nevus Segmentation.
FormaliSE@ICSE
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
2021 — ed.
From Data to Models and Back - 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
DataMod@CIKM
Juliana Bowles, Giovanna Broccia, Mirco Nanni
2021 — conf
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper).
MEDI Workshops
Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink
2020 A conf
DataMod2020: 9th International Symposium "From Data to Models and Back".
CIKM
Juliana Bowles, Giovanna Broccia, Mirco Nanni
2020 J jnl
Flexible Automatic Support for Web Accessibility Validation.
Proc. ACM Hum. Comput. Interact.
Giovanna Broccia, Marco Manca, Fabio Paternò, Francesca Pulina
2020 J jnl
Using Spatial Logic and Model Checking for Nevus Segmentation.
CoRR
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
2019 — —
A Formal Framework for Modelling and Analysing Safety-Critical Human Multitasking.
Giovanna Broccia
2019 J jnl
Formal modeling and analysis of safety-critical human multitasking.
Innov. Syst. Softw. Eng.
Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
2019 — conf
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking.
FM Workshops (1)
Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel
2018 — conf
An Executable Formal Framework for Safety-Critical Human Multitasking.
NFM
Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
2018 Misc conf
Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results.
EICS
Giovanna Broccia, Paolo Masci, Paolo Milazzo
2017 — conf
An Algorithm for Simulating Human Selective Attention.
SEFM Workshops
Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
2017 Misc conf
Model-based analysis of driver distraction by infotainment systems in automotive domain.
EICS
Giovanna Broccia