Gloria Gori

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 11

Top Topics

High Scalability

Field Of Natural Language Processing

Application Specific

Grammar Induction

Top Venues

Applicable Formal Methods for Safe Industrial Products

Publications

Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen
Automated Compositional Verification of Interlocking Systems. RSSRail (2023)
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori
Decomposing the Verification of Interlocking Systems. Applicable Formal Methods for Safe Industrial Products (2023)
Alessandro Fantechi, Gloria Gori, Marco Papini
Runtime reliability monitoring for complex fault-tolerance policies. CoRR (2022)
Alessandro Fantechi, Gloria Gori, Marco Papini
Software rejuvenation and runtime reliability monitoring. ISSRE Workshops (2022)
Alessandro Fantechi, Stefania Gnesi, Gloria Gori
Future Train Control Systems: Challenges for Dependability Assessment. ISoLA (4) (2022)
Alessandro Fantechi, Gloria Gori, Marco Papini
Runtime Reliability Monitoring for Complex Fault-Tolerance Policies. ICSRS (2022)
Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée
Compositional Verification of Railway Interlockings: Comparison of Two Methods. RSSRail (2022)
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
Stochastic modeling and analysis of road-tramway intersections. Innov. Syst. Softw. Eng. 16 (2) (2020)
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
Analysis of a Road/Tramway Intersection by the ORIS Tool. VECoS (2018)
Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. Empir. Softw. Eng. 23 (6) (2018)
Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. REFSQ (2017)