GORI, GLORIA
GORI, GLORIA
Ingegneria dell'Informazione
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment
2021 Laura Carnevali, Alessandro Fantechi, Gloria Gori, Jacopo Parri, Moreno Pieralli, Samuele Sampietro
An efficient library for reliability block diagram evaluation
2021 Carnevali L.; Ciani L.; Fantechi A.; Gori G.; Papini M.
An Integrated Perspective on the Evaluation of Complex Railway Systems
2024 Basile, Davide; ter Beek, Maurice H.; Carnevali, Laura; Chiaradonna, Silvano; Di Giandomenico, Felicita; Fantechi, Alessandro; Gori, Gloria
Analysis of a Road/Tramway Intersection by the ORIS Tool
2018 Carnevali Laura, Fantechi Alessandro, Gori Gloria, Vicario Enrico.
Automated Compositional Verification of Interlocking Systems
2023 Haxthausen A.E.; Fantechi A.; Gori G.; Mikkelsen O.K.; Petersen S.-A.
Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection
2026 Haxthausen A.E.; Fantechi A.; Gori G.
Compositional Verification of Railway Interlockings: Comparison of Two Methods
2022 Fantechi A.; Gori G.; Haxthausen A.E.; Limbree C.
Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles
2025 Carnevali, Laura; Fantechi, Alessandro; Gori, Gloria; Vreshtazi, Denis; Borselli, Alessandro; Cefaloni, Maria Rosaria; Rota, Lucio
Decomposing the Verification of Interlocking Systems
2023 Haxthausen, Anne E.; Fantechi, Alessandro; Gori, Gloria
Detecting quality defects: methods to improve product lifecycle cost-effectiveness in the railway domain
2018 GLORIA GORI
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain
2018 Ferrari, Alessio*; Gori, Gloria; Rosadini, Benedetta; Trotta, Iacopo; Bacherini, Stefano; Fantechi, Alessandro; Gnesi, Stefania
Efficient Reliability Block Diagram Evaluation Through Improved Algorithms and Parallel Computing
2025 Gori, Gloria; Papini, Marco; Fantechi, Alessandro
Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components
2024 Limbrée, Christophe; Haxthausen, Anne E.; Gori, Gloria; Fantechi, Alessandro
Fusion2: Achieving SIL4 Onboard Positioning for Autonomous Trams
2025 Mando G.; Rucher L.; Fantechi A.; Gori G.
Future Train Control Systems: Challenges for Dependability Assessment
2022 Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review
2025 Carnevali, Laura; Giandomenico, Felicita Di; Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review
2026 Carnevali, Laura; Di Giandomenico, Felicita; Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria
Quantitative Dependability Evaluation of Train Control Systems: Selected Case Studies
2026 Carnevali, Laura; Chiaradonna, Silvano; Di Giandomenico, Felicita; Gori, Gloria; Papini, Marco; Vicario, Enrico
Runtime Reliability Monitoring for Complex Fault-Tolerance Policies
2022 Fantechi, A; Gori, G; Papini, M
Software rejuvenation and runtime reliability monitoring
2022 Fantechi, A; Gori, G; Papini, M