Algebra

Distefano, S., F. Longo, and M. Scarpa, "Marking dependency in non-Markovian stochastic Petri nets", Performance Evaluation, vol. 110: Elsevier B.V., pp. 22-47, 2017.

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.

Bruneo, D., S. Distefano, F. Longo, A. Puliafito, and M. Scarpa, "Evaluating wireless sensor node longevity through Markovian techniques", Computer Networks - Elsevier , vol. 56, no. 2, pp. 521-532, 2012.

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.

Bruneo, D., S. Distefano, F. Longo, A. Puliafito, and M. Scarpa, "Reliability assessment of wireless sensor nodes with non-linear battery discharge", 2010 IFIP Wireless Days, WD 2010, Venice, Italy, 20-22 October 2010, IEEE Computer Society, 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.