FERRARI, ALESSIO
FERRARI, ALESSIO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
A history of formal methods in railways
2026 Ter Beek, Maurice Henri; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Haxthausen Anne, E.; Lecomte, Thierry
Assessing computational thinking through integrated approaches: the case of ModeLLer
2026 Mannari, Chiara; Turchi, Tommaso; Versino, Serena; Bacco, Felice Manlio; Ferrari, Alessio; Conati, Cristina; Malizia, Alessio
BPM-CBA: a process modelling approach to mapping cost-benefit drivers in digital agriculture
2026 Lepore, Fabio; Sportelli, Mino; Mannari, Chiara; Bacco, Felice Manlio; Ferrari, Alessio; Brunori, Gianluca; Vergamini, Daniele
Business process modelling to design drone services for sustainable semi-natural grasslands
2026 Mannari, Chiara; Sportelli, Mino; Bacco, Felice Manlio; Ferrari, Alessio; Sampaio De Lima, Raul; Tamar Storie, Joanna; Gailite, Vineta
Comparing soil organic carbon stock estimation methods for agricultural stony soils in Ireland: a regression-based approach
2026 Bondi, Giulia; Ferrari, Alessio; Daly, Karen; Schillaci, Calogero; Lanigan, Gary; Fenton, Owen
Designing adaptive AI assistance for block-based modelling: a Wizard of Oz study with domain experts
2026 Mannari, Chiara; Turchi, Tommaso; Bacco, Felice Manlio; Ferrari, Alessio; Conati, Cristina; Malizia, Alessio
End-user requirements modelling: an experience report in agricultural living labs
2026 Mannari, Chiara; Sportelli, Mino; Meesala, Harika; Okoye Ogochukwu, Felicitas; Lepore, Fabio; Bacco, Felice Manlio; Brunori, Gianluca; Malizia, Alessio; Ferrari, Alessio
Fairness as a first-class requirement: a fairness hazard analysis approach to socio-technical processes
2026 Broccia, Giovanna; Lelii, Lucio; Cirillo, Roberto; Di Nucci, Dario; Fricker, Samuel; Palomba, Fabio; Spagnolo, Giorgio Oronzo; Ferrari, Alessio
Formal methods for railway systems: a survey of research and technology transfer projects
2026 Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio
Large language models as design partners: automating graphical mockups to refine requirements
2026 Broccia, Giovanna; Ter Beek, Maurice Henri; Ferrari, Alessio
A framework integrating agile software development principles for co-design and participatory cost-benefit evaluation in digital agriculture
2025 Lepore, F.; Vergamini, D.; Ortolani, L.; Mannari, C.; Ferrari, A.; Bacco, M.; Brunori, G.
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.
CODECS Deliverable D3.2. Analysis of Digital Ecosystems
2025 Giagnocavo, C.; Hortigüela, R. M. H.; Olmedo Osuna, L.; Knierim, A.; Herrera, B.; Ferrari, A.; Mannari, C.; Bacco, M.
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.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A history of formal methods in railways | 1-gen-2026 | Ter Beek, Maurice Henri; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Haxthausen Anne, E.; Lecomte, Thierry | |
| Assessing computational thinking through integrated approaches: the case of ModeLLer | 1-gen-2026 | Mannari, Chiara; Turchi, Tommaso; Versino, Serena; Bacco, Felice Manlio; Ferrari, Alessio; Conati, Cristina; Malizia, Alessio | |
| BPM-CBA: a process modelling approach to mapping cost-benefit drivers in digital agriculture | 1-gen-2026 | Lepore, Fabio; Sportelli, Mino; Mannari, Chiara; Bacco, Felice Manlio; Ferrari, Alessio; Brunori, Gianluca; Vergamini, Daniele | |
| Business process modelling to design drone services for sustainable semi-natural grasslands | 1-gen-2026 | Mannari, Chiara; Sportelli, Mino; Bacco, Felice Manlio; Ferrari, Alessio; Sampaio De Lima, Raul; Tamar Storie, Joanna; Gailite, Vineta | |
| Comparing soil organic carbon stock estimation methods for agricultural stony soils in Ireland: a regression-based approach | 1-gen-2026 | Bondi, Giulia; Ferrari, Alessio; Daly, Karen; Schillaci, Calogero; Lanigan, Gary; Fenton, Owen | |
| Designing adaptive AI assistance for block-based modelling: a Wizard of Oz study with domain experts | 1-gen-2026 | Mannari, Chiara; Turchi, Tommaso; Bacco, Felice Manlio; Ferrari, Alessio; Conati, Cristina; Malizia, Alessio | |
| End-user requirements modelling: an experience report in agricultural living labs | 1-gen-2026 | Mannari, Chiara; Sportelli, Mino; Meesala, Harika; Okoye Ogochukwu, Felicitas; Lepore, Fabio; Bacco, Felice Manlio; Brunori, Gianluca; Malizia, Alessio; Ferrari, Alessio | |
| Fairness as a first-class requirement: a fairness hazard analysis approach to socio-technical processes | 1-gen-2026 | Broccia, Giovanna; Lelii, Lucio; Cirillo, Roberto; Di Nucci, Dario; Fricker, Samuel; Palomba, Fabio; Spagnolo, Giorgio Oronzo; Ferrari, Alessio | |
| Formal methods for railway systems: a survey of research and technology transfer projects | 1-gen-2026 | Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio | |
| Large language models as design partners: automating graphical mockups to refine requirements | 1-gen-2026 | Broccia, Giovanna; Ter Beek, Maurice Henri; Ferrari, Alessio | |
| A framework integrating agile software development principles for co-design and participatory cost-benefit evaluation in digital agriculture | 1-gen-2025 | Lepore, F.; Vergamini, D.; Ortolani, L.; Mannari, C.; Ferrari, A.; Bacco, M.; Brunori, G. | |
| 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. | |
| CODECS Deliverable D3.2. Analysis of Digital Ecosystems | 1-gen-2025 | Giagnocavo, C.; Hortigüela, R. M. H.; Olmedo Osuna, L.; Knierim, A.; Herrera, B.; Ferrari, A.; Mannari, C.; Bacco, M. | |
| 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. |