Publications
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.
"Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques." In PNPM, 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.
"Analyzing concurrent and fault-tolerant software using stochastic reward nets." Journal of Parallel and Distributed Computing 15, no. 3 (1992): 255-269.
"Approximate performance models of polling systems using stochastic Petri nets." Proceedings - IEEE INFOCOM (1992): 2306-2314.
"COMPOSITE PERFORMANCE AND AVAILABILITY ANALYSIS USING A HIERARCHY OF STOCHASTIC REWARD NETS." In COMPUTER PERFORMANCE EVALUATION, 335-349. 1992.
"Composite performance and dependability analysis." Performance Evaluation 14, no. 3-4 (1992): 197-215.
"Guest Editors' Introduction." IEEE Trans. Parallel Distributed Syst. 3 (1992): 641-642.
"MEASUREMENT AND ANALYSIS OF PARALLEL AND DISTRIBUTED SYSTEMS - INTRODUCTION." IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 3, no. 6 (1992): 641-642.
"A TOOLCHEST FOR STOCHASTIC-MODELS." In INTERNATIONAL CONFERENCE ON SIMULATION IN ENGINEERING EDUCATION, 25-30. Vol. 24. 1992.
"A unified performance reliability analysis of a system with a cumulative down time constraint." Microelectronics Reliability 32, no. 1-2 (1992): 49-65.
"An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems." In FTCS, 442-450. 1993.
"Analytic treatment of the reliability and performance of mirrored disk subsystems." Digest of Papers - International Symposium on Fault-Tolerant Computing (1993): 442-450.
"An Approach for Combinatorial Performance and Availability Analysis." In SRDS, 24-33. 1993.
"Approach for combinatorial performance and availability analysis." (1993): 24-33.
"Approximate analysis of priority scheduling systems using stochastic reward nets." Proceedings - International Conference on Distributed Computing Systems (1993): 466-473.
"The Completion Time of Programs on Processors Subject to Failure and Repair." IEEE Transactions on Computers 42, no. 10 (1993): 1184-1194.
"Conditional MTTF and its computation in Markov reliability models." Proceedings of the Annual Reliability and Maintainability Symposium (1993): 56-63.
"Conditional MTTF and its computation in Markov reliability models." Proceedings of the Annual Reliability and Maintainability Symposium (1993): 56-63.
"A decomposition approach for stochastic reward net models." Performance Evaluation 18, no. 1 (1993): 37-59.
"Dependability and Performability Analysis." In Performance/SIGMETRICS Tutorials, 587-612. Vol. 729. 1993.
"