Login



Publications

Filter:
 

Year: 2006

  • 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]

Year: 2004

  • Master's Thesis M. Moretto. "Progettazione, realizzazione ed utilizzo di un generatore di simulatori per sistemi a fasi multiple". Master's thesis. Università degli Studi di Pisa, Corso di Laurea in Ingegneria Informatica. December 15th, 2004. Supervisor(s): L. Simoncini, L. Lopriore, F. Di Giandomenico, A. Bondavalli. [More]
  • Technical Report L. Falai, A. Bondavalli and F. Di Giandomenico. "Quantitative Evaluation using Neko tool: NekoStat Extensions". University of Firenze, Dip. Sistemi e Informatica. 2004. [More]
  • Master's Thesis E. Culicchi. "Modellizzazione ed analisi dell'infrastruttura UMTS e delle politiche di handover". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. September, 2004. A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico, P. Lollini. [More]
  • Master's Thesis M. Serafini. "Una metodologia per modellare e valutare la dependability di sistemi safety-critical". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. September, 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More]
  • Conference L. Simoncini, F. Di Giandomenico, A. Bondavalli and S. Chiaradonna. "Architectural Challenges for a Dependable Information Society". Fault Tolerance for Trustworthy and Dependable Information Infrastructures, Topical Days Track, WCC 18th IFIP World Computer Congress. 2004. [More]
  • Master's Thesis M. Neri. "L'error detection nelle architetture critiche per la sicurezza in ambito ferroviario". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. July, 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Coccoli, P. Lollini. [More]
  • Conference P. Lollini, A. Bondavalli, F. Di Giandomenico and S. Porcarelli. "Congestion Analysis during Outage, Congestion Treatment and Outage Recovery for simple GPRS networks". The Ninth IEEE Symposium On Computers And Communications (ISCC'2004). 2004. [More]
  • Technical Report P. Lollini, A. Bondavalli, F. Di Giandomenico and S. Porcarelli. "Model-based congestion analysis during outage and system reconfiguration in GPRS networks". 2004. [More]
  • Conference P. Lollini, F. Di Giandomenico, A. Bondavalli and S. Porcarelli. "Congestion analysis in a general GPRS network". Mobile Venue '04 (informal proceedings). 2004. [More]
Results 226 - 250 of 423
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web