Silvano Chiaradonna
Orcid: 0000-0002-0889-1990
According to our database1,
Silvano Chiaradonna
authored at least 60 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Quality of Information and Communications Technology, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
2023
IEEE Trans. Reliab., 2023
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023
2022
TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States.
SIGMETRICS Perform. Evaluation Rev., 2022
Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods.
Int. J. Appl. Math. Comput. Sci., 2022
Random Bad State Estimator to Address False Data Injection in Critical Infrastructures.
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022
Solution Bundles of Markov Performability Models through Adaptive Cross Approximation.
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022
2021
Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies.
Sustain. Comput. Informatics Syst., 2021
SIGMETRICS Perform. Evaluation Rev., 2021
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems.
Perform. Evaluation, 2021
2020
Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system.
Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020
2019
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of the 14th European Dependable Computing Conference, 2018
2017
A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components.
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017
2016
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems.
J. Rail Transp. Plan. Manag., 2016
CoRR, 2016
Proceedings of the 2016 IEEE International Conference on Smart Grid Communications, 2016
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016
Quantification of the Effectiveness of Medium Voltage Control Policies in Smart Grids.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
2015
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015
2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014
2013
Int. J. Crit. Comput. Based Syst., 2013
2012
Int. J. Crit. Infrastructure Prot., 2012
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics.
Proceedings of the Computer Safety, Reliability, and Security, 2012
Analysis of Electric Power Systems Accounting for Interdependencies in Heterogeneous Scenarios.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
2011
Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems.
Int. J. Crit. Infrastructure Prot., 2011
Modeling and analysis of the impact of failures in Electric Power Systems organized in interconnected regions.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011
2010
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities.
Proceedings of the Eighth European Dependable Computing Conference, 2010
2009
Int. J. Syst. Syst. Eng., 2009
2008
Proceedings of the Critical Information Infrastructure Security, 2008
2007
Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007
Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
2006
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006
2004
IEEE Trans. Reliab., 2004
Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications.
IEEE Trans. Dependable Secur. Comput., 2004
Proceedings of the Building the Information Society, 2004
2003
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003
2002
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment.
J. Syst. Archit., 2002
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002
2001
Comput. J., 2001
2000
IEEE Trans. Computers, 2000
Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000
1999
Softw. Test. Verification Reliab., 1999
1998
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998
1997
Proceedings of the Digest of Papers: FTCS-27, 1997
1995
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation.
Proceedings of the 14th International Conference on Computer Safety, 1995
1994
Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994
Proceedings of the Dependable Computing, 1994