Login



Publications

Filter:
 

Year: 2007

  • 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]
  • Conference P. Lollini, A. Bondavalli and F. Di Giandomenico. "QoS Analysis of a UMTS cell with different Service Classes". CSN-2005 The Fourth IASTED International Conference on Communication Systems and Networks. 2005. [More]
  • Journal P. Lollini, A. Bondavalli and F. Di Giandomenico. "A Modeling Methodology for Hierarchical Control System and its Aplication", June, 2005. [More]
  • Technical Report P. Lollini, A. Bondavalli and F. Di Giandomenico. "QoS evaluation in a UMTS cell". 2005. [More]
  • Conference L. Falai and A. Bondavalli. "Experimental evalutation of the QoS of Failure Detectors on Wide Area Network". Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005). 2005. [More]
  • Book Chapter A. Bondavalli, S. Chiaradonna and F. Di Giandomenico. "Model-Based Evaluation as a Support to the Design of Dependable Systems". In Diab, H. B., Zomaya and A. Y. (eds), Dependable Computing Systems: Paradigms, Performance Issues, & Applications. John Wiley & Sons. 2005. [More]
  • Conference P. Lollini, A. Bondavalli and F. Di Giandomenico. "Evaluation of the Impact of Congestion on Service Availability in GPRS infrastructures". ISAS 2005/Service Availability, Lecture Notes in Computer Science 3694, Volume Editor(s): M. Malek, N. Suri, E. Nett. 2005. [More]
  • Conference L. Falai, A. Bondavalli and F. Di Giandomenico. "NekoStat extension for Neko: Quantitative Evaluation of Distributed Algorithms". Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems (QEST '05). 2005. [More]
  • Conference L. Falai, A. Bondavalli and F. Di Giandomenico. "Quantitative evaluation of distributed algorithms using the Neko framework: the NekoStat extension". LADC. 2005. [More]
Results 201 - 225 of 407
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web