Publications
SHARPE: a modeler's toolkit." Proceedings Ieee International Computer Performance and Dependability Symposium, Ipds (1996).
"Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing." Reliability Engineering & System Safety 52, no. 3 SPEC. ISS. (1996): 243-259.
"Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models." Ieee Transactions on Software Engineering 22, no. 9 (1996): 640-653.
"Transient behavior of ATM networks under overloads." Proceedings Ieee Infocom 3 (1996): 978-985.
"Unification of finite failure non-homogeneous Poisson process models through test coverage." Proceedings International Symposium on Software Reliability Engineering, Issre (1996): 299-307.
"User-friendly dependability evaluation tool." Ieee Proceedings of the National Aerospace and Electronics Conference 2 (1996): 637-641.
"On the analysis of software rejuvenation policies." Compass Proceedings of the Annual Conference on Computer Assurance (1997): 88-96.
"Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach." Telecommunication Systems 7, no. 1-3 (1997): 105-123.
"Cache error propagation model." Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, Prfts (1997): 15-21.
"Combined performance and availability analysis of a switched network application." Ieee International Conference on Communications 1 (1997): 241-245.
"On the development of dependability-evaluation workbench for high-assurance system designers." Proceedings of the High Assurance Systems Engineering Workshop (1997): 2-7.
"Discrete-event simulation of fluid stochastic Petri nets." International Workshop on Petri Nets and Performance Models (1997): 217-225.
"The Effect of Detection and Restoration Times for Error Recovery in Communication Networks." Journal of Network and Systems Management 5, no. 2 (1997): 173-195.
"Effect of repair policies on software reliability." Compass Proceedings of the Annual Conference on Computer Assurance (1997): 105-116.
"Performability analysis of handoff calls in personal communication networks." Proceedings of the International Conference on Computer Communications and Networks, Icccn (1997): 116-121.
"Reliability simulation of fault-tolerant software and systems." Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, Prfts (1997): 167-173.
"Toward accessibility enhancement of dependability modeling techniques and tools." In Digest of Papers 27th Annual International Symposium on Fault Tolerant Computing, Ftcs 1997, 37-41. 1997.
"Analysis of conditional MTTF of fault-tolerant systems." Microelectronics Reliability 38, no. 3 (1998): 393-401.
"Analysis of preventive maintenance in transactions based software systems." Ieee Transactions on Computers 47, no. 1 (1998): 96-107.
"Applications of non-Markovian stochastic Petri nets." Acm Sigmetrics Performance Evaluation Review 26, no. 2 (1998): 15-27.
"Availability modeling of energy management systems." Microelectronics Reliability 38, no. 5 (1998): 727-743.
"Fluid stochastic petri nets: Theory, applications, and solution techniques." European Journal of Operational Research 105, no. 1 (1998): 184-201.
"An improved algorithm for coherent-system reliability." Ieee Transactions on Reliability 47, no. 1 (1998): 73-78.
"An improved multiple variable inversion algorithm for reliability calculation." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 180-192. Vol. 1469. 1998.
"An Improved Multiple Variable Inversion Algorithm for Reliability Calculation." In Computer Performance Evaluation (Tools), 180-192. Vol. 1469. 1998.
"