Publications
A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models." IEEE Transactions on Computers 43, no. 2 (1994): 229-234.
"Coverage Evaluation Through Fault Injection: Fault Sampling and Statistical Analysis." In 3rd IEEE International Workshop on Integrating Error Models with Fault Injection, WIEM 1994, 31-32. 1994.
"Guarded repair of dependable systems." Theoretical Computer Science 128, no. 1-2 (1994): 179-210.
"Impact of fault expansion on the interval estimate for fault detection coverage." Digest of Papers - International Symposium on Fault-Tolerant Computing (1994): 330-337.
"Markov regenerative stochastic Petri nets." Performance Evaluation 20, no. 1-3 (1994): 337-357.
"Markov reward approach to performability and reliability analysis." Proceedings of the IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (1994): 7-11.
"Numerical computation of response time distributions using stochastic reward nets." Annals of Operations Research 48, no. 2 (1994): 155-184.
"Phased-mission system analysis using boolean algebraic methods." Performance Evaluation Review 22, no. 1 (1994): 98-107.
"Power-Hierarchy of Dependability-Model Types." IEEE Transactions on Reliability 43, no. 3 (1994): 493-502.
"Reliability Analysis of the Double Counter-Rotating Ring with Concentrator Attachments." IEEE/ACM Transactions on Networking 2, no. 5 (1994): 520-532.
"Reliability Modeling of Life-Critical, Real-Time Systems." Proceedings of the IEEE 82, no. 1 (1994): 108-121.
"Stiffness-tolerant methods for transient analysis of stiff Markov chains." Microelectronics Reliability 34, no. 11 (1994): 1825-1841.
"A stochastic reward net model for dependability analysis of real-time computing systems." In Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994, 142-146. 1994.
"Techniques and tools for reliability and performance evaluation: Problems and perspectives." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1-24. Vol. 794. 1994.
"Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives." In Computer Performance Evaluation, 1-24. Vol. 794. 1994.
"Transient analysis of the leaky bucket rate control scheme under poisson and on-off sources." Proceedings - IEEE INFOCOM 2 (1994): 490-497.
"Analysis of software rejuvenation using Markov regenerative stochastic petri net." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (1995): 180-187.
"Approximate computation of sojourn time distribution in open queueing networks." In COMPUTATIONS WITH MARKOV CHAINS, 599-600. 1995.
"Buffer sizing for ABR traffic in an ATM switch." IEEE International Conference on Communications 1 (1995): 316-320.
"Componentwise decomposition for an efficient reliability computation of systems with repairable components." Digest of Papers Ftcs (Fault Tolerant Computing Symposium) (1995): 259-268.
"Componentwise decomposition for an efficient reliability computation of systems with repairable components." Proceedings - Annual International Conference on Fault-Tolerant Computing (1995): 259-268.
"Data integrity analysis of disk array systems with analytic modeling of coverage." Performance Evaluation 22, no. 1 (1995): 111-133.
"Dependability modeling of real-time systems using stochastic reward nets." Microelectronics Reliability 35, no. 6 (1995): 903-914.
"Dependability Modeling Using Petri-Nets." IEEE Transactions on Reliability 44, no. 3 (1995): 428-440.
"Exact methods for the transient analysis of nonhomogeneous continuous time Markov chains." In COMPUTATIONS WITH MARKOV CHAINS, 121-133. 1995.
"