A BDD-based algorithm for reliability analysis of phased-mission systems von Xinyu Zang, Nairong Sun, Trivedi, K.S.

Volltext

Architecture-based approaches to software reliability prediction von Goševa-Popstojanova, K., Trivedi, K.S.

Volltext

A comparative experimental study of software rejuvenation overhead von Alonso, J., Matias, R., Vicente, E., Maria, A., Trivedi, K.S.

Volltext

Performance modeling of wireless networks with generally distributed handoff interarrival times von Dharmaraja, S., Trivedi, K.S., Logothetis, D.

Volltext

A comprehensive model for software rejuvenation von Vaidyanathan, K., Trivedi, K.S.

Volltext

Dependability modeling using Petri-nets von Malhotra, M., Trivedi, K.S.

Volltext

Synthesis and application of biochar in conjunction with various amendments to improve salt-affected soil and crop productivity von Patle, Tirunima, Sharma, Sanjay K., Trivedi, S.K., Tomar, Avinash Singh

Volltext

Architecture-based approach to reliability assessment of software systems von Goševa-Popstojanova, Katerina, Trivedi, Kishor S

Volltext

Model-based evaluation: from dependability to security von Nicol, D.M., Sanders, W.H., Trivedi, K.S.

Volltext

An improved algorithm for coherent-system reliability von Tong Luo, Trivedi, K.S.

Volltext

Discrete-event simulation of fluid stochastic Petri nets von Ciardo, G., Nicol, D.M., Trivedi, K.S.

Volltext

A stochastic model for beaconless IEEE 802.15.4 MAC operation von Goyal, M., Rohm, D., Xie, W., Hosseini, S.H., Trivedi, K.S., Bashir, Y., Divjak, A.

Volltext

A workload-based analysis of software aging, and rejuvenation von Yujuan Bao, Xiaobai Sun, Trivedi, K.S.

Volltext

Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models von Mainkar, V., Trivedi, K.S.

Volltext

A BDD-based algorithm for analysis of multistate systems with multistate components von Zang, X., Wang, D., Sun, H., Trivedi, K.S.

Volltext

Security modeling and quantification of intrusion tolerant systems using attack‐response graph von Madan, B.B., Trivedi, K.S.

Volltext

RED parameters and performance of TCP connections von Hong, Y, Cao, Y, Sun, H, Trivedi, K S

Volltext

Coverage modeling for dependability analysis of fault-tolerant systems von Dugan, J.B., Trivedi, K.S.

Volltext

Network survivability modeling von Heegaard, Poul E., Trivedi, Kishor S.

Volltext

A method for multiple channel recovery in TDMA wireless communications systems von Ma, Y, Han, J.J, Trivedi, K.S

Volltext