Gloria Gori
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2017–2025
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMICS | 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 |
| 2024 | ISoLA | An Integrated Perspective on the Evaluation of Complex Railway Systems. | Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori |
| 2024 | ISoLA | Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. | Christophe Limbre, Anne E. Haxthausen, Gloria Gori, Alessandro Fantechi |
| 2022 | ISoLA | Future Train Control Systems: Challenges for Dependability Assessment. | Alessandro Fantechi, Stefania Gnesi, Gloria Gori |
| 2022 | ISSRE | Software rejuvenation and runtime reliability monitoring. | Alessandro Fantechi, Gloria Gori, Marco Papini |
| 2018 | VECoS | Analysis of a Road/Tramway Intersection by the ORIS Tool. | Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario |
| 2017 | REFSQ | Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. | Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini |