FERRARI, ALESSIO
FERRARI, ALESSIO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Data mining in railway diagnostic data for predictive maintenance
2025 Millitari', G.; Ferrari, A.; Spagnolo, G. O.
Formal requirements engineering and large language models: a two-way roadmap
2025 Ferrari, A.; Spoletini, P.
Model transformation and property preservation in rigorous software development: a systematic literature review
2025 Jadoon, G.; Ter Beek, M. H.; Ferrari, A.
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.
Replication in Requirements Engineering: the NLP for RE case
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
2024 Basile, Davide; TER BEEK, MAURICE HENRI; Ferrari, Alessio
Using voice and biofeedback to predict user engagement during product feedback interviews
2024 Ferrari, A.; Huichapa, T.; Spoletini, P.; Novielli, N.; Fucci, D.; Girardi, D.
Zero-shot learning for requirements classification: an exploratory study
2023 Alhoshan, W; Ferrari, A; Zhao, L
Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts
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
2022 TER BEEK, MAURICE HENRI; Ferrari, A
Empirical software engineering and formal methods for IoT systems
2022 Basile, D; TER BEEK, MAURICE HENRI; Broccia, G; Ferrari, A
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
2022 Basile D.; ter Beek M.H.; Ferrari A.; Legay A.
Formal Methods in railways: a systematic mapping study
2022 Ferrari A.; ter Beek M.H.
How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis
2022 Ferrari, A; Spoletini, P; Debnath, S
On the relationship between similar requirements and similar software: a case study in the railway domain
2022 Abbas, M; Ferrari, A; Shatnawi, A; Enoiu, E; Saadatm, M; Sundmark, D
Rethinking requirements engineering for sustainability
2022 Ferrari, A.; Bacco, F. M.
CaRE: a refinement calculus for requirements engineering based on argumentation theory
2021 Elrakaiby Y.; Borgida A.; Ferrari A.; Mylopoulos J.
Natural Language Processing for Requirements Engineering: A Systematic Mapping Study
2021 Zhao, L; Alhoshan, W; Ferrari, A; Letsholo, K J; Ajagbe, M A; Chioasca, E V; Batistanavarro, R T
Requirements engineering: foundation for software quality (REFSQ2020)
2021 Ferrari A.; Madhavji N. H.; Pasquale L.