Login



Publications

Filter:
 

Year: 2010

  • 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]
  • Master's Thesis A. Ceccarelli. "Progettazione e validazione di un’architettura safety-critical per sistemi di controllo ferroviari,". Master's thesis. University of Firenze. Corso di Laurea Specialistica in Scienze e Teconologie dell'Informazione. October 24th, 2008. Supervisor(s): A. Bondavalli. [More]
  • Conference I. Majzik, A. Bondavalli, S. Klapka, T. K. Madsen and D. Iovino. "FORMAL METHODS IN THE EVALUATION OF A SAFE DRIVER-MACHINE INTERFACE". FORMS-FORMAT 2008. 2008. [More]
  • Conference P. Lollini, L. Montecchi, M. Magyar, I. Majzik and A. Bondavalli. "Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems". Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008). 2008. [More]
  • Book Chapter P. Verissimo et al.. "The CRUTIAL Architecture for Critical Information Infrastructures". In R. de Lemos et Al. (ed), Architecting Dependable Systems V. Springer, Heidelberg. 2008. pp. 1-27. [More]
Results 151 - 175 of 411
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web