@INPROCEEDINGS{CDGM16b-CDGM16b-279,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Masetti, G.},
  TITLE = {Efficient non-anonymous composition operator for modeling complex dependable systems},
  EDITOR = {Tredan, G},
  BOOKTITLE = {12nd European Dependable Computing Conference (EDCC 2016), Fast Abstracts Proceedings},
  VOLUME = {abs/1608.05874},
  ADDRESS = {Gothenburg, Sweden},
  MONTH = {September},
  YEAR = {2016},
  ADSCOMMENT = {Computing Research Repository (CoRR), ArXiv e-prints}
}

@INPROCEEDINGS{MCDG2016-278,
  AUTHOR = {Masetti, G. and Chiaradonna, S. and Di Giandomenico, F.},
  TITLE = {Exploring equations ordering influence on variants of the {N}ewton-{R}aphson method},
  BOOKTITLE = {Numerical Computations: Theory and Algorithms - (NUMTA 2016): 2nd International Conf. and Summer School},
  VOLUME = {1776},
  ADDRESS = {Pizzo Calabro, Italy},
  MONTH = {June},
  PUBLISHER = {AIP},
  YEAR = {2016}
}

@INPROCEEDINGS{XCDGP16-SmartGridCommXCDGP16-277,
  AUTHOR = {Xiao, J. and Chiaradonna, S. and Di Giandomenico, F. and Pimentel, A.},
  TITLE = {Improving Voltage Control in {MV} Smart Grids},
  BOOKTITLE = {Seventh IEEE International Conference on Smart Grid Communications (SmartGridComm 2016)},
  ADDRESS = {Sydney, Australia},
  MONTH = {November},
  PAGES = {382--387},
  YEAR = {2016}
}

@INPROCEEDINGS{CDGM16c-LADCCDGM16-276,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Masetti, G.},
  TITLE = {Analyzing the impact of failures in the electric power distribution grid},
  BOOKTITLE = {Seventh Latin-American Symposium on Dependable Computing (LADC 2016)},
  PAGES = {99--108},
  ADDRESS = {Cali, Colombia},
  MONTH = {October},
  YEAR = {2016}
}

@INPROCEEDINGS{CDGM16a-CDGM16SEGE-275,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Masetti, G.},
  TITLE = {A stochastic modelling framework to analyze smart grids control strategies},
  BOOKTITLE = {Fourth IEEE International Conference on Smart Energy Grid Engineering (SEGE 2016)},
  ADDRESS = {Oshawa, Canada},
  MONTH = {August},
  PAGES = {123--130},
  YEAR = {2016}
}

@INPROCEEDINGS{CDGX16-CDGX16HASE-274,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Xiao, J.},
  TITLE = {Quantification of the effectiveness of medium voltage control policies in smart grids},
  BOOKTITLE = {17th IEEE Int. Symp. on High Assur. Syst. Eng. (HASE 2016)},
  PAGES = {284--291},
  ADDRESS = {Orlando, FLorida, USA},
  YEAR = {2016}
}

@ARTICLE{BCDGG2016-BCDGG2016JRTP-273,
  AUTHOR = {Basile, D. and Chiaradonna, S. and Di Giandomenico, F. and Gnesi, S.},
  TITLE = {A Stochastic Model-Based Approach to Analyze Reliable Energy-Saving Rail Road Switch Heating Systems},
  JOURNAL = {Journal of Rail Transport Planning \& Management, Elsevier},
  VOLUME = {6},
  NUMBER = {2},
  PAGES = {163--181},
  YEAR = {2016}
}

@INPROCEEDINGS{BCDGGM15-SERENE2015-271,
  AUTHOR = {Basile, D. and Chiaradonna, S. and Di Giandomenico, F. and Gnesi, S. and Mazzanti, F.},
  TITLE = {Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System},
  BOOKTITLE = {International Workshop on Software Engineering for Resilient Systems (SERENE 2015)},
  ADDRESS = {Paris, France},
  MONTH = {September},
  PAGES = {82--98},
  YEAR = {2015}
}

@ARTICLE{CDGM15-IJICIC2015-270,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Murru, N.},
  TITLE = {On enhancing effciency and accuracy of particle swarm optimization algorithms},
  JOURNAL = {International Journal of Innovative Computing, Information and Control (IJICIC)},
  VOLUME = {11},
  NUMBER = {4},
  PAGES = {1165--1190},
  YEAR = {2015}
}

@INPROCEEDINGS{DSMDGCGC14-RSDA2014-269,
  AUTHOR = {Di Sarno, C. and Murru, N. and Di Giandomenico, F. and Chiaradonna, S. and Garofalo, A. and Cerullo, G.},
  TITLE = {Power Grid Outlier Treatment through {K}alman Filter},
  BOOKTITLE = {Second IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2014)},
  ADDRESS = {Naples, Italy},
  MONTH = {November},
  YEAR = {2014}
}

@INPROCEEDINGS{CDGM14-EDCC2014-267,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Murru, N.},
  TITLE = {On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure},
  BOOKTITLE = {Tenth European Dependable Computing Conference (EDCC 2014), Under publication},
  ADDRESS = {Newcastle upon Tyne, UK},
  MONTH = {May},
  PAGES = {166--177},
  YEAR = {2014}
}

@ARTICLE{CDGN13-IJCCBS-266,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Nostro, N.},
  TITLE = {Stochastic Assessment of Power Systems in Presence of Heterogeneity},
  JOURNAL = {International Journal of Critical Computer-Based Systems},
  VOLUME = {4},
  NUMBER = {4},
  PAGES = {326--348},
  YEAR = {2013}
}

@INPROCEEDINGS{CDGN12b-DESEC4LCCI2012-265,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Nostro, N.},
  TITLE = {Model-based assessment of multi-region Electric Power Systems showing heterogeneous characteristics},
  BOOKTITLE = {Safecomp 2012 Workshop: Dependable and Secure Computing for Large-Scale Complex Critical Infrastructures (DESEC4LCCI 2012)},
  DOI = {10.1007/978-3-642-33675-1_29},
  ADDRESS = {Magdeburg, Germany},
  MONTH = {September},
  PAGES = {328--339},
  PUBLISHER = {Springer Verlag},
  YEAR = {2012}
}

@INCOLLECTION{BCDGDDF13-IGIBOOK2013-264,
  AUTHOR = {Beccuti, M. and Chiaradonna, S. and Di Giandomenico, F. and Donatelli, S. and Dondossola, G. and Franceschinis, G.},
  TITLE = {Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid},
  BOOKTITLE = {Critical Information Infrastructure Protection and Resilience in the {ICT} Sector},
  DOI = {10.4018/978-1-4666-2964-6.ch011},
  EDITOR = {Theron, P. and Bologna, S.},
  PUBLISHER = {IGI Global Publishing},
  PAGES = {220--241},
  YEAR = {2013}
}

@INPROCEEDINGS{FICS12-SERENE2012-263,
  AUTHOR = {Ferrari, A. and Itria, M. L. and Chiaradonna, S. and Spagnolo, G. O.},
  TITLE = {Model-based evaluation of the availability of a CBTC system},
  BOOKTITLE = {SERENE 2012 - Software Engineering for Resilient Systems. 4th International Workshop},
  ADDRESS = {Pisa, Italy},
  MONTH = {September},
  NOTE = {Paris Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012},
  PAGES = {165--179},
  YEAR = {2012}
}

@INPROCEEDINGS{CDGN12-EDCC12-262,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Nostro, N.},
  TITLE = {Analysis of Electric Power Systems accounting for interdependencies in heterogeneous scenarios},
  BOOKTITLE = {Ninth European Dependable Computing Conference (EDCC 2012)},
  ADDRESS = {Sibiu, Romania},
  MONTH = {May},
  PAGES = {84--93},
  YEAR = {2012}
}

@ARTICLE{BCDGDDF12-IJCIP12-261,
  AUTHOR = {Beccuti, M. and Chiaradonna, S. and Di Giandomenico, F. and Donatelli, S. and Dondossola, G. and Franceschinis, G.},
  TITLE = {Quantification of Dependencies between Electrical and Information Infrastructures},
  JOURNAL = {Int. J. of Critical Infrastructure Protection (IJCIP), Elsevier},
  VOLUME = {5},
  NUMBER = {1},
  PAGES = {14--27},
  ISSN = {1874-5482},
  DOI = {10.1016/j.ijcip.2012.01.003},
  URL = {http://www.sciencedirect.com/science/article/pii/S1874548212000042},
  YEAR = {2012}
}

@INCOLLECTION{CDGL12-RAE-260,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Lollini, P.},
  TITLE = {Case Study on Critical Infrastructures: {A}ssessment of Electric Power Systems},
  BOOKTITLE = {Resilience Assessment and Evaluation of Computing Systems},
  EDITOR = {Wolter, K. and Avritzer, A. and Vieira, M. and van Moorsel, A.},
  PUBLISHER = {Springer Berlin Heidelberg},
  PAGES = {365--390},
  YEAR = {2012}
}

@INPROCEEDINGS{5609784-I2MTC2011-258,
  AUTHOR = {Ferrari, P. and Flammini, A. and Rinaldi, S. and Bondavalli, A. and Brancati, F.},
  TITLE = {Evaluation of Timestamping Uncertainty in a Software-based IEEE1588 Implementation},
  BOOKTITLE = {2011 IEEE International Instrumentation and Measurement Technology Conference},
  YEAR = {2011},
  MONTH = {May, in press}
}

@INPROCEEDINGS{5623408-SRDS2011-257,
  AUTHOR = {Brancati, F. and Bondavalli, A.},
  BOOKTITLE = {Reliable Distributed Systems, 2010 29th IEEE Symposium on},
  TITLE = {Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation},
  YEAR = {2010},
  MONTH = {nov},
  VOLUME = {},
  NUMBER = {},
  PAGES = {328 -332},
  DOI = {10.1109/SRDS.2010.46},
  ISSN = {1060-9857}
}

@INPROCEEDINGS{5609784-ISPCS2010-256,
  AUTHOR = {Ferrari, P. and Flammini, A. and Rinaldi, S. and Bondavalli, A. and Brancati, F.},
  BOOKTITLE = {Precision Clock Synchronization for Measurement Control and Communication (ISPCS), 2010 International IEEE Symposium on},
  TITLE = {Improving robustness of the synchronization quality of IEEE1588 nodes},
  YEAR = {2010},
  MONTH = {oct},
  VOLUME = {},
  NUMBER = {},
  PAGES = {36 -41},
  DOI = {10.1109/ISPCS.2010.5609784},
  ISSN = {}
}

@INPROCEEDINGS{CDGN11-CDGN11PDS11-255,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Nostro, N.},
  TITLE = {Modeling and Analysis of the Impact of Failures in Electric Power Systems Organized in Interconnected Regions},
  NOTE = {The 41th Annual IEEE/IFIP Int. Conference on Dependable Systems and Networks (DSN 2011) - The Performance and Dependability Symposium (PDS)},
  PAGES = {442--453},
  YEAR = {2011}
}

@ARTICLE{CDGL11-CDGL11IJCIP-254,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Lollini, P.},
  TITLE = {Definition, Implementation and Application of a Model-based Framework for the Analysis of Interdependencies in Electric Power Systems},
  JOURNAL = {International Journal of Critical Infrastructure (IJCIP), Elsevier},
  VOLUME = {4},
  NUMBER = {1},
  PAGES = {24--40},
  URL = {http://dx.doi.org/10.1016/j.ijcip.2011.03.001},
  YEAR = {2011}
}

@INPROCEEDINGS{SORT2011-ISORCWSORT-253,
  AUTHOR = {Ceccarelli, A. and Vieira, M. and Bondavalli, A.},
  TITLE = {A Service Discovery Approach for Testing Dynamic SOAs},
  BOOKTITLE = {IEEE ISORCW-SORT 2011},
  MONTH = {March},
  YEAR = {2011},
  NOTE = {in press}
}

@INPROCEEDINGS{LADC2011-LADC2011-252,
  AUTHOR = {Ceccarelli, A. and Vinerbi, L. and Falai, L. and Bondavalli, A.},
  TITLE = {RACME: a framework to support V&V and certification},
  BOOKTITLE = {IEEE LADC 2011)},
  YEAR = {2011},
  NOTE = {In Press}
}

@INPROCEEDINGS{MoLoBo2011b-ICECCS2011-251,
  AUTHOR = {Montecchi, L. and Lollini, P. and Bondavalli, A.},
  TITLE = {Towards a MDE Transformation Workflow for Dependability Analysis},
  YEAR = {2011},
  BOOKTITLE = {16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011)},
  MONTH = {27-29 April},
  NOTE = {In press}
}

@INPROCEEDINGS{MoLoBo2011a-WORNUS2011-250,
  AUTHOR = {Montecchi, L. and Lollini, P. and Bondavalli, A.},
  TITLE = {Dependability Concerns in Model-Driven Engineering},
  BOOKTITLE = {14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011)},
  YEAR = {2011},
  MONTH = {28-31 March},
  NOTE = {In press}
}

@INCOLLECTION{BoLoMo2010-249,
  AUTHOR = {Bondavalli, A. and Lollini, P. and Montecchi, L.},
  TITLE = {Graphical formalisms for modeling critical infrastructures},
  BOOKTITLE = {Critical Infrastructure Security: Assessment, Prevention, Detection, Response},
  YEAR = {2011},
  PUBLISHER = {WIT Press Royal},
  NOTE = {In press}
}

@ARTICLE{SRDS2010-SRDS2010-248,
  AUTHOR = {Bondavalli, A. and Brancati, F. and Ceccarelli, A. and Vadursi, M.},
  TITLE = {Experimental Validation of a Synchronization Uncertainty-Aware Software Clock},
  JOURNAL = {Reliable Distributed Systems, IEEE Symposium on},
  VOLUME = {0},
  YEAR = {2010},
  PAGES = {245-254}
}

@TECHREPORT{techRepMoLoBo10-247,
  AUTHOR = {Montecchi, L. and Lollini, P. and Bondavalli, A.},
  TITLE = {An Intermediate Dependability Model for state-based dependability analysis},
  INSTITUTION = {University of Florence, Dip. Sistemi Informatica, RCL group},
  NUMBER = {rcl101115 v2.1},
  MONTH = {January},
  YEAR = {2011},
  URL = {http://dcl.isti.cnr.it/Documentation/Papers/Techreports.html}
}

@INPROCEEDINGS{5479511-ISORCWORNUS2010-246,
  AUTHOR = {Ceccarelli, A. and Gronbaek, J. and Montecchi, L. and Schwefel, H.-P. and Bondavalli, A.},
  BOOKTITLE = {Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on},
  TITLE = {Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments},
  MONTH = {May},
  PAGES = {184 -193},
  YEAR = {2010}
}

@INPROCEEDINGS{NCA2010-NCA2010-245,
  AUTHOR = {Gronbaek, J. and Schwefel, H.P. and Ceccarelli, A. and Bondavalli, A.},
  TITLE = {Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations},
  BOOKTITLE = {Network Computing and Applications (NCA), 2010 9th IEEE International Symposium on},
  MONTH = {July},
  PAGES = {229 -232},
  YEAR = {2010}
}

@INPROCEEDINGS{depend10-depend-244,
  AUTHOR = {Vinerbi, L. and Bondavalli, A. and Lollini, P.},
  TITLE = {Emergence: a new source of failures in complex systems},
  BOOKTITLE = {Third International Conference on Dependability (DEPEND 2010)},
  YEAR = {2010}
}

@ARTICLE{taas10-taas-243,
  AUTHOR = {Dixit, M. and Casimiro, A. and Veríssimo, P. and Lollini, P. and Bondavalli, A.},
  TITLE = {Adaptare: Supporting automatic and dependable adaptation in dynamic environments},
  JOURNAL = {To appear in ACM Transactions on Autonomous and Adaptive Systems},
  YEAR = {2011}
}

@INPROCEEDINGS{ads7-ads_vii-242,
  AUTHOR = {Bondavalli, A. and Ceccarelli, A. and Lollini, P.},
  TITLE = {Architecting and Validating Dependable Systems: Experiences and Visions},
  BOOKTITLE = {Architecting Dependable Systems VII},
  SERIES = {LNCS},
  YEAR = {2010},
  PUBLISHER = {Springer Berlin / Heidelberg},
  ADDRESS = {Berlin Heidelberg},
  MONTH = {January}
}

@ARTICLE{hid09-tmc-241,
  AUTHOR = {Bondavalli, A. and Hamouda, O. and Kaâniche, M. and Lollini, P. and Majzik, I. and Schwefel, H.-P.},
  TITLE = {The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems},
  JOURNAL = {To appear in IEEE Transactions on Mobile Computing},
  YEAR = {2011}
}

@ARTICLE{JoSseus-JoS-240,
  AUTHOR = {Bondavalli, A. and Lollini, P. and Montecchi, L.},
  TITLE = {QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis},
  JOURNAL = {Journal of Software},
  VOLUME = {4},
  NUMBER = {7},
  YEAR = {2009},
  PAGES = {675--685}
}

@INPROCEEDINGS{TIM2010-TIM-239,
  AUTHOR = {Bondavalli, A. and Ceccarelli, A. and Falai, L. and Vadursi, M.},
  TITLE = {A New Approach and a Related Tool For Dependability Measurements on Distributed Systems},
  JOURNAL = {IEEE T. Instrumentation and Measurement},
  VOLUME = {59},
  NUMBER = {4},
  YEAR = {2010},
  PAGES = {820-831}
}

@INPROCEEDINGS{ISPCS09-ISPCS-238,
  AUTHOR = {Bondavalli, A. and Brancati, F. and Ceccarelli, A.},
  TITLE = {Safe Estimation of Time Uncertainty of Local Clocks},
  BOOKTITLE = {Proc. of Int. IEEE Symp. on Precision Clock Synch. for Measur., Contr. and Comm., ISPCS 2009},
  PAGES = {47--52},
  YEAR = {2009}
}

@INPROCEEDINGS{SEUS09Bondavalli-SEUS-236,
  AUTHOR = {Bondavalli, A. and Brancati, F. and Ceccarelli, A. and Falai, L.},
  TITLE = {An Experimental Framework for the Analysis and Validation of Software Clocks},
  BOOKTITLE = {LNCS Software Technologies for Embedded and Ubiquitous Systems (SEUS)},
  PAGES = {69-81},
  YEAR = {2009}
}

@INPROCEEDINGS{CeccarelliPRDC09-PRDC-235,
  AUTHOR = {Ceccarelli, A. and Bondavalli, A. and Iovino, D.},
  TITLE = {Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection},
  BOOKTITLE = {IEEE 15th Pacific Rim International Symposium on Dependable Computing},
  PAGES = {234-241},
  YEAR = {2009}
}

@INPROCEEDINGS{MCDG10-EDCC2010MCDG10-234,
  AUTHOR = {Masci, P. and Chiaradonna, S. and Di Giandomenico, F.},
  TITLE = {Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities},
  BOOKTITLE = {Eighth European Dependable Computing Conference (EDCC-2010)},
  DOI = {10.1109/EDCC.2010.26},
  ADDRESS = {Valencia, Spain},
  MONTH = {April},
  PAGES = {145-154},
  YEAR = {2010}
}

@INPROCEEDINGS{BFDCDGLDG09-CRIS2009BFDCDGLDG09-233,
  AUTHOR = {Beccuti, M. and Franceschinis, G. and Donatelli, S. and Chiaradonna, S. and Di Giandomenico, F. and Lollini, P. and Dondossola, G. and Garrone, F.},
  TITLE = {Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach},
  BOOKTITLE = {4th International Conference on Critical Infrastructures (CRIS 2009)},
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Linkoping, Sweden},
  YEAR = {2009}
}

@ARTICLE{CDGL09-IJSSECDGL09-232,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Lollini, P.},
  TITLE = {Assessing the Impact of Interdependencies in Electric Power Systems},
  JOURNAL = {International Journal of System of Systems Engineering (IJSSE), InderScience Publishers},
  VOLUME = {1},
  NUMBER = {3},
  PAGES = {367--386},
  YEAR = {2009}
}

@INPROCEEDINGS{DSNSTUDENTFORUM09-DSN2009-230,
  AUTHOR = {Ceccarelli, A.},
  TITLE = {Towards techniques and methodologies for collecting trusted observation results},
  BOOKTITLE = {Student Forum at DSN-2009 IEEE Int. Conference on Dependable Systems and Networks, Supplemental Volume},
  MONTH = {June 29-July 2},
  PAGES = {G34--G37},
  YEAR = {2009}
}

@TECHREPORT{techRep-rcl090601-229,
  AUTHOR = {Hegedüs Ábel},
  TITLE = {A model transformation-based approach for the Dependability analysis of UML-based system designs with maintenance},
  INSTITUTION = {University of Florence, Dip. Sistemi Informatica, RCL group},
  NUMBER = {rcl090601},
  MONTH = {June},
  YEAR = {2009},
  URL = {http://dcl.isti.cnr.it/Documentation/Papers/Techreports.html}
}

@INPROCEEDINGS{radb2008lfab-radb2008lfab-227,
  AUTHOR = {Bondavalli, A. and Falai, L.},
  TITLE = {{RODS}: General Framework for Rigorous Observation of Distributed Systems},
  BOOKTITLE = {Workshop on Resilience Assessment and Dependability Benchmarking (RADB08). DSN 2008-The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.},
  MONTH = {June},
  YEAR = {2008}
}

@ARTICLE{IJPESAFEDMI-IJPESafedmi-226,
  AUTHOR = {Bondavalli, A. and Ceccarelli, A. and Gronbaek, J. and Iovino, D. and Karna, L. and Klapka, S. and Madsen, T.K. and Magyar, M. and Majzik, I. and Salzo, A.},
  TITLE = {Design and Evaluation of a Safe Driver Machine Interface},
  JOURNAL = {IJPE},
  VOLUME = {4},
  NUMBER = {2},
  YEAR = {2009},
  PAGES = {153--166}
}

@INPROCEEDINGS{FORMSBonda08-FORMSFORMAT-225,
  AUTHOR = {Majzik, I. and Bondavalli, A. and Klapka, S. and Madsen, T.K. and Iovino, D.},
  TITLE = {FORMAL METHODS IN THE EVALUATION OF A SAFE DRIVER-MACHINE INTERFACE},
  BOOKTITLE = {FORMS-FORMAT 2008},
  MONTH = {October},
  YEAR = {2008}
}

@INPROCEEDINGS{SRDS08-SRDS2008-224,
  AUTHOR = {Bondavalli, A. and Ceccarelli, A. and Falai, L.},
  TITLE = {Assuring Resilient Time Synchronization},
  BOOKTITLE = {SRDS 2008: Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems},
  YEAR = {2008},
  PUBLISHER = {IEEE Computer Society},
  ADDRESS = {Washington, DC, USA}
}

@INPROCEEDINGS{DEPCOS2008-DEPCOSRELCOMEX2008-223,
  AUTHOR = {Ceccarelli, A. and Majzik, I. and Iovino, D. and Caneschi, F. and Pinter, G. and Bondavalli, A.},
  TITLE = {A resilient SIL 2 Driver Machine Interface for train control systems},
  BOOKTITLE = {IEEE Third International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08)},
  MONTH = {June},
  YEAR = {2008}
}

@INPROCEEDINGS{SRDS008Workshop-SRDS2008Workshop-222,
  AUTHOR = {Ceccarelli, A. and Iovino, D. and Bondavalli, A.},
  TITLE = {A Fault Injection Tool for Trustworthy, Comparative Measurements and Analysis},
  BOOKTITLE = {IEEE SRDS 2008 Workshop},
  MONTH = {October 5},
  YEAR = {2008}
}

@INPROCEEDINGS{RADB08Bondavalli-RADB2008-221,
  AUTHOR = {Bondavalli, A. and Ceccarelli, A. and Falai, L. and Vadursi, M.},
  TITLE = {Enhancing the NekoStat Tool with Uncertainty, Resolution and Intrusiveness Evaluation Capabilities},
  BOOKTITLE = {DSN 2008 Workshop on Resilience Assessment and Dependability Benchmarking},
  MONTH = {June},
  YEAR = {2008}
}

@INPROCEEDINGS{Verissimo:08ads-ADS08-220,
  AUTHOR = {Verissimo, P. and Neves, N. and Correia, M. and Abou El Kalam, A. and Deswarte, Y. and Bondavalli, A. and Daidone, A.},
  TITLE = {The CRUTIAL Architecture for Critical Information Infrastructures},
  BOOKTITLE = {Architecting Dependable Systems V},
  SERIES = {LNCS 5135},
  EDITOR = {R. de Lemos et al.},
  YEAR = {2008},
  PAGES = {1-27},
  PUBLISHER = {Springer Berlin / Heidelberg},
  ADDRESS = {Berlin Heidelberg},
  MONTH = {August}
}

@TECHREPORT{RCL081215-RCL081215-219,
  AUTHOR = {Daidone, A.},
  TITLE = {FOREVER assessment: modelling details},
  MONTH = {December},
  YEAR = {2008},
  URL = {http://dcl.isti.cnr.it/Documentation/Papers/Techreports.html},
  INSTITUTION = {University of Florence, Dip. Sistemi Informatica, RCL group},
  NUMBER = {rcl080508}
}

@INPROCEEDINGS{ciis09-CRITIS08-218,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Lollini, P.},
  TITLE = {Interdependency Analysis in Electric Power Systems},
  BOOKTITLE = {Critical Information Infrastructure Security},
  SERIES = {CRITIS 2008, LNCS 5508},
  EDITOR = {R. Setola and S. Geretshuber},
  YEAR = {2009},
  PAGES = {60--71},
  PUBLISHER = {Springer Berlin / Heidelberg},
  ADDRESS = {Berlin Heidelberg}
}

@ARTICLE{klbk08-IJPE08-217,
  AUTHOR = {Kaaniche, M. and Lollini, P. and Bondavalli, A. and Kanoun, K.},
  TITLE = {Modeling the Resilience of Large and Evolving Systems},
  JOURNAL = {International Journal of Performability Engineering},
  VOLUME = {4},
  NUMBER = {2},
  MONTH = {April},
  PAGES = {153--168},
  YEAR = {2008}
}

@INCOLLECTION{blm08-SEUS2008-215,
  AUTHOR = {Bondavalli, A. and Lollini, P. and Montecchi, L.},
  TITLE = {Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults},
  BOOKTITLE = {6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008)},
  SERIES = {LNCS},
  PUBLISHER = {Springer Verlag},
  VOLUME = {0},
  PAGES = {0-0},
  YEAR = {2008}
}

@INCOLLECTION{DCBV08-DCBV08LNCS-214,
  AUTHOR = {Daidone, A. and Chiaradonna, S. and Bondavalli, A. and Verissimo, P.},
  TITLE = {Analysis of a Redundant Architecture for Critical Infrastructure Protection},
  SERIES = {LNCS},
  BOOKTITLE = {Architecting Dependable Systems V},
  EDITOR = {De Lemos, R. and Di Giandomenico, F. and Gacek, C. and Muccini, H. and Vieira, M.},
  PUBLISHER = {Springer, Heidelberg},
  PAGES = {78--100},
  VOLUME = {5135},
  YEAR = {2008}
}

@INCOLLECTION{CDGL08-CDGL08LNCS-213,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Lollini, P.},
  TITLE = {Evaluation of Critical Infrastructures: Challenges and Viable Approaches},
  SERIES = {LNCS 5135},
  BOOKTITLE = {Architecting Dependable Systems V},
  EDITOR = {De Lemos, R. and Di Giandomenico, F. and Gacek, C. and Muccini, H. and Vieira, M.},
  PUBLISHER = {Springer, Heidelberg},
  PAGES = {52--77},
  VOLUME = {5135},
  URL = {http://dx.doi.org/10.1007/978-3-540-85571-2_3},
  YEAR = {2008}
}

@INPROCEEDINGS{forms08-FORMS2008-211,
  AUTHOR = {Lollini, P. and Montecchi, L. and Magyar, M. and Majzik, I. and Bondavalli, A.},
  TITLE = {Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems},
  BOOKTITLE = {Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008)},
  MONTH = {October 9-10},
  PAGES = {0--0},
  YEAR = {2008}
}

@INPROCEEDINGS{BMCFPS00-SERENE08-210,
  AUTHOR = {Kovacs, M. and Lollini, P. and Majzik, I. and Bondavalli, A.},
  TITLE = {An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications},
  BOOKTITLE = {RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008)},
  MONTH = {November 17-19},
  PAGES = {29--38},
  YEAR = {2008}
}

@ARTICLE{LBD07-LBDToR07-209,
  AUTHOR = {Lollini, P. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {A decomposition-based modeling framework for complex systems},
  JOURNAL = {IEEE Trans. on Reliability},
  YEAR = {2009},
  VOLUME = {58},
  NUMBER = {1},
  PAGES = {20--33}
}

@TECHREPORT{techRepRSAClock-techRepRSAClock-208,
  AUTHOR = {Bondavalli, A. and Ceccarelli, A. and Falai, L.},
  TITLE = {Reliable and Self-Aware Clock: complete description},
  INSTITUTION = {University of Florence, Dip. Sistemi Informatica, RCL group},
  NUMBER = {rcl080508},
  MONTH = {May},
  YEAR = {2008},
  URL = {http://dcl.isti.cnr.it/Documentation/Papers/Techreports.html}
}

@ARTICLE{ABHV06-TDSC06-207,
  AUTHOR = {Arlat, J. and Bondavalli, A. and Haverkort, B. R. and Ver{\'i}ssimo, P.},
  TITLE = {Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia},
  JOURNAL = {IEEE Trans. on Dependable and Secure Computing},
  VOLUME = {3},
  NUMBER = {3},
  PAGES = {169--171},
  YEAR = {2006}
}

@INPROCEEDINGS{1364209-SAC08-206,
  AUTHOR = {Casimiro, A. and Lollini, P. and Dixit, M. and Bondavalli, A. and Ver{\'i}ssimo, P.},
  TITLE = {A framework for dependable QoS adaptation in probabilistic environments},
  BOOKTITLE = {SAC '08: Proceedings of the 2008 ACM symposium on Applied computing},
  YEAR = {2008},
  ISBN = {978-1-59593-753-7},
  PAGES = {2192--2196},
  LOCATION = {Fortaleza, Ceara, Brazil},
  URL = {http://doi.acm.org/10.1145/1363686.1364209},
  PUBLISHER = {ACM},
  ADDRESS = {New York, NY, USA}
}

@TECHREPORT{techRep-rcl080401-205,
  AUTHOR = {Lollini, P. and Montecchi, L. and Magyar, M. and Majzik, I. and Bondavalli, A.},
  TITLE = {Assessing the impact of cyclic/acyclic EVC-DMI interactions in Automatic Train Control systems},
  INSTITUTION = {University of Florence, Dip. Sistemi Informatica, RCL group},
  NUMBER = {rcl080401},
  MONTH = {April},
  YEAR = {2008},
  URL = {http://dcl.isti.cnr.it/Documentation/Papers/Techreports.html}
}

@TECHREPORT{techRep07-RCL071202-204,
  AUTHOR = {Chiaradonna, S. and Lollini, P. and Di Giandomenico, F.},
  TITLE = {Modelling framework of an instance of the Electric Power System: functional description and implementation},
  INSTITUTION = {University of Florence, Dip. Sistemi Informatica, RCL group},
  NUMBER = {RCL071202},
  MONTH = {December},
  YEAR = {2007},
  URL = {http://dcl.isti.cnr.it/Documentation/Papers/Techreports.html}
}

@TECHREPORT{RCL-071201-RCL071201-203,
  TITLE = {On the evaluation of hidenets use-cases having phased behavior},
  NUMBER = {RCL-071201},
  AUTHOR = {Lollini, P. and Montecchi, L. and Bondavalli, A.},
  INSTITUTION = {Universita' degli Studi di Firenze, Dipartimento di Sistemi e Informatica},
  MONTH = {12},
  YEAR = {2007}
}

@ARTICLE{SBS07-TDSC07-202,
  AUTHOR = {Serafini, M. and Bondavalli, A. and Suri, N.},
  TITLE = {Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters},
  JOURNAL = {IEEE Trans. on Dependable and Secure Computing},
  VOLUME = {4},
  NUMBER = {4},
  PAGES = {295--312},
  YEAR = {2007}
}

@INBOOK{BBR07-LADC2007-201,
  EDITOR = {Bondavalli, A. and Brasileiro, F. V. and Rajsbaum, S.},
  TITLE = {Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {4746},
  YEAR = {2007},
  ISBN = {978-3-540-75293-6}
}

@INPROCEEDINGS{RCDGS07-HASE07-200,
  AUTHOR = {Romani, F. and Chiaradonna, S. and Di Giandomenico, F. and Simoncini, L.},
  TITLE = {Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies},
  BOOKTITLE = {10th IEEE High Assurance Systems Engineering Symposium (HASE'07)},
  ADDRESS = {Dallas, Texas, USA},
  MONTH = {November},
  PAGES = {305--312},
  YEAR = {2007}
}

@TECHREPORT{RCDGS07-ISTI2007TR012-199,
  AUTHOR = {Romani, F. and Chiaradonna, S. and Di Giandomenico, F. and Simoncini, L.},
  TITLE = {Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies},
  INSTITUTION = {ISTI-CNR, Italy},
  TYPE = {Technical Report},
  NUMBER = {2007-TR-012},
  YEAR = {2007}
}

@INPROCEEDINGS{BCFV2007-DSN2007-198,
  AUTHOR = {Bondavalli, A. and Ceccarelli, A. and Falai, L. and Vadursi, M.},
  TITLE = {Foundations of measurement theory applied to the evaluation of dependability attributes},
  BOOKTITLE = {DSN-2007 IEEE Int. Conference on Dependable Systems and Networks},
  MONTH = {June 25--28},
  YEAR = {2007}
}

@INPROCEEDINGS{DSN2007sf-DSN2007-197,
  AUTHOR = {Daidone, A.},
  TITLE = {Diagnosis Framework for Complex Critical Systems/Infrastructures},
  BOOKTITLE = {DSN-2007 student forum},
  MONTH = {June 25--28},
  YEAR = {2007}
}

@INPROCEEDINGS{CLDG07-DSN2007-196,
  AUTHOR = {Chiaradonna, S. and Lollini, P. and Di Giandomenico, F.},
  TITLE = {On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems},
  BOOKTITLE = {IEEE/IFIP 37th Int. Conference on Dependable Systems and Networks (DSN 2007)},
  ADDRESS = {Edinburgh, UK},
  MONTH = {June},
  PAGES = {185--195},
  YEAR = {2007}
}

@INPROCEEDINGS{BMCFPS00-pdp2007-195,
  AUTHOR = {Bondavalli, A. and Ceccarelli, A. and Falai, L.},
  TITLE = {A self-aware clock for pervasive computing systems},
  BOOKTITLE = {The Fifteen Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP 2007)},
  MONTH = {Febraury 7-9},
  YEAR = {2007}
}

@INCOLLECTION{FB07-seft2007-194,
  AUTHOR = {Falai, L. and Bondavalli, A.},
  EDITOR = {Pelliccione, P.},
  TITLE = {Extending the Applicability of the Neko Framework for the Validation and Verification of Distributed Algorithms},
  BOOKTITLE = {SOFTWARE ENGINEERING AND FAULT TOLERANCE},
  PAGES = {},
  PUBLISHER = {World Scientific Publishing Co. Pte. Ltd},
  YEAR = {2007}
}

@INPROCEEDINGS{BCFV07-ISADS2007-192,
  AUTHOR = {Bondavalli, A. and Ceccarelli, A. and Falai, L. and Vadursi, M.},
  TITLE = {Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems},
  BOOKTITLE = {Proceedings of The 8th International Symposium on Autonomous Decentralized Systems},
  MONTH = {March},
  YEAR = {2007}
}

@TECHREPORT{RCL061201-RCL061201-190,
  AUTHOR = {Chiaradonna, S. and Lollini, P. and Di Giandomenico, F.},
  TITLE = {On the modeling of an instance of the electric power system},
  TYPE = {Technical Report RCL061201, University of Firenze, Dip. Sistemi e Informatica},
  MONTH = {December},
  YEAR = {2006}
}

@TECHREPORT{RCL060501-RCL060501-189,
  AUTHOR = {Lollini, P. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {A general modeling approach and its application to a UMTS network with soft-handover mechanism},
  TYPE = {Technical Report RCL060501, University of Firenze, Dip. Sistemi e Informatica},
  MONTH = {May},
  YEAR = {2006}
}

@INPROCEEDINGS{DDGBC06-SRDS2006-188,
  AUTHOR = {Daidone, A. and Di Giandomenico, F. and Bondavalli, A. and Chiaradonna, S.},
  TITLE = {Hidden {M}arkov 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)},
  ADDRESS = {Leeds, UK},
  MONTH = {October},
  PAGES = {245--256},
  YEAR = {2006}
}

@INPROCEEDINGS{BCLS06-QEST06TOOLS-187,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Lollini, P. and Squittieri, F.},
  TITLE = {Integration of an {MPS} Modeling Approach into {M}{\"o}bius},
  BOOKTITLE = {3rd IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2006) - Tool Session},
  ADDRESS = {University of California, Riverside, CA, USA},
  MONTH = {September},
  PAGES = {139--140},
  YEAR = {2006}
}

@INPROCEEDINGS{DGCGM06-ISTMobilesummit06-186,
  AUTHOR = {Di Giandomenico, F. and Chiaradonna, S. and Galliano E. and Mura, I.},
  TITLE = {Model-Based Dimensioning of {CAUTION}++},
  BOOKTITLE = {15th IST Mobile \& Wireless Communication Summit},
  ADDRESS = {Myconos, Greece},
  MONTH = {June},
  YEAR = {2006}
}

@INCOLLECTION{GCDGPBB06-EPEW2006-185,
  AUTHOR = {G{\"o}nczy, L. and Chiaradonna, S. and Di Giandomenico, F. and Pataricza, A. and Bondavalli, A. and Bartha, T.},
  TITLE = {Dependability Evaluation of Web Service-Based Processes},
  SERIES = {LNCS},
  BOOKTITLE = {3rd European Performance Engineering Workshop (EPEW2006), Budapest, Hungary, June 21-22, 2006},
  EDITOR = {Horv{\'a}th, A. and Telek, M.},
  PUBLISHER = {Springer Verlag},
  VOLUME = {4054},
  PAGES = {166--180},
  YEAR = {2006},
  URL = {http://dx.doi.org/10.1007/11777830_12}
}

@INCOLLECTION{BCDG05-DCSBook05-184,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F.},
  TITLE = {Model-Based Evaluation as a Support to the Design of Dependable Systems},
  BOOKTITLE = {Dependable Computing Systems: Paradigms, Performance Issues, \& Applications},
  EDITOR = {Diab, H. B. and Zomaya, A. Y.},
  PUBLISHER = {John Wiley \& Sons},
  YEAR = {2005}
}

@INPROCEEDINGS{CSN2005-CSN2005-183,
  AUTHOR = {Lollini, P. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {QoS Analysis of a UMTS cell with different Service Classes},
  BOOKTITLE = {CSN-2005 The Fourth IASTED International Conference on Communication Systems and Networks},
  MONTH = {September 12-14},
  PAGES = {},
  YEAR = {2005}
}

@INPROCEEDINGS{ISAS2005-LNCS-182,
  AUTHOR = {Lollini, P. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {Evaluation of the Impact of Congestion on Service Availability in {GPRS} infrastructures},
  BOOKTITLE = {ISAS 2005/Service Availability, Lecture Notes in Computer Science 3694, Volume Editor(s): M. Malek, N. Suri, E. Nett},
  MONTH = {},
  PAGES = {},
  YEAR = {2005}
}

@INPROCEEDINGS{jbcs05-JBCS-180,
  AUTHOR = {Lollini, P. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {A Modeling Methodology for Hierarchical Control System and its Aplication},
  BOOKTITLE = {Journal of the Brazilian Computer Society (JBCS)},
  MONTH = {June},
  YEAR = {2005}
}

@TECHREPORT{RCL050601-RCL050601-179,
  AUTHOR = {Lollini, P. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {QoS evaluation in a UMTS cell},
  TYPE = {Technical Report RCL050601, University of Firenze, Dip. Sistemi e Informatica},
  MONTH = {June},
  YEAR = {2005}
}

@INPROCEEDINGS{NekoStatQEST-QEST05-178,
  AUTHOR = {Falai, L. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {NekoStat extension for Neko: Quantitative Evaluation of Distributed Algorithms},
  BOOKTITLE = {Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems (QEST '05)},
  YEAR = {2005}
}

@INPROCEEDINGS{NekoStatLADC-LADC2005-177,
  AUTHOR = {Falai, L. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {Quantitative evaluation of distributed algorithms using the Neko framework: the NekoStat extension},
  BOOKTITLE = {LADC},
  YEAR = {2005},
  PAGES = {}
}

@INPROCEEDINGS{QOSFD-dsn2005-176,
  AUTHOR = {Falai, L. and Bondavalli, A.},
  TITLE = {Experimental evalutation of the {Q}o{S} of Failure Detectors on {W}ide {A}rea {N}etwork},
  BOOKTITLE = {Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005)},
  URL = {http://doi.ieeecomputersociety.org/10.1109/DSN.2005.47},
  YEAR = {2005},
  ADDRESS = {Yokohama},
  MONTH = {june}
}

@TECHREPORT{Nekostat2004-175,
  AUTHOR = {Falai, L. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {Quantitative {E}valuation using Neko tool: {N}eko{S}tat {E}xtensions},
  TYPE = {Technical Report},
  INSTITUTION = {University of Firenze, Dip. Sistemi e Informatica},
  MONTH = {Nov},
  YEAR = {2004}
}

@ARTICLE{BCCR04-TDSC-173,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Cotroneo, D. and Romano, L.},
  TITLE = {Effective Fault Treatment for Improving the Dependability of {COTS}- and Legacy-based Applications},
  JOURNAL = {IEEE Transactions on Dependable and Secure Computing},
  VOLUME = {1},
  NUMBER = {4},
  PAGES = {223--237},
  YEAR = {2004}
}

@INPROCEEDINGS{DGS90-SRDS-172,
  AUTHOR = {Di Giandomenico, F. and Strigini, L.},
  TITLE = {Adjudicators for Diverse-Redundant Components},
  BOOKTITLE = {9th Symposium on Reliable Distributed Systems},
  ADDRESS = {Huntsville, Alabama},
  PAGES = {114--123},
  YEAR = {1990}
}

@INPROCEEDINGS{DGS91b-SRDS-171,
  AUTHOR = {Di Giandomenico, F. and Strigini, L.},
  TITLE = {Flexible Schemes for Application-Level Fault-Tolerance},
  BOOKTITLE = {10th Symposium on Reliable Distributed Systems},
  ADDRESS = {Pisa, Italy},
  PAGES = {86--95},
  YEAR = {1991}
}

@INPROCEEDINGS{DGS91-FTCSTDFT-170,
  AUTHOR = {Di Giandomenico, F. and Strigini, L.},
  TITLE = {Implementations and Extensions of the Conversation Concept},
  BOOKTITLE = {5th International Conference Fault-Tolerant Computing Systems Test, Diagnosis, Fault Treatment},
  ADDRESS = {Nurnberg FRG},
  PAGES = {42--53},
  YEAR = {1991}
}

@INCOLLECTION{DGGGS92-169,
  AUTHOR = {Di Giandomenico, F. and Guidotti, M. L. and Grandoni, F. and Simoncini, L.},
  TITLE = {Evaluating the Efficiency of Byzantine Agreement Algorithms},
  BOOKTITLE = {Hardware and Software Fault Tolerance in Parallel Computing Systems},
  EDITOR = {Avresky, D. R.},
  PUBLISHER = {Ellis Horwood Workshops},
  PAGES = {227--242},
  YEAR = {1992}
}

@TECHREPORT{DGBX95-Esprit173-168,
  AUTHOR = {Di Giandomenico, F. and Bondavalli, A. and Xu, J.},
  TITLE = {Hardware and Software Fault Tolerance: Adaptive Architectures in Distributed Computing Environments},
  TYPE = {Esprit BRA 6362 PDCS2 Technical Report},
  NUMBER = {173},
  MONTH = {June},
  YEAR = {1995}
}

@TECHREPORT{DGBX95b-B415-167,
  AUTHOR = {Di Giandomenico, F. and Bondavalli, A. and Xu, J.},
  TITLE = {Hardware and Software Fault Tolerance: Adaptive Architectures in Distributed Computing Environments},
  INSTITUTION = {IEI CNR, Pisa, Italy},
  TYPE = {Internal Report},
  NUMBER = {B4-15},
  MONTH = {April},
  YEAR = {1995}
}

@TECHREPORT{BCDGG96c-B433-166,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Grandoni, F.},
  TITLE = {Discriminating Fault Rate and Persistency to Improve Fault Treatment},
  INSTITUTION = {IEI/CNR, Pisa, Italy},
  TYPE = {Internal Report},
  NUMBER = {B4-33},
  YEAR = {1996}
}

@TECHREPORT{MDGB96-B407029-165,
  AUTHOR = {Mura, I. and Di Giandomenico, F. and Bondavalli, A.},
  TITLE = {Real-Time Multiprocessor Systems: Performability Evaluation},
  INSTITUTION = {IEI-CNR, Pisa, Italy},
  TYPE = {Internal Report},
  NUMBER = {B4-07-02-96},
  YEAR = {1996}
}

@TECHREPORT{NBS96b-C960-164,
  AUTHOR = {Nelli, M. and Bondavalli, A. and Simoncini, L.},
  TITLE = {Hierarchical Modelling of {HW}/{SW} Control Systems: an Application to Dependability Analysis of Railway Interlocking},
  INSTITUTION = {CNUCE-CNR, Pisa, Italy},
  TYPE = {Internal Report},
  NUMBER = {C96-09},
  YEAR = {1996}
}

@TECHREPORT{C97-GUARDSI1SA4TN6008a-163,
  AUTHOR = {Coccoli, A.},
  TITLE = {On Approaching Running State Restoration Algorithms in {A}da95},
  TYPE = {GUARDS Project - PDCC Techincal Note},
  NUMBER = {Report GUARDS/I1-SA4/TN/6008 version a},
  MONTH = {November 20},
  YEAR = {1997}
}

@TECHREPORT{BM97-GUARDSI3A4AO6007a-162,
  AUTHOR = {Bondavalli, A. and Mura, I.},
  TITLE = {Hierarchical Modelling and Evaluation of Phased-Mission Systems},
  TYPE = {GUARDS Project - PDCC Activity Output},
  NUMBER = {Report GUARDS/I3A4/AO/6007 version a},
  MONTH = {November 19},
  YEAR = {1997}
}

@TECHREPORT{BMN97b-GUARDSD3A4AO6001C-161,
  AUTHOR = {Bondavalli, A. and Mura, I. and Nelli, M.},
  TITLE = {Analytical modelling and evaluation of the {GUARDS} instances: example for space applications},
  TYPE = {GUARDS Project - PDCC Activity Output},
  NUMBER = {Report GUARDS/D3A4/AO/6001 C},
  MONTH = {March 18},
  YEAR = {1997}
}

@TECHREPORT{MB98c-HIDET12PDCC4v1-160,
  AUTHOR = {Majzik, I. and Bondavalli, A.},
  TITLE = {On high level dependability modeling in {HIDE}},
  TYPE = {Technical note},
  NUMBER = {Project Reference HIDE/T1.2/PDCC/4/v1},
  YEAR = {1998}
}

@TECHREPORT{PSBDG98c-CSRtn-159,
  AUTHOR = {Pizza, M. and Strigini, L. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {Optimal Discrimination between Transient and Permanent Faults - Mathematical Details},
  TYPE = {CSR Technical report},
  YEAR = {1998}
}

@TECHREPORT{BM98b-GUARDSI3A4AO6016VA-158,
  AUTHOR = {Bondavalli, A. and Mura, I.},
  TITLE = {Users Guide for Tool-Supported Modelling of Phased-Mission Systems},
  TYPE = {GUARDS Project - PDCC Activity Output},
  NUMBER = {Report GUARDS/I3A4/AO/6016 version a},
  MONTH = {11 June},
  YEAR = {1998}
}

@TECHREPORT{PRB98-GUARDSI1SA1TN5009VE-157,
  AUTHOR = {Powell, D. and Rab{\'e}jac, C. and Bondavalli, A.},
  TITLE = {Alpha-count Mechanism and Inter-Channel Diagnosis},
  TYPE = {GUARDS Project - PDCC Technical Note},
  NUMBER = {Report GUARDS/I1SA1/TN/5009 version E},
  YEAR = {1998}
}

@TECHREPORT{BM98-GUARDSI3A4AO6015VA-156,
  AUTHOR = {Bondavalli, A. and Mura, I.},
  TITLE = {Brief Overview of some Tools to Support the Modelling and Evaluation of Phased Mission Systems},
  TYPE = {GUARDS Project, PDCC Technical Note},
  NUMBER = {Report GUARDS/I3A4/AO/6015 version a},
  MONTH = {11 June},
  YEAR = {1998}
}

@TECHREPORT{MB98b-HIDET12PDCC1v1-155,
  AUTHOR = {Majzik, I. and Bondavalli, A.},
  TITLE = {Dependability Analysis in the {HIDE} Framework},
  TYPE = {Technical note},
  NUMBER = {Project Reference HIDE/T1.2/PDCC/1/v1},
  YEAR = {1998}
}

@TECHREPORT{PABBCFJRW98-GUARDS-154,
  AUTHOR = {Powell, D. and Arlat, J. and Beus-Dukic, L. and Bondavalli, A. and Coppola, P. and Fantechi, A. and Jenn, E. and Rab{\'e}jac, C. and Wellings, A.},
  TITLE = {{GUARDS}: a Generic Upgradable Architecture for Real-time Dependable Systems},
  TYPE = {GUARDS Project},
  NUMBER = {Report GUARDS/MD2A4/TN/5011 version A},
  YEAR = {1998}
}

@TECHREPORT{PSBDG98b-CSRtn-153,
  AUTHOR = {Pizza, M. and Strigini, L. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {Bayesian Diagnosis of Transient vs Permanent Faults},
  TYPE = {CSR Technical note},
  MONTH = {January},
  YEAR = {1998}
}

@TECHREPORT{BMZT98-GUARDSI1SA4TN6010-152,
  AUTHOR = {Bondavalli, A. and Mura, I. and Zang, X. and Trivedi, K. S.},
  TITLE = {Dependability modeling and Evaluation of Phased Mission Systems: a {DSPN} Approach},
  TYPE = {PDCC Technical Note},
  NUMBER = {Report GUARDS/I1-SA4/TN/6010 version a},
  MONTH = {20 January},
  YEAR = {1998}
}

@TECHREPORT{BDG98-ErcimNews-151,
  AUTHOR = {Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {The {GUARDS} Approach to Safety-Critical Real-Time Systems},
  TYPE = {Ercim News},
  NUMBER = {32},
  MONTH = {January},
  PAGES = {46--47},
  YEAR = {1998}
}

@TECHREPORT{MB99b-B41999009-150,
  AUTHOR = {Mura, I. and Bondavalli, A.},
  TITLE = {Markov Regenerative Stochastic Petri Nets to Model and Evaluate the Dependability of Phased Missions},
  INSTITUTION = {CNUCE-CNR},
  NUMBER = {B4-1999-009},
  TYPE = {Technical Report},
  MONTH = {August},
  YEAR = {1999}
}

@TECHREPORT{TPDGB00-B42000028-149,
  AUTHOR = {Tataranni, F. and Porcarelli, S. and Di Giandomenico, F. and Bondavalli, A.},
  TITLE = {Modeling and Evaluation of the Effects of Outages on the Quality of Service of {GPRS} Network Systems},
  INSTITUTION = {CNUCE-CNR},
  TYPE = {Technical Report},
  NUMBER = {B4-2000-028},
  MONTH = {December},
  YEAR = {2000}
}

@INPROCEEDINGS{TPDGBS01-WORDS2001-148,
  AUTHOR = {Tataranni, F. and Porcarelli, S. and Di Giandomenico, F. and Bondavalli, A. and Simoncini, L.},
  TITLE = {Modeling and Analysis of the Behavior of {GPRS} Systems},
  BOOKTITLE = {WORDS 2001 6th Int. Workshop on Object-oriented Real-time Dependable Systems},
  ADDRESS = {Rome, Italy},
  PAGES = {51--58},
  MONTH = {January 2001},
  YEAR = {2001}
}

@INPROCEEDINGS{TPDGB01-DSN-147,
  AUTHOR = {Tataranni, F. and Porcarelli, S. and Di Giandomenico, F. and Bondavalli, A.},
  TITLE = {Analysis of the Effects of Outages on the Quality of Service of {GPRS} Network Systems},
  BOOKTITLE = {IEEE Int. Conference on Dependable Systems and Networks (DSN-2001)},
  ADDRESS = {G{\"o}teborg, Sweden},
  PAGES = {235--244},
  YEAR = {2001}
}

@INPROCEEDINGS{PDGCB01-SAFECOMP-146,
  AUTHOR = {Porcarelli, S. and Di Giandomenico, F. and Chohra, A. and Bondavalli, A.},
  TITLE = {Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems},
  BOOKTITLE = {SAFECOMP 2001, 20th Int. Conference on Computer Safety, Reliability and Security},
  EDITOR = {Voges, U.},
  ADDRESS = {Budapest, Hungary},
  PUBLISHER = {Springer-Verlag},
  PAGES = {238--248},
  YEAR = {2001}
}

@INCOLLECTION{PAAABBCDFJ01-GUARDS2001-145,
  AUTHOR = {Powell, D. and Amendola, A. and Arlat, J. and Attermeyer, B. and Beus-Dukic, L. and Bondavalli, A. and Coppola, P. and Dambra, C. and Fantechi, A. and Jenn, E. and Rab{\'e}jac, C. and Thevenot, V. and Wellings, A.},
  TITLE = {Introduction and Overview},
  BOOKTITLE = {A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems},
  EDITOR = {Powell, D.},
  PUBLISHER = {Kluwer Academic Publishers},
  ADDRESS = {Boston},
  PAGES = {2--26},
  NOTE = {ISBN 0-7923-7295-6},
  YEAR = {2001}
}

@INPROCEEDINGS{MB01b-144,
  AUTHOR = {Mura, I. and Bondavalli, A.},
  TITLE = {Impact of outages on {GPRS} service availability},
  BOOKTITLE = {Fast Abstract},
  YEAR = {2001}
}

@ARTICLE{MB01-TC-143,
  AUTHOR = {Mura, I. and Bondavalli, A.},
  TITLE = {Markov Regenerative Stochastic {P}etri Nets to Model and Evaluate the Dependability of Phased Missions},
  JOURNAL = {IEEE Transactions on Computers},
  VOLUME = {50},
  NUMBER = {12},
  PAGES = {1337--1351},
  YEAR = {2001}
}

@ARTICLE{GCDGB01-CJ2001-142,
  AUTHOR = {Grandoni, F. and Chiaradonna, S. and Di Giandomenico, F. and Bondavalli, A.},
  TITLE = {Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications},
  JOURNAL = {Special Issue on High Assurance Systems of The Computer Journal},
  VOLUME = {44},
  NUMBER = {6},
  PAGES = {544--556},
  YEAR = {2001}
}

@TECHREPORT{FB01-CNUCEB42001017-141,
  AUTHOR = {Filippini, R. and Bondavalli, A.},
  TITLE = {Modeling and Analysis of a Scheduled Maintenance System: a {DSPN} Approach},
  INSTITUTION = {CNUCE-CNR},
  NUMBER = {CNUCE-B4-2001-017},
  TYPE = {Technical Report},
  YEAR = {2001}
}

@INPROCEEDINGS{CDGPB01-ISASSCI2001-139,
  AUTHOR = {Chohra, A. and Di Giandomenico, F. and Porcarelli, S. and Bondavalli, A.},
  TITLE = {Towards Optimal Database Maintenance in Wireless Communication Systems},
  BOOKTITLE = {The 5th World Multi-Conference on Systemics, Cybernetics and Informatics, ISAS-SCI 2001, Volume I: Information Systems Development},
  EDITOR = {Callaos, N. and Da Silva, N. I. and Molero, J.},
  ADDRESS = {Orlando, Florida, USA},
  MONTH = {July 22-25},
  PUBLISHER = {IIIS},
  PAGES = {571--576},
  YEAR = {2001}
}

@INPROCEEDINGS{CBDG01-ISORC01-138,
  AUTHOR = {Coccoli, A. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {Analysis and Estimation of the Quality of Service of Group Communication Protocols},
  BOOKTITLE = {ISORC'01 - 4th IEEE Int. Symposium on Object-oriented Real-time distributed Computing},
  ADDRESS = {Magdeburg, Germany},
  PAGES = {209--216},
  YEAR = {2001}
}

@ARTICLE{BNSM01-JCSSE-137,
  AUTHOR = {Bondavalli, A. and Nelli, M. and Simoncini, L. and Mongardi, G.},
  TITLE = {Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking},
  JOURNAL = {Journal of Computer Systems Science and Engineering, CRL Publishing},
  VOLUME = {16},
  NUMBER = {4},
  PAGES = {249--261},
  YEAR = {2001}
}

@ARTICLE{BFLS01-IEEEMICRO-136,
  AUTHOR = {Bondavalli, A. and Fantechi, A. and Latella, D. and Simoncini, L.},
  TITLE = {Design Validation of Embedded Dependable Systems},
  JOURNAL = {IEEE MICRO (special issue on embedded fault tolerant systems)},
  VOLUME = {21},
  NUMBER = {5},
  PAGES = {52--62},
  YEAR = {2001}
}

@INPROCEEDINGS{BF01-DSN2001-135,
  AUTHOR = {Bondavalli, A. and Filippini, R.},
  TITLE = {Modelling and analysis of a scheduled maintenance system: a DSPN approach},
  BOOKTITLE = {DSN2001 IEEE Int. Conference on Dependable Systems and Networks (Fast Abstract Track)},
  ADDRESS = {goteborg Sweden},
  YEAR = {2001}
}

@ARTICLE{BDCLMPS01-134,
  AUTHOR = {Bondavalli, A. and Dal Cin, M. and Latella, D. and Majzik, I. and Pataricza, A. and Savoia, G.},
  TITLE = {Dependability Analysis in the Early Phases of {UML} Based System Design},
  JOURNAL = {Journal of Computer Systems Science and Engineering},
  VOLUME = {16},
  NUMBER = {5},
  PAGES = {265--275},
  YEAR = {2001}
}

@INCOLLECTION{BCDGGPR01-GUARDS2001-133,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Grandoni, F. and Powell, D. and Rab{\'e}jac, C.},
  TITLE = {Error Processing and Fault Treatment},
  BOOKTITLE = {A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems},
  EDITOR = {Powell, D.},
  PUBLISHER = {ISBN 0-7923-7295-6, Kluwer Academic Publishers},
  MONTH = {January},
  ADDRESS = {Boston},
  PAGES = {71--86},
  YEAR = {2001}
}

@INCOLLECTION{ABDGJJKMP01-GUARDS2001-131,
  AUTHOR = {Arlat, J. and Bondavalli, A. and Di Giandomenico, F. and Jarboui, M. T. and Jenn, E. and Kanoun, K. and Mura, I. and Powell, D.},
  TITLE = {Dependability Evaluation},
  BOOKTITLE = {A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems},
  EDITOR = {Powell, D.},
  PUBLISHER = {Kluwer Academic Publishers},
  ADDRESS = {Boston},
  PAGES = {157--191},
  NOTE = {ISBN 0-7923-7295-6},
  YEAR = {2001}
}

@INCOLLECTION{XBDG95-PDCS-130,
  AUTHOR = {Xu, J. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {Dynamic Adjustment of Dependability and Efficiency in Fault-Tolerant Software},
  BOOKTITLE = {Predictably Dependable Computing Systems},
  EDITOR = {Randell, B. and Laprie, J.C. and Kopetz, H. and Littlewood, B.},
  PUBLISHER = {Springer-Verlag},
  PAGES = {155--172},
  YEAR = {1995}
}

@TECHREPORT{VBC99b-PDCCTN0004B-129,
  AUTHOR = {Viva, D. and Bondavalli, A. and Chiaradonna, S.},
  TITLE = {Sviluppo di un Caso di Studio},
  INSTITUTION = {PDCC-ENEA},
  NUMBER = {PDCC-TN-0004 B},
  TYPE = {Technical Note},
  MONTH = {March 22},
  YEAR = {1999}
}

@TECHREPORT{VBC99-PDCCTN0002B-128,
  AUTHOR = {Viva, D. and Bondavalli, A. and Chiaradonna, S.},
  TITLE = {Sperimentazione di Diverse Metodologie e Strumenti per la Modellizzazione},
  INSTITUTION = {PDCC-ENEA},
  NUMBER = {PDCC-TN-0002 B},
  TYPE = {Technical Note},
  MONTH = {March 23},
  YEAR = {1999}
}

@INPROCEEDINGS{SDGBN00-ISORC2k-127,
  AUTHOR = {Sandrini, F. and Di Giandomenico, F. and Bondavalli, A. and Nett, E.},
  TITLE = {Scheduling Solutions for the Integrated Tolerance to Value and Timing Faults},
  BOOKTITLE = {ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing.},
  ADDRESS = {Newport Beach, CA, USA},
  PAGES = {122--129},
  MONTH = {March 15-17},
  YEAR = {2000}
}

@INPROCEEDINGS{SBS91-IFAC-126,
  AUTHOR = {Strigini, L. and Bondavalli, A. and Simoncini, L.},
  TITLE = {Data-Flow like Languages for Designing Dependable Real-Time Control Systems},
  BOOKTITLE = {10th IFAC Workshop on Distributed Computer Control Systems},
  ADDRESS = {Vienna, Austria},
  PUBLISHER = {Pergamon Press},
  PAGES = {131--136},
  YEAR = {1991}
}

@INPROCEEDINGS{PSBDG98-HASE-125,
  AUTHOR = {Pizza, M. and Strigini, L. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {Optimal Discrimination between Transient and Permanent Faults},
  BOOKTITLE = {3rd IEEE High Assurance System Engineering Symposium},
  ADDRESS = {Bethesda, MD, USA},
  PAGES = {214--223},
  YEAR = {1998}
}

@CONFERENCE{PBM97-Didamatica-124,
  AUTHOR = {Parigi, A. and Bondavalli, A. and Martinelli, E.},
  TITLE = {Progetto e Realizzazione di un Server Internet come Ausilio alla Organizzazione della Didattica},
  BOOKTITLE = {Didamatica'97},
  ADDRESS = {Siena, Italy},
  PAGES = {371--374},
  MONTH = {8-10 Maggio},
  YEAR = {1997}
}

@INPROCEEDINGS{PABWBDG97-CABERNET-123,
  AUTHOR = {Powell, D. and Arlat, J. and Beus-Dukic, L. and Wellings, A. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {Ultra-Dependable and Real-Time Systems: The {GUARDS} Approach},
  BOOKTITLE = {3rd CABERNET Plenary Workshop},
  ADDRESS = {IRISA, Campus de Beaulieu, Rennes, France},
  MONTH = {April 16-18},
  YEAR = {1997}
}

@ARTICLE{PABBCFJRW99-TPDS-122,
  AUTHOR = {Powell, D. and Arlat, J. and Beus-Dukic, L. and Bondavalli, A. and Coppola, P. and Fantechi, A. and Jenn, E. and Rab{\'e}jac, C. and Wellings, A.},
  TITLE = {{GUARDS}: a Generic Upgradable Architecture for Real-time Dependable Systems},
  JOURNAL = {IEEE Transactions on Parallel and Distributed Systems, Special Issue on Dependable Real-Time Systems},
  VOLUME = {10},
  NUMBER = {6},
  PAGES = {580--599},
  YEAR = {1999}
}

@INPROCEEDINGS{NSBBT96-WORDS-121,
  AUTHOR = {Nett, E. and Streich, H. and Bizzarri, P. and Bondavalli, A. and Tarini, F.},
  TITLE = {Adaptive Software Fault Tolerance Policies with Dynamic Real-Time Guarantees},
  BOOKTITLE = {WORDS 96, IEEE Second Int. Workshop on Object-oriented Real-time Dependable Systems},
  ADDRESS = {Laguna Beach, California, U.S.A.},
  PAGES = {78--85},
  MONTH = {February 1-2},
  YEAR = {1996}
}

@INPROCEEDINGS{NBS96-EDCC2-120,
  AUTHOR = {Nelli, M. and Bondavalli, A. and Simoncini, L.},
  TITLE = {Dependability Modelling and Analysis of Complex Control Systems: an Application to Railway Interlocking},
  BOOKTITLE = {EDCC-2 European Dependable Computing Conference},
  ADDRESS = {Taormina, Italy},
  PAGES = {93--110},
  YEAR = {1996}
}

@INPROCEEDINGS{MCCB00-PESSRA2000-119,
  AUTHOR = {Minichino, M. and Ciancamerla, E. and Chiaradonna, S. and Bondavalli, A.},
  TITLE = {An experience of dependability assessment of a typical industrial safety critical Programmable Logic Controller},
  BOOKTITLE = {4t Int. Symposium Programmable Electronic Systems in Safety Related Applications},
  ADDRESS = {K{\"o}ln, Cologne, Germany},
  MONTH = {May 3-4},
  YEAR = {2000}
}

@TECHREPORT{MCB98-PDCCTN0001B-118,
  AUTHOR = {Mura, I. and Chiaradonna, S. and Bondavalli, A.},
  TITLE = {Modelli Teorici e Pratici per la Rappresentazione del Processo di Guasto},
  INSTITUTION = {PDCC-ENEA},
  NUMBER = {PDCC-TN-0001 B},
  TYPE = {Technical Note},
  MONTH = {July},
  YEAR = {1998}
}

@INPROCEEDINGS{MBZT99-DCCA7-117,
  AUTHOR = {Mura, I. and Bondavalli, A. and Zang, X. and Trivedi, K. S.},
  TITLE = {Dependability Modeling and Evaluation of Phased Mission Systems: a {DSPN} Approach},
  BOOKTITLE = {IEEE DCCA-7, IFIP Int. Conference on Dependable Computing for Critical Applications},
  ADDRESS = {San Jose, CA, USA},
  MONTH = {January 6-8},
  PAGES = {319--337},
  YEAR = {1999}
}

@ARTICLE{MB99-TR-116,
  AUTHOR = {Mura, I. and Bondavalli, A.},
  TITLE = {Hierarchical Modelling and Evaluation of Phased-Mission Systems},
  JOURNAL = {IEEE Transactions on Reliability},
  VOLUME = {48},
  NUMBER = {4},
  PAGES = {360--368},
  YEAR = {1999}
}

@INPROCEEDINGS{MB98-ISSRE-115,
  AUTHOR = {Majzik, I. and Bondavalli, A.},
  TITLE = {Automatic Dependability Modelling of Systems Described in {UML}},
  BOOKTITLE = {9th IEEE Int. Symposium on Software Reliability Engineering (ISSRE) - Fast Abstract Track},
  ADDRESS = {Paderborn, Germany},
  PAGES = {29--30},
  MONTH = {November 4-7},
  YEAR = {1998}
}

@TECHREPORT{LTCDGB95-B424-114,
  AUTHOR = {La Torre, S. and Chiaradonna, S. and Di Giandomenico, F. and Bondavalli, A.},
  TITLE = {The Effects of Input Correlation on the Dependability of Iterative Software},
  INSTITUTION = {IEI/CNR},
  NUMBER = {B4-24},
  TYPE = {Technical Report},
  MONTH = {May},
  YEAR = {1995}
}

@INPROCEEDINGS{GCB98-HASE-113,
  AUTHOR = {Grandoni, F. and Chiaradonna, S. and Bondavalli, A.},
  TITLE = {A new Heuristic to Discriminate Transient from Intermittent Faults},
  BOOKTITLE = {3rd IEEE High Assurance System Engineering Symposium (HASE'98)},
  ADDRESS = {Bethesda, MD, USA},
  PAGES = {224--231},
  YEAR = {1998}
}

@INPROCEEDINGS{DGGBM99-FTCS-112,
  AUTHOR = {Di Giandomenico, F. and Grandoni, F. and Bondavalli, A. and Mura, I.},
  TITLE = {Scheduling Solutions for a Unified Approach to the Tolerance of Value and Timing Faults},
  BOOKTITLE = {29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track},
  ADDRESS = {Madison, Wisconsin USA},
  MONTH = {June 15-18},
  YEAR = {1999}
}

@INPROCEEDINGS{DGCBG00-PDPTA2000-111,
  AUTHOR = {Di Giandomenico, F. and Chiaradonna, S. and Bondavalli, A. and Grandoni, F.},
  TITLE = {Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems},
  BOOKTITLE = {IEEE Int. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000)},
  ADDRESS = {Monte Carlo Resort, Las Vegas, Nevada, USA},
  MONTH = {June 26-29},
  PAGES = {1145--1151},
  YEAR = {2000}
}

@INPROCEEDINGS{DGBXC97-ESREL-110,
  AUTHOR = {Di Giandomenico, F. and Bondavalli, A. and Xu, J. and Chiaradonna, S.},
  TITLE = {Hardware and Software Fault Tolerance: Definition and Evaluation of Adaptive Architectures in a Distributed Computing Environment},
  BOOKTITLE = {Int. Conference on Safety and Reliability (ESREL'97)},
  ADDRESS = {Lisbon, Portugal},
  PUBLISHER = {Pergamon Press},
  PAGES = {341--348},
  MONTH = {June 17-20},
  YEAR = {1997}
}

@INPROCEEDINGS{CSDGMB00-HASE00-109,
  AUTHOR = {Coccoli, A. and Schemmer, S. and Di Giandomenico, F. and Mock, M. and Bondavalli, A.},
  TITLE = {Analysis of Group Communication Protocols to Assess Quality of Service Properties},
  BOOKTITLE = {HASE00 - 5th IEEE High Assurance System Engineering Symposium},
  ADDRESS = {Albuquerque, NM, USA},
  PAGES = {247--256},
  YEAR = {2000}
}

@INPROCEEDINGS{CSB99-NGC-108,
  AUTHOR = {Coccoli, A. and Simoncini, L. and Bondavalli, A.},
  TITLE = {Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks},
  BOOKTITLE = {First Int. Workshop on Networked Group Communication, NGC '99},
  ADDRESS = {Pisa, Italy},
  YEAR = {1999}
}

@TECHREPORT{CDGB97-GUARDSD3A4AO6002C-107,
  AUTHOR = {Chiaradonna, S. and Di Giandomenico, F. and Bondavalli, A.},
  TITLE = {Analytical Modelling of {GUARDS} Mechanisms and Components: Example of the Error Filtering Mechanism},
  INSTITUTION = {PDCC},
  NUMBER = {D3A4/AO/6002C (also GUARDS First Year Deliverable)},
  TYPE = {ESPRIT Project 20716 GUARDS Report},
  MONTH = {March 18},
  YEAR = {1997}
}

@TECHREPORT{CBS94c-PDCS2-106,
  AUTHOR = {Chiaradonna, S. and Bondavalli, A. and Strigini, L.},
  TITLE = {On Performability Modeling and Evaluation of Software Fault Tolerance Structures},
  INSTITUTION = {ESPRIT BRA 6362 PDCS2},
  TYPE = {2nd year deliverables},
  MONTH = {September},
  YEAR = {1994}
}

@INPROCEEDINGS{CBS94b-EDCC-105,
  AUTHOR = {Chiaradonna, S. and Bondavalli, A. and Strigini, L.},
  TITLE = {On Performability Modeling and Evaluation of Software Fault Tolerance Structures},
  BOOKTITLE = {1st European Dependable Computing Conference (EDCC-1)},
  ADDRESS = {Berlin, Germany},
  PUBLISHER = {Springer-Verlag},
  PAGES = {97--114},
  YEAR = {1994}
}

@TECHREPORT{CBS94-C9402-104,
  AUTHOR = {Chiaradonna, S. and Bondavalli, A. and Strigini, L.},
  TITLE = {Comparative Performability Evaluation of {RB}, {NVP} and {SCOP}},
  INSTITUTION = {CNUCE/CNR},
  NUMBER = {C94-02},
  TYPE = {Technical Report},
  MONTH = {January},
  YEAR = {1994}
}

@INPROCEEDINGS{CBS00-IDPT2000-103,
  AUTHOR = {Coccoli, A. and Bondavalli, A. and Simoncini, L.},
  TITLE = {Consensus in asynchronous distributed systems},
  BOOKTITLE = {IDPT '2000 5th, Int. Conference on Integrated Design and Process Technology},
  ADDRESS = {Dallas, TX, USA},
  MONTH = {June 4-8},
  YEAR = {2000}
}

@TECHREPORT{CBDG94-PDCS2-102,
  AUTHOR = {Chiaradonna, S. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {A Fault Treatment Approach to Support Dynamic Redundancy in Multiprocessor Architectures},
  INSTITUTION = {Esprit BRA 6362 PDCS2},
  TYPE = {2nd year deliverables},
  MONTH = {September},
  YEAR = {1994}
}

@INPROCEEDINGS{CBDG00-EWDC12-101,
  AUTHOR = {Coccoli, A. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {Dependability and performance analysis of a protocol for efficient real-time group communication},
  BOOKTITLE = {EWDC-12 European Workshop on Dependable Computing},
  ADDRESS = {Budapest, Hungary},
  YEAR = {2000}
}

@INPROCEEDINGS{CBBS94-DCCS-100,
  AUTHOR = {Csert{\'a}n, Gy. and Bernardeschi, C. and Bondavalli, A. and Simoncini, L.},
  TITLE = {Analysis of temporal properties of dataflow networks},
  BOOKTITLE = {12th IFAC workshop DCCS 94},
  ADDRESS = {Toledo, Spain},
  PUBLISHER = {Elsevier Science},
  PAGES = {153--158},
  YEAR = {1994}
}

@INPROCEEDINGS{CB93-AICA-99,
  AUTHOR = {Chiaradonna, S. and Bondavalli, A.},
  TITLE = {Uno Schema Efficiente per la Tolleranza a Guasti Operazionali in Architetture Multiprocessore},
  BOOKTITLE = {Congresso annuale A.I.C.A. '93},
  ADDRESS = {Lecce, Italy},
  PAGES = {1289--1303},
  MONTH = {September 22-24},
  YEAR = {1993}
}

@INCOLLECTION{BSS95-RCS-98,
  AUTHOR = {Bondavalli, A. and Stankovic, J. A. and Strigini, L.},
  TITLE = {Adaptable Fault Tolerance for Real-Time Systems},
  BOOKTITLE = {Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems},
  EDITOR = {Fussell, D. and Malek, M.},
  PUBLISHER = {Kluwer Academic Publishers},
  ADDRESS = {Boston},
  PAGES = {187--208},
  YEAR = {1995}
}

@INPROCEEDINGS{BSS92b-SRDS-97,
  AUTHOR = {Bondavalli, A. and Strigini, L. and Simoncini, L.},
  TITLE = {Data-Flow like Languages for Real-Time Systems: Issues of Computational Models and Notation},
  BOOKTITLE = {11th IEEE Symposium on Reliable Distributed Systems (SRDS-11)},
  ADDRESS = {Houston, Texas, USA},
  PAGES = {214--221},
  MONTH = {October 5-7},
  NOTE = {also Esprit PDCS (Predictably Dependable Computing Systems) report No. D10, 1992},
  YEAR = {1992}
}

@ARTICLE{BSS92-CNISDNS-96,
  AUTHOR = {Bondavalli, A. and Strigini, L. and Sereno, M.},
  TITLE = {Destination Stripping Dual Ring: a new protocol for {MAN}s},
  JOURNAL = {Computer Networks and ISDN Systems},
  VOLUME = {24},
  NUMBER = {1},
  PAGES = {15--32},
  NOTE = {also CNUCE / CNR report, No. C90-07, 1990},
  YEAR = {1992}
}

@INPROCEEDINGS{BS94-MicroP94-95,
  AUTHOR = {Bondavalli, A. and Simoncini, L.},
  TITLE = {Dependable Dataflow Control Systems},
  BOOKTITLE = {MicroP94, 8th Symposium on Microcomputer and Microprocessor Applications},
  ADDRESS = {Budapest, Hungary},
  PAGES = {5--14},
  MONTH = {March 30 - April 1},
  YEAR = {1994}
}

@INPROCEEDINGS{BS93-ISADS-94,
  AUTHOR = {Bondavalli, A. and Simoncini, L.},
  TITLE = {Functional Paradigm for Designing Dependable Large-Scale Parallel Computing Systems},
  BOOKTITLE = {IEEE Int. Symposium on Autonomous Decentralized Systems (ISADS '93)},
  ADDRESS = {Kawasaki, japan},
  PAGES = {108--114},
  MONTH = {March 30 - April 1},
  YEAR = {1993}
}

@INPROCEEDINGS{BS92-FTDCS-93,
  AUTHOR = {Bondavalli, A. and Simoncini, L.},
  TITLE = {Structured Sofware Fault-Tolerance with {BSM}},
  BOOKTITLE = {3rd. IEEE Workshop on Future Trends in Distributed Computing Systems},
  ADDRESS = {Taipei, Taiwan},
  PAGES = {278--286},
  MONTH = {April 14-16},
  NOTE = {also Esprit PDCS (Predictably Dependable Computing Systems) report 2nd Year Deliverables, 1991},
  YEAR = {1992}
}

@INPROCEEDINGS{BS91-INFOCOM-92,
  AUTHOR = {Bondavalli, A. and Strigini, L.},
  TITLE = {{DSDR}: A Fair and Efficient Access Protocol for Ring-Topology {MAN}s},
  BOOKTITLE = {IEEE INFOCOM'91},
  ADDRESS = {Miami, Florida},
  PAGES = {1022--1030},
  MONTH = {April 9-11},
  YEAR = {1991}
}

@INPROCEEDINGS{BS90-FTDCS-91,
  AUTHOR = {Bondavalli, A. and Simoncini, L.},
  TITLE = {Failures Classification with Respect to Detection},
  BOOKTITLE = {2nd. IEEE Workshop on Future Trends in Distributed Computing Systems},
  ADDRESS = {Cairo, Egypt},
  PAGES = {47--53},
  MONTH = {September 30 - October 2},
  NOTE = {also Esprit PDCS (Predictably Dependable Computing Systems) report 1st Year Deliverables, 1990},
  YEAR = {1990}
}

@ARTICLE{BS89-JCSSE-90,
  AUTHOR = {Bondavalli, A. and Simoncini, L.},
  TITLE = {Data-flow-like model for robust computations},
  JOURNAL = {Journal of Computer Systems Science and Engineering},
  VOLUME = {4},
  NUMBER = {3},
  PAGES = {176--184},
  NOTE = {Butterworths, July},
  YEAR = {1989}
}

@INPROCEEDINGS{BS88-FTDCS-89,
  AUTHOR = {Bondavalli, A. and Simoncini, L.},
  TITLE = {Modelling robust computations in a {D}ata-{F}low-Like style},
  BOOKTITLE = {1st IEEE Workshop on Future Trends of Distributed Computing Systems},
  ADDRESS = {Hong Kong},
  PAGES = {252--261},
  MONTH = {September 14-16},
  YEAR = {1988}
}

@CONFERENCE{BS87b-AICA-88,
  AUTHOR = {Bondavalli, A. and Simoncini, L.},
  TITLE = {Un modello per la descrizione di computazioni robuste Data-Flow-Like},
  BOOKTITLE = {26th Congresso annuale A.I.C.A.},
  ADDRESS = {Trento, Italy},
  PAGES = {163--182},
  MONTH = {September 30 - October 2},
  YEAR = {1987}
}

@INPROCEEDINGS{BS87-FTDC-87,
  AUTHOR = {Bondavalli, A. and Simoncini, L.},
  TITLE = {Modelling robust computations in a {D}ata-{F}low-Like style},
  BOOKTITLE = {Workshop on Fault Tolerance in Parallel and Distributed Computing (without Proceedings)},
  ADDRESS = {San Diego, California},
  NOTE = {also Workshop on Fault Tolerance in Parallel and Distributed Computing, San Diego, California, Dec. 7-8,1987 and EWDC-1 1st European Workshop on Dependable Computing, Toulouse, Francia, March 1988. (Workshps without Proceedings)},
  YEAR = {1987}
}

@ARTICLE{BPBDGRSS00-JSA-86,
  AUTHOR = {Burns, A. and Prasad, D. and Bondavalli, A. and Di Giandomenico, F. and Ramamritham, K. and Stankovic, J. and Strigini, L.},
  TITLE = {The Meaning and Role of Value in Scheduling Flexible Real-Time Systems},
  JOURNAL = {Journal of System Architecture (JSA), Special Issue on Real-Time Systems},
  VOLUME = {46},
  PAGES = {305--325},
  YEAR = {2000}
}

@INPROCEEDINGS{BNSM97-WCRR-85,
  AUTHOR = {Bondavalli, A. and Nelli, M. and Simoncini, L. and Mongardi, G.},
  TITLE = {Application of Analytical Model-Based Evaluations to The Railway Aplications: a case study},
  BOOKTITLE = {WCRR - World Congress on Railway Research},
  ADDRESS = {Firenze, Italia},
  MONTH = {16-19 Novembre},
  YEAR = {1997}
}

@CONFERENCE{BN91-AICA-84,
  AUTHOR = {Bondavalli, A. and Nardone, L.},
  TITLE = {Supporto a Tempo di Esecuzione ed Ambiente per un Linguaggio Dataflow Esteso},
  BOOKTITLE = {30th Congresso annuale A.I.C.A.},
  ADDRESS = {Siena, Italy},
  PAGES = {1061--1075},
  YEAR = {1991}
}

@INPROCEEDINGS{BMT99-EDCC3-83,
  AUTHOR = {Bondavalli, A. and Mura, I. and Trivedi, K. S.},
  TITLE = {Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems},
  BOOKTITLE = {EDCC-3 European Dependable Computing Conference (also LNCS N. 1667)},
  ADDRESS = {Prague, Czech Republic},
  MONTH = {September},
  PUBLISHER = {Springer Verlag},
  PAGES = {7--23},
  YEAR = {1999}
}

@CONFERENCE{BMNSTZ91c-AICA-82,
  AUTHOR = {Bondavalli, A. and Mannocci, M. and Nardone, L. and Simoncini, L. and Tarini, F. and Zini, P.},
  TITLE = {PACS: Performability-Achieving Computing Systems},
  BOOKTITLE = {30th Congresso annuale A.I.C.A.},
  ADDRESS = {Siena, Italy},
  PAGES = {1025--1028},
  YEAR = {1991}
}

@INPROCEEDINGS{BMNSTZ91b-EWDC-81,
  AUTHOR = {Bondavalli, A. and Mannocci, M. and Nardone, L. and Simoncini, L. and Tarini, F. and Zini, P.},
  TITLE = {{PACS}: Performability-Achieving Computing Systems},
  BOOKTITLE = {EWDC-3 European Workshop on Dependable Computing},
  ADDRESS = {Munich, Germany},
  MONTH = {April 3-5},
  YEAR = {1991}
}

@INPROCEEDINGS{BMNSTZ91-FTCS-80,
  AUTHOR = {Bondavalli, A. and Mannocci, M. and Nardone, L. and Simoncini, L. and Tarini, F. and Zini, P.},
  TITLE = {A Performable {BSM} Architecture},
  BOOKTITLE = {5th Int. Conference on Fault-Tolerant Computing Systems},
  ADDRESS = {Nurnberg, Germany},
  PUBLISHER = {Springer-Verlag},
  PAGES = {332--347},
  MONTH = {September},
  YEAR = {1991}
}

@INPROCEEDINGS{BMN97-HASE-79,
  AUTHOR = {Bondavalli, A. and Mura, I. and Nelli, M.},
  TITLE = {Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications},
  BOOKTITLE = {IEEE HASE'97, High Assurance System Engineering Workshop},
  ADDRESS = {Washington, DC, USA},
  MONTH = {August 11-12},
  PAGES = {85--91},
  YEAR = {1997}
}

@INPROCEEDINGS{BMM99b-HASE-78,
  AUTHOR = {Bondavalli, A. and Majzik, I. and Mura, I.},
  TITLE = {Automatic Dependability Analysis for Supporting Design Decisions in {UML}},
  BOOKTITLE = {4th IEEE High Assurance System Engineering Symposium (HASE99)},
  ADDRESS = {Washington D.C., USA},
  PAGES = {64--71},
  YEAR = {1999}
}

@INPROCEEDINGS{BMM99-ISORC-77,
  AUTHOR = {Bondavalli, A. and Majzik, I. and Mura, I.},
  TITLE = {Automated Dependability Analysis of {UML} Designs},
  BOOKTITLE = {2nd IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC'99)},
  ADDRESS = {Saint Malo, France},
  PAGES = {139--144},
  MONTH = {May 2-5},
  YEAR = {1999}
}

@INPROCEEDINGS{BMCFPS00-DSN2000-76,
  AUTHOR = {Bondavalli, A. and Mura, I. and Chiaradonna, S. and Filippini, R. and Poli, S. and Sandrini, F.},
  TITLE = {{DEEM}: a Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems},
  BOOKTITLE = {DSN-2000 IEEE Int. Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8)},
  MONTH = {June 25-28},
  PAGES = {231--236},
  YEAR = {2000}
}

@INPROCEEDINGS{BM99-EWDC10-75,
  AUTHOR = {Bondavalli, A. and Mura, I.},
  TITLE = {High-Level Petri Net Modelling of Phased Mission Systems},
  BOOKTITLE = {10th European Workshop on Dependable Computing (EWDC-10)},
  ADDRESS = {Vienna, Austria},
  PAGES = {91--95},
  YEAR = {1999}
}

@INPROCEEDINGS{BGL89-ITC-74,
  AUTHOR = {Bondavalli, A. and Gregori, E. and Lenzini, L.},
  TITLE = {Proposals for improving the {FASNET} Performances},
  BOOKTITLE = {13th. Information Technologies Conference SARAJEVO JAHORINA 1989''},
  ADDRESS = {Sarajevo, Yugoslavia},
  PAGES = {112--1--112--9},
  MONTH = {March 20-24},
  YEAR = {1989}
}

@INPROCEEDINGS{BG88b-SNIPS-73,
  AUTHOR = {Bondavalli, A. and Gregori, E.},
  TITLE = {Concurrency Control in {OSI} Transactional Environments},
  BOOKTITLE = {IFIP TC6/TC8 Open Symposium on Network Information Processing Systems},
  ADDRESS = {Sofia, Bulgaria},
  PUBLISHER = {North Holland},
  PAGES = {69--77},
  MONTH = {May},
  YEAR = {1988}
}

@INPROCEEDINGS{BG88-ZSDC-72,
  AUTHOR = {Bondavalli, A. and Gregori, E.},
  TITLE = {{OSIRIDE} and Transactions},
  BOOKTITLE = {2nd IEEE Int. Zurich Seminar on Digital Communications},
  ADDRESS = {Zurich, Switzerland},
  PAGES = {261--266},
  MONTH = {March 8-10},
  YEAR = {1988}
}

@INPROCEEDINGS{BFLS99b-IDPT-71,
  AUTHOR = {Bondavalli, A. and Fantechi, A. and Latella, D. and Simoncini, L.},
  TITLE = {Integrated Validation of Dependable Systems},
  BOOKTITLE = {IDPT '99 4th, Int. Conference on Integrated Design and Process Technology},
  ADDRESS = {Kusadasi, Turkey},
  MONTH = {June 27 - July 2},
  YEAR = {1999}
}

@INCOLLECTION{BFLS99-CSDA-70,
  AUTHOR = {Bondavalli, A. and Fantechi, A. and Latella, D. and Simoncini, L.},
  TITLE = {Towards a Discipline of System Engineering: Validation of Dependable Systems},
  BOOKTITLE = {IEEE - From Needs to Solutions: Computer Security, Dependability, and Assurance (NATO CSDA'98)},
  ADDRESS = {Williamsburg, VA, USA},
  MONTH = {November 11-13},
  PAGES = {144--165},
  YEAR = {1999}
}

@INPROCEEDINGS{BFLS00-EFTS00-69,
  AUTHOR = {Bondavalli, A. and Fantechi, A. and Latella, D. and Simoncini, L.},
  TITLE = {An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems},
  BOOKTITLE = {IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00)},
  ADDRESS = {Washington DC},
  MONTH = {September 21-22},
  YEAR = {2000}
}

@ARTICLE{BDGX93-JCSSE-68,
  AUTHOR = {Bondavalli, A. and Di Giandomenico, F. and Xu, J.},
  TITLE = {A Cost-Effective and Flexible Scheme for Software fault Tolerance},
  JOURNAL = {Journal of Computer Systems Science and Engineering},
  VOLUME = {8},
  NUMBER = {4},
  PAGES = {234--244},
  NOTE = {CRL Publishing},
  YEAR = {1993}
}

@ARTICLE{BDGM99-RTSJ-67,
  AUTHOR = {Bondavalli, A. and Di Giandomenico, F. and Mura, I.},
  TITLE = {An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Dependable Systems},
  JOURNAL = {Real-Time Systems Journal, Kluwer Academic Publishers},
  VOLUME = {16},
  NUMBER = {1},
  PAGES = {5--30},
  YEAR = {1999}
}

@INPROCEEDINGS{BDGM97b-WMCS-66,
  AUTHOR = {Bondavalli, A. and Di Giandomenico, F. and Mura, I.},
  TITLE = {A Value-Based Approach to Flexible Decision Making in Real-Time Dependable Systems},
  BOOKTITLE = {2nd Int. Workshop on Mechatronical Computer Systems},
  ADDRESS = {Pisa, Italy},
  PAGES = {155--163},
  YEAR = {1997}
}

@INPROCEEDINGS{BDGM97-WORDS2001-65,
  AUTHOR = {Bondavalli, A. and Di Giandomenico, F. and Mura, I.},
  TITLE = {Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems},
  BOOKTITLE = {Third IEEE Int. Workshop on Object-oriented Real-time Dependable Systems (WORDS 97)},
  ADDRESS = {Newport Beach, California, USA},
  PAGES = {92--99},
  MONTH = {February 6-7},
  YEAR = {1997}
}

@INPROCEEDINGS{BDGGPR98-ISORC-64,
  AUTHOR = {Bondavalli, A. and Di Giandomenico, F. and Grandoni, F. and Powell, D. and Rab{\'e}jac, C.},
  TITLE = {State Restoration in a {COTS}-based {N}-Modular Architecture},
  BOOKTITLE = {1st IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC '98)},
  ADDRESS = {Kyoto, Japan},
  PAGES = {174--183},
  MONTH = {April 20 - 22},
  YEAR = {1998}
}

@CONFERENCE{BDGBT95-AICA-63,
  AUTHOR = {Bizzarri, P. and Di Giandomenico, F. and Bondavalli, A. and Tarini, F.},
  TITLE = {Un protocollo per la schedulazione distribuita Hard Real-Time},
  BOOKTITLE = {Congresso annuale A.I.C.A. '95},
  ADDRESS = {Cagliari, Italy},
  PAGES = {202--208},
  YEAR = {1995}
}

@INPROCEEDINGS{BDG00-ISORC2k-62,
  AUTHOR = {Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {A Position on Design, Methods, and Tools for Object-Oriented Real-time Computing},
  BOOKTITLE = {ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing},
  ADDRESS = {Newport Beach, CA, USA},
  PAGES = {306--308},
  MONTH = {March 15-17},
  YEAR = {2000}
}

@INPROCEEDINGS{BDFLV89b-ITC-61,
  AUTHOR = {Bondavalli, A. and De Francesco, N. and Latella, D. and Vaglini, G.},
  TITLE = {Using Algebraic Specifications for Data Types Shared among Concurrent Transactions},
  BOOKTITLE = {13th. Information Technologies Conference SARAJEVO JAHORINA 1989''},
  ADDRESS = {Sarajevo, Yugoslavia},
  MONTH = {March 20-24},
  PAGES = {130--1--130--10},
  YEAR = {1989}
}

@INCOLLECTION{BDFLV89-MFDBS-60,
  AUTHOR = {Bondavalli, A. and De Francesco, N. and Latella, D. and Vaglini, G.},
  TITLE = {Shared Abstract Data Types: an Algebraic Methodology for their Specification},
  BOOKTITLE = {2nd Symposium on Mathematical Fundamentals of Database Systems-MFDBS'89, LNCS 364},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag},
  ADDRESS = {Visegrad, Hungary},
  VOLUME = {364},
  PAGES = {53--67},
  MONTH = {June 26-30},
  YEAR = {1989}
}

@INPROCEEDINGS{BDCLP99-WORDS-59,
  AUTHOR = {Bondavalli, A. and Dal Cin, M. and Latella, D. and Pataricza, A.},
  TITLE = {High-level Integrated Design Environment for Dependability ({HIDE})},
  BOOKTITLE = {WORDS'99F Fifth Int. Workshop on Object-oriented Real-time Dependable Systems},
  ADDRESS = {Monterey, CA, USA},
  PAGES = {87--92},
  MONTH = {November 18-20},
  YEAR = {1999}
}

@TECHREPORT{BCM98-PDCCTN0003A-58,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Mura, I.},
  TITLE = {Integrazione di Tecniche di Fault-Forecasting},
  INSTITUTION = {PDCC-ENEA},
  NUMBER = {PDCC-TN-0003 A},
  TYPE = {Technical Note},
  MONTH = {December 15},
  YEAR = {1998}
}

@ARTICLE{BCGLS90-CNISDNS-57,
  AUTHOR = {Bondavalli, A. and Conti, M. and Gregori, E. and Lenzini, L. and Strigini, L.},
  TITLE = {{MAC} Protocols for High-Speed, {MAN}s: Performance Comparisons for a Family of Fasnet-based Protocols},
  JOURNAL = {Computer Networks and ISDN Systems},
  VOLUME = {18},
  NUMBER = {2},
  PAGES = {97--113},
  MONTH = {February},
  YEAR = {1990}
}

@ARTICLE{BCDGS99-STVR-56,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Strigini, L.},
  TITLE = {A Contribution to the Evaluation of the reliability of Iterative-Execution Software},
  JOURNAL = {STVR - Software Testing, Verification and Reliability, John Wiley and Sons},
  VOLUME = {9},
  NUMBER = {3},
  PAGES = {145--166},
  YEAR = {1999}
}

@INCOLLECTION{BCDGS95d-PDCS-55,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Strigini, L.},
  TITLE = {Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment},
  BOOKTITLE = {Predictably Dependable Computing Systems},
  EDITOR = {Randell, B. and Laprie, J.C. and Kopetz, H. and Littlewood, B.},
  PUBLISHER = {Springer-Verlag},
  PAGES = {141--154},
  YEAR = {1995}
}

@INPROCEEDINGS{BCDGS95c-IPDS-54,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Strigini, L.},
  TITLE = {Dependability Models for Iterative Software Considering Correlation among Successive Inputs},
  BOOKTITLE = {IEEE Int. Computer Performance and Dependability Symposium (IPDS'95)},
  ADDRESS = {Erlangen, Germany},
  PAGES = {13--21},
  YEAR = {1995}
}

@INCOLLECTION{BCDGS95b-PDCS-53,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Strigini, L.},
  TITLE = {Dependability Analysis of Iterative Fault Tolerant Software Considering Correlation},
  BOOKTITLE = {Predictably Dependable Computing Systems},
  EDITOR = {Randell, B. and Laprie, J.C. and Kopetz, H. and Littlewood, B.},
  PUBLISHER = {Springer-Verlag},
  PAGES = {459--472},
  YEAR = {1995}
}

@TECHREPORT{BCDGS95-C9541-52,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Strigini, L.},
  TITLE = {A Contribution to Dependability Evaluation of Fault-Tolerant, Iterative-Execution Software},
  INSTITUTION = {CNUCE/CNR},
  NUMBER = {C95-41},
  TYPE = {Technical Report},
  MONTH = {December},
  YEAR = {1995}
}

@TECHREPORT{BCDGS94-C9420-51,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Strigini, L.},
  TITLE = {Modelling Correlation among Successive Inputs in Software Dependability Analyses},
  INSTITUTION = {CNUCE/CNR},
  NUMBER = {C94-20},
  TYPE = {Technical Report},
  MONTH = {October},
  YEAR = {1994}
}

@ARTICLE{BCDGLT97-RESS-50,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and La Torre, S.},
  TITLE = {Modelling the Effects of Input Correlation in Iterative Software},
  JOURNAL = {Reliability Engineering and System Safety Journal (RESS), Elsevier},
  VOLUME = {57},
  NUMBER = {3},
  PAGES = {189--202},
  YEAR = {1997}
}

@INPROCEEDINGS{BCDGLT95-SAFECOMP-49,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and La Torre, S.},
  TITLE = {Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation},
  BOOKTITLE = {14th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'95)},
  ADDRESS = {Belgirate, Italy},
  PUBLISHER = {Springer-Verlag},
  PAGES = {489--503},
  MONTH = {October 11-13},
  YEAR = {1995}
}

@TECHREPORT{BCDGG98-B4170698-48,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Grandoni, F.},
  TITLE = {Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults},
  INSTITUTION = {IEI-CNR},
  NUMBER = {B4-17-06-98},
  TYPE = {Technical Report},
  MONTH = {June 17},
  YEAR = {1998}
}

@TECHREPORT{BCDGG97c-GUARDSD1A2A06005B-47,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Grandoni, F.},
  TITLE = {Intra-Channel Error Processing Mechanisms},
  INSTITUTION = {PDCC},
  NUMBER = {D1A2/A0/6005B},
  TYPE = {ESPRIT Project 20716 GUARDS Report},
  MONTH = {February},
  YEAR = {1997}
}

@TECHREPORT{BCDGG97b-GUARDSI1SA46006B-46,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Grandoni, F.},
  TITLE = {Inter-channel State Restoration},
  INSTITUTION = {GUARDS Project - PDCC},
  NUMBER = {I1-SA4/6006/B},
  TYPE = {Activity Output, ESPRIT Project 20716 GUARDS Report},
  MONTH = {November 14},
  YEAR = {1997}
}

@INPROCEEDINGS{BCDGG97-FTCS-45,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Grandoni, F.},
  TITLE = {Discriminating Fault Rate and Persistency to Improve Fault Treatment},
  BOOKTITLE = {27th IEEE Int. Symposium on Fault-Tolerant Computing (FTCS-27)},
  ADDRESS = {Seattle, Washington, USA},
  PAGES = {354--362},
  MONTH = {June 25-27},
  YEAR = {1997}
}

@TECHREPORT{BCDGG96b-GUARDSD1A2A06003A-44,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Grandoni, F.},
  TITLE = {A Mechanism for Discriminating Transient from Intermittent/Permanent Faults},
  INSTITUTION = {GUARDS Project - PDCC},
  NUMBER = {D1A2/A0/6003A},
  TYPE = {ESPRIT Project 20716 GUARDS Report},
  MONTH = {December},
  YEAR = {1996}
}

@TECHREPORT{BCDGG96-GUARDSD1A2A06000A-43,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Grandoni, F.},
  TITLE = {Fault Tolerance Structures \& Mechanisms for the {GUARDS} Architecture},
  INSTITUTION = {CNUCE/CNR},
  NUMBER = {C96-26 (also ESPRIT Project 20716 GUARDS Report D1A2/A0/6000A)},
  TYPE = {Technical Report},
  MONTH = {October},
  YEAR = {1996}
}

@ARTICLE{BCDGG00-IEEETC-42,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Grandoni, F.},
  TITLE = {Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults},
  JOURNAL = {IEEE Transactions on Computers},
  VOLUME = {49},
  NUMBER = {3},
  PAGES = {230--245},
  YEAR = {2000}
}

@INPROCEEDINGS{BCDG94-ICPADS-41,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F.},
  TITLE = {Efficient Fault Tolerance: an Approach to Deal with Transient Faults in Multiprocessor Architectures},
  BOOKTITLE = {IEEE Int. Conference on Parallel and Distributed Systems (ICPADS'94)},
  ADDRESS = {Hsinchu, Taiwan, ROC},
  PAGES = {354--359},
  MONTH = {December},
  YEAR = {1994}
}

@TECHREPORT{BCCDGG95-C9542-40,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Cipollone, M. and Di Giandomenico, F. and Grandoni, F.},
  TITLE = {Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems},
  INSTITUTION = {CNUCE/CNR},
  NUMBER = {C95-42},
  TYPE = {Technical Report},
  MONTH = {December},
  YEAR = {1995}
}

@CONFERENCE{BBT95-AICA-39,
  AUTHOR = {Bondavalli, A. and Buzzi, A. and Tarini, F.},
  TITLE = {Uno Strumento Grafico per la Strutturazione di Applicazioni Tolleranti i Guasti},
  BOOKTITLE = {Congresso annuale A.I.C.A. '95},
  ADDRESS = {Cagliari, Italy},
  PAGES = {979--986},
  YEAR = {1995}
}

@ARTICLE{BBS95-TIS-38,
  AUTHOR = {Bernardeschi, C. and Bondavalli, A. and Simoncini, L.},
  TITLE = {Using Process Algebras for the Semantic Analysis of Data Flow Networks},
  JOURNAL = {IEICE Trans. on Information and Systems},
  VOLUME = {E78-D},
  NUMBER = {8},
  PAGES = {959--968},
  YEAR = {1995}
}

@INPROCEEDINGS{BBS94b-ESREL-37,
  AUTHOR = {Bernardeschi, C. and Bondavalli, A. and Simoncini, L.},
  TITLE = {Data-flow networks in the design of safety-critical systems},
  BOOKTITLE = {ESREL 94},
  ADDRESS = {Le Baule, France},
  PAGES = {876--881},
  YEAR = {1994}
}

@INCOLLECTION{BBS94-RTC-36,
  AUTHOR = {Bondavalli, A. and Bernardeschi, C. and Simoncini, L.},
  TITLE = {The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm},
  BOOKTITLE = {Real Time Computing},
  EDITOR = {Halang, W.A. and Stoyenko, A.D.},
  SERIES = {NATO ASI Series F},
  PUBLISHER = {Springer Verlag},
  ADDRESS = {Saint Martin, Dutch Antilles},
  PAGES = {527--529},
  YEAR = {1994}
}

@INPROCEEDINGS{BBS93b-SAFECOMP-35,
  AUTHOR = {Bernardeschi, C. and Bondavalli, A. and Simoncini, L.},
  TITLE = {Data Flow Control Systems: an Example of Safety Validation},
  BOOKTITLE = {SAFECOMP '93},
  ADDRESS = {Poznan, Poland},
  PUBLISHER = {Springer Verlag},
  PAGES = {9--20},
  MONTH = {October 27-29},
  YEAR = {1993}
}

@INCOLLECTION{BBS93-PARLE-34,
  AUTHOR = {Bernardeschi, C. and Bondavalli, A. and Simoncini, L.},
  TITLE = {From Data Flow Networks to Process Algebras},
  BOOKTITLE = {PARLE 93 - LNCS 694},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer Verlag},
  ADDRESS = {Munchen, Germany},
  VOLUME = {694},
  PAGES = {740--743},
  MONTH = {June 14-18},
  YEAR = {1993}
}

@INPROCEEDINGS{BBDGT96-WRTS-33,
  AUTHOR = {Bizzarri, P. and Bondavalli, A. and Di Giandomenico, F. and Tarini, F.},
  TITLE = {Planning the Execution of Task Groups in Real-Time Systems},
  BOOKTITLE = {8th IEEE Euromicro Workshop on Real-Time Systems},
  ADDRESS = {L'Aquila, Italy},
  PAGES = {169--174},
  MONTH = {June 12-14},
  YEAR = {1996}
}

@INPROCEEDINGS{BBDG97-FTDCS-32,
  AUTHOR = {Bizzarri, P. and Bondavalli, A. and Di Giandomenico, F.},
  TITLE = {A Scheduling Algorithm for Aperiodic Groups of Tasks in distributed Real-Time Systems and its Holistic Analysis},
  BOOKTITLE = {6th IEEE Workshop on Future Trend in Distributed Computing Systems - FTDCS'97},
  ADDRESS = {Tunis, Tunisia},
  PAGES = {296--301},
  MONTH = {October 29-31},
  YEAR = {1997}
}

@ARTICLE{BBCMS98-IFACA-31,
  AUTHOR = {Bernardeschi, C. and Bondavalli, A. and Csert{\'a}n, Gy. and Majzik, I. and Simoncini, L.},
  TITLE = {Temporal Analysis of Data Flow Control Systems},
  JOURNAL = {IFAC Automatica},
  VOLUME = {34},
  NUMBER = {2},
  PAGES = {169--182},
  YEAR = {1998}
}

@CONFERENCE{BBBL88-AICA-30,
  AUTHOR = {Belli, T. and Bernardeschi, C. and Bondavalli, A. and Latella, D.},
  TITLE = {Costruzione gerarchica di tipi di dati astratti condivisi},
  BOOKTITLE = {27th Congresso annuale A.I.C.A.},
  ADDRESS = {Cagliari, Italy},
  PAGES = {165--180},
  MONTH = {September 28-30},
  YEAR = {1988}
}

@INPROCEEDINGS{BBBDGT95-WRTP-29,
  AUTHOR = {Bizzarri, M. and Bizzarri, P. and Bondavalli, A. and Di Giandomenico, F. and Tarini, F.},
  TITLE = {Design of Flexible and Dependable Real-Time Applications},
  BOOKTITLE = {20th IFAC-IFIP WRTP'95},
  EDITOR = {Press, Pergamon},
  ADDRESS = {Ft. Lauderdale, Florida, USA},
  YEAR = {1995}
}

@INPROCEEDINGS{BB94-MicroP-28,
  AUTHOR = {Bernardeschi, C. and Bondavalli, A.},
  TITLE = {Semantics analysis of dataflow control systems},
  BOOKTITLE = {MicroP94},
  ADDRESS = {Budapest, Hungary},
  PAGES = {15--24},
  YEAR = {1994}
}

@INPROCEEDINGS{B96-EDCC2-27,
  AUTHOR = {Bondavalli, A.},
  TITLE = {Design of Fault Tolerant Software},
  BOOKTITLE = {EDCC-2 Companion Workshop on Dependable Computing},
  ADDRESS = {Gliwice, Poland},
  PUBLISHER = {AMK-Press},
  PAGES = {41--51},
  NOTE = {ISBN 83-906582-0-8},
  YEAR = {1996}
}

@INPROCEEDINGS{ABCMS96-Euromicro-26,
  AUTHOR = {Antal, B. and Bondavalli, A. and Csert{\'a}n, Gy. and Majzik, I. and Simoncini, L.},
  TITLE = {Reachability and Timing Analysis in Data Flow Networks: a Case Study},
  BOOKTITLE = {Euromicro 96, 22nd IEEE Euromicro Conference},
  ADDRESS = {Prague, Czech Republic, September 2-5, 1996},
  PAGES = {193--200},
  NOTE = {ISBN 0-8186-7487-3},
  YEAR = {1996}
}

@INPROCEEDINGS{DGPVBL04-MV04-25,
  AUTHOR = {Di Giandomenico, F. and Porcarelli, S. and Viva, D. and Bondavalli, A. and Lollini, P.},
  TITLE = {Model-based Evaluation for Dependability Assessment of CAUTION++ Instances},
  BOOKTITLE = {Venue '04 (informal proceedings)},
  ADDRESS = {Athens, Greece},
  MONTH = {May 27-28},
  YEAR = {2004}
}

@INPROCEEDINGS{LDGBP04-MV04-24,
  AUTHOR = {Lollini, P. and Di Giandomenico, F. and Bondavalli, A. and Porcarelli, S.},
  TITLE = {Congestion analysis in a general GPRS network},
  BOOKTITLE = {Mobile Venue '04 (informal proceedings)},
  ADDRESS = {Athens, Greece},
  MONTH = {May 27-28},
  YEAR = {2004}
}

@BOOK{UB03-TC03-23,
  EDITOR = {Upadhyaya, S.J. and Bondavalli, A.},
  TITLE = {Special issue on reliable distributed systems},
  VOLUME = {52},
  SERIES = {IEEE Transactions on Computers},
  PUBLISHER = {IEEE Computer Society},
  YEAR = {2003}
}

@INPROCEEDINGS{SDGBC04-WCC2004-22,
  AUTHOR = {Simoncini, L. and Di Giandomenico, F. and Bondavalli, A. and Chiaradonna, S.},
  TITLE = {Architectural Challenges for a Dependable Information Society},
  BOOKTITLE = {Fault Tolerance for Trustworthy and Dependable Information Infrastructures, Topical Days Track, WCC 18th IFIP World Computer Congress},
  ADDRESS = {Toulouse, France},
  MONTH = {August, 22-27},
  YEAR = {2004}
}

@ARTICLE{FB04-CJ04-21,
  AUTHOR = {Filippini, R. and Bondavalli, A.},
  TITLE = {Modeling and Analysis of a Scheduled Maintenance System: a {DSPN} Approach},
  JOURNAL = {The Computer Journal, BCS},
  VOLUME = {47},
  NUMBER = {6},
  PAGES = {634-650},
  YEAR = {2004}
}

@INPROCEEDINGS{DGPLB03-WPMC03-20,
  AUTHOR = {Di Giandomenico, F. and Porcarelli, S. and Lollini, P. and Bondavalli, A.},
  TITLE = {Dependability Issues in Radio Resource Management of Wireless Systems},
  BOOKTITLE = {WMPC03 - 6th International Symposium on Wireless Personal Multimedia Communications},
  VOLUME = {2},
  PAGES = {146--150},
  YEAR = {2003}
}

@INPROCEEDINGS{BDGPSZ04-PRDC04-19,
  AUTHOR = {Bondavalli, A. and De Giudici, E. and Porcarelli, S. and Sabina, S. and Zanini, F.},
  TITLE = {A Freshness Detection Mechanism for Railway Applications},
  BOOKTITLE = {10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'04)},
  ADDRESS = {Papeete, Tahiti, French Polynesia},
  MONTH = {March 03 - 05},
  PAGES = {292--301},
  YEAR = {2004}
}

@INPROCEEDINGS{LBDGP04-ISCC2004-18,
  AUTHOR = {Lollini, P. and Bondavalli, A. and Di Giandomenico, F. and Porcarelli, S.},
  TITLE = {Congestion Analysis during Outage, Congestion Treatment and Outage Recovery for simple GPRS networks},
  BOOKTITLE = {The Ninth IEEE Symposium On Computers And Communications (ISCC'2004)},
  ADDRESS = {Alexandria, Egypt},
  MONTH = {June 28 - July 1},
  YEAR = {2004}
}

@INPROCEEDINGS{PDGBL04-CF04-17,
  AUTHOR = {Porcarelli, S. and Di Giandomenico, F. and Bondavalli, A. and Lollini, P.},
  TITLE = {Model-based Evaluation of a Radio Resource Management System for Wireless Networks},
  BOOKTITLE = {CF'04 Computing Frontiers},
  ADDRESS = {Ischia, Italy},
  MONTH = {April 14-16},
  PAGES = {51--59},
  YEAR = {2004}
}

@INPROCEEDINGS{PDGLB04-ISAS2004-16,
  AUTHOR = {Porcarelli, S. and Di Giandomenico, F. and Lollini, P. and Bondavalli, A.},
  TITLE = {A Modular Approach for Model-based Dependability Evaluation of a Class of Systems},
  BOOKTITLE = {International Service Availability Symposium 2004 (ISAS 2004)},
  ADDRESS = {Munich, Germany},
  PUBLISHER = {Springer-Verlag},
  MONTH = {May 13-14},
  YEAR = {2004}
}

@INPROCEEDINGS{CB03-WORDS03-15,
  AUTHOR = {Coccoli, A. and Bondavalli, A.},
  TITLE = {Analysis of Safety Related Architectures},
  BOOKTITLE = {WORDS 2003, 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems},
  ADDRESS = {Capri, Italy},
  PUBLISHER = {IEEE Computer Society Press},
  YEAR = {2003}
}

@INCOLLECTION{PCDGBI04-PostWADS2003-14,
  AUTHOR = {Porcarelli, S. and Castaldi, M. and Di Giandomenico, F. and Bondavalli, A. and Inverardi, P.},
  TITLE = {A Framework for Reconfiguration-based Fault-Tolerance in Distributed Systems},
  SERIES = {LNCS},
  EDITOR = {De Lemos, R. and Gacek, c. and Romanovsky, A.},
  BOOKTITLE = {Architecting Dependable Systems},
  PUBLISHER = {Springer-Verlag},
  NOTE = {To appear, also ICSE-WADS2003, Post-Proceeding of ICSE-WADS2003},
  YEAR = {2004}
}

@TECHREPORT{LBDGP04b-RCL040501-13,
  AUTHOR = {Lollini, P. and Bondavalli, A. and Di Giandomenico, F. and Porcarelli, S.},
  TITLE = {Model-based congestion analysis during outage and system reconfiguration in {GPRS} networks},
  TYPE = {Technical Report RCL040501, University of Firenze, Dip. Sistemi e Informatica},
  MONTH = {May},
  YEAR = {2004}
}

@BOOK{BT02-EDCC4-12,
  EDITOR = {Bondavalli, A. and Th{\`e}venod-Fosse, P.},
  TITLE = {Dependable Computing -- EDCC-4 LNCS 2485},
  PUBLISHER = {Springer Verlag},
  ADDRESS = {Berlin, Heidelberg, New York},
  SERIES = {Lecture Notes in Computer Science},
  YEAR = {2002}
}

@INCOLLECTION{MPB03-UMLbook-11,
  AUTHOR = {Majzik, I. and Pataricza, A. and Bondavalli, A.},
  TITLE = {Stochastic Dependability Analysis of System Architecture Based on UML Models},
  BOOKTITLE = {Architecting Dependable Systems, LNCS 2677},
  EDITOR = {De Lemos, R. and Gacek, C. and Romanovsky, A.},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag},
  ADDRESS = {Berlin, Heidelberg, New York},
  PAGES = {219--244},
  YEAR = {2003}
}

@INCOLLECTION{BCDG02-CDC02-10,
  AUTHOR = {Bondavalli, A. and Coccoli, A. and Di Giandomenico, F.},
  TITLE = {Qo{S} Analysis of Group Communication Protocols in Wireless Environment},
  BOOKTITLE = {Concurrency in Dependable Computing},
  EDITOR = {Ezhilchelvan, P. and Romanovsky, A.},
  PUBLISHER = {Kluwer Academic Publishers},
  PAGES = {169--188},
  YEAR = {2002}
}

@INPROCEEDINGS{CUBS02-IPDS02-9,
  AUTHOR = {Coccoli, A. and Urban, P. and Bondavalli, A. and Schiper, A.},
  TITLE = {Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements},
  BOOKTITLE = {IEEE DSN - International Conference on Dependable Systems and Networks (IPDS Track)},
  ADDRESS = {Washington DC, USA},
  PUBLISHER = {IEEE Computer Society Press},
  PAGES = {551--560},
  YEAR = {2002}
}

@INPROCEEDINGS{PDGB02-ISCC02-8,
  AUTHOR = {Porcarelli, S. and Di Giandomenico, F. and Bondavalli, A.},
  TITLE = {Analyzing Quality of Service of {GPRS} Network Systems from a Users Perspective},
  BOOKTITLE = {IEEE Symposium on Computers and Communications (ISCC02)},
  ADDRESS = {Taormina, Italy},
  PAGES = {142--149},
  YEAR = {2002}
}

@ARTICLE{PDGBBM03-TMC-7,
  AUTHOR = {Porcarelli, S. and Di Giandomenico, F. and Bondavalli, A. and Barbera, M. and Mura, I.},
  TITLE = {Service Level Availability Estimation of GPRS},
  JOURNAL = {IEEE Transactions on Mobile Computing},
  VOLUME = {2},
  NUMBER = {3},
  PAGES = {233--247},
  NOTE = {IEEE Transactions on Mobile Computing submitted feb/2002},
  YEAR = {2003}
}

@INPROCEEDINGS{RBCC02-SRDS2002-6,
  AUTHOR = {Romano, L. and Bondavalli, A. and Chiaradonna, S. and Cotroneo, D.},
  TITLE = {Implementation of Threshold-based Diagnostic Mechanisms for {COTS}-based Applications},
  BOOKTITLE = {21st IEEE Symposium on Reliable Distributed Systems (SRDS'02)},
  ADDRESS = {Osaka University, Suita, Japan},
  MONTH = {October 13-16},
  PAGES = {296--303},
  YEAR = {2002}
}

@ARTICLE{BCDGM04-TRDEEM-3,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Mura, I.},
  TITLE = {Dependability Modeling and Evaluation of Multiple-Phased Systems using {DEEM}},
  JOURNAL = {IEEE Transactions on Reliability},
  VOLUME = {53},
  NUMBER = {4},
  PAGES = {509-522},
  YEAR = {2004}
}

@INPROCEEDINGS{BCCR03-LADC2003-2,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Cotroneo, D. and Romano, L.},
  TITLE = {A Fault-Tolerant Distributed Legacy-based System and Its Evaluation},
  BOOKTITLE = {LADC2003 - First Latin-American Symposium on Dependable Computing - LNCS 2847},
  PUBLISHER = {Springer-Verlag},
  ADDRESS = {S{\~a}o Paulo, Brazil},
  MONTH = {October 21-24},
  PAGES = {303--320},
  ANOTE = {Lecture Notes in Computer Science 2847},
  YEAR = {2003}
}

@ARTICLE{BCDGX02-JSA-1,
  AUTHOR = {Bondavalli, A. and Chiaradonna, S. and Di Giandomenico, F. and Xu, J.},
  TITLE = {An Adaptive Approach to Achieving Hardware and Software Fault Tolerance in a Distributed Computing Environment},
  JOURNAL = {JSA - Journal on Systems and Architectures},
  VOLUME = {47},
  NUMBER = {9},
  PAGES = {763--781},
  YEAR = {2002}
}


This file has been generated by bibtex2html 1.80