CHIARADONNA, SILVANO
CHIARADONNA, SILVANO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
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
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.
Model-based simulation in möbius: An efficient approach targeting loosely interconnected components
2017 Masetti, G; Chiaradonna, S; Di Giandomenico, F
A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems
2016 Basile D.; Chiaradonna S.; Di Giandomenico F.; Gnesi S.
A stochastic modelling framework to analyze smart grids control strategies
2016 Chiaradonna, S; Di Giandomenico, F; Masetti, G
Analyzing the Impact of Failures in the Electric Power Distribution Grid
2016 Chiaradonna S.; Di Giandomenico F.; Masetti G.