CNR Institutional Research Information System

CHIARADONNA, SILVANO

CHIARADONNA, SILVANO  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 115 (tempo di esecuzione: 0.046 secondi).
Titolo Data di pubblicazione Autore(i) File
Report on the results achieved by the project in the application of the proposed modeling and evaluation methods to the considered case studies 1-gen-2026 Basile, Davide; Ter Beek, Maurice Henri; Carnevali, Laura; Chiaradonna, Silvano; Di Giandomenico, Felicita; Fantechi, Alessandro; Gori, Gloria; Zecchi, Jacopo
Advanced definition and analysis of anti-icing methods to balance energy usage and dependability in railways 1-gen-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 1-gen-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 1-gen-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 1-gen-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 1-gen-2025 Chiaradonna, S.; Di Giandomenico, F.; Masetti, G.
A new metric of adaptivity for self-adaptive systems 1-gen-2024 Masetti, G.; Chiaradonna, S.; Di Giandomenico, F.
An integrated perspective on the evaluation of complex railway systems 1-gen-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 1-gen-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 1-gen-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 1-gen-2023 Masetti, G.; Di Giandomenico, F.; Chiaradonna, S.
Implicit reward structures for implicit reliability models 1-gen-2022 Masetti, G; Robol, L; Chiaradonna, S; Di Giandomenico, F
Random bad state estimator to address false data injection in critical infrastructures 1-gen-2022 Masetti, G; Chiaradonna, S; Robol, L; Di Giandomenico, F
Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods 1-gen-2022 Di Giandomenico, F.; Masetti, G.; Chiaradonna, S.
Solution bundles of Markov performability models through adaptive cross approximation 1-gen-2022 Masetti, G; Robol, L; Chiaradonna, S; Di Giandomenico, F
TAPAS: a tool for stochastic evaluation of large interdependent composed models with absorbing states 1-gen-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 1-gen-2021 Chiaradonna, S; Masetti, G; Di Giandomenico, F; Righetti, F; Vallati, C
Extending the Möbius modeling environment with the advanced replication operator 1-gen-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 1-gen-2021 Chiaradonna, S; Di Giandomenico, F; Masetti, G
TAPAS: a tool for stochastic evaluation of large interdependent composed models with absorbing states 1-gen-2021 Masetti, G; Robol, L; Chiaradonna, S; Di Giandomenico, F