Segui
Gloria Gori
Gloria Gori
Email verificata su unifi.it
Titolo
Citata da
Citata da
Anno
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain
A Ferrari, G Gori, B Rosadini, I Trotta, S Bacherini, A Fantechi, S Gnesi
Empirical Software Engineering Journal, 1-50, 2018
922018
Using NLP to detect requirements defects: An industrial experience in the railway domain
B Rosadini, A Ferrari, G Gori, A Fantechi, S Gnesi, I Trotta, S Bacherini
Requirements Engineering: Foundation for Software Quality: 23rd …, 2017
892017
An efficient library for reliability block diagram evaluation
L Carnevali, L Ciani, A Fantechi, G Gori, M Papini
Applied Sciences 11 (9), 4026, 2021
192021
Compositional verification of railway interlockings: comparison of two methods
A Fantechi, G Gori, AE Haxthausen, C Limbrée
International Conference on Reliability, Safety, and Security of Railway …, 2022
152022
Future train control systems: challenges for dependability assessment
A Fantechi, S Gnesi, G Gori
International Symposium on Leveraging Applications of Formal Methods, 269-285, 2022
62022
Runtime reliability monitoring for complex fault-tolerance policies
A Fantechi, G Gori, M Papini
2022 6th International Conference on System Reliability and Safety (ICSRS …, 2022
32022
Stochastic modeling and analysis of road–tramway intersections
L Carnevali, A Fantechi, G Gori, E Vicario
Innovations in Systems and Software Engineering 16 (2), 215-230, 2020
32020
Automated Compositional Verification of Interlocking Systems
AE Haxthausen, A Fantechi, G Gori, ÓK Mikkelsen, SA Petersen
International Conference on Reliability, Safety, and Security of Railway …, 2023
22023
Decomposing the verification of interlocking systems
AE Haxthausen, A Fantechi, G Gori
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to …, 2023
22023
Software rejuvenation and runtime reliability monitoring
A Fantechi, G Gori, M Papini
2022 IEEE International Symposium on Software Reliability Engineering …, 2022
22022
Analysis of a road/tramway intersection by the ORIS tool
L Carnevali, A Fantechi, G Gori, E Vicario
Verification and Evaluation of Computer and Communication Systems: 12th …, 2018
22018
Un approccio euristico alla diagnostica predittiva dello stato di usura delle ruote basato su un dispositivo di terra a basso costo.
L CARNEVALI, A FANTECHI, G GORI, J PARRI, M PIERALLI, ...
Ingegneria Ferroviaria 76 (1), 2021
12021
Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components
C Limbrée, AE Haxthausen, G Gori, A Fantechi
International Symposium on Leveraging Applications of Formal Methods, 127-141, 2024
2024
An integrated perspective on the evaluation of complex railway systems
D Basile, MH ter Beek, L Carnevali, S Chiaradonna, F Di Giandomenico, ...
International Symposium on Leveraging Applications of Formal Methods, 190-207, 2024
2024
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment
L Carnevali, A Fantechi, G Gori, J Parri, M Pieralli, S Sampietro
INGEGNERIA FERROVIARIA, 5-27, 2021
2021
STINGRAY Project: Smart Stations as hubs of infomobility services for Smart Cities
A Fantechi, G Gori, J Parri, S Sampietro
Proceedings of the 7th Cini Annual Conference on ICT for Smart Cities …, 2021
2021
Detecting quality defects: methods to improve product lifecycle cost-effectiveness in the railway domain
G Gori
2018
2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)| 978-1-6654-7679-9/22/$31.00© 2022 IEEE| DOI: 10.1109/ISSREW55968. 2022.00099
R Abreu, B Afshinpour, R Aghazadeh Chakherlou, A Aguiar, ME Ahmed, ...
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–18