Publications

Export 1 results:
Filters: Keyword is Formal definition  [Clear All Filters]
2017
Longo, F., R. Ghosh, V. K. Naik, A.J.. Rindos, and K. Trivedi, "An approach for resiliency quantification of large scale systems", Performance Evaluation Review, vol. 44, no. 4: Association for Computing Machinery, pp. 37-48, 2017.
2010
Bruneo, D., S. Distefano, F. Longo, and M. Scarpa, "QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets", Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing (IPDPS), Atlanta, GA, United States, 19-23 April 2010, IEEE Computer Society, 2010.