Login



Publications

Filter:
 

Year: 2007

  • Master's Thesis S. Ceri. "Studio metodologico per l'analisi quantitativa di famiglie di protocolli distribuiti con il framework Neko". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. September 28th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More]
  • Conference A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Foundations of measurement theory applied to the evaluation of dependability attributes". DSN-2007 IEEE Int. Conference on Dependable Systems and Networks. 2007. [More]
  • Conference A. Daidone. "Diagnosis Framework for Complex Critical Systems/Infrastructures". DSN-2007 student forum. 2007. [More]
  • Conference S. Chiaradonna, P. Lollini and F. Di Giandomenico. "On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems". IEEE/IFIP 37th Int. Conference on Dependable Systems and Networks (DSN 2007). 2007. pp. 185-195. [More]
  • Other L. Montecchi. "Analisi e valutazione di reti UMTS". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 27th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More]
  • Other A. Menichetti. "Intrusion Detection Systems: tecniche per la rilevazione di intrusione su sistemi informatici". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 27th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Daidone. [More]
  • 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]
Results 201 - 225 of 421
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web