Login



Publications

Filter:
 

Year: 2012

  • Book Chapter A. Bondavalli, P. Lollini, I. Majzik and L. Montecchi. "Modelling and model-based assessment". In K. Wolter, A. Avritzer, M. Vieira and A. van Moorsel. (eds), Resilience Assessment and Evaluation of Computing Systems. Springer. 2012. [More]
  • PhD Thesis F. Brancati. "Adaptive and Safe Estimation of Different Sources of Uncertainty to Improve Dependability of Highly Dynamic Systems Through Online Monitoring Analysis". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica e Applicazioni (XXIV ciclo). May 14th, 2012. Supervisor(s): A. Bondavalli. [More]
  • Conference S. Chiaradonna, F. Di Giandomenico and N. Nostro. "Analysis of Electric Power Systems accounting for interdependencies in heterogeneous scenarios". EDCC. C. Constantinescu and M. P. Correia eds. 2012. pp. 84-93. [More]
  • PhD Thesis A. Ceccarelli. "Analysis of Critical Systems Through Rigorous, Reproducible and Comparable Experimental Assessment". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Ingegneria Informatica e dell'Automazione (XXIV Ciclo). May 9th, 2012. Supervisor(s): A. Bondavalli. [More]
  • 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]
Results 101 - 125 of 411
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web