CHIARADONNA, SILVANO
CHIARADONNA, SILVANO
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.
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.
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
Trading dependability and energy consumption in critical infrastructures: Focus on the rail switch heating system
2020 Chiaradonna, S; Di Giandomenico, F; Masetti, G
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector
2019 Chiaradonna, S; Di Giandomenico, F; Masetti, G; Basile, D
On Extending and Comparing Newton-Raphson Variants for Solving Power-Flow Equations
2019 Dutto S.; Masetti G.; Chiaradonna S.; Di Giandomenico F.
Stochastic modeling and evaluation of large interdependent composed models through Kronecker algebra and exponential sums
2019 Masetti, G; Robol, L; Chiaradonna, S; Di Giandomenico, F
An efficient strategy for model composition in the Möbius modeling environment
2018 Masetti, G; Chiaradonna, S; Di Giandomenico, F; Feddersen, B; Sanders, Wh
Supporting CPS modeling through a new method for solving complex non-holomorphic equations
2018 Masetti G.; Dutto S.; Chiaradonna S.; Di Giandomenico F.
A stochastic modeling approach for an efficient dependability evaluation of large systems with non-anonymous interconnected components
2017 Chiaradonna S.; Di Giandomenico F.; Masetti G.