Login



Publications

Filter:
 

Year: 2012

  • Journal P. Ferrari, A. Flammini, S. Rinaldi, A. Bondavalli and F. Brancati. "Experimental Characterization of Uncertainty Sources in a Software-Only Synchronization System", Instrumentation and Measurement, IEEE Transactions on, Vol. 61, May, 2012, pp. 1512-1521. [More]
  • Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "ADVISE model for the security evaluation of the CASHMA multi-biometric authentication system". Technical Report RCL120301. 2012. [More]
  • Journal L. Coppolino, L. Romano, A. Bondavalli and A. Daidone. "A hidden Markov model based intrusion detection system for wireless sensor networks", International Journal of Critical Computer-Based Systems, Vol. 3. 2012, pp. 210-228. [More]
  • Conference S. Chiaradonna, F. Di Giandomenico and N. Nostro. "Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics". SAFECOMP Workshops. 2012. pp. 328-339. [More]
  • Conference A. Ceccarelli et al.. "Design and implementation of real-time wearable devices for a safety-critical track warning system". High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on. 2012. pp. 147-154. [More]
  • Conference J. Figueiras, J. Grønbæk, A. Ceccarelli and H.-P. Schwefel. "GPS and Electronic Fence Data Fusion for Positioning within Railway Worksite Scenarios". High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on. 2012. pp. 17-23. [More]
  • Conference A. Ceccarelli, A. Bondavalli, F. Brancati and E. L. Mattina. "Improving Security of Internet Services Through Continuous and Transparent User Identity Verification". Reliable Distributed Systems (SRDS), 2012 IEEE 31st Symposium on. 2012. pp. 201-206. [More]
  • Conference A. Seminatore, L. Ghelardoni, A. Ceccarelli, L. Falai, M. Schultheis and B. Malinowsky. "ALARP (A Railway Automatic Track Warning System Based on Distributed Personal Mobile Terminals)". TRA 2012. 2012. pp. 10. [More]
  • 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]
Results 101 - 125 of 407
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web