Gloria Gori

According to our database, Gloria Gori authored at least 12 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

2023

Automated Compositional Verification of Interlocking Systems.

Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

Decomposing the Verification of Interlocking Systems.

Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

Compositional Verification of Railway Interlockings: Comparison of Two Methods.

Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

Software rejuvenation and runtime reliability monitoring.

Alessandro Fantechi, Gloria Gori, Marco Papini

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Future Train Control Systems: Challenges for Dependability Assessment.

Alessandro Fantechi, Stefania Gnesi, Gloria Gori

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Runtime Reliability Monitoring for Complex Fault-Tolerance Policies.

Alessandro Fantechi, Gloria Gori, Marco Papini

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

2020

Stochastic modeling and analysis of road-tramway intersections.

Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario

Innov. Syst. Softw. Eng., 2020

2018

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain.

Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi

Empir. Softw. Eng., 2018

Analysis of a Road/Tramway Intersection by the ORIS Tool.

Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

2017

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

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017