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 | 92 | 2018 |
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 | 89 | 2017 |
An efficient library for reliability block diagram evaluation L Carnevali, L Ciani, A Fantechi, G Gori, M Papini Applied Sciences 11 (9), 4026, 2021 | 19 | 2021 |
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 | 15 | 2022 |
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 | 6 | 2022 |
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 | 3 | 2022 |
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 | 3 | 2020 |
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 | 2 | 2023 |
Decomposing the verification of interlocking systems AE Haxthausen, A Fantechi, G Gori Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to …, 2023 | 2 | 2023 |
Software rejuvenation and runtime reliability monitoring A Fantechi, G Gori, M Papini 2022 IEEE International Symposium on Software Reliability Engineering …, 2022 | 2 | 2022 |
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 | 2 | 2018 |
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 | 1 | 2021 |
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, ... | | |