Login



Publications

Filter:
 

Year: 2008

  • Master's Thesis A. Ceccarelli. "Progettazione e validazione di un’architettura safety-critical per sistemi di controllo ferroviari,". Master's thesis. University of Firenze. Corso di Laurea Specialistica in Scienze e Teconologie dell'Informazione. October 24th, 2008. Supervisor(s): A. Bondavalli. [More]
  • Conference I. Majzik, A. Bondavalli, S. Klapka, T. K. Madsen and D. Iovino. "FORMAL METHODS IN THE EVALUATION OF A SAFE DRIVER-MACHINE INTERFACE". FORMS-FORMAT 2008. 2008. [More]
  • Conference P. Lollini, L. Montecchi, M. Magyar, I. Majzik and A. Bondavalli. "Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems". Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008). 2008. [More]
  • Book Chapter P. Verissimo et al.. "The CRUTIAL Architecture for Critical Information Infrastructures". In R. de Lemos et Al. (ed), Architecting Dependable Systems V. Springer, Heidelberg. 2008. pp. 1-27. [More]
  • 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]
Results 201 - 225 of 440
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web