Silvano Chiaradonna

61 papers A 5B 7C 4Misc 7Journal 19Unranked 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
Stochastic Modeling of Intrusion Tolerant Systems Based on Redundancy and Diversity.
IEEE Trans. Computers
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
2024 Misc conf
A New Metric of Adaptivity for Self-adaptive Systems.
QUATIC
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico
2024 — conf
An Integrated Perspective on the Evaluation of Complex Railway Systems.
ISoLA (5)
Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori
2023 — conf
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System.
RSSRail
Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna
2023 J jnl
Implicit Reward Structures for Implicit Reliability Models.
IEEE Trans. Reliab.
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
2022 C conf
Random Bad State Estimator to Address False Data Injection in Critical Infrastructures.
PRDC
Giulio Masetti, Silvano Chiaradonna, Leonardo Robol, Felicita Di Giandomenico
2022 J jnl
Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods.
Int. J. Appl. Math. Comput. Sci.
Felicita Di Giandomenico, Giulio Masetti, Silvano Chiaradonna
2022 A conf
Solution Bundles of Markov Performability Models through Adaptive Cross Approximation.
DSN
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
2022 J jnl
TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States.
SIGMETRICS Perform. Evaluation Rev.
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
2021 J jnl
Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies.
Sustain. Comput. Informatics Syst.
Silvano Chiaradonna, Giulio Masetti, Felicita Di Giandomenico, Francesca Righetti, Carlo Vallati
2021 J jnl
Extending the Möbius Modeling Environment with the Advanced Replication Operator.
SIGMETRICS Perform. Evaluation Rev.
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, William H. Sanders, Brett Feddersen
2021 J jnl
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems.
Perform. Evaluation
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
2020 C conf
Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system.
PRDC
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
2019 — conf
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector.
From Software Engineering to Formal Methods and Tools, and Back
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile
2019 B conf
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums.
Petri Nets
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
2018 Misc conf
An Efficient Strategy for Model Composition in the Möbius Modeling Environment.
EDCC
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders
2018 C conf
Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations.
MODELSWARD
Giulio Masetti, Simone Dutto, Silvano Chiaradonna, Felicita Di Giandomenico
2017 A conf
A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components.
ISSRE
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico
2017 — conf
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components.
EPEW
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico
2016 J jnl
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems.
J. Rail Transp. Plan. Manag.
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi
2016 — conf
Analyzing the Impact of Failures in the Electric Power Distribution Grid.
LADC
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
2016 J jnl
Efficient non-anonymus composition operator for modeling complex dependable systems.
CoRR
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
2016 — conf
Improving voltage control in MV smart grids.
SmartGridComm
Jun Xiao, Silvano Chiaradonna, Felicita Di Giandomenico, Andy D. Pimentel
2016 — conf
Quantification of the Effectiveness of Medium Voltage Control Policies in Smart Grids.
HASE
Silvano Chiaradonna, Felicita Di Giandomenico, Jun Xiao
2015 — conf
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.
SERENE
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti
2014 Misc conf
On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure.
EDCC
Silvano Chiaradonna, Felicita Di Giandomenico, Nadir Murru
2014 — conf
Power Grid Outlier Treatment through Kalman Filter.
ISSRE Workshops
Cesario Di Sarno, Alessia Garofalo, Gianfranco Cerullo, Nadir Murru, Felicita Di Giandomenico, Silvano Chiaradonna
2013 J jnl
Stochastic assessment of power systems in presence of heterogeneity.
Int. J. Crit. Comput. Based Syst.
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
2012 Misc conf
Analysis of Electric Power Systems Accounting for Interdependencies in Heterogeneous Scenarios.
EDCC
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
2012 — ch.
Case Study on Critical Infrastructures: Assessment of Electric Power Systems.
Resilience Assessment and Evaluation of Computing Systems
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
2012 — conf
Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics.
SAFECOMP Workshops
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
2012 — conf
Model-Based Evaluation of the Availability of a CBTC System.
SERENE
Alessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo
2012 J jnl
Quantification of dependencies between electrical and information infrastructures.
Int. J. Crit. Infrastructure Prot.
Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis
2011 J jnl
Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems.
Int. J. Crit. Infrastructure Prot.
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
2011 A conf
Modeling and analysis of the impact of failures in Electric Power Systems organized in interconnected regions.
DSN
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
2010 Misc conf
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities.
EDCC
Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico
2009 J jnl
Assessing the impact of interdependencies in electric power systems.
Int. J. Syst. Syst. Eng.
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
2008 C conf
Interdependency Analysis in Electric Power Systems.
CRITIS
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
2007 B conf
Analysis of a Redundant Architecture for Critical Infrastructure Protection.
WADS
Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo
2007 B conf
Evaluation of Critical Infrastructures: Challenges and Viable Approaches.
WADS
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
2007 A conf
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems.
DSN
Silvano Chiaradonna, Paolo Lollini, Felicita Di Giandomenico
2007 — conf
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies.
HASE
Francesco Romani, Silvano Chiaradonna, Felicita Di Giandomenico, Luca Simoncini
2006 — conf
Dependability Evaluation of Web Service-Based Processes.
EPEW
László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha
2006 B conf
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution.
SRDS
Alessandro Daidone, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
2006 — conf
Integration of an MPS Modeling Approach into Mobius.
QEST
Andrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri
2004 — conf
Architectural challenges for a dependable Information Society.
IFIP Congress Topical Sessions
Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
2004 J jnl
Dependability modeling and evaluation of multiple-phased systems using DEEM.
IEEE Trans. Reliab.
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura
2004 J jnl
Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications.
IEEE Trans. Dependable Secur. Comput.
Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano
2003 — conf
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation.
LADC
Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano
2002 J jnl
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment.
J. Syst. Archit.
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, J. Xu
2002 B conf
Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications.
SRDS
Luigi Romano, Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo
2001 J jnl
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications.
Comput. J.
Fabrizio Grandoni, Silvano Chiaradonna, Felicita Di Giandomenico, Andrea Bondavalli
2000 A conf
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems.
DSN
Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini
2000 Misc conf
Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems.
PDPTA
Felicita Di Giandomenico, Silvano Chiaradonna, Andrea Bondavalli, Fabrizio Grandoni
2000 J jnl
Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults.
IEEE Trans. Computers
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni
1999 J jnl
A Contribution to the Evaluation of the Reliability of Iterative-Execution Software.
Softw. Test. Verification Reliab.
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini
1998 — conf
A New Heuristic to Discriminate between Transient and Intermittent Faults.
HASE
Fabrizio Grandoni, Andrea Bondavalli, Silvano Chiaradonna
1997 — conf
Discriminating Fault Rate and Persistency to Improve Fault Treatment.
FTCS
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni
1995 B conf
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation.
SAFECOMP
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, S. La Torre
1994 B conf
Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures.
ICPADS
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico
1994 Misc conf
On Performability Modeling and Evaluation of Software Fault Tolerant Structures.
EDCC
Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini