Login



Publications

Filter:
 

Year: 2011

  • Conference A. Bovenzi, F. Brancati, S. Russo and A. Bondavalli. "A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems". Computer Safety, Reliability, and Security. Flammini et al eds. 2011. pp. 128-142. [More]
  • Book Chapter A. Bertolino, A. Calabrò, F. Di Giandomenico and N. Nostro. "Dependability and Performance Assessment of Dynamic CONNECTed Systems". In M. Bernardo and V. Issarny (eds), Formal Methods for Eternal Networked Software Systems. Springer. 2011. pp. 350 - 392. [More]
  • Conference P. Masci, N. Nostro and F. Di Giandomenico. "On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis". Proc. Third International Workshop, SERENE 2011. 2011. pp. 78 - 92. [More]
  • Book Chapter A. Bondavalli and L. Montecchi. "Metodi Combinatori". In A. Bondavalli (ed), L'Analisi Quantitativa dei Sistemi Critici. Esculapio. 2011. [More]
  • Conference A. Bondavalli, A. Ceccarelli, F. Gogaj, A. Seminatore and M. Vadursi. "Localization errors of low-cost GPS devices in railway worksite-like scenario". M&N 2011. 2011. [More]
  • Book Chapter P. Lollini, A. Ceccarelli and M. Vadursi. "Richiami di probabilità e metrologia". In A. Bondavalli (ed), L'Analisi Quantitativa dei Sistemi Critici. Esculapio. 2011. pp. 13-55. [More]
  • Conference A. Ceccarelli, A. Bondavalli and M. Vieira. "A Testing Service for Lifelong Validation of Dynamic SOA.". HASE 2011. 2011. [More]
  • Book Chapter A. Bondavalli, F. Brancati and A. Ceccarelli. "Monitoring". In A. Bondavalli (ed), L'Analisi Quantitativa dei Sistemi Critici. Esculapio. 2011. pp. 201-232. [More]
  • 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]
Results 126 - 150 of 407
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web