Get started
Author

Giovanna Broccia

Observed names: BROCCIA, GIOVANNA, Broccia G., Broccia, Giovanna
ORCID: 0000-0002-4737-5761
Observed ORCID: 0000-0002-4737-5761
OpenAlex ID: A5068337609
Flexible Automatic Support for Web Accessibility Validation
2020 · Giovanna Broccia, Marco Manca, et al. · Proceedings of the ACM on Human-Computer Interaction · 31
Feasibility of Spatial Model Checking for Nevus Segmentation
2021 · Gina Belmonte, Giovanna Broccia, et al. · IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE) · 25
Formal modeling and analysis of safety-critical human multitasking
2019 · Giovanna Broccia, Paolo Milazzo, et al. · Innovations in Systems and Software Engineering · 24
On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability
2025 · Andreas Vogelsang, Alexander Korn, et al. · IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) · 23
PDF
Modeling and Analysis of Human Memory Load in Multitasking Scenarios
2018 · Giovanna Broccia, Paolo Masci, et al. · ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) · 23
PDF
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance
2023 · Giovanna Broccia, Alessio Ferrari, et al. · IEEE International Conference on Program Comprehension (ICPC) · 6
An Algorithm for Simulating Human Selective Attention
2018 · Giovanna Broccia, Paolo Milazzo, et al. · Lecture notes in computer science · 5
An Executable Formal Framework for Safety-Critical Human Multitasking
2018 · Giovanna Broccia, Paolo Milazzo, et al. · Lecture notes in computer science · 5
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
2024 · Giovanna Broccia, Maurice H. ter Beek, et al. · Lecture notes in computer science · 4
Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues
2022 · Giovanna Broccia, Vincenzo Ciancia, et al. · Communications in computer and information science · 4
Model-based analysis of driver distraction by infotainment systems in automotive domain
2017 · Giovanna Broccia · ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) · 3
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
2020 · Giovanna Broccia, Paolo Milazzo, et al. · Lecture notes in computer science · 2
From Prompting to Engineering: A Research Agenda for Prompt Engineering in Software Engineering
2026 · Vincenzo De Martino, Giovanna Broccia, et al. · ACM SIGSOFT Software Engineering Notes · 1
PDF
Fairness Hazard Analysis for Socio-Technical Processes: A Multiple-Case Study in Bias-sensitive Organisational Settings
2026 · Giovanna Broccia, Lucio Lelii, et al. · Research Square · 1
PDF
The Role of Cognitive Abilities in Requirements Inspection: Comparing UML and Textual Representations
2026 · Broccia, Giovanna, Vegas, Sira, et al. · arXiv (Cornell University) · 1
PDF
Fairness as a First-Class Requirement: A Fairness Hazard Analysis Approach to Socio-Technical Processes
2026 · Giovanna Broccia, Lucio Lelii, et al. · Lecture notes in computer science · 1
Exploring the Role of Cognitive Abilities in Requirements Inspection: Comparing UML and Textual Representations - Replication Package
2025 · Broccia, Giovanna · Zenodo (CERN European Organization for Nuclear Research) · 1
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication
2024 · Giovanna Broccia, Maurice H. ter Beek, et al. · Information and Software Technology · 1
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)
2021 · Gina Belmonte, Giovanna Broccia, et al. · Communications in computer and information science · 1
Using Spatial Logic and Model Checking for Nevus Segmentation
2020 · Belmonte, Gina, Broccia, Giovanna, et al. · arXiv (Cornell University) · 1
PDF
Human-AI Collaboration in Requirements Engineering: Evidence of the Negative Effect of LLMs on Requirements Inspection
2026 · Broccia, Giovanna, Frattini, Julian, et al. · arXiv (Cornell University)
PDF
Comprehension vs. Adoption: Evaluating a Language Workbench Through a Family of Experiments
2026 · Broccia, Giovanna, ter Beek, Maurice H., et al. · arXiv (Cornell University)
PDF
Formal Methods for Railway Systems: A Survey of Research and Technology Transfer Projects
2026 · Davide Basile, Maurice H. ter Beek, et al. · Lecture notes in computer science
THE D.3.2.1 - AA@THE User needs, technical requirements and specifications
2023 · Pratali L., Campana M. G., et al. · ISTI Open Portal
From Data to Models and Back
2022 · Juliana Bowles, Giovanna Broccia, et al. · Lecture notes in computer science
Works count: 44
Citation count: 146
H-index: 5
I10-index: 5
Year
Topic
Type