Gloria Gori

dblp:195/3412 · DBLP profile ↗
← Back
8ranked-venue papers
0as first author
5since 2021 · last 2025
0000-0002-8482-2612ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 7 · 4 since 2021Theory of computation · 1Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021
YearPublicationVenuePosition
2025 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
FMICS3
2025 Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review
abstract
Technological advances in modern Train Control Systems (TCSs) promise to improve dependability of railway transportation in terms of safety, availability, and capacity, notably by employing novel distancing policies such as Moving Block (MB) signaling and Virtual Coupling (VC), fueled by advanced train localization methods such as satellite positioning. At the same time, these technological advances raise notable concerns about the effects that uncertainty in critical TCS parameters (such as train position and speed) may have on dependability-related attributes. Recently, various approaches have been proposed to characterize such effects through quantitative measures, leveraging formal stochastic modeling and evaluation of the TCS behavior. In this paper, we illustrate the results of a systematic review of the literature on quantitative evaluation of dependability-related attributes of TCSs under uncertainty on vital parameters. Specifically, we have finally selected 42 relevant papers, published between 2011 and 2023, that succeed in giving, through an empirical perspective and classification, a comprehensive view of current research and practice in quantitative dependability assessment of TCSs.
Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori
IEEE Trans. Intell. Transp. Syst.5
2024 An Integrated Perspective on the Evaluation of Complex Railway Systems
Davide Basile 0001, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori
ISoLA (5)7
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)3
2022 Future Train Control Systems: Challenges for Dependability Assessment
Alessandro Fantechi, Stefania Gnesi, Gloria Gori
ISoLA (4)3
2018 Analysis of a Road/Tramway Intersection by the ORIS Tool
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
VECoS3
2018 Detecting requirements defects with NLP patterns: an industrial experience in the railway domain
Alessio Ferrari 0001, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi
Empir. Softw. Eng.2
2017 Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain
Benedetta Rosadini, Alessio Ferrari 0001, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini
REFSQ3