FERRARI, ALESSIO
FERRARI, ALESSIO
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.
Assessing computational thinking skills through artefacts: the case of modeLLer
2025 Mannari, C.; Turchi, T.; Frosali, C.; Bacco, M.; Ferrari, A.; Conati, C.; Malizia, A.
Automatic prompt engineering: the case of requirements classification
2025 Zadenoori, M. A.; Zhao, L.; Alhoshan, W.; Ferrari, A.
Data mining in railway diagnostic data for predictive maintenance
2025 Millitari', G.; Ferrari, A.; Spagnolo, G. O.
End-user requirements modelling: an experience report from digital agriculture
2025 Mannari, C.; Sportelli, M.; Meesala, H.; Okoye, O. F.; Lepore, F.; Bacco, M.; Brunori, G.; Malizia, A.; Ferrari, A.
Foreword to the 2nd Workshop on multi-disciplinary, open, and integrated requirements engineering (MO2RE’25)
2025 Abualhaija, S.; Amyot, D.; Arora, C.; Ferrari, A.; Fucci, D.; Spoletini, P.
Formal requirements engineering and large language models: a two-way roadmap
2025 Ferrari, A.; Spoletini, P.
Handbook on natural language processing for requirements engineering: overview
2025 Ferrari, A.; Ginde, G.
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.
Model transformation and property preservation in rigorous software development: a systematic literature review
2025 Jadoon, G.; Ter Beek, M. H.; Ferrari, A.
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.
Preface to the Handbook on natural language processing for requirements engineering
2025 Ferrari, A.; Ginde, G.
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.
CN MOST SP4 D1.3.1: Report on formal models
2024 Basile, D.; Ter Beek, M.; Di Giandomenico, F.; Ferrari, A.; Mazzanti, F.; Chiaradonna, S.; Team Of Intesa San, Paolo
Editorial for the REFSQ’23 special issue
2024 Penzenstadler, B.; 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.
Foreword to MO2RE 2024
2024 Abualhaija, S.; Arora, C.; Ferrari, A.; Fucci, D.; Spoletini, P.
Identifying maintenance needs with machine learning: a case study in railways
2024 Ferdous, R.; Spagnolo, G. O.; Borselli, A.; Rota, L.; Ferrari, A.
Model generation with LLMs: from requirements to {UML} sequence diagrams
2024 Ferrari, A.; Abualhaija, S.; Arora, C.
| 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. | |
| Assessing computational thinking skills through artefacts: the case of modeLLer | 1-gen-2025 | Mannari, C.; Turchi, T.; Frosali, C.; Bacco, M.; Ferrari, A.; Conati, C.; Malizia, A. | |
| Automatic prompt engineering: the case of requirements classification | 1-gen-2025 | Zadenoori, M. A.; Zhao, L.; Alhoshan, W.; Ferrari, A. | |
| Data mining in railway diagnostic data for predictive maintenance | 1-gen-2025 | Millitari', G.; Ferrari, A.; Spagnolo, G. O. | |
| End-user requirements modelling: an experience report from digital agriculture | 1-gen-2025 | Mannari, C.; Sportelli, M.; Meesala, H.; Okoye, O. F.; Lepore, F.; Bacco, M.; Brunori, G.; Malizia, A.; Ferrari, A. | |
| Foreword to the 2nd Workshop on multi-disciplinary, open, and integrated requirements engineering (MO2RE’25) | 1-gen-2025 | Abualhaija, S.; Amyot, D.; Arora, C.; Ferrari, A.; Fucci, D.; Spoletini, P. | |
| Formal requirements engineering and large language models: a two-way roadmap | 1-gen-2025 | Ferrari, A.; Spoletini, P. | |
| Handbook on natural language processing for requirements engineering: overview | 1-gen-2025 | Ferrari, A.; Ginde, G. | |
| 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. | |
| Model transformation and property preservation in rigorous software development: a systematic literature review | 1-gen-2025 | Jadoon, G.; Ter Beek, M. H.; Ferrari, A. | |
| 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. | |
| Preface to the Handbook on natural language processing for requirements engineering | 1-gen-2025 | Ferrari, A.; Ginde, G. | |
| 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. | |
| CN MOST SP4 D1.3.1: Report on formal models | 1-gen-2024 | Basile, D.; Ter Beek, M.; Di Giandomenico, F.; Ferrari, A.; Mazzanti, F.; Chiaradonna, S.; Team Of Intesa San, Paolo | |
| Editorial for the REFSQ’23 special issue | 1-gen-2024 | Penzenstadler, B.; 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. | |
| Foreword to MO2RE 2024 | 1-gen-2024 | Abualhaija, S.; Arora, C.; Ferrari, A.; Fucci, D.; Spoletini, P. | |
| Identifying maintenance needs with machine learning: a case study in railways | 1-gen-2024 | Ferdous, R.; Spagnolo, G. O.; Borselli, A.; Rota, L.; Ferrari, A. | |
| Model generation with LLMs: from requirements to {UML} sequence diagrams | 1-gen-2024 | Ferrari, A.; Abualhaija, S.; Arora, C. |