Login



Publications

Filter:
 

Year: 2005

  • 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]
  • Conference S. Porcarelli, F. Di Giandomenico, P. Lollini and A. Bondavalli. "A Modular Approach for Model-based Dependability Evaluation of a Class of Systems". International Service Availability Symposium 2004 (ISAS 2004). 2004. [More]
  • Conference F. Di Giandomenico, S. Porcarelli, D. Viva, A. Bondavalli and P. Lollini. "Model-based Evaluation for Dependability Assessment of CAUTION++ Instances". Venue '04 (informal proceedings). 2004. [More]
  • Conference S. Porcarelli, F. Di Giandomenico, A. Bondavalli and P. Lollini. "Model-based Evaluation of a Radio Resource Management System for Wireless Networks". CF'04 Computing Frontiers. 2004. pp. 51-59. [More]
  • Conference A. Bondavalli, E. D. Giudici, S. Porcarelli, S. Sabina and F. Zanini. "A Freshness Detection Mechanism for Railway Applications". 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'04). 2004. pp. 292-301. [More]
  • Master's Thesis L. Falai. "Metodologie e strumenti per la valutazione quantitativa sperimentale e simulativa di algoritmi distribuiti". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico. [More]
  • Master's Thesis G. Petruzzi. "Modellizzazione ed analisi della QoS offerta da una cella UMTS". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico, P. Lollini. [More]
  • Book Chapter S. Porcarelli, M. Castaldi, F. Di Giandomenico, A. Bondavalli and P. Inverardi. "A Framework for Reconfiguration-based Fault-Tolerance in Distributed Systems". In D. Lemos, R., Gacek, C., Romanovsky and A. (eds), Architecting Dependable Systems. Springer-Verlag. 2004. [More]
  • Journal R. Filippini and A. Bondavalli. "Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach", The Computer Journal, BCS, Vol. 47. 2004, pp. 634-650. [More]
  • Journal A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and I. Mura. "Dependability Modeling and Evaluation of Multiple-Phased Systems using DEEM", IEEE Transactions on Reliability, Vol. 53. 2004, pp. 509-522. [More]
  • Journal A. Bondavalli, S. Chiaradonna, D. Cotroneo and L. Romano. "Effective Fault Treatment for Improving the Dependability of COTS- and Legacy-based Applications", IEEE Transactions on Dependable and Secure Computing, Vol. 1. 2004, pp. 223-237. [More]

Year: 2003

  • Conference A. Bondavalli, S. Chiaradonna, D. Cotroneo and L. Romano. "A Fault-Tolerant Distributed Legacy-based System and Its Evaluation". LADC2003 - First Latin-American Symposium on Dependable Computing - LNCS 2847. 2003. pp. 303-320. [More]
  • Master's Thesis M. Niobiti. "Realizzazione in Java di una interfaccia grafica per un tool di valutazione di sistemi MPS". Master's thesis. Università degli Studi di Pisa. Corso di Laurea in Scienze dell'Informazione. July 7th, 2003. Supervisor(s): A. Bondavalli, S. Chiaradonna, F. Di Giandomenico. [More]
Results 226 - 250 of 411
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web