Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. - Benedetta Rosadini; Alessio Ferrari 001; Gloria Gori; Alessandro Fantechi; Stefania Gnesi; Iacopo Trotta; Stefano Bacherini (REFSQ, 2017)

Analysis of a Road/Tramway Intersection by the ORIS Tool. - Laura Carnevali; Alessandro Fantechi; Gloria Gori; Enrico Vicario (VECoS, 2018)

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. - Alessio Ferrari 001; Gloria Gori; Benedetta Rosadini; Iacopo Trotta; Stefano Bacherini; Alessandro Fantechi; Stefania Gnesi (Empir. Softw. Eng., 2018)

Stochastic modeling and analysis of road-tramway intersections. - Laura Carnevali; Alessandro Fantechi; Gloria Gori; Enrico Vicario (Innov. Syst. Softw. Eng., 2020)

Runtime Reliability Monitoring for Complex Fault-Tolerance Policies. - Alessandro Fantechi; Gloria Gori; Marco Papini (ICSRS, 2022)

Future Train Control Systems: Challenges for Dependability Assessment. - Alessandro Fantechi; Stefania Gnesi; Gloria Gori (ISoLA (4), 2022)

Software rejuvenation and runtime reliability monitoring. - Alessandro Fantechi; Gloria Gori; Marco Papini (ISSRE Workshops, 2022)

Compositional Verification of Railway Interlockings: Comparison of Two Methods. - Alessandro Fantechi; Gloria Gori; Anne E. Haxthausen; Christophe Limbrée (RSSRail, 2022)

Decomposing the Verification of Interlocking Systems. - Anne E. Haxthausen; Alessandro Fantechi; Gloria Gori (Applicable Formal Methods for Safe Industrial Products, 2023)

Automated Compositional Verification of Interlocking Systems. - Anne E. Haxthausen; Alessandro Fantechi; Gloria Gori; Óli Kárason Mikkelsen; Sofie-Amalie Petersen (RSSRail, 2023)

An Integrated Perspective on the Evaluation of Complex Railway Systems. - Davide Basile 001; Maurice H. ter Beek; Laura Carnevali; Silvano Chiaradonna; Felicita Di Giandomenico; Alessandro Fantechi; Gloria Gori (ISoLA (5), 2024)

Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. - Christophe Limbrée; Anne E. Haxthausen; Gloria Gori; Alessandro Fantechi (ISoLA (5), 2024)

Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles. - Laura Carnevali; Alessandro Fantechi; Gloria Gori; Denis Vreshtazi; Alessandro Borselli; Maria Rosaria Cefaloni; Lucio Rota (FMICS, 2025)

Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review. - Laura Carnevali; Felicita Di Giandomenico; Alessandro Fantechi; Stefania Gnesi; Gloria Gori (IEEE Trans. Intell. Transp. Syst., 2025)