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 Verification of Railway Interlockings: Comparison of Two Methods
2022 Fantechi A.; Gori G.; Haxthausen A.E.; Limbree C.
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
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
Future Train Control Systems: Challenges for Dependability Assessment
2022 Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria
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
STINGRAY Project: Smart Stations as hubs of infomobility services for Smart Cities
2021 Alessandro Fantechi, Gloria Gori, Jacopo Parri, Samuele Sampietro
Stochastic modeling and analysis of road–tramway intersections
2020 Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain
2017 Rosadini, Benedetta; Ferrari, Alessio; Gori, Gloria; Fantechi, Alessandro; Gnesi, Stefania; Trotta, Iacopo; Bacherini, Stefano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 Verification of Railway Interlockings: Comparison of Two Methods | 2022 | Fantechi A.; Gori G.; Haxthausen A.E.; Limbree C. | |
| 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 | |
| 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 | |
| Future Train Control Systems: Challenges for Dependability Assessment | 2022 | Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria | |
| 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 | |
| STINGRAY Project: Smart Stations as hubs of infomobility services for Smart Cities | 2021 | Alessandro Fantechi, Gloria Gori, Jacopo Parri, Samuele Sampietro | |
| Stochastic modeling and analysis of road–tramway intersections | 2020 | Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario | |
| Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain | 2017 | Rosadini, Benedetta; Ferrari, Alessio; Gori, Gloria; Fantechi, Alessandro; Gnesi, Stefania; Trotta, Iacopo; Bacherini, Stefano |