Publications
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives." In Computer Performance Evaluation, 1-24. Vol. 794. 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.
"Transient analysis of the leaky bucket rate control scheme under poisson and on-off sources." Proceedings - IEEE INFOCOM 2 (1994): 490-497.
"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.
"Dependability and performability analysis." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 587-612. Vol. 729 LNCS. 1993.
"FSPNs: Fluid Stochastic Petri Nets." In Application and Theory of Petri Nets, 24-31. Vol. 691. 1993.
"FSPNs: Fluid stochastic petri nets." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 24-31. Vol. 691 LNCS. 1993.
"Integration of Specification for Modeling and Specification for System Design." In Application and Theory of Petri Nets, 473-492. Vol. 691. 1993.
"Integration of specification for modeling and specification for system design." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 473-492. Vol. 691 LNCS. 1993.
"A methodology for formal expression of hierarchy in model solution." In Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, 258-267. 1993.
"Modeling Correlation in Software Recovery Blocks." IEEE Transactions on Software Engineering 19, no. 11 (1993): 1071-1086.
"Modeling Using Stochastic Reward Nets." In Mascots, 367-372. 1993.
"MODELING USING STOCHASTIC REWARD NETS." In MASCOTS '93, 367-372. Vol. 25. 1993.
"Multiprocessor Performability Analysis." IEEE Transactions on Reliability 42, no. 4 (1993): 579-587.
"Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems." In MMB, 159-172. 1993.
"Performance Evaluation of Client-Server Systems." IEEE Transactions on Parallel and Distributed Systems 4, no. 11 (1993): 1217-1229.
"