VLDB 2026 Research / reviewers in the wild / expert
Gloria Gori
dblp:195/3412
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
FMICS | 3 |
| 2025 | Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature ReviewabstractTechnological 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 |
VECoS | 3 |
| 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 |
REFSQ | 3 |