Publications

Found 715 results
Type [ Year(Asc)]
2003
KS Trivedi, X Ma, and S Dharmaraja. "Performability modelling of wireless communication systems." International Journal of Communication Systems 16, no. 6 (2003): 561-577.
Y Cao, HR Sun, and KS Trivedi. "Performance Analysis of Reservation Media-Access Protocol with Access and Serving Queues Under Bursty Traffic in GPRS/EGPRS." Ieee Transactions on Vehicular Technology 52, no. 6 (2003): 1627-1641.
S Dharmaraja, KS Trivedi, and D Logothetis. "Performance modeling of wireless networks with generally distributed handoff interarrival times." Computer Communications 26, no. 15 (2003): 1747-1755.
D Chen, Y Cao, KS Trivedi, and Y Hong. "Preventive maintenance of multi-state system with phase-type failure time distribution and non-zero inspection time." International Journal of Reliability, Quality and Safety Engineering 10, no. 3 (2003): 323-344.
KS Trivedi, S Ramani, and R Fricks. "Recent advances in modeling response-time distributions in real-time systems." Proceedings of the Ieee 91, no. 7 (2003): 1023-1036.
D Wang, BB Madan, and KS Trivedi. "Security analysis of SITAR intrusion tolerance system." Proceedings of the Acm Workshop on Survivable and Self Regenerative Systems (2003): 23-32.
F Wang, F Jou, F Gong, C Sargor, K Goševa-Popstojanova, and K Trivedi. "SITAR: A scalable intrusion-tolerant architecture for distributed services." In Foundations of Intrusion Tolerant Systems, Oasis 2003, 359-367. 2003.
Y Hong, KS Trivedi, A Ray, and S Phoha. "Software Performance Analysis Using a Language Measure." Proceedings of the American Control Conference 3 (2003): 2258-2263.
SS Gokhale,, and KS Trivedi. "Specification-level integration of simulation and dependability analysis." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 245-266. Vol. 2677 LNCS. 2003.
2002
M Qian, D Logothetis, and KS Trivedi. "All-terminal reliability analysis of the SRP-ring: The effect of enhanced intelligent protection switching." In Proceedings International Conference on Computer Communications and Networks, Icccn, 52-57. Vol. 2002-January. 2002.
K Vaidyanathan, D Selvamuthu, and KS Trivedi. "Analysis of inspection-based preventive maintenance in operational software systems." Proceedings of the Ieee Symposium on Reliable Distributed Systems (2002): 286-295.
KS Trivedi, D Selvamuthu, and X Ma. "Analytic Modeling of Handoffs in Wireless Cellular Networks." Proceedings of the Joint Conference on Information Sciences 6 (2002): 1383-1392.
L Yin, RM Fricks, and KS Trivedi. "Application of semi-Markov process and CTMC to evaluation of UPS system availability." Proceedings of the Annual Reliability and Maintainability Symposium (2002): 584-591.
L Li, K Vaidyanathan, and KS Trivedi. "An approach for estimation of software aging in a Web server." In Isese 2002 Proceedings, 2002 International Symposium on Empirical Software Engineering, 91-100. 2002.
T Dohi, N Kaio, and KS Trivedi. "Availability models with age-dependent checkpointing." Proceedings of the Ieee Symposium on Reliable Distributed Systems (2002): 130-139.
Y Ma, JJ Han, and KS Trivedi. "Call admission control for reducing dropped calls in CDMA cellular systems." Computer Communications 25, no. 7 (2002): 689-699.
D Chen,, and K S. "Closed-form analytical results for condition-based maintenance." Reliab. Eng. Syst. Saf. (Uk) 76, no. 1 (2002): 43-51.
Y Hong, D Chen, and KS Trivedi. "Failure mitigation for quality of service of wireless networks." Proceedings of the Ieee Conference on Decision and Control 2 (2002): 1414-1415.
S Ramani, K Goševa-Popstojanova, and KS Trivedi. "A framework for performability modeling of messaging services in distributed systems." In Proceedings of the Ieee International Conference on Engineering of Complex Computer Systems, Iceccs, 25-34. Vol. 2002-January. 2002.
VP Pauca, AF Rodriguez, X Sun, and KS Trivedi. "A methodology towards automatic implementation of N-body algorithms." Applied Numerical Mathematics 40, no. 1-2 (2002): 3-21.
Y Liu, KS Trivedi, Y Ma, JJ Han, and H Levendel. "Modeling and analysis of software rejuvenation in cable modem termination systems." In Proceedings International Symposium on Software Reliability Engineering, Issre, 159-170. Vol. 2002-January. 2002.
BB Madan, K Goševa-Popstojanova, K Vaidyanathan, and KS Trivedi. "Modeling and quantification of security attributes of software systems." Proceedings of the 2002 International Conference on Dependable Systems and Networks (2002): 505-514.
D Chen, S Garg, and KS Trivedi. "Network survivability performance evaluation: A quantitative approach with applications in wireless Ad-hoc Networks." Proceedings of the International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems (2002): 61-68.
D Chen, Y Hong, and KS Trivedi. "Optimal estimation of training interval for channel equalizations." Ieee International Conference on Communications 2 (2002): 717-721.
D Chen, S Dharmaraja, L Li, KS Trivedi, RR Some, and AP Nikora. "Reliability and availability analysis for the JPL remote exploration and experimentation system." Proceedings of the 2002 International Conference on Dependable Systems and Networks (2002): 337-342.

Pages