Publications

Found 715 results
Type [ Year(Desc)]
1996
RA Sahner, and KS Trivedi. "SHARPE: a modeler's toolkit." Proceedings Ieee International Computer Performance and Dependability Symposium, Ipds (1996).
M Balakrishnan, and KS Trivedi. "Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing." Reliability Engineering & System Safety 52, no. 3 SPEC. ISS. (1996): 243-259.
V Mainkar, and KS Trivedi. "Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models." Ieee Transactions on Software Engineering 22, no. 9 (1996): 640-653.
CY Wang, D Logothetis, KS Trivedi, and I Viniotis. "Transient behavior of ATM networks under overloads." Proceedings Ieee Infocom 3 (1996): 978-985.
SS Gokhale, T Philip, PN Marinos, and KS Trivedi. "Unification of finite failure non-homogeneous Poisson process models through test coverage." Proceedings International Symposium on Software Reliability Engineering, Issre (1996): 299-307.
H Hecht, AT Tai, KS Trivedi, and AJ Chruscicki. "User-friendly dependability evaluation tool." Ieee Proceedings of the National Aerospace and Electronics Conference 2 (1996): 637-641.
1997
S Garg, M Telek, A Puliafito, and KS Trivedi. "On the analysis of software rejuvenation policies." Compass Proceedings of the Annual Conference on Computer Assurance (1997): 88-96.
M Balakrishnan, A Puliafito, K Trivedi, and Y Viniotis. "Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach." Telecommunication Systems 7, no. 1-3 (1997): 105-123.
AK Somani, and KS Trivedi. "Cache error propagation model." Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, Prfts (1997): 15-21.
S Hunter, T Philip, and K Trivedi. "Combined performance and availability analysis of a switched network application." Ieee International Conference on Communications 1 (1997): 241-245.
AT Tai, KS Trivedi, and H Hecht. "On the development of dependability-evaluation workbench for high-assurance system designers." Proceedings of the High Assurance Systems Engineering Workshop (1997): 2-7.
G Ciardo, D Nicol, and KS Trivedi. "Discrete-event simulation of fluid stochastic Petri nets." International Workshop on Petri Nets and Performance Models (1997): 217-225.
D Logothetis, and K Trivedi. "The Effect of Detection and Restoration Times for Error Recovery in Communication Networks." Journal of Network and Systems Management 5, no. 2 (1997): 173-195.
SS Gokhale, PN Marinos, MR Lyu, and KS Trivedi. "Effect of repair policies on software reliability." Compass Proceedings of the Annual Conference on Computer Assurance (1997): 105-116.
CW Ro, and KS Trivedi. "Performability analysis of handoff calls in personal communication networks." Proceedings of the International Conference on Computer Communications and Networks, Icccn (1997): 116-121.
SS Gokhale, MR Lyu, and KS Trivedi. "Reliability simulation of fault-tolerant software and systems." Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, Prfts (1997): 167-173.
AT Tai, H Hecht, KS Trivedi, and B Zhang. "Toward accessibility enhancement of dependability modeling techniques and tools." In Digest of Papers 27th Annual International Symposium on Fault Tolerant Computing, Ftcs 1997, 37-41. 1997.
1998
H Choi, W Wang, and KS Trivedi. "Analysis of conditional MTTF of fault-tolerant systems." Microelectronics Reliability 38, no. 3 (1998): 393-401.
S Garg, A Puliafito, M Telek, and K Trivedi. "Analysis of preventive maintenance in transactions based software systems." Ieee Transactions on Computers 47, no. 1 (1998): 96-107.
RM Fricks, A Puliafito, M Telek, and KS Trivedi. "Applications of non-Markovian stochastic Petri nets." Acm Sigmetrics Performance Evaluation Review 26, no. 2 (1998): 15-27.
RM Fricks, and KS Trivedi. "Availability modeling of energy management systems." Microelectronics Reliability 38, no. 5 (1998): 727-743.
G Horton, VG Kulkarni, DM Nicol, and KS Trivedi. "Fluid stochastic petri nets: Theory, applications, and solution techniques." European Journal of Operational Research 105, no. 1 (1998): 184-201.
T Luo, and KS Trivedi. "An improved algorithm for coherent-system reliability." Ieee Transactions on Reliability 47, no. 1 (1998): 73-78.
T Luo, and KS Trivedi. "An improved multiple variable inversion algorithm for reliability calculation." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 180-192. Vol. 1469. 1998.
T Luo, and KS Trivedi. "An Improved Multiple Variable Inversion Algorithm for Reliability Calculation." In Computer Performance Evaluation (Tools), 180-192. Vol. 1469. 1998.

Pages