Flexible automatic support for web accessibility validation G Broccia, M Manca, F Paternò, F Pulina Proceedings of the ACM on Human-Computer Interaction 4 (EICS), 1-24, 2020 | 30 | 2020 |
Feasibility of spatial model checking for nevus segmentation G Belmonte, G Broccia, V Ciancia, D Latella, M Massink 2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021 | 24 | 2021 |
Formal modeling and analysis of safety-critical human multitasking G Broccia, P Milazzo, PC Ölveczky Innovations in Systems and Software Engineering 15, 169-190, 2019 | 22 | 2019 |
An executable formal framework for safety-critical human multitasking G Broccia, P Milazzo, PC Ölveczky NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018 | 7 | 2018 |
An algorithm for simulating human selective attention G Broccia, P Milazzo, PC Ölveczky Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018 | 7 | 2018 |
Modeling and analysis of human memory load in multitasking scenarios: late-breaking results G Broccia, P Masci, P Milazzo Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing …, 2018 | 4 | 2018 |
Model-based analysis of driver distraction by infotainment systems in automotive domain G Broccia Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing …, 2017 | 4 | 2017 |
Evaluating a language workbench: from working memory capacity to comprehension to acceptance G Broccia, A Ferrari, M Ter Beek, W Cazzola, L Favalli, F Bertolotti 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC …, 2023 | 2 | 2023 |
Validation of a simulation algorithm for safety-critical human multitasking G Broccia, P Milazzo, C Belviso, CB Montiel Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 2 | 2020 |
A formal framework for modelling and analysing safety-critical human multitasking G Broccia | 2 | 2019 |
Querying medical imaging datasets using spatial logics (position paper) G Belmonte, G Broccia, L Bussi, V Ciancia, D Latella, M Massink Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 …, 2021 | 1 | 2021 |
From Data to Models and Back J Bowles, G Broccia, M Nanni Springer, 2021 | 1 | 2021 |
Un Domain Specific Language per la modellazione e l'analisi di giochi G BROCCIA | 1 | 2015 |
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements G Broccia, MH ter Beek, A Lluch Lafuente, P Spoletini, A Ferrari International Working Conference on Requirements Engineering: Foundation for …, 2024 | | 2024 |
Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues G Broccia, V Ciancia, D Latella, M Massink International Conference on Human-Computer Interaction, 103-111, 2022 | | 2022 |
Using Spatial Logics (Position Paper) G Belmonte, G Broccia, L Bussi, V Ciancia, D Latella, M Massink | | 2021 |
Using Spatial Logic and Model Checking for Nevus Segmentation G Belmonte, G Broccia, V Ciancia, D Latella, M Massink arXiv preprint arXiv:2012.13289, 2020 | | 2020 |
DataMod2020: 9th International Symposium" From Data to Models and Back" J Bowles, G Broccia, M Nanni Proceedings of the 29th ACM International Conference on Information …, 2020 | | 2020 |
Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results P Masci | | 2018 |
Cognitive Models for Usability Evaluation of Interactive Systems G Broccia, P Milazzo | | 2016 |