Publications
] "Performance evaluation." Performance Evaluation 21, no. 3 (1995): 271.
"Performance evaluation. Erratum to "Markov regenerative stochastic Petri nets" [20 (1994) 337-357] (PII:0166-5316(94)90021-3)." Performance Evaluation 21, no. 3 (1995): 271.
"Performance evaluation of dynamic priority operating systems." International Workshop on Petri Nets and Performance Models (1995): 241-250.
"Preemptive repeat identical transitions in Markov regenerative stochastic Petri Nets." International Workshop on Petri Nets and Performance Models (1995): 113-122.
"Semi-numerical transient analysis of Markov models." Proceedings of the Annual Southeast Conference (1995): 13-23.
"Steady State Analysis of Markov Regenerative SPN with Age Memory Policy." In MMB, 165-179. Vol. 977. 1995.
"Steady state analysis of markov regenerative SPN with age memory policy." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 165-179. Vol. 977. 1995.
"A survey of efficient reliability computation using disjoint products approach." Networks 25, no. 3 (1995): 147-163.
"A survey of efficient reliability computation using disjoint products approach." Networks 25 (1995): 147-163.
"Time-dependent behavior of redundant systems with deterministic repair." In COMPUTATIONS WITH MARKOV CHAINS, 135-150. 1995.
"Transient analysis of Markov regenerative stochastic petri nets: a comparison of approaches." International Workshop on Petri Nets and Performance Models (1995): 103-112.
"TRANSIENT ANALYSIS OF REAL-TIME SYSTEMS USING DETERMINISTIC AND STOCHASTIC PETRI NETS." In QUALITY OF COMMUNICATION-BASED SYSTEMS, 69-84. 1995.
"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.