{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Bruneo, D., F. Longo, M. Scarpa, A. Puliafito, R. Ghosh, and K. S. Trivedi,  "An SRN-based resiliency quantification approach",  \i Proceedings of the  36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets)\i0 , vol. 9115 Lecture Notes in Computer Science, Brussels, Belgium, 21-26 June 2015, Springer Verlag, pp. 98-116, 2015.\par \par Longo, F., R. Ghosh, V. K. Naik, and K. S. Trivedi,  "A scalable availability model for Infrastructure-as-a-Service cloud",  \i Proceedings of the 41st IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)\i0 , Hong Kong, Hong Kong, 27-30 June 2011, IEEE Computer Society, pp. 335-346, 2011.\par \par }