1 |
B. R. Haverkort, "Approximate performability and dependability modeling using generalized stochastic Petri nets," Performance Evaluation, vol. 18, pp.61-78, 1993.
DOI
ScienceOn
|
2 |
A. Bobbio and K. S. Trivedi, "Computing cumulative measures of stiff Markov chains using aggregation," IEEE Transaction on Computers, vol. 39, no. 10, pp.1291-1298, 1990.
DOI
ScienceOn
|
3 |
G. Ciardo and K. S. Trivedi, "SPNP Users Manual, Version 6.0," Duke University, Technical report, 1999.
|
4 |
V. Mainkar and K. S. Trivedi, "Sufficient conditions for existence of a fixed point stochastic reward net-based iterative models," IEEE Transaction on Software Engineering, vol. 22, no. 9, pp.640-653, Sep., 1996.
DOI
ScienceOn
|
5 |
The Service Availability Forum, Application Interface Specification, April 2003, http://www.saforum.org.
|
6 |
A. Kanso, F. Khendek, A. Mishra, and M. Toeroe, "Integrating Legacy Applications for High Availability: a Case Study", in Proceeding of the 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, pp. 83-90, 2011.
|
7 |
M. Malhotra, J. K. Muppala, and K. S. Trivedi, "Stiffnesstolerant methods for transient analysis of stiff Markov chains," Microelectron. Relib., vol. 34, no. 11, pp.1825-1841, 1994.
DOI
ScienceOn
|
8 |
K. S. Trivedi, J. K. Muppala, S. P. Woolet, and B. R. Haverkort, "Composite performance and dependability analysis," Performance Evaluation, vol. 14, pp. 197-215, 1992.
DOI
ScienceOn
|