Login



Publications

Filter:
 

Year: 2012

  • Conference B. Malinowsky, J. Grønbæk, H.-P. Schwefel, A. Ceccarelli, A. Bondavalli and E. Nett. "Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems". EDCC. 2012. pp. 144-155. [More]
  • Book Chapter A. Bondavalli, P. Lollini and L. Montecchi. "Graphical formalisms for modeling critical infrastructures". In F. Flammini (ed), Critical Infrastructure Security: Assessment, Prevention, Detection, Response. Ashurst Lodge, Ashurst, Southampton, UK : WIT Press. 2012. pp. 57-73. [More]
  • Journal M. Dixit, A. Casimiro, P. Lollini, A. Bondavalli and P. Veríssimo. "Adaptare: Supporting automatic and dependable adaptation in dynamic environments", ACM Transactions on Autonomous and Adaptive Systems, Vol. 7. 2012, pp. 18:1-18:25. [More]
  • Conference M. A. Rossi, J. R. de Almeida Junior, A. Bondavalli and P. Lollini. "A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace". Computer Safety, Reliability, and Security. F. Ortmeier and P. Daniel eds. 2012. pp. 271-281. [More]
  • Book Chapter A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Foundations of Metrology in the Observation of Critical Systems". In Resilience Assessment and Evaluation of Computing Systems. Springer. 2012. pp. 205-211. [More]
  • Conference L. Montecchi, P. Lollini, B. Malinowsky, J. Grønbæk and A. Bondavalli. "Model-based Analysis of a Protocol for Reliable Communication in Railway Worksites". Proceedings of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'12). 2012. [More]

Year: 2011

  • Conference M. A. Rossi, J. R. de Almeida Junior, A. Bondavalli and P. Lollini. "Towards a federated simulation approach for reliability evaluation of Unmanned Aircraft Vehicles within Aeronautical Communications Networking". Proc. of the 30th IEEE Symposium on Reliable Distributed Systems Workshops (SRDSW 2011). 2011. pp. 67-71. [More]
  • Conference A. Bovenzi, F. Brancati, S. Russo and A. Bondavalli. "Towards identifying OS-level anomalies to detect Application Software Failures". IEEE International Workshop on Measurements and Networking (M&N 2011). 2011. [More]
  • Conference A. Bondavalli, F. Brancati, A. Flammini and S. Rinaldi. "A Reliable and Self-Aware Clock for Reference Time Failure Detection in Internal Synchronization Environment". IEEE International Workshop on Measurements and Networking (M&N 2011). 2011. [More]
  • Conference S. Chiaradonna, F. Di Giandomenico and N. Nostro. "Modeling and Analysis of the Impact of Failures in Electric Power SystemsOrganized in Interconnected Regions". IEEE/IFIP 41st Int. Conf. on Dependable Systems and Networks (DSN 2011). 2011. pp. 442-453. [More]
  • Journal A. Bondavalli, O. Hamouda, M. Kaâniche, P. Lollini, I. Majzik and H.-P. Schwefel. "The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems", IEEE Transactions on Mobile Computing, Vol. 10, June, 2011, pp. 783 - 796. [More]
  • Conference P. Ferrari, A. Flammini, S. Rinaldi, A. Bondavalli and F. Brancati. "Evaluation of Timestamping Uncertainty in a Software-based IEEE1588 Implementation". 2011 IEEE Instrumentation and Measurement Technology Conference (I2MTC). 2011. [More]
  • Journal S. Chiaradonna, F. Di Giandomenico and P. Lollini. "Definition, Implementation and Application of a Model-based Framework for the Analysis of Interdependencies in Electric Power Systems Protection", International Journal of Critical Infrastructure (IJCIP), Elsevier, Vol. 4, April, 2011, pp. 24-40. [More]
  • Conference A. Ceccarelli, M. Vieira and A. Bondavalli. "A Service Discovery Approach for Testing Dynamic SOAs". Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on. 2011. pp. 133-142. [More]
  • Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "An Intermediate Dependability Model for state-based dependability analysis". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl101115. 2011. [More]
  • Other D. Zampini. "Sperimentazione dell'utilizzo di strumenti per la rilevazione online di anomalie in sistemi e infrastrutture critiche". 2011. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 21th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Brancati, A. Ceccarelli. [More]
  • Conference M. Ficco, A. Daidone, L. Coppolino, L. Romano and A. Bondavalli. "An event correlation approach for fault diagnosis in SCADA infrastructures". Proceedings of the 13th European Workshop on Dependable Computing. 2011. pp. 15-20. [More]
  • Conference A. Bovenzi, F. Brancati, S. Russo and A. Bondavalli. "A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems". Computer Safety, Reliability, and Security. Flammini et al eds. 2011. pp. 128-142. [More]
  • Book Chapter A. Bertolino, A. Calabrò, F. Di Giandomenico and N. Nostro. "Dependability and Performance Assessment of Dynamic CONNECTed Systems". In M. Bernardo and V. Issarny (eds), Formal Methods for Eternal Networked Software Systems. Springer. 2011. pp. 350 - 392. [More]
  • Conference P. Masci, N. Nostro and F. Di Giandomenico. "On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis". Proc. Third International Workshop, SERENE 2011. 2011. pp. 78 - 92. [More]
  • Book Chapter A. Bondavalli and L. Montecchi. "Metodi Combinatori". In A. Bondavalli (ed), L'Analisi Quantitativa dei Sistemi Critici. Esculapio. 2011. [More]
  • Conference A. Bondavalli, A. Ceccarelli, F. Gogaj, A. Seminatore and M. Vadursi. "Localization errors of low-cost GPS devices in railway worksite-like scenario". M&N 2011. 2011. [More]
  • Book Chapter P. Lollini, A. Ceccarelli and M. Vadursi. "Richiami di probabilità e metrologia". In A. Bondavalli (ed), L'Analisi Quantitativa dei Sistemi Critici. Esculapio. 2011. pp. 13-55. [More]
  • Conference A. Ceccarelli, A. Bondavalli and M. Vieira. "A Testing Service for Lifelong Validation of Dynamic SOA.". HASE 2011. 2011. [More]
  • Book Chapter A. Bondavalli, F. Brancati and A. Ceccarelli. "Monitoring". In A. Bondavalli (ed), L'Analisi Quantitativa dei Sistemi Critici. Esculapio. 2011. pp. 201-232. [More]
Results 126 - 150 of 424
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web