Login



Publications

Filter:
 

Year: 2009

  • Journal A. Bondavalli et al. "Design and Evaluation of a Safe Driver Machine Interface", IJPE, Vol. 4. 2009, pp. 153-166. [More]
  • Conference S. Chiaradonna, F. Di Giandomenico and P. Lollini. "Interdependency Analysis in Electric Power Systems". Critical Information Infrastructure Security. R. Setola and S. Geretshuber eds. 2009. pp. 60-71. [More]
  • Journal P. Lollini, A. Bondavalli and F. Di Giandomenico. "A decomposition-based modeling framework for complex systems", IEEE Trans. on Reliability, Vol. 58. 2009, pp. 20-33. [More]

Year: 2008

  • Technical Report A. Daidone. "FOREVER assessment: modelling details". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl080508. 2008. [More]
  • Conference M. Kovacs, P. Lollini, I. Majzik and A. Bondavalli. "An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications". RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008). 2008. pp. 29-38. [More]
  • Other A. Ceccarelli, D. Iovino and A. Bondavalli. "A Fault Injection Tool for Trustworthy, Comparative Measurements and Analysis". SRDS 2008 Workshop with no proceeding. October 5, 2008. . [More]
  • 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]
Results 176 - 200 of 421
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web