Login



Publications

Filter:
 

Year: 2010

  • Master's Thesis F. Duchi. "Transformation Languages - Valutazione pratica dei principali approcci". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 27th, 2010. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More]
  • PhD Thesis A. Daidone. "Critical Infrastructures: a Conceptual Framework for Diagnosis, Some Applications and Their Quantitative Analysis". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica e Applicazioni (XXII ciclo). April 21th, 2010. [More]
  • Book Chapter A. Bondavalli, A. Ceccarelli and P. Lollini. "Architecting and Validating Dependable Systems: Experiences and Visions". In LNCS. Berlin Heidelberg : Springer Berlin / Heidelberg. 2010. [More]
  • Journal A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "A New Approach and a Related Tool For Dependability Measurements on Distributed Systems", IEEE Tran. on Instr. and Meas., Vol. 59. 2010, pp. 820-831. [More]
  • Conference A. Bondavalli, F. Brancati, A. Ceccarelli and M. Vadursi. "Experimental Validation of a Synchronization Uncertainty-Aware Software Clock". SRDS 2010. 2010. pp. 245-254. [More]
  • Conference L. Vinerbi, A. Bondavalli and P. Lollini. "Emergence: a new source of failures in complex systems". Third International Conference on Dependability (DEPEND 2010). 2010. [More]
  • Conference P. Masci, S. Chiaradonna and F. Di Giandomenico. "Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities". Eighth European Dependable Computing Conference (EDCC-2010). 2010. [More]

Year: 2009

  • Other F. Gogaj. "Progettazione ed implementazione di un algoritmo per il calcolo dell'incertezza di sincronizzazione e sua integrazione in un prototipo di R&SACLOCK". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 21th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Brancati, A. Ceccarelli. [More]
  • Master's Thesis L. Vinerbi. "Trattazione del Comportamento Emergente in Sistemi Complessi". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. October, 2009. [More]
  • Journal A. Bondavalli, P. Lollini and L. Montecchi. "QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis", Journal of Software, Vol. 4, September, 2009, pp. 675-685. [More]
  • Master's Thesis M. Albini. "Un profilo UML 2.0 per la descrizione di strategie di manutenzione in sistemi critici e sue applicazioni". Master's thesis. Università di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. July 20th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More]
  • Master's Thesis V. Guarnieri. "Strumenti automatici per la correlazione di eventi a scopo diagnostico in infrastrutture critiche". Master's thesis. Università di Firenze. Corso di Laurea in Scienze e Teconologie dell'Informazione. July 20th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Daidone. [More]
  • Conference A. Ceccarelli. "Towards techniques and methodologies for collecting trusted observation results". Student Forum at DSN-2009 IEEE Int. Conference on Dependable Systems and Networks, Supplemental Volume. 2009. pp. G34-G37. [More]
  • Technical Report Á. Hegedüs. "A model transformation-based approach for the Dependability analysis of UML-based system designs with maintenance". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl090601. 2009. [More]
  • Conference A. Bondavalli, F. Brancati and A. Ceccarelli. "Safe Estimation of Time Uncertainty of Local Clocks". Proc. of Int. IEEE Symp. on Precision Clock Synch. for Measur., Contr. and Comm., ISPCS 2009. 2009. pp. 47-52. [More]
  • Conference A. Bondavalli, F. Brancati, A. Ceccarelli and L. Falai. "An Experimental Framework for the Analysis and Validation of Software Clocks". LNCS Software Technologies for Embedded and Ubiquitous Systems (SEUS). 2009. pp. 69-81. [More]
  • Conference A. Ceccarelli, A. Bondavalli and D. Iovino. "Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection". IEEE 15th Pacific Rim International Symposium on Dependable Computing. 2009. pp. 234-241. [More]
  • Conference M. Beccuti et al.. "Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach". 4th International Conference on Critical Infrastructures (CRIS 2009). 2009. [More]
  • Journal S. Chiaradonna, F. Di Giandomenico and P. Lollini. "Assessing the Impact of Interdependencies in Electric Power Systems", International Journal of System of Systems Engineering (IJSSE), InderScience Publishers, Vol. 1. 2009, pp. 367-386. [More]
  • Journal A. Bondavalli et al. "Design and Evaluation of a Safe Driver Machine Interface", IJPE, Vol. 4. 2009, pp. 153-166. [More]
  • Conference S. Chiaradonna, F. Di Giandomenico and P. Lollini. "Interdependency Analysis in Electric Power Systems". Critical Information Infrastructure Security. R. Setola and S. Geretshuber eds. 2009. pp. 60-71. [More]
  • Journal P. Lollini, A. Bondavalli and F. Di Giandomenico. "A decomposition-based modeling framework for complex systems", IEEE Trans. on Reliability, Vol. 58. 2009, pp. 20-33. [More]

Year: 2008

  • Technical Report A. Daidone. "FOREVER assessment: modelling details". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl080508. 2008. [More]
  • Conference M. Kovacs, P. Lollini, I. Majzik and A. Bondavalli. "An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications". RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008). 2008. pp. 29-38. [More]
  • Other A. Ceccarelli, D. Iovino and A. Bondavalli. "A Fault Injection Tool for Trustworthy, Comparative Measurements and Analysis". SRDS 2008 Workshop with no proceeding. October 5, 2008. . [More]
Results 176 - 200 of 440
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web