BROCCIA, GIOVANNA
BROCCIA, GIOVANNA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Assessing the understandability and acceptance of attack-defense trees for modelling security requirements
2024 Broccia, G.; ter Beek, M. H.; Lluch Lafuente, A.; Spoletini, P.; Ferrari, A.
Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication
2024 Broccia, G.; ter Beek, M. H.; Lluch Lafuente, A.; Spoletini, P.; Fantechi, A.; Ferrari, A.
Evaluating a language workbench: from working memory capacity to comprehension to acceptance
2023 Broccia, G; Ferrari, A; TER BEEK, MAURICE HENRI; Cazzola, W; Favalli, L; Bertolotti, F
Message from the Chairs: FormaliSE 2023
2023 Gnesi, S; Plat, N; Jakobs, M C; Murray, T; Ferrari, A; Broccia, G
THE D.3.2.1 - AA@THE User needs, technical requirements and specifications
2023 Pratali, L; Campana, MATTIA GIOVANNI; Delmastro, F; Di Martino, F; Pescosolido, L; Barsocchi, P; Broccia, G; Ciancia, V; Gennaro, C; Girolami, M; Lagani, G; La Rosa, D; Latella, D; Magrini, M; Manca, M; Massink, M; Mattioli, A; Moroni, D; Palumbo, F; Paradisi, P; Paternò, F; Santoro, C; Sebastiani, L; Vairo, C
Empirical software engineering and formal methods for IoT systems
2022 Basile, D; TER BEEK, MAURICE HENRI; Broccia, G; Ferrari, A
Towards a GUI for declarative medical image analysis: cognitive and memory load issues
2022 Broccia, G; Ciancia, V; Latella, D; Massink, M
A graphical user interface for medical image analysis with declarative spatial logic - Cognitive and memory load evaluation
2021 Broccia, G; Ciancia, V; Latella, D; Massink, M
Feasibility of Spatial Model Checking for Nevus Segmentation
2021 Belmonte, G; Broccia, G; Ciancia, V; Latella, D; Massink, M
Querying medical imaging datasets using spatial logics (Position paper)
2021 Belmonte G.; Broccia G.; Bussi L.; Ciancia V.; Latella D.; Massink M.
DataMod2020: 9th International Symposium "from Data to Models and Back"
2020 Bowles, J; Broccia, G; Nanni, M
Flexible automatic support for web accessibility validation
2020 Broccia, G; Manca, M; Paternò, F; Pulina, F
Using spatial logic and model checking for nevus segmentation
2020 Belmonte, G; Broccia, G; Ciancia, V; Latella, D; Massink, M
MAUVE++
2019 Manca, M; Paternò, F; Santoro, C; Iannuzzi, N; Broccia, G; Pulina, F
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Assessing the understandability and acceptance of attack-defense trees for modelling security requirements | 1-gen-2024 | Broccia, G.; ter Beek, M. H.; Lluch Lafuente, A.; Spoletini, P.; Ferrari, A. | |
| Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication | 1-gen-2024 | Broccia, G.; ter Beek, M. H.; Lluch Lafuente, A.; Spoletini, P.; Fantechi, A.; Ferrari, A. | |
| Evaluating a language workbench: from working memory capacity to comprehension to acceptance | 1-gen-2023 | Broccia, G; Ferrari, A; TER BEEK, MAURICE HENRI; Cazzola, W; Favalli, L; Bertolotti, F | |
| Message from the Chairs: FormaliSE 2023 | 1-gen-2023 | Gnesi, S; Plat, N; Jakobs, M C; Murray, T; Ferrari, A; Broccia, G | |
| THE D.3.2.1 - AA@THE User needs, technical requirements and specifications | 1-gen-2023 | Pratali, L; Campana, MATTIA GIOVANNI; Delmastro, F; Di Martino, F; Pescosolido, L; Barsocchi, P; Broccia, G; Ciancia, V; Gennaro, C; Girolami, M; Lagani, G; La Rosa, D; Latella, D; Magrini, M; Manca, M; Massink, M; Mattioli, A; Moroni, D; Palumbo, F; Paradisi, P; Paternò, F; Santoro, C; Sebastiani, L; Vairo, C | |
| Empirical software engineering and formal methods for IoT systems | 1-gen-2022 | Basile, D; TER BEEK, MAURICE HENRI; Broccia, G; Ferrari, A | |
| Towards a GUI for declarative medical image analysis: cognitive and memory load issues | 1-gen-2022 | Broccia, G; Ciancia, V; Latella, D; Massink, M | |
| A graphical user interface for medical image analysis with declarative spatial logic - Cognitive and memory load evaluation | 1-gen-2021 | Broccia, G; Ciancia, V; Latella, D; Massink, M | |
| Feasibility of Spatial Model Checking for Nevus Segmentation | 1-gen-2021 | Belmonte, G; Broccia, G; Ciancia, V; Latella, D; Massink, M | |
| Querying medical imaging datasets using spatial logics (Position paper) | 1-gen-2021 | Belmonte G.; Broccia G.; Bussi L.; Ciancia V.; Latella D.; Massink M. | |
| DataMod2020: 9th International Symposium "from Data to Models and Back" | 1-gen-2020 | Bowles, J; Broccia, G; Nanni, M | |
| Flexible automatic support for web accessibility validation | 1-gen-2020 | Broccia, G; Manca, M; Paternò, F; Pulina, F | |
| Using spatial logic and model checking for nevus segmentation | 1-gen-2020 | Belmonte, G; Broccia, G; Ciancia, V; Latella, D; Massink, M | |
| MAUVE++ | 1-gen-2019 | Manca, M; Paternò, F; Santoro, C; Iannuzzi, N; Broccia, G; Pulina, F |