Login



Publications

Filter:
 

Year: 2011

  • Conference A. Ceccarelli, M. Vieira and A. Bondavalli. "A Service Discovery Approach for Testing Dynamic SOAs". Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on. 2011. pp. 133-142. [More]
  • Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "An Intermediate Dependability Model for state-based dependability analysis". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl101115. 2011. [More]
  • Other D. Zampini. "Sperimentazione dell'utilizzo di strumenti per la rilevazione online di anomalie in sistemi e infrastrutture critiche". 2011. 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]
  • Conference M. Ficco, A. Daidone, L. Coppolino, L. Romano and A. Bondavalli. "An event correlation approach for fault diagnosis in SCADA infrastructures". Proceedings of the 13th European Workshop on Dependable Computing. 2011. pp. 15-20. [More]
  • 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]
Results 126 - 150 of 411
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web