CHIARADONNA, SILVANO
CHIARADONNA, SILVANO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
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.
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.
Stochastic modeling of intrusion tolerant systems based on redundancy and diversity
2025 Chiaradonna, S.; Di Giandomenico, F.; Masetti, G.
A new metric of adaptivity for self-adaptive systems
2024 Masetti, G.; Chiaradonna, S.; Di Giandomenico, F.
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.
Dependability analysis of UPS architectures for the Italian railway signaling system
2023 Masetti, G.; Di Giandomenico, F.; Chiaradonna, S.
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
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
TAPAS: a tool for stochastic evaluation of large interdependent composed models with absorbing states
2021 Masetti, G; Robol, L; Chiaradonna, S; 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