Publications
Fixed Point Iteration in Availability Modeling." In Fault-Tolerant Computing Systems, 229-240. Vol. 283. 1991.
"An Improved Algorithm for Symbolic Reliability Analysis." IEEE Transactions on Reliability 40, no. 3 (1991): 347-358.
"Real-Time-Systems Performance in the Presence of Failures." Computer 24, no. 5 (1991): 37-47.
"Reliability analysis of the FDDI token ring." In LCN, 41-51. 1991.
"Reliability analysis of the FDDI token ring." In Proceedings - Conference on Local Computer Networks, LCN, 41-51. Vol. 1991-October. 1991.
"Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques." In PNPM, 268-277. 1991.
"Reliability modeling of the MARS system: A case study in the use of different tools and techniques." In Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991, 268-277. 1991.
"SHARPE - SYMBOLIC HIERARCHICAL AUTOMATED RELIABILITY AND PERFORMANCE EVALUATOR." In NUMERICAL SOLUTION OF MARKOV CHAINS, 695-696. Vol. 8. 1991.
"On the solution of GSPN reward models." Performance Evaluation 12, no. 4 (1991): 237-253.
"SOLUTION OF LARGE GSPN MODELS." In NUMERICAL SOLUTION OF MARKOV CHAINS, 565-595. Vol. 8. 1991.
"SPNP - THE STOCHASTIC PETRI NET PACKAGE." In NUMERICAL SOLUTION OF MARKOV CHAINS, 693-694. Vol. 8. 1991.
"Stochastic petri net analysis of finite-population vacation queueing systems." Queueing Systems 8, no. 1 (1991): 111-127.
"Availability and Reliability Modeling for Computer Systems." Advances in Computers 31, no. C (1990): 175-233.
"Computation of the distribution of the completion time when the work requirement is a ph random variable." Communications in Statistics. Stochastic Models 6, no. 1 (1990): 133-150.
"Computing Cumulative Measures of Stiff Markov Chains Using Aggregation." IEEE Transactions on Computers 39, no. 10 (1990): 1291-1298.
"Effects of checkpointing and queueing on program performance." Communications in Statistics. Stochastic Models 6, no. 4 (1990): 615-648.
"GSPM models: sensitivity analysis and applications." In ACM Southeast Regional Conference, 25-33. 1990.
"GSPN Models: Sensitivity analysis and applications." In Proceedings - 28th Annual Southeast Regional Conference, ACM-SE 1990, 25-33. 1990.
"An improved algorithm for the symbolic reliability analysis of networks." Proceedings - Symposium on Reliability in Distributed Software and Database Systems (1990): 34-43.
"Performability Analysis Using Semi-Markov Reward Processes." IEEE Transactions on Computers 39, no. 10 (1990): 1251-1264.
"Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques." Computer 23, no. 7 (1990): 52-61.
"Should I add a processor?" Proceedings of the Hawaii International Conference on System Science 1 (1990): 214-221.
"Stochastic Petri Net Models of Polling Systems." IEEE Journal on Selected Areas in Communications 8, no. 9 (1990): 1649-1657.
"System performance with user behavior graphs." Performance Evaluation 11, no. 3 (1990): 155-164.
"Two queues with alternating service and server breakdown." Queueing Systems 7, no. 3-4 (1990): 253-268.
"