DI GIANDOMENICO, FELICITA
DI GIANDOMENICO, FELICITA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
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.
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
Security-informed safety analysis of autonomous transport systems considering AI-powered cyberattacks and protection
2023 Illiashenko, O; Kharchenko, V; Babeshko, I; Fesenko, H; Di Giandomenico, F
Implicit reward structures for implicit reliability models
2022 Masetti, G; Robol, L; Chiaradonna, S; Di Giandomenico, F
Random bad state estimator to address false data injection in critical infrastructures
2022 Masetti, G; Chiaradonna, S; Robol, L; Di Giandomenico, F
Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods
2022 Di Giandomenico, F.; Masetti, G.; Chiaradonna, S.
Solution bundles of Markov performability models through adaptive cross approximation
2022 Masetti, G; Robol, L; Chiaradonna, S; Di Giandomenico, F
TAPAS: a tool for stochastic evaluation of large interdependent composed models with absorbing states
2022 Masetti, G; Robol, L; Chiaradonna, S; Di Giandomenico, F
Basic aspects in redundancy-based intrusion tolerance
2021 Di Giandomenico, F.; Masetti, G.
Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies
2021 Chiaradonna S.; Masetti G.; Di Giandomenico F.; Righetti F.; Vallati C.
Extending the Möbius modeling environment with the advanced replication operator
2021 Masetti, G.; Chiaradonna, S.; Di Giandomenico, F.; Sanders, W. H.; Feddersen, B.
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems
2021 Chiaradonna, S; Di Giandomenico, F; Masetti, G
Supervisory synthesis of configurable behavioural contracts with modalities
2021 Basile D.; ter Beek M.H.; Degano P.; Legay A.; Ferrari G.L.; Gnesi S.; Di Giandomenico F.
TAPAS: a tool for stochastic evaluation of large interdependent composed models with absorbing states
2021 Masetti, G; Robol, L; Chiaradonna, S; Di Giandomenico, F