Gloria Gori

18 papers B 1C 2Journal 4Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection.
RSSRail
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori
2025 C conf
Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles.
FMICS
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Denis Vreshtazi, Alessandro Borselli, Maria Rosaria Cefaloni, Lucio Rota
2025 — conf
Fusion
RSSRail
Gianluca Mandò, Luigi Rucher, Alessandro Fantechi, Gloria Gori
2025 — conf
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review.
RSSRail
Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2025 J jnl
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review.
IEEE Trans. Intell. Transp. Syst.
Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2024 — conf
An Integrated Perspective on the Evaluation of Complex Railway Systems.
ISoLA (5)
Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori
2024 — conf
Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components.
ISoLA (5)
Christophe Limbrée, Anne E. Haxthausen, Gloria Gori, Alessandro Fantechi
2023 — conf
Automated Compositional Verification of Interlocking Systems.
RSSRail
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen
2023 — conf
Decomposing the Verification of Interlocking Systems.
Applicable Formal Methods for Safe Industrial Products
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori
2022 — conf
Compositional Verification of Railway Interlockings: Comparison of Two Methods.
RSSRail
Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée
2022 — conf
Future Train Control Systems: Challenges for Dependability Assessment.
ISoLA (4)
Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2022 — conf
Runtime Reliability Monitoring for Complex Fault-Tolerance Policies.
ICSRS
Alessandro Fantechi, Gloria Gori, Marco Papini
2022 J jnl
Runtime reliability monitoring for complex fault-tolerance policies.
CoRR
Alessandro Fantechi, Gloria Gori, Marco Papini
2022 — conf
Software rejuvenation and runtime reliability monitoring.
ISSRE Workshops
Alessandro Fantechi, Gloria Gori, Marco Papini
2020 J jnl
Stochastic modeling and analysis of road-tramway intersections.
Innov. Syst. Softw. Eng.
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
2018 C conf
Analysis of a Road/Tramway Intersection by the ORIS Tool.
VECoS
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
2018 J jnl
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain.
Empir. Softw. Eng.
Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi
2017 B conf
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain.
REFSQ
Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini