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 44 (tempo di esecuzione: 0.055 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
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
Data mining in railway diagnostic data for predictive maintenance 1-gen-2025 Millitari', G.; Ferrari, A.; Spagnolo, G. O.
Formal requirements engineering and large language models: a two-way roadmap 1-gen-2025 Ferrari, A.; Spoletini, P.
Model transformation and property preservation in rigorous software development: a systematic literature review 1-gen-2025 Jadoon, G.; Ter Beek, M. H.; Ferrari, A.
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.
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.
Replication in Requirements Engineering: the NLP for RE case 1-gen-2024 Abualhaija, S.; Aydemir, F. B.; Dalpiaz, F.; Dell'Anna, D.; Ferrari, A.; Franch, X.; Fucci, D.
Sustainable mobility: increase of capacity and digitisation of railway transport 1-gen-2024 Basile, Davide; TER BEEK, MAURICE HENRI; Ferrari, Alessio
Using voice and biofeedback to predict user engagement during product feedback interviews 1-gen-2024 Ferrari, A.; Huichapa, T.; Spoletini, P.; Novielli, N.; Fucci, D.; Girardi, D.
Zero-shot learning for requirements classification: an exploratory study 1-gen-2023 Alhoshan, W; Ferrari, A; Zhao, L
Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts 1-gen-2022 Ferrari A.; Bacco M.; Gaber K.; Jedlitschka A.; Hess S.; Kaipainen J.; Koltsida P.; Toli E.; Brunori G.
Empirical formal methods: guidelines for performing empirical studies on formal methods 1-gen-2022 TER BEEK, MAURICE HENRI; Ferrari, A
Empirical software engineering and formal methods for IoT systems 1-gen-2022 Basile, D; TER BEEK, MAURICE HENRI; Broccia, G; Ferrari, A
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods 1-gen-2022 Basile D.; ter Beek M.H.; Ferrari A.; Legay A.
Formal Methods in railways: a systematic mapping study 1-gen-2022 Ferrari A.; ter Beek M.H.
How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis 1-gen-2022 Ferrari, A; Spoletini, P; Debnath, S
On the relationship between similar requirements and similar software: a case study in the railway domain 1-gen-2022 Abbas, M; Ferrari, A; Shatnawi, A; Enoiu, E; Saadatm, M; Sundmark, D
Rethinking requirements engineering for sustainability 1-gen-2022 Ferrari, A.; Bacco, F. M.