BROCCIA, GIOVANNA
BROCCIA, GIOVANNA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
An experience report on leveraging LLMs for GUI generation: automating coding to prioritise creativity
2025 Broccia, G.; Borselli, A.; Cefaloni, M. R.; Delcorno, F.; Ferrari, A.
HumAInFlow : a no-code platform for modelling and simulating Human-AI workflows
2025 Broccia, G.; Cirillo, R.; Ferrari, A.; Lelii, L.; Spagnolo, G. O.
ISTI-day 2025 Proceedings
2025 Del Corso, G.; Pedrotti, A.; Federico, G.; Gennaro, C.; Carrara, F.; Amato, G.; Di Benedetto, M.; Gabrielli, E.; Belli, D.; Matrullo, Z.; Miori, V.; Tolomei, G.; Waheed, T.; Marchetti, E.; Calabrò, A.; Rossetti, G.; Stella, M.; Cazabet, R.; Abramski, K.; Cau, E.; Citraro, S.; Failla, A.; Mesina, V.; Morini, V.; Pansanella, V.; Colantonio, S.; Germanese, D.; Pascali, M. A.; Bianchi, L.; Messina, N.; Falchi, F.; Barsellotti, L.; Pacini, G.; Cassese, M.; Puccetti, G.; Esuli, A.; Volpi, L.; Moreo, A.; Sebastiani, F.; Sperduti, G.; Nguyen, D.; Broccia, G.; Ter Beek, M. H.; Ferrari, A.; Massink, M.; Belmonte, G.; Ciancia, V.; Papini, O.; Canapa, G.; Catricala', B.; Manca, M.; Paterno', F.; Santoro, C.; Zedda, E.; Gallo, S.; Maenza, S.; Mattioli, A.; Simeoli, L.; Rucci, D.; Carlini, E.; Dazzi, P.; Kavalionak, H.; Mordacchini, M.; Rulli, C.; Muntean, CRISTINA-IOANA; Nardini, F. M.; Perego, R.; Rocchietti, G.; Lettich, F.; Renso, C.; Pugliese, C.; Casini, G.; Haldimann, J.; Meyer, T.; Assante, M.; Candela, L.; Dell'Amico, A.; Frosini, L.; Mangiacrapa, F.; Oliviero, A.; Pagano, P.; Panichi, G.; Peccerillo, B.; Procaccini, M.; Mannocci, A.; Manghi, P.; Lonetti, F.; Kang, D.; Di Giandomenico, F.; Jee, E.; Lazzini, G.; Conti, F.; Scopigno, R.; D'Acunto, M.; Moroni, D.; Cafiso, M.; Paradisi, P.; Callieri, M.; Pavoni, G.; Corsini, M.; De Falco, A.; Sala, F.; Saraceni, Q.; Gattiglia, G.
On the impact of requirements smells in prompts: the case of automated traceability
2025 Vogelsang, A.; Korn, A.; Broccia, G.; Ferrari, A.; Fischbach, J.; Arora, C.
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.
D3.2.1: AA@THE User needs, technical requirements and specifications
2023 Pratali, Lorenza; Delmastro, Franca; Campana, Mattia; Di Martino, Flavio; Pescosolido, Loreto; Barsocchi, Paolo; Broccia, Giovanna; Ciancia, Vincenzo; Gennaro, Claudio; Girolami, Michele; Lagani, Gabriele; Latella, Diego; Magrini, Massimo; Manca, Marco; Massink, Mieke; Mattioli, Andrea; Moroni, Davide; Palumbo, Filippo; Paradisi, Paolo; Paternò, Fabio; Sebastiani, Laura; Vairo, Claudio; Santoro, Carmelina; La Rosa, Davide
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 |
|---|---|---|---|
| An experience report on leveraging LLMs for GUI generation: automating coding to prioritise creativity | 1-gen-2025 | Broccia, G.; Borselli, A.; Cefaloni, M. R.; Delcorno, F.; Ferrari, A. | |
| HumAInFlow : a no-code platform for modelling and simulating Human-AI workflows | 1-gen-2025 | Broccia, G.; Cirillo, R.; Ferrari, A.; Lelii, L.; Spagnolo, G. O. | |
| ISTI-day 2025 Proceedings | 1-gen-2025 | Del Corso, G.; Pedrotti, A.; Federico, G.; Gennaro, C.; Carrara, F.; Amato, G.; Di Benedetto, M.; Gabrielli, E.; Belli, D.; Matrullo, Z.; Miori, V.; Tolomei, G.; Waheed, T.; Marchetti, E.; Calabrò, A.; Rossetti, G.; Stella, M.; Cazabet, R.; Abramski, K.; Cau, E.; Citraro, S.; Failla, A.; Mesina, V.; Morini, V.; Pansanella, V.; Colantonio, S.; Germanese, D.; Pascali, M. A.; Bianchi, L.; Messina, N.; Falchi, F.; Barsellotti, L.; Pacini, G.; Cassese, M.; Puccetti, G.; Esuli, A.; Volpi, L.; Moreo, A.; Sebastiani, F.; Sperduti, G.; Nguyen, D.; Broccia, G.; Ter Beek, M. H.; Ferrari, A.; Massink, M.; Belmonte, G.; Ciancia, V.; Papini, O.; Canapa, G.; Catricala', B.; Manca, M.; Paterno', F.; Santoro, C.; Zedda, E.; Gallo, S.; Maenza, S.; Mattioli, A.; Simeoli, L.; Rucci, D.; Carlini, E.; Dazzi, P.; Kavalionak, H.; Mordacchini, M.; Rulli, C.; Muntean, CRISTINA-IOANA; Nardini, F. M.; Perego, R.; Rocchietti, G.; Lettich, F.; Renso, C.; Pugliese, C.; Casini, G.; Haldimann, J.; Meyer, T.; Assante, M.; Candela, L.; Dell'Amico, A.; Frosini, L.; Mangiacrapa, F.; Oliviero, A.; Pagano, P.; Panichi, G.; Peccerillo, B.; Procaccini, M.; Mannocci, A.; Manghi, P.; Lonetti, F.; Kang, D.; Di Giandomenico, F.; Jee, E.; Lazzini, G.; Conti, F.; Scopigno, R.; D'Acunto, M.; Moroni, D.; Cafiso, M.; Paradisi, P.; Callieri, M.; Pavoni, G.; Corsini, M.; De Falco, A.; Sala, F.; Saraceni, Q.; Gattiglia, G. | |
| On the impact of requirements smells in prompts: the case of automated traceability | 1-gen-2025 | Vogelsang, A.; Korn, A.; Broccia, G.; Ferrari, A.; Fischbach, J.; Arora, C. | |
| 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. | |
| D3.2.1: AA@THE User needs, technical requirements and specifications | 1-gen-2023 | Pratali, Lorenza; Delmastro, Franca; Campana, Mattia; Di Martino, Flavio; Pescosolido, Loreto; Barsocchi, Paolo; Broccia, Giovanna; Ciancia, Vincenzo; Gennaro, Claudio; Girolami, Michele; Lagani, Gabriele; Latella, Diego; Magrini, Massimo; Manca, Marco; Massink, Mieke; Mattioli, Andrea; Moroni, Davide; Palumbo, Filippo; Paradisi, Paolo; Paternò, Fabio; Sebastiani, Laura; Vairo, Claudio; Santoro, Carmelina; La Rosa, Davide | |
| 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 |