Sfoglia per Autore
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
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
Analysis of a Road/Tramway Intersection by the ORIS Tool
2018 Carnevali Laura, Fantechi Alessandro, Gori Gloria, Vicario Enrico.
Stochastic modeling and analysis of road–tramway intersections
2020 Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
STINGRAY Project: Smart Stations as hubs of infomobility services for Smart Cities
2021 Alessandro Fantechi, Gloria Gori, Jacopo Parri, Samuele Sampietro
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.
Future Train Control Systems: Challenges for Dependability Assessment
2022 Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria
Compositional Verification of Railway Interlockings: Comparison of Two Methods
2022 Fantechi A.; Gori G.; Haxthausen A.E.; Limbree C.
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
Decomposing the Verification of Interlocking Systems
2023 Haxthausen, Anne E.; Fantechi, Alessandro; Gori, Gloria
Automated Compositional Verification of Interlocking Systems
2023 Haxthausen A.E.; Fantechi A.; Gori G.; Mikkelsen O.K.; Petersen S.-A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| 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 | |
| Analysis of a Road/Tramway Intersection by the ORIS Tool | 2018 | Carnevali Laura, Fantechi Alessandro, Gori Gloria, Vicario Enrico. | |
| Stochastic modeling and analysis of road–tramway intersections | 2020 | Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario | |
| STINGRAY Project: Smart Stations as hubs of infomobility services for Smart Cities | 2021 | Alessandro Fantechi, Gloria Gori, Jacopo Parri, Samuele Sampietro | |
| 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. | |
| Future Train Control Systems: Challenges for Dependability Assessment | 2022 | Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria | |
| Compositional Verification of Railway Interlockings: Comparison of Two Methods | 2022 | Fantechi A.; Gori G.; Haxthausen A.E.; Limbree C. | |
| 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 | |
| Decomposing the Verification of Interlocking Systems | 2023 | Haxthausen, Anne E.; Fantechi, Alessandro; Gori, Gloria | |
| Automated Compositional Verification of Interlocking Systems | 2023 | Haxthausen A.E.; Fantechi A.; Gori G.; Mikkelsen O.K.; Petersen S.-A. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile