CNR Institutional Research Information System

FERRARI, ALESSIO

FERRARI, ALESSIO  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 191 (tempo di esecuzione: 0.026 secondi).
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
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
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.
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, Zoe; Miori, V.; Tolomei, Gabriele; Waheed, T.; Marchetti, E.; Calabrò, Antonello.; Rossetti, G.; Stella, Massimo; Cazabet, Rémy; 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.; Alejandro, Moreo; Sebastiani, F.; Sperduti, G.; Nguyen, Dong; Broccia, G.; Ter Beek, M. H.; Ferrari, A.; Massink, M.; Belmonte, Gina; 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, Jonas; Meyer, Thomas; 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, Dongjae; Di Giandomenico, F.; Jee, Eunkyoung; 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, Gabriele
LLM-Guided indoor navigation with multimodal map understanding 1-gen-2025 Coffrini, A.; Barsocchi, P.; Furfari, F.; Crivello, A.; Ferrari, A.
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.
Sustainable digitalisation - a system thinking approach for determining costs and benefits in the agri-sector 1-gen-2025 Soma, K.; Brunori, G.; Giagnocavo, C.; Meulman, F.; Ryan, M.; Heredia Hortigüela, R. M.; Iliopoulos, C.; Paulus, M.; Ferrari, A.; Kilis, E.; Grando, S.; Bellon-Maurel, V.; Knierim, A; Gobrecht, A; Selnes, T.; Ortolani, L.; Bacco, M.; Mannari, 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.