Login



Publications

Filter:
 

Year: 2008

  • Master's Thesis F. Brancati. "Progettazione di uno strumento di misura del tempo capace di autovalutarsi ed autocalibrarsi". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. July 14th, 2008. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More]
  • Other A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Enhancing the NekoStat Tool with Uncertainty, Resolution and Intrusiveness Evaluation Capabilities". Workshop with no proceeding DSN-RADB2008. June, 2008. . [More]
  • Conference A. Bondavalli and L. Falai. "RODS: General Framework for Rigorous Observation of Distributed Systems". Workshop on Resilience Assessment and Dependability Benchmarking (RADB08). DSN 2008-The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.. 2008. [More]
  • Conference A. Ceccarelli, I. Majzik, D. Iovino, F. Caneschi, G. Pinter and A. Bondavalli. "A resilient SIL 2 Driver Machine Interface for train control systems". IEEE Third International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08). 2008. [More]
  • Technical Report A. Bondavalli, A. Ceccarelli and L. Falai. "Reliable and Self-Aware Clock: complete description". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl080508. 2008. [More]
  • PhD Thesis L. Falai. "Observing, Monitoring and Evaluating Distributed Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Ingegneria Informatica e dell'Automazione (XX Ciclo). April 11th, 2008. Supervisor(s): A. Bondavalli. [More]
  • Journal M. Kaaniche, P. Lollini, A. Bondavalli and K. Kanoun. "Modeling the Resilience of Large and Evolving Systems", International Journal of Performability Engineering, Vol. 4, April, 2008, pp. 153-168. [More]
  • Technical Report P. Lollini, L. Montecchi, M. Magyar, I. Majzik and A. Bondavalli. "Assessing the impact of cyclic/acyclic EVC-DMI interactions in Automatic Train Control systems". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl080401. 2008. [More]
  • Conference A. Bondavalli, A. Ceccarelli and L. Falai. "Assuring Resilient Time Synchronization". SRDS 2008: Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems. 2008. [More]
  • Book Chapter A. Bondavalli, P. Lollini and L. Montecchi. "Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults". In 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008). Springer Verlag. 2008. [More]
  • Book Chapter A. Daidone, S. Chiaradonna, A. Bondavalli and P. Verissimo. "Analysis of a Redundant Architecture for Critical Infrastructure Protection". In D. Lemos et al (eds), Architecting Dependable Systems V. Springer, Heidelberg. 2008. pp. 78-100. [More]
  • Book Chapter S. Chiaradonna, F. Di Giandomenico and P. Lollini. "Evaluation of Critical Infrastructures: Challenges and Viable Approaches". In D. Lemos et al (eds), Architecting Dependable Systems V. Springer, Heidelberg. 2008. pp. 52-77. [More]
  • Conference A. Casimiro, P. Lollini, M. Dixit, A. Bondavalli and P. Veríssimo. "A framework for dependable QoS adaptation in probabilistic environments". SAC '08: Proceedings of the 2008 ACM symposium on Applied computing. 2008. pp. 2192-2196. [More]

Year: 2007

  • Technical Report S. Chiaradonna, P. Lollini and F. Di Giandomenico. "Modelling framework of an instance of the Electric Power System: functional description and implementation". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report RCL071202. 2007. [More]
  • Conference 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". 10th IEEE High Assurance Systems Engineering Symposium (HASE'07). 2007. pp. 305-312. [More]
  • 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]
Results 176 - 200 of 411
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web