Login



Publications

Filter:
 

Year: 2011

  • Conference A. Ceccarelli, L. Vinerbi, L. Falai and A. Bondavalli. "RACME: a framework to support V&V and certification". IEEE LADC 2011. 2011. [More]
  • Conference L. Montecchi, P. Lollini and A. Bondavalli. "Towards a MDE Transformation Workflow for Dependability Analysis". 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011). 2011. [More]
  • Conference L. Montecchi, P. Lollini and A. Bondavalli. "Dependability Concerns in Model-Driven Engineering". 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011). 2011. [More]

Year: 2010

  • Conference F. Brancati and A. Bondavalli. "Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation". Reliable Distributed Systems, 2010 29th IEEE Symposium on. 2010. pp. 328 -332. [More]
  • Master's Thesis N. Nostro. "Modellazione e Analisi della Dependability in Sistemi Elettrici Strutturati in Regioni Interconnesse". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. October 27th, 2010. Supervisor(s): Silvano Chiaradonna, Co-Supervisor(s): Felicita Di Giandomenico. [More]
  • Master's Thesis L. Montecchi. "Un Modello Intermedio di Dependability Integrabile in un Processo di Model-Driven Engineering". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. October 27th, 2010. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More]
  • Conference P. Ferrari, A. Flammini, S. Rinaldi, A. Bondavalli and F. Brancati. "Improving robustness of the synchronization quality of IEEE1588 nodes". Precision Clock Synchronization for Measurement Control and Communication (ISPCS), 2010 International IEEE Symposium on. 2010. pp. 36 -41. [More]
  • Conference J. Grønbæk, H.-P. Schwefel, A. Ceccarelli and A. Bondavalli. "Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations". Network Computing and Applications (NCA), 2010 9th IEEE International Symposium on. 2010. pp. 229 -232. [More]
  • Conference A. Ceccarelli, J. Grønbæk, L. Montecchi, H.-P. Schwefel and A. Bondavalli. "Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments". 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2010). 2010. pp. 184 -193. [More]
  • 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]
Results 151 - 175 of 424
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web