logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
A

Alessio Ferrari

university college dublin

32H-index
202Paper Count
3.5KCitation Count
Published Papers 18
Publication Date
logo
Empirical Formal Methods in Railways: Experiences and Roadmap
errRELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF0
err2026-01-01
err0
PREAI
errFerrari, Alessio
errShare
errSave
Model transformation and property preservation in rigorous software development: A systematic literature review
errJournal of Systems and Software
IF4.1
err2025-06-16
err0
errOAAI
errGullelala Jadoon; Maurice H. ter Beek; Alessio Ferrari
errShare
errSave
Formal requirements engineering and large language models: A two-way roadmap
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2025-05-01
err0
errOAAI
errFerrari, Alessio; Spoletini, Paola
errShare
errSave
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2025-02-01
err0
PREAI
errBroccia, Giovanna; ter Beek, Maurice H.; Lafuente, Alberto Lluch; Spoletini, Paola; Fantechi, Alessandro; Ferrari, Alessio
errShare
errSave
Replication in Requirements Engineering: The NLP for RE Case
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-06-27
err0
errOAAI
errAbualhaija, Sallam; Aydemir, F. Basak; Dalpiaz, Fabiano; Dell'Anna, Davide; Ferrari, Alessio; Franch, Xavier; Fucci, Davide
errShare
errSave
Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-04-17
err0
errOAAI
errFerrari, Alessio; Huichapa, Thaide; Spoletini, Paola; Novielli, Nicole; Fucci, Davide; Girardi, Daniela
errShare
errSave
Zero-shot learning for requirements classification: An exploratory study
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2023-07-01
err22
errOAAI
errAlhoshan, Waad; Ferrari, Alessio; Zhao, Liping
errShare
errSave
Formal Methods in Railways: A Systematic Mapping Study
errACM COMPUTING SURVEYS
IF28
err2022-11-21
err21
errOAAI
errFerrari, Alessio; Ter Beek, Maurice H.
errShare
errSave
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-11-01
err25
PREAI
errFerrari, Alessio; Mazzanti, Franco; Basile, Davide; ter Beek, Maurice H.
errShare
errSave
Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2022-05-01
err62
errOAAI
errFerrari, Alessio; Bacco, Manlio; Gaber, Kirsten; Jedlitschka, Andreas; Hess, Steffen; Kaipainen, Jouni; Koltsida, Panagiota; Toli, Eleni; Brunori, Gianluca
errShare
errSave
Requirements engineering: Foundation for software quality (REFSQ2020)
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2021-09-01
err0
PREAI
errFerrari, Alessio; Madhavji, Nazim H.; Pasquale, Liliana
errShare
errSave
Natural Language Processing for Requirements Engineering: A Systematic Mapping Study
errACM COMPUTING SURVEYS
IF28
err2021-04-17
err125
errOAAI
errZhao, Liping; Alhoshan, Waad; Ferrari, Alessio; Letsholo, Keletso J.; Ajagbe, Muideen A.; Chioasca, Erol-Valeriu; Batista-Navarro, Riza T.
errShare
errSave
Requirements Engineering (RE) for Social Good RE Cares
errIEEE SOFTWARE
IF3
err2019-01-01
err7
errOAAI
errDekhtyar, Alex; Hayes, Jane Huffman; Hadar, Irit; Combs, Erin; Ferrari, Alessio; Gregory, Sarah; Horkoff, Jennifer; Levy, Meira; Nayebi, Maleknaz; Paech, Barbara; Payne, Jared; Primrose, Matt; Spoletini, Paola; Clarke, Shell; Brophy, Chuck; Amyot, Daniel; Maalej, Walid; Ruhe, Guenther; Cleland-Huang, Jane; Zowghi, Didar
errShare
errSave
Natural Language Processing for Requirements Engineering The Best Is Yet to Come
errIEEE SOFTWARE
IF3
err2018-09-01
err62
errOAAI
errDalpiaz, Fabiano; Ferrari, Alessio; Franch, Xavier; Palomares, Cristina
errShare
errSave
Using machine learning to predict soil bulk density on the basis of visual parameters: Tools for in-field and post-field evaluation
errGEODERMA
IF6.6
err2018-05-01
err37
errOAAI
errBondi, Giulia; Creamer, Rachel; Ferrari, Alessio; Fenton, Owen; Wall, David
errShare
errSave
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2018-02-20
err59
PREAI
errFerrari, Alessio; Gori, Gloria; Rosadini, Benedetta; Trotta, Iacopo; Bacherini, Stefano; Fantechi, Alessandro; Gnesi, Stefania
errShare
errSave
Natural Language Requirements Processing A 4D Vision
errIEEE SOFTWARE
IF3
err2017-11-01
err39
errOAAI
errFerrari, Alessio; Dell'Orletta, Felice; Esuli, Andrea; Gervasi, Vincenzo; Gnesi, Stefania
errShare
errSave
Model-Based Development and Formal Methods in the Railway Industry
errIEEE SOFTWARE
IF3
err2013-05-01
err26
PREAI
errFerrari, Alessio; Fantechi, Alessandro; Gnesi, Stefania; Magnani, Gianluca
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Jane Cleland‐Huang
H-index: 47 · Papers: 313
O
Owen Fenton
H-index: 47 · Papers: 315
X
Xavier Franch
H-index: 45 · Papers: 621
R
Rachel Creamer
H-index: 45 · Papers: 173
G
Gianluca Brunori
H-index: 43 · Papers: 395
View more