Login



Publications

Filter:
 

Year: 2007

  • Conference A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems". Proceedings of The 8th International Symposium on Autonomous Decentralized Systems. 2007. [More]
  • Other A. Marmugi. "Modelli di Sincronia per Sistemi Distribuiti". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. February 9th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More]
  • Master's Thesis A. Pacini. "Analisi di possibili soluzioni per la diagnosi e la riconfigurazione dello scenario applicativo Assisted Trasportation all'interno del progetto Hidenets". Master's thesis. Università di Firenze. February 9th, 2007. Supervisor: A. Bondavalli, Co-Supervisor: F. Di Giandomenico, A. Daidone. [More]
  • Technical Report F. Romani, S. Chiaradonna, F. Di Giandomenico and L. Simoncini. "Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies". ISTI-CNR, Italy. Technical Report 2007-TR-01. 2007. [More]
  • Book Chapter L. Falai and A. Bondavalli. "Extending the Applicability of the Neko Framework for the Validation and Verification of Distributed Algorithms". In Pelliccione and P. (eds), SOFTWARE ENGINEERING AND FAULT TOLERANCE. World Scientific Publishing Co. Pte. Ltd. 2007. [More]
  • Journal M. Serafini, A. Bondavalli and N. Suri. "Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters", IEEE Trans. on Dependable and Secure Computing, Vol. 4. 2007, pp. 295-312. [More]
  • Book Chapter A. Bondavalli, F. V. Brasileiro and S. Rajsbaum. "Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings". In A. Bondavalli, Brasileiro, F. V., Rajsbaum and S. (eds), Lecture Notes in Computer Science. Springer. 2007. [More]
  • Conference A. Bondavalli, A. Ceccarelli and L. Falai. "A self-aware clock for pervasive computing systems". The Fifteen Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP 2007). 2007. [More]
  • Technical Report P. Lollini, L. Montecchi and A. Bondavalli. "On the evaluation of hidenets use-cases having phased behavior". Universita' degli Studi di Firenze, Dipartimento di Sistemi e Informatica. Technical Report RCL-071201. 2007. [More]

Year: 2006

  • Other V. Guarnieri. "Analisi e Validazione di Sistemi Distribuiti con Supporto Automatico Indipendente dalla Piattaforma". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 18th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More]
  • Other M. Albini. "Analisi e Validazione di Algoritmi Distribuiti in Sistemi con Palmari: Specifica e Definizione di NekoPDA e Analisi delle Problematiche del Porting". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 18th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More]
  • Other A. Baldini. "Analisi Quantitativa di Sistemi di Consenso Soggetti ad Attacchi". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 18th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): S. Chiaradonna, P. Lollini. [More]
  • Technical Report S. Chiaradonna, P. Lollini and F. Di Giandomenico. "On the modeling of an instance of the electric power system". 2006. [More]
  • Conference A. Daidone, F. Di Giandomenico, A. Bondavalli and S. Chiaradonna. "Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution". 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006). 2006. pp. 245-256. [More]
  • Conference A. Bondavalli, S. Chiaradonna, P. Lollini and F. Squittieri. "Integration of an MPS Modeling Approach into Möbius". 3rd IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2006) - Tool Session. 2006. pp. 139-140. [More]
  • Conference F. Di Giandomenico, S. Chiaradonna, E. Galliano and I. Mura. "Model-Based Dimensioning of CAUTION++". 15th IST Mobile & Wireless Communication Summit. 2006. [More]
  • Technical Report P. Lollini, A. Bondavalli and F. Di Giandomenico. "A general modeling approach and its application to a UMTS network with soft-handover mechanism". 2006. [More]
  • Other F. Squittieri. "Realizzazione di un'estensione per la modellazione di sistemi multiple phased con il tool Mobius". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 28th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini, S. Chiaradonna. [More]
  • Master's Thesis L. Viti. "Valutazione quantitativa della QoS dei servizi applicativi su rete ATN (Aeronautical Telecommunications Network)". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. April 28th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Fantappié, P. Maltese, L. Falai. [More]
  • Other A. Ceccarelli. "Analisi sperimentale di applicazioni critiche real-time: uno strumento consapevole della qualità delle misurazioni raccolte". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 28th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More]
  • Book Chapter L. Gönczy, S. Chiaradonna, F. Di Giandomenico, A. Pataricza, A. Bondavalli and T. Bartha. "Dependability Evaluation of Web Service-Based Processes". In Horváth, A., Telek and M. (eds), 3rd European Performance Engineering Workshop (EPEW2006), Budapest, Hungary, June 21-22, 2006. Springer Verlag. 2006. pp. 166-180. [More]
  • Journal J. Arlat, A. Bondavalli, B. R. Haverkort and P. Veríssimo. "Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia", IEEE Trans. on Dependable and Secure Computing, Vol. 3. 2006, pp. 169-171. [More]

Year: 2005

  • Master's Thesis A. Daidone. "Le catene di Markov nascoste come supporto alla formalizzazione del problema della diagnosi nei sistemi affidabili". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. December 19th, 2005. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico. [More]
  • PhD Thesis P. Lollini. "On the Modeling and Solution of Complex Systems: From Two Domain-Specific Case-Studies Towards the Definition of a More General Framework". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica e Applicazioni (XVIII ciclo). December, 2005. Supervisor(s): A. Bondavalli, F. Di Giandomenico. [More]
  • Master's Thesis G. Bastone. "Definizione e realizzazione di miglioramenti alle metodologie per l'analisi di sistemi distribuiti". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. September 20th, 2005. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More]
Results 226 - 250 of 440
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web