default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Silvano Chiaradonna
@article{DBLP:journals/tc/ChiaradonnaGM25,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Giulio Masetti},
title = {Stochastic Modeling of Intrusion Tolerant Systems Based on Redundancy
and Diversity},
journal = {{IEEE} Trans. Computers},
volume = {74},
number = {12},
pages = {4123--4137},
year = {2025},
url = {https://doi.org/10.1109/TC.2025.3606189},
doi = {10.1109/TC.2025.3606189},
timestamp = {Sun, 16 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/ChiaradonnaGM25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BasileBCCGFG24,
author = {Davide Basile and
Maurice H. ter Beek and
Laura Carnevali and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Alessandro Fantechi and
Gloria Gori},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Integrated Perspective on the Evaluation of Complex Railway Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Application Areas - 12th International Symposium, ISoLA 2024, Crete,
Greece, October 27-31, 2024, Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {15223},
pages = {190--207},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75390-9\_13},
doi = {10.1007/978-3-031-75390-9\_13},
timestamp = {Mon, 09 Dec 2024 22:46:05 +0100},
biburl = {https://dblp.org/rec/conf/isola/BasileBCCGFG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/MasettiCG24,
author = {Giulio Masetti and
Silvano Chiaradonna and
Felicita Di Giandomenico},
editor = {Antonia Bertolino and
Jo{\~{a}}o Pascoal Faria and
Patricia Lago and
Laura Semini},
title = {A New Metric of Adaptivity for Self-adaptive Systems},
booktitle = {Quality of Information and Communications Technology - 17th International
Conference on the Quality of Information and Communications Technology,
{QUATIC} 2024, Pisa, Italy, September 11-13, 2024, Proceedings},
series = {Communications in Computer and Information Science},
volume = {2178},
pages = {227--234},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-70245-7\_16},
doi = {10.1007/978-3-031-70245-7\_16},
timestamp = {Mon, 28 Oct 2024 12:31:18 +0100},
biburl = {https://dblp.org/rec/conf/quatic/MasettiCG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/MasettiRCG23,
author = {Giulio Masetti and
Leonardo Robol and
Silvano Chiaradonna and
Felicita Di Giandomenico},
title = {Implicit Reward Structures for Implicit Reliability Models},
journal = {{IEEE} Trans. Reliab.},
volume = {72},
number = {2},
pages = {774--794},
year = {2023},
url = {https://doi.org/10.1109/TR.2022.3190915},
doi = {10.1109/TR.2022.3190915},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/MasettiRCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/MasettiGC23,
author = {Giulio Masetti and
Felicita Di Giandomenico and
Silvano Chiaradonna},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Dependability Analysis of {UPS} Architectures for the Italian Railway
Signaling System},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {98--114},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_6},
doi = {10.1007/978-3-031-43366-5\_6},
timestamp = {Fri, 06 Oct 2023 18:13:29 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/MasettiGC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amcs/GiandomenicoMC22,
author = {Felicita Di Giandomenico and
Giulio Masetti and
Silvano Chiaradonna},
title = {Redundancy-based intrusion tolerance approaches moving from classical
fault tolerance methods},
journal = {Int. J. Appl. Math. Comput. Sci.},
volume = {32},
number = {4},
year = {2022},
url = {https://doi.org/10.34768/amcs-2022-0048},
doi = {10.34768/AMCS-2022-0048},
timestamp = {Mon, 01 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amcs/GiandomenicoMC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/MasettiRCG22,
author = {Giulio Masetti and
Leonardo Robol and
Silvano Chiaradonna and
Felicita Di Giandomenico},
title = {{TAPAS:} a Tool for Stochastic Evaluation of Large Interdependent
Composed Models with Absorbing States},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {49},
number = {4},
pages = {41--46},
year = {2022},
url = {https://doi.org/10.1145/3543146.3543157},
doi = {10.1145/3543146.3543157},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/MasettiRCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MasettiRCG22,
author = {Giulio Masetti and
Leonardo Robol and
Silvano Chiaradonna and
Felicita Di Giandomenico},
title = {Solution Bundles of Markov Performability Models through Adaptive
Cross Approximation},
booktitle = {52nd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2022, Baltimore, MD, USA, June 27-30, 2022},
pages = {381--392},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSN53405.2022.00046},
doi = {10.1109/DSN53405.2022.00046},
timestamp = {Fri, 29 Jul 2022 16:33:35 +0200},
biburl = {https://dblp.org/rec/conf/dsn/MasettiRCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MasettiCRG22,
author = {Giulio Masetti and
Silvano Chiaradonna and
Leonardo Robol and
Felicita Di Giandomenico},
title = {Random Bad State Estimator to Address False Data Injection in Critical
Infrastructures},
booktitle = {27th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2022, Beijing, China, November 28 - Dec. 1, 2022},
pages = {98--108},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/PRDC55274.2022.00024},
doi = {10.1109/PRDC55274.2022.00024},
timestamp = {Tue, 14 Feb 2023 22:26:47 +0100},
biburl = {https://dblp.org/rec/conf/prdc/MasettiCRG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/ChiaradonnaGM21,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Giulio Masetti},
title = {On identity-aware replication in stochastic modeling for simulation-based
dependability analysis of large interconnected systems},
journal = {Perform. Evaluation},
volume = {147},
pages = {102192},
year = {2021},
url = {https://doi.org/10.1016/j.peva.2021.102192},
doi = {10.1016/J.PEVA.2021.102192},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/ChiaradonnaGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/MasettiCGSF21,
author = {Giulio Masetti and
Silvano Chiaradonna and
Felicita Di Giandomenico and
William H. Sanders and
Brett Feddersen},
title = {Extending the M{\"{o}}bius Modeling Environment with the Advanced
Replication Operator},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {48},
number = {4},
pages = {62--67},
year = {2021},
url = {https://doi.org/10.1145/3466826.3466846},
doi = {10.1145/3466826.3466846},
timestamp = {Fri, 11 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/MasettiCGSF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/suscom/ChiaradonnaMGRV21,
author = {Silvano Chiaradonna and
Giulio Masetti and
Felicita Di Giandomenico and
Francesca Righetti and
Carlo Vallati},
title = {Enhancing sustainability of the railway infrastructure: Trading energy
saving and unavailability through efficient switch heating policies},
journal = {Sustain. Comput. Informatics Syst.},
volume = {30},
pages = {100519},
year = {2021},
url = {https://doi.org/10.1016/j.suscom.2021.100519},
doi = {10.1016/J.SUSCOM.2021.100519},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/suscom/ChiaradonnaMGRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ChiaradonnaGM20,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Giulio Masetti},
title = {Trading dependability and energy consumption in critical infrastructures:
focus on the rail switch heating system},
booktitle = {25th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2020, Perth, Australia, December 1-4, 2020},
pages = {150--159},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/PRDC50213.2020.00026},
doi = {10.1109/PRDC50213.2020.00026},
timestamp = {Wed, 27 Jan 2021 14:35:01 +0100},
biburl = {https://dblp.org/rec/conf/prdc/ChiaradonnaGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MasettiRCG19,
author = {Giulio Masetti and
Leonardo Robol and
Silvano Chiaradonna and
Felicita Di Giandomenico},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Stochastic Evaluation of Large Interdependent Composed Models Through
Kronecker Algebra and Exponential Sums},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {47--66},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_3},
doi = {10.1007/978-3-030-21571-2\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MasettiRCG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChiaradonnaGMB19,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Giulio Masetti and
Davide Basile},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {A Refined Framework for Model-Based Assessment of Energy Consumption
in the Railway Sector},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {481--501},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_28},
doi = {10.1007/978-3-030-30985-5\_28},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ChiaradonnaGMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/MasettiCGFS18,
author = {Giulio Masetti and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Brett Feddersen and
William H. Sanders},
title = {An Efficient Strategy for Model Composition in the M{\"{o}}bius
Modeling Environment},
booktitle = {14th European Dependable Computing Conference, {EDCC} 2018, Ia{\c{s}}i,
Romania, September 10-14, 2018},
pages = {116--119},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EDCC.2018.00029},
doi = {10.1109/EDCC.2018.00029},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/MasettiCGFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/MasettiDCG18,
author = {Giulio Masetti and
Simone Dutto and
Silvano Chiaradonna and
Felicita Di Giandomenico},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Supporting {CPS} Modeling Through a New Method for Solving Complex
Non-holomorphic Equations},
booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {680--688},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006752306800688},
doi = {10.5220/0006752306800688},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/MasettiDCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/MasettiCG17,
author = {Giulio Masetti and
Silvano Chiaradonna and
Felicita Di Giandomenico},
editor = {Philipp Reinecke and
Antinisca Di Marco},
title = {Model-Based Simulation in M{\"{o}}bius: An Efficient Approach
Targeting Loosely Interconnected Components},
booktitle = {Computer Performance Engineering - 14th European Workshop, {EPEW}
2017, Berlin, Germany, September 7-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10497},
pages = {184--198},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66583-2\_12},
doi = {10.1007/978-3-319-66583-2\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/epew/MasettiCG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MasettiCG17,
author = {Giulio Masetti and
Silvano Chiaradonna and
Felicita Di Giandomenico},
title = {A Stochastic Modeling Approach for an Efficient Dependability Evaluation
of Large Systems with Non-anonymous Interconnected Components},
booktitle = {28th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2017, Toulouse, France, October 23-26, 2017},
pages = {46--55},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSRE.2017.17},
doi = {10.1109/ISSRE.2017.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/MasettiCG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrtpm/BasileCGG16,
author = {Davide Basile and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Stefania Gnesi},
title = {A stochastic model-based approach to analyse reliable energy-saving
rail road switch heating systems},
journal = {J. Rail Transp. Plan. Manag.},
volume = {6},
number = {2},
pages = {163--181},
year = {2016},
url = {https://doi.org/10.1016/j.jrtpm.2016.03.003},
doi = {10.1016/J.JRTPM.2016.03.003},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrtpm/BasileCGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ChiaradonnaGX16,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Jun Xiao},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Quantification of the Effectiveness of Medium Voltage Control Policies
in Smart Grids},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {284--291},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.42},
doi = {10.1109/HASE.2016.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ChiaradonnaGX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ChiaradonnaGM16,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Giulio Masetti},
title = {Analyzing the Impact of Failures in the Electric Power Distribution
Grid},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {99--108},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.23},
doi = {10.1109/LADC.2016.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/ChiaradonnaGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgridcomm/XiaoCGP16,
author = {Jun Xiao and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Andy D. Pimentel},
title = {Improving voltage control in {MV} smart grids},
booktitle = {2016 {IEEE} International Conference on Smart Grid Communications,
SmartGridComm 2016, Sydney, Australia, November 6-9, 2016},
pages = {382--387},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SmartGridComm.2016.7778791},
doi = {10.1109/SMARTGRIDCOMM.2016.7778791},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartgridcomm/XiaoCGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiaradonnaGM16,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Giulio Masetti},
title = {Efficient non-anonymus composition operator for modeling complex dependable
systems},
journal = {CoRR},
volume = {abs/1608.05874},
year = {2016},
url = {http://arxiv.org/abs/1608.05874},
eprinttype = {arXiv},
eprint = {1608.05874},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChiaradonnaGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BasileCGGM15,
author = {Davide Basile and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Stefania Gnesi and
Franco Mazzanti},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Stochastic Model-Based Analysis of Energy Consumption in a Rail Road
Switch Heating System},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {82--98},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_7},
doi = {10.1007/978-3-319-23129-7\_7},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BasileCGGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/ChiaradonnaGM14,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Nadir Murru},
title = {On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure},
booktitle = {2014 Tenth European Dependable Computing Conference, Newcastle, United
Kingdom, May 13-16, 2014},
pages = {166--177},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/EDCC.2014.34},
doi = {10.1109/EDCC.2014.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/ChiaradonnaGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SarnoGCMGC14,
author = {Cesario Di Sarno and
Alessia Garofalo and
Gianfranco Cerullo and
Nadir Murru and
Felicita Di Giandomenico and
Silvano Chiaradonna},
title = {Power Grid Outlier Treatment through Kalman Filter},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {407--412},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.64},
doi = {10.1109/ISSREW.2014.64},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/SarnoGCMGC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/ChiaradonnaGN13,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Nicola Nostro},
title = {Stochastic assessment of power systems in presence of heterogeneity},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {4},
number = {4},
pages = {326--348},
year = {2013},
url = {https://doi.org/10.1504/IJCCBS.2013.059022},
doi = {10.1504/IJCCBS.2013.059022},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/ChiaradonnaGN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcip/BeccutiCGDDF12,
author = {Marco Beccuti and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Susanna Donatelli and
Giovanna Dondossola and
Giuliana Franceschinis},
title = {Quantification of dependencies between electrical and information
infrastructures},
journal = {Int. J. Crit. Infrastructure Prot.},
volume = {5},
number = {1},
pages = {14--27},
year = {2012},
url = {https://doi.org/10.1016/j.ijcip.2012.01.003},
doi = {10.1016/J.IJCIP.2012.01.003},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcip/BeccutiCGDDF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/ChiaradonnaGN12,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Nicola Nostro},
editor = {Cristian Constantinescu and
Miguel P. Correia},
title = {Analysis of Electric Power Systems Accounting for Interdependencies
in Heterogeneous Scenarios},
booktitle = {2012 Ninth European Dependable Computing Conference, Sibiu, Romania,
May 8-11, 2012},
pages = {84--93},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/EDCC.2012.17},
doi = {10.1109/EDCC.2012.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/ChiaradonnaGN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChiaradonnaGN12,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Nicola Nostro},
editor = {Frank Ortmeier and
Peter Daniel},
title = {Model-Based Assessment of Multi-region Electric Power Systems Showing
Heterogeneous Characteristics},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2012 Workshops:
Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany,
September 25-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7613},
pages = {328--339},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33675-1\_29},
doi = {10.1007/978-3-642-33675-1\_29},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ChiaradonnaGN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/FerrariICS12,
author = {Alessio Ferrari and
Massimiliano Leone Itria and
Silvano Chiaradonna and
Giorgio Oronzo Spagnolo},
editor = {Paris Avgeriou},
title = {Model-Based Evaluation of the Availability of a {CBTC} System},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {165--179},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_12},
doi = {10.1007/978-3-642-33176-3\_12},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/FerrariICS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wolter2012/ChiaradonnaGL12,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Paolo Lollini},
editor = {Katinka Wolter and
Alberto Avritzer and
Marco Vieira and
Aad P. A. van Moorsel},
title = {Case Study on Critical Infrastructures: Assessment of Electric Power
Systems},
booktitle = {Resilience Assessment and Evaluation of Computing Systems},
pages = {365--390},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29032-9\_18},
doi = {10.1007/978-3-642-29032-9\_18},
timestamp = {Tue, 16 May 2017 14:01:42 +0200},
biburl = {https://dblp.org/rec/books/sp/wolter2012/ChiaradonnaGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcip/ChiaradonnaGL11,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Paolo Lollini},
title = {Definition, implementation and application of a model-based framework
for analyzing interdependencies in electric power systems},
journal = {Int. J. Crit. Infrastructure Prot.},
volume = {4},
number = {1},
pages = {24--40},
year = {2011},
url = {https://doi.org/10.1016/j.ijcip.2011.03.001},
doi = {10.1016/J.IJCIP.2011.03.001},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcip/ChiaradonnaGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ChiaradonnaGN11,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Nicola Nostro},
title = {Modeling and analysis of the impact of failures in Electric Power
Systems organized in interconnected regions},
booktitle = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
pages = {442--453},
publisher = {{IEEE} Compute Society},
year = {2011},
url = {https://doi.org/10.1109/DSN.2011.5958257},
doi = {10.1109/DSN.2011.5958257},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/ChiaradonnaGN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/MasciCG10,
author = {Paolo Masci and
Silvano Chiaradonna and
Felicita Di Giandomenico},
title = {Dependability Analysis of Diffusion Protocols in Wireless Networks
with Heterogeneous Node Capabilities},
booktitle = {Eighth European Dependable Computing Conference, {EDCC-8} 2010, Valencia,
Spain, 28-30 April 2010},
pages = {145--154},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/EDCC.2010.26},
doi = {10.1109/EDCC.2010.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/MasciCG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsose/ChiaradonnaGL09,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Paolo Lollini},
title = {Assessing the impact of interdependencies in electric power systems},
journal = {Int. J. Syst. Syst. Eng.},
volume = {1},
number = {3},
pages = {367--386},
year = {2009},
url = {https://doi.org/10.1504/IJSSE.2009.029910},
doi = {10.1504/IJSSE.2009.029910},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijsose/ChiaradonnaGL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/ChiaradonnaGL08,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Paolo Lollini},
editor = {Roberto Setola and
Stefan Geretshuber},
title = {Interdependency Analysis in Electric Power Systems},
booktitle = {Critical Information Infrastructure Security, Third International
Workshop, {CRITIS} 2008, Rome, Italy, October 13-15, 2008. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {5508},
pages = {60--71},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03552-4\_6},
doi = {10.1007/978-3-642-03552-4\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/critis/ChiaradonnaGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ChiaradonnaLG07,
author = {Silvano Chiaradonna and
Paolo Lollini and
Felicita Di Giandomenico},
title = {On a Modeling Framework for the Analysis of Interdependencies in Electric
Power Systems},
booktitle = {The 37th Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2007, 25-28 June 2007, Edinburgh, UK,
Proceedings},
pages = {185--195},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DSN.2007.68},
doi = {10.1109/DSN.2007.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/ChiaradonnaLG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/RomaniCGS07,
author = {Francesco Romani and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Luca Simoncini},
title = {Simulation Models and Implementation of a Simulator for the Performability
Analysis of Electric Power Systems Considering Interdependencies},
booktitle = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering
{(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}},
pages = {305--312},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HASE.2007.24},
doi = {10.1109/HASE.2007.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/RomaniCGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChiaradonnaGL07,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Paolo Lollini},
editor = {Rog{\'{e}}rio de Lemos and
Felicita Di Giandomenico and
Cristina Gacek and
Henry Muccini and
Marlon Vieira},
title = {Evaluation of Critical Infrastructures: Challenges and Viable Approaches},
booktitle = {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]},
series = {Lecture Notes in Computer Science},
volume = {5135},
pages = {52--77},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85571-2\_3},
doi = {10.1007/978-3-540-85571-2\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChiaradonnaGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DaidoneCBV07,
author = {Alessandro Daidone and
Silvano Chiaradonna and
Andrea Bondavalli and
Paulo Ver{\'{\i}}ssimo},
editor = {Rog{\'{e}}rio de Lemos and
Felicita Di Giandomenico and
Cristina Gacek and
Henry Muccini and
Marlon Vieira},
title = {Analysis of a Redundant Architecture for Critical Infrastructure Protection},
booktitle = {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]},
series = {Lecture Notes in Computer Science},
volume = {5135},
pages = {78--100},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85571-2\_4},
doi = {10.1007/978-3-540-85571-2\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DaidoneCBV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/GonczyCGPBB06,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Andr{\'{a}}s Pataricza and
Andrea Bondavalli and
Tam{\'{a}}s Bartha},
editor = {Andr{\'{a}}s Horv{\'{a}}th and
Mikl{\'{o}}s Telek},
title = {Dependability Evaluation of Web Service-Based Processes},
booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Third
European Performance Engineering Workshop, {EPEW} 2006, Budapest,
Hungary, June 21-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4054},
pages = {166--180},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11777830\_12},
doi = {10.1007/11777830\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/GonczyCGPBB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BondavalliCLS06,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Paolo Lollini and
Fabrizio Squittieri},
title = {Integration of an {MPS} Modeling Approach into Mobius},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems
{(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
pages = {139--140},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QEST.2006.21},
doi = {10.1109/QEST.2006.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BondavalliCLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/DaidoneGBC06,
author = {Alessandro Daidone and
Felicita Di Giandomenico and
Andrea Bondavalli and
Silvano Chiaradonna},
title = {Hidden Markov Models as a Support for Diagnosis: Formalization of
the Problem and Synthesis of the Solution},
booktitle = {25th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2006),2-4
October 2006, Leeds, {UK}},
pages = {245--256},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SRDS.2006.24},
doi = {10.1109/SRDS.2006.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/DaidoneGBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/BondavalliCCR04,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Domenico Cotroneo and
Luigi Romano},
title = {Effective Fault Treatment for Improving the Dependability of {COTS}
and Legacy-Based Applications},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {1},
number = {4},
pages = {223--237},
year = {2004},
url = {https://doi.org/10.1109/TDSC.2004.40},
doi = {10.1109/TDSC.2004.40},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/BondavalliCCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/BondavalliCGM04,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Ivan Mura},
title = {Dependability modeling and evaluation of multiple-phased systems using
{DEEM}},
journal = {{IEEE} Trans. Reliab.},
volume = {53},
number = {4},
pages = {509--522},
year = {2004},
url = {https://doi.org/10.1109/TR.2004.837709},
doi = {10.1109/TR.2004.837709},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/BondavalliCGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/SimonciniGBC04,
author = {Luca Simoncini and
Felicita Di Giandomenico and
Andrea Bondavalli and
Silvano Chiaradonna},
editor = {Ren{\'{e}} Jacquart},
title = {Architectural challenges for a dependable Information Society},
booktitle = {Building the Information Society, {IFIP} 18th World Computer Congress,
Topical Sessions, 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {156},
pages = {282--304},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/978-1-4020-8157-6\_24},
doi = {10.1007/978-1-4020-8157-6\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/SimonciniGBC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BondavalliCCR03,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Domenico Cotroneo and
Luigi Romano},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {303--320},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_22},
doi = {10.1007/978-3-540-45214-0\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BondavalliCCR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/BondavalliCGX02,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Felicita Di Giandomenico and
J. Xu},
title = {An adaptive approach to achieving hardware and software fault tolerance
in a distributed computing environment},
journal = {J. Syst. Archit.},
volume = {47},
number = {9},
pages = {763--781},
year = {2002},
url = {https://doi.org/10.1016/S1383-7621(01)00029-7},
doi = {10.1016/S1383-7621(01)00029-7},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/BondavalliCGX02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/RomanoBCC02,
author = {Luigi Romano and
Andrea Bondavalli and
Silvano Chiaradonna and
Domenico Cotroneo},
title = {Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based
Applications},
booktitle = {21st Symposium on Reliable Distributed Systems {(SRDS} 2002), 13-16
October 2002, Osaka, Japan},
pages = {296--303},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/RELDIS.2002.1180200},
doi = {10.1109/RELDIS.2002.1180200},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/srds/RomanoBCC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/GrandoniCGB01,
author = {Fabrizio Grandoni and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Andrea Bondavalli},
title = {Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance
Applications},
journal = {Comput. J.},
volume = {44},
number = {6},
pages = {544--556},
year = {2001},
url = {https://doi.org/10.1093/comjnl/44.6.544},
doi = {10.1093/COMJNL/44.6.544},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/GrandoniCGB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BondavalliCGG00,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Fabrizio Grandoni},
title = {Threshold-Based Mechanisms to Discriminate Transient from Intermittent
Faults},
journal = {{IEEE} Trans. Computers},
volume = {49},
number = {3},
pages = {230--245},
year = {2000},
url = {https://doi.org/10.1109/12.841127},
doi = {10.1109/12.841127},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BondavalliCGG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BondavalliMCFPS00,
author = {Andrea Bondavalli and
Ivan Mura and
Silvano Chiaradonna and
Roberto Filippini and
S. Poli and
F. Sandrini},
title = {{DEEM:} {A} Tool for the Dependability Modeling and Evaluation of
Multiple Phased Systems},
booktitle = {2000 International Conference on Dependable Systems and Networks {(DSN}
2000) (formerly {FTCS-30} and DCCA-8), 25-28 June 2000, New York,
NY, {USA}},
pages = {231--236},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICDSN.2000.857541},
doi = {10.1109/ICDSN.2000.857541},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BondavalliMCFPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/GiandomenicoCBG00,
author = {Felicita Di Giandomenico and
Silvano Chiaradonna and
Andrea Bondavalli and
Fabrizio Grandoni},
editor = {Hamid R. Arabnia},
title = {Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor
Systems},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
2000, Las Vegas, Nevada, {USA}},
publisher = {{CSREA} Press},
year = {2000},
timestamp = {Thu, 06 Oct 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/GiandomenicoCBG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BondavalliCGS99,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Lorenzo Strigini},
title = {A Contribution to the Evaluation of the Reliability of Iterative-Execution
Software},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {3},
pages = {145--166},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199909)9:3\&\#60;145::AID-STVR179\&\#62;3.0.CO;2-B},
doi = {10.1002/(SICI)1099-1689(199909)9:3\&\#60;145::AID-STVR179\&\#62;3.0.CO;2-B},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/BondavalliCGS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/GrandoniBC98,
author = {Fabrizio Grandoni and
Andrea Bondavalli and
Silvano Chiaradonna},
title = {A New Heuristic to Discriminate between Transient and Intermittent
Faults},
booktitle = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
pages = {224--231},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HASE.1998.731617},
doi = {10.1109/HASE.1998.731617},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/GrandoniBC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/BondavalliCGG00,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Fabrizio Grandoni},
title = {Discriminating Fault Rate and Persistency to Improve Fault Treatment},
booktitle = {Digest of Papers: FTCS-27, The Twenty-Seventh Annual International
Symposium on Fault-Tolerant Computing, Seattle, Washington, USA, June
24-27, 1997},
pages = {354--362},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/FTCS.1997.614109},
doi = {10.1109/FTCS.1997.614109},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/BondavalliCGG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BondavalliCGT95,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Felicita Di Giandomenico and
S. La Torre},
editor = {Gerhard Rabe},
title = {Dependability of Iterative Software: {A} Model for Evaluating the
Effects of Input Correlation},
booktitle = {14th International Conference on Computer Safety, Reliability and
Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995},
pages = {489--503},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3054-3\_34},
doi = {10.1007/978-1-4471-3054-3\_34},
timestamp = {Tue, 25 Jun 2019 09:49:42 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BondavalliCGT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/ChiaradonnaBS94,
author = {Silvano Chiaradonna and
Andrea Bondavalli and
Lorenzo Strigini},
editor = {Klaus Echtle and
Dieter K. Hammer and
David Powell},
title = {On Performability Modeling and Evaluation of Software Fault Tolerant
Structures},
booktitle = {Dependable Computing - EDCC-1, First European Dependable Computing
Conference, Berlin, Germany, October 4-6, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {852},
pages = {97--114},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58426-9\_126},
doi = {10.1007/3-540-58426-9\_126},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/ChiaradonnaBS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/BondavalliCG94,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Felicita Di Giandomenico},
editor = {Lionel M. Ni},
title = {Efficient Fault Tolerance: An Approach to Deal with Transient Faults
in Multiprocessor Architectures},
booktitle = {Proceedings 1994 International Conference on Parallel and Distributed
Systems, December 19-21, 1994, Hsinchu, Taiwan, Republic of China},
pages = {354--359},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICPADS.1994.590322},
doi = {10.1109/ICPADS.1994.590322},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpads/BondavalliCG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-17 23:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
