Publications

Export 1 results:
Filters: Keyword is Markov processes and Author is Marco Scarpa  [Clear All Filters]
2015
Longo, F., S. Distefano, D. Bruneo, and M. Scarpa, "Dependability modeling of Software Defined Networking", Computer Networks, vol. 83: Elsevier, pp. 280-296, 2015.
Longo, F., and M. Scarpa, "Two-layer symbolic representation for stochastic models with phase-type distributed events", International Journal of Systems Science, vol. 46, no. 9: Taylor and Francis Ltd., pp. 1540-1571, 2015.
Longo, F., D. Bruneo, S. Distefano, and M. Scarpa, "Variable operating conditions in distributed systems: Modeling and evaluation", Concurrency Computation Practice and Experience, vol. 27, no. 10: John Wiley and Sons Ltd, pp. 2506-2530, 2015.
2012
Bruneo, D., F. Longo, A. Puliafito, M. Scarpa, and S. Distefano, "Software rejuvenation in the cloud", Proceedings of the 5th International Conference on Simulation Tools and Techniques (SIMUTools), Desenzano del Garda, Italy, 19-23 March 2012, ICST, pp. 8-16, 2012.
2010
Distefano, S., F. Longo, and M. Scarpa, "Availability assessment of HA standby redundant clusters", Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS), New Delhi, India, 31 October - 3 November 2010, IEEE Computer Society, pp. 265-274, 2010.
Distefano, S., F. Longo, and M. Scarpa, "Symbolic representation techniques in dynamic reliability evaluation", Proceedings of the 12th IEEE International Symposium on High Assurance Systems Engineering (HASE), San Jose, CA, United States, 3-4 November 2010, IEEE Computer Society, pp. 45-53, 2010.