DI GIANDOMENICO, FELICITA
DI GIANDOMENICO, FELICITA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Report on the results achieved by the project in the application of the proposed modeling and evaluation methods to the considered case studies
2026 Basile, Davide; Ter Beek, Maurice Henri; Carnevali, Laura; Chiaradonna, Silvano; Di Giandomenico, Felicita; Fantechi, Alessandro; Gori, Gloria; Zecchi, Jacopo
Advanced definition and analysis of anti-icing methods to balance energy usage and dependability in railways
2025 Chiaradonna, S.; Di Giandomenico, F.; Masetti, G.
CN MOST SP4 D1.3.5: Report on assessed methods and models for resilient and sustainable railway infrastructures
2025 D’Acierno, L.; De Matteis, L.; Basile, D.; Ter Beek, M.; Chiaradonna, S.; Di Giandomenico, F.; Gregori, M.; Furini, F; D’Alfonso, T; Matteucci, G.; Barbaro, M.; Collina, A.; Team Of Ferrovie Nord, (FN); Team Of, Almaviva
Dependability modeling and evaluation of IPS architectures in the railway sector
2025 Chiaradonna, S.; Di Giandomenico, F.; Masetti, G.
ISTI-day 2025 Proceedings
2025 Del Corso, G.; Pedrotti, A.; Federico, G.; Gennaro, C.; Carrara, F.; Amato, G.; Di Benedetto, M.; Gabrielli, E.; Belli, D.; Matrullo, Zoe; Miori, V.; Tolomei, Gabriele; Waheed, T.; Marchetti, E.; Calabrò, Antonello.; Rossetti, G.; Stella, Massimo; Cazabet, Rémy; Abramski, K.; Cau, E.; Citraro, S.; Failla, A.; Mesina, V.; Morini, V.; Pansanella, V.; Colantonio, S.; Germanese, D.; Pascali, M. A.; Bianchi, L.; Messina, N.; Falchi, F.; Barsellotti, L.; Pacini, G.; Cassese, M.; Puccetti, G.; Esuli, A.; Volpi, L.; Alejandro, Moreo; Sebastiani, F.; Sperduti, G.; Nguyen, Dong; Broccia, G.; Ter Beek, M. H.; Ferrari, A.; Massink, M.; Belmonte, Gina; Ciancia, V.; Papini, O.; Canapa, G.; Catricala', B.; Manca, M.; Paterno', F.; Santoro, C.; Zedda, E.; Gallo, S.; Maenza, S.; Mattioli, A.; Simeoli, L.; Rucci, D.; Carlini, E.; Dazzi, P.; Kavalionak, H.; Mordacchini, M.; Rulli, C.; Muntean, CRISTINA-IOANA; Nardini, F. M.; Perego, R.; Rocchietti, G.; Lettich, F.; Renso, C.; Pugliese, C.; Casini, G.; Haldimann, Jonas; Meyer, Thomas; Assante, M.; Candela, L.; Dell'Amico, A.; Frosini, L.; Mangiacrapa, F.; Oliviero, A.; Pagano, P.; Panichi, G.; Peccerillo, B.; Procaccini, M.; Mannocci, A.; Manghi, P.; Lonetti, F.; Kang, Dongjae; Di Giandomenico, F.; Jee, Eunkyoung; Lazzini, G.; Conti, F.; Scopigno, R.; D'Acunto, M.; Moroni, D.; Cafiso, M.; Paradisi, P.; Callieri, M.; Pavoni, G.; Corsini, M.; De Falco, A.; Sala, F.; Saraceni, Q.; Gattiglia, Gabriele
PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems
2025 Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review
2025 Carnevali, Laura; Di Giandomenico, Felicita; Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review
2025 Carnevali, L.; Di Giandomenico, F.; Fantechi, A.; Gnesi, S.; Gori, G.
Stochastic modeling of intrusion tolerant systems based on redundancy and diversity
2025 Chiaradonna, S.; Di Giandomenico, F.; Masetti, G.
Using metamorphic relations in redundancy-based fault/intrusion tolerance
2025 Di Giandomenico, F.; Masetti, G.; Lonetti, F.; Bertolino, A.
A new metric of adaptivity for self-adaptive systems
2024 Masetti, G.; Chiaradonna, S.; Di Giandomenico, F.
Advanced integrated evaluation of railway systems
2024 Basile, Davide; TER BEEK, MAURICE HENRI; DI GIANDOMENICO, Felicita; Carnevali, Laura; Fantechi, Alessandro
An integrated perspective on the evaluation of complex railway systems
2024 Basile, D.; ter Beek, M. H.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
CN MOST SP4 D1.3.1: Report on formal models
2024 Basile, D.; Ter Beek, M.; Di Giandomenico, F.; Ferrari, A.; Mazzanti, F.; Chiaradonna, S.; Team Of Intesa San, Paolo
PRIN PNRR Adventure D1.1 - Report on the definition of the case studies
2024 Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
Towards effective safety and cybersecurity co-engineering in critical domains
2024 Babeshko, I.; Illiashenko, O.; Di Giandomenico, F.
Cross-coverage testing of functionally equivalent programs
2023 Bertolino, A; De Angelis, G; Di Giandomenico, F; Lonetti, F
Dependability analysis of UPS architectures for the Italian railway signaling system
2023 Masetti, G.; Di Giandomenico, F.; Chiaradonna, S.
Model-based security testing in IoT systems: a rapid review
2023 Lonetti, F; Bertolino, A; Di Giandomenico, F
Safety and cybersecurity assessment techniques for critical industries: a mapping study
2023 Babeshko, I; Di Giandomenico, F
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Report on the results achieved by the project in the application of the proposed modeling and evaluation methods to the considered case studies | 1-gen-2026 | Basile, Davide; Ter Beek, Maurice Henri; Carnevali, Laura; Chiaradonna, Silvano; Di Giandomenico, Felicita; Fantechi, Alessandro; Gori, Gloria; Zecchi, Jacopo | |
| Advanced definition and analysis of anti-icing methods to balance energy usage and dependability in railways | 1-gen-2025 | Chiaradonna, S.; Di Giandomenico, F.; Masetti, G. | |
| CN MOST SP4 D1.3.5: Report on assessed methods and models for resilient and sustainable railway infrastructures | 1-gen-2025 | D’Acierno, L.; De Matteis, L.; Basile, D.; Ter Beek, M.; Chiaradonna, S.; Di Giandomenico, F.; Gregori, M.; Furini, F; D’Alfonso, T; Matteucci, G.; Barbaro, M.; Collina, A.; Team Of Ferrovie Nord, (FN); Team Of, Almaviva | |
| Dependability modeling and evaluation of IPS architectures in the railway sector | 1-gen-2025 | Chiaradonna, S.; Di Giandomenico, F.; Masetti, G. | |
| ISTI-day 2025 Proceedings | 1-gen-2025 | Del Corso, G.; Pedrotti, A.; Federico, G.; Gennaro, C.; Carrara, F.; Amato, G.; Di Benedetto, M.; Gabrielli, E.; Belli, D.; Matrullo, Zoe; Miori, V.; Tolomei, Gabriele; Waheed, T.; Marchetti, E.; Calabrò, Antonello.; Rossetti, G.; Stella, Massimo; Cazabet, Rémy; Abramski, K.; Cau, E.; Citraro, S.; Failla, A.; Mesina, V.; Morini, V.; Pansanella, V.; Colantonio, S.; Germanese, D.; Pascali, M. A.; Bianchi, L.; Messina, N.; Falchi, F.; Barsellotti, L.; Pacini, G.; Cassese, M.; Puccetti, G.; Esuli, A.; Volpi, L.; Alejandro, Moreo; Sebastiani, F.; Sperduti, G.; Nguyen, Dong; Broccia, G.; Ter Beek, M. H.; Ferrari, A.; Massink, M.; Belmonte, Gina; Ciancia, V.; Papini, O.; Canapa, G.; Catricala', B.; Manca, M.; Paterno', F.; Santoro, C.; Zedda, E.; Gallo, S.; Maenza, S.; Mattioli, A.; Simeoli, L.; Rucci, D.; Carlini, E.; Dazzi, P.; Kavalionak, H.; Mordacchini, M.; Rulli, C.; Muntean, CRISTINA-IOANA; Nardini, F. M.; Perego, R.; Rocchietti, G.; Lettich, F.; Renso, C.; Pugliese, C.; Casini, G.; Haldimann, Jonas; Meyer, Thomas; Assante, M.; Candela, L.; Dell'Amico, A.; Frosini, L.; Mangiacrapa, F.; Oliviero, A.; Pagano, P.; Panichi, G.; Peccerillo, B.; Procaccini, M.; Mannocci, A.; Manghi, P.; Lonetti, F.; Kang, Dongjae; Di Giandomenico, F.; Jee, Eunkyoung; Lazzini, G.; Conti, F.; Scopigno, R.; D'Acunto, M.; Moroni, D.; Cafiso, M.; Paradisi, P.; Callieri, M.; Pavoni, G.; Corsini, M.; De Falco, A.; Sala, F.; Saraceni, Q.; Gattiglia, Gabriele | |
| PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems | 1-gen-2025 | Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G. | |
| Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review | 1-gen-2025 | Carnevali, Laura; Di Giandomenico, Felicita; Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria | |
| Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review | 1-gen-2025 | Carnevali, L.; Di Giandomenico, F.; Fantechi, A.; Gnesi, S.; Gori, G. | |
| Stochastic modeling of intrusion tolerant systems based on redundancy and diversity | 1-gen-2025 | Chiaradonna, S.; Di Giandomenico, F.; Masetti, G. | |
| Using metamorphic relations in redundancy-based fault/intrusion tolerance | 1-gen-2025 | Di Giandomenico, F.; Masetti, G.; Lonetti, F.; Bertolino, A. | |
| A new metric of adaptivity for self-adaptive systems | 1-gen-2024 | Masetti, G.; Chiaradonna, S.; Di Giandomenico, F. | |
| Advanced integrated evaluation of railway systems | 1-gen-2024 | Basile, Davide; TER BEEK, MAURICE HENRI; DI GIANDOMENICO, Felicita; Carnevali, Laura; Fantechi, Alessandro | |
| An integrated perspective on the evaluation of complex railway systems | 1-gen-2024 | Basile, D.; ter Beek, M. H.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G. | |
| CN MOST SP4 D1.3.1: Report on formal models | 1-gen-2024 | Basile, D.; Ter Beek, M.; Di Giandomenico, F.; Ferrari, A.; Mazzanti, F.; Chiaradonna, S.; Team Of Intesa San, Paolo | |
| PRIN PNRR Adventure D1.1 - Report on the definition of the case studies | 1-gen-2024 | Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G. | |
| Towards effective safety and cybersecurity co-engineering in critical domains | 1-gen-2024 | Babeshko, I.; Illiashenko, O.; Di Giandomenico, F. | |
| Cross-coverage testing of functionally equivalent programs | 1-gen-2023 | Bertolino, A; De Angelis, G; Di Giandomenico, F; Lonetti, F | |
| Dependability analysis of UPS architectures for the Italian railway signaling system | 1-gen-2023 | Masetti, G.; Di Giandomenico, F.; Chiaradonna, S. | |
| Model-based security testing in IoT systems: a rapid review | 1-gen-2023 | Lonetti, F; Bertolino, A; Di Giandomenico, F | |
| Safety and cybersecurity assessment techniques for critical industries: a mapping study | 1-gen-2023 | Babeshko, I; Di Giandomenico, F |