DI GIANDOMENICO, FELICITA
DI GIANDOMENICO, FELICITA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Advanced integrated evaluation of railway systems
2024 Basile, Davide; TER BEEK, MAURICE HENRI; DI GIANDOMENICO, Felicita; Carnevali, Laura; Fantechi, Alessandro
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
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
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
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC
2020 Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O.
Analyzing Forward Robustness of Feedforward Deep Neural Networks with LeakyReLU Activation Function Through Symbolic Propagation
2020 Masetti G.; Di Giandomenico F.
Enhancing sustainability of the railway infrastructure through efficient energy management policies
2020 Chiaradonna, S; Masetti, G; Di Giandomenico, F; Righetti, F; Vallati, C
Failure management strategies for IoT-based railways systems
2020 Righetti F.; Vallati C.; Anastasi G.; Masetti G.; Di Giandomenico F.