Publications

Found 715 results
Type [ Year(Desc)]
1995
D Logothetis, KS Trivedi, and A Puliafito. "Markov regenerative models." Proceedings International Computer Performance and Dependability Symposium (1995): 134-142.
KS Trivedi, R German, A Bobbio, A Puliafito, G Ciardo, and M Telek. "Non-Markovian Petri Nets." In Proceedings of the 1995 Acm Sigmetrics Joint International Conference on Measurement and Modeling of Computer Systems, Sigmetrics 1995/Performance 1995, 263-264. 1995.
C Lindemann, M Malhotra, and KS Trivedi. "Numerical Methods for Reliability Evaluation of Markov Closed Fault-Tolerant Systems." Ieee Transactions on Reliability 44, no. 4 (1995): 694-704.
H Choi, VG Kulkarni, and KS Trivedi. "Performance evaluation." Performance Evaluation 21, no. 3 (1995): 271.
H Choi, VG Kulkarni, and KS Trivedi. "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.
S Greiner, A Puliafito, G Bolch, and KS Trivedi. "Performance evaluation of dynamic priority operating systems." International Workshop on Petri Nets and Performance Models (1995): 241-250.
A Bobbio, VG Kulkarni, A Puliafito, M Telek, and KS Trivedi. "Preemptive repeat identical transitions in Markov regenerative stochastic Petri Nets." International Workshop on Petri Nets and Performance Models (1995): 113-122.
AV Ramesh, and K Trivedi. "Semi-numerical transient analysis of Markov models." Proceedings of the Annual Southeast Conference (1995): 13-23.
M Telek, A Bobbio, L Jereb, A Puliafito, and KS Trivedi. "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.
M Telek, A Bobbio, L Jereb, A Puliafito, and KS Trivedi. "Steady State Analysis of Markov Regenerative SPN with Age Memory Policy." In MMB, 165-179. Vol. 977. 1995.
S Rai, M Veeraraghavan, and KS Trivedi. "A survey of efficient reliability computation using disjoint products approach." Networks 25 (1995): 147-163.
S Rai, M Veeraraghavan, and KS Trivedi. "A survey of efficient reliability computation using disjoint products approach." Networks 25, no. 3 (1995): 147-163.
D Logothetis, and K Trivedi. "Time-dependent behavior of redundant systems with deterministic repair." In Computations With Markov Chains, 135-150. 1995.
R German, D Logothetis, and KS Trivedi. "Transient analysis of Markov regenerative stochastic petri nets: a comparison of approaches." International Workshop on Petri Nets and Performance Models (1995): 103-112.
V Mainkar, and KS Trivedi. "TRANSIENT ANALYSIS OF REAL-TIME SYSTEMS USING DETERMINISTIC AND STOCHASTIC PETRI NETS." In Quality of Communication Based Systems, 69-84. 1995.
1996
P Heidelberger, JK Muppala, and KS Trivedi. "Accelerating mean time to failure computations." Performance Evaluation 27-28 (1996): 627-645.
K Bänsch, A Heini, M Malhotra, and K Trivedi. "Comment/correction: dependability modeling using petri nets." Ieee Transactions on Reliability 45, no. 2 (1996): 272-273.
LM Leemis, and KS Trivedi. "A Comparison of Approximate Interval Estimators for the Bernoulli Parameter." The American Statistician 50, no. 1 (1996): 63-68.
GW Merkx. "Foreword." Latin American Research Review 31, no. 4 (1996): R3-R9.
R Fricks, S Hunter, S Garg, and KS Trivedi. "IDEA: Integrated design environment for assessment of ATM networks." Proceedings of the Ieee International Conference on Engineering of Complex Computer Systems, Iceccs (1996): 27-34.
SS Gokhale, PN Marines, and KS Trivedi. "Important milestones in software reliability modeling." In Seke '96: the 8th International Conference on Software Engineering and Knowledge Engineering, Proceedings, 345-352. 1996.
SS Gokhale, PN Marinos, and KS Trivedi. "Important Milestones in Software Reliability Modeling." In Seke, 345-352. 1996.
JH Klotz, L Leemis, and KS Trivedi. "Leemis, Lawrence M., and Trivedi, Kishor S. (1996), “A comparison of approximate interval estimators for the bernoulli parameter,” the American statistician, 50, 63-68: Comment by klotz and reply." The American Statistician 50, no. 4 (1996): 388-389.
S Garg, C Kintala, Y Huang, and KS Trivedi. "Minimizing completion time of a program by checkpointing and rejuvenation." Acm Sigmetrics Performance Evaluation Review 24, no. 1 (1996): 252-261.
A Pfening, S Garg, A Puliafito, M Telek, and KS Trivedi. "Optimal software rejuvenation for tolerating soft failures." Performance Evaluation 27-28 (1996): 491-506.

Pages