Kishor S. Trivedi

Rahul Ghosh, Francesco Longo, Vijay K. Naik, Kishor S. Trivedi: Modeling and performance analysis of large scale IaaS Clouds. Future Generation Comp. Syst. 29(5): 1216-1234 (2013)

Fumio Machida, Dong Seong Kim, Kishor S. Trivedi: Modeling and analysis of software rejuvenation in a server virtualized system with live VM migration. Perform. Eval. 70(3): 212-230 (2013)

Javier Alonso, Rivalino Matias, Elder Vicente, Ana Maria, Kishor S. Trivedi: A comparative experimental study of software rejuvenation overhead. Perform. Eval. 70(3): 231-250 (2013)

Salvatore Distefano, Kishor S. Trivedi: Non-Markovian State-Space Models in Dependability Evaluation. Quality and Reliability Eng. Int. 29(2): 225-239 (2013)

Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi: An Interacting Stochastic Models Approach for the Performance Evaluation of DSRC Vehicular Safety Communication. IEEE Trans. Computers 62(5): 873-885 (2013)

Kishor S. Trivedi, Ermeson C. Andrade, Fumio Machida: Combining Performance and Availability Analysis in Practice. Advances in Computers 84: 1-38 (2012)

Salvatore Distefano, Francesco Longo, Kishor S. Trivedi: Investigating dynamic reliability and availability through state-space models. Computers & Mathematics with Applications 64(12): 3701-3716 (2012)

Mukul Goyal, Mohd Soperi, Emmanuel Baccelli, G. Choudhury, A. Shaikh, H. Hosseini, Kishor S. Trivedi: Improving Convergence Speed and Scalability in OSPF: A Survey. IEEE Communications Surveys and Tutorials 14(2): 443-463 (2012)

Antonio Puliafito, Nathalie Mitton, Symeon Papavassiliou, Kishor S. Trivedi: Editorial: Special Issue on Internet of Things: Convergence of Sensing, Networking, and Web Technologies. EURASIP J. Wireless Comm. and Networking 2012: 212 (2012)

Nathalie Mitton, Symeon Papavassiliou, Antonio Puliafito, Kishor S. Trivedi: Combining Cloud and sensors in a smart city environment. EURASIP J. Wireless Comm. and Networking 2012: 247 (2012)

Arpan Roy, Dong Seong Kim, Kishor S. Trivedi: Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees. Security and Communication Networks 5(8): 929-943 (2012)

Salvatore Distefano, Antonio Puliafito, Kishor S. Trivedi: Dynamic aspects and behaviors of complex systems in performance and reliability assessment. SIGMETRICS Performance Evaluation Review 39(4): 71-78 (2012)

Daniel S. Menasché, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Alberto Avritzer, Sindhu Suresh, Kishor S. Trivedi, Raymond A. Marie, Lucia Happe, Anne Koziolek: Survivability analysis of power distribution in smart grids with active and reactive power modeling. SIGMETRICS Performance Evaluation Review 40(3): 53-57 (2012)

Rubens de S. Matos, Paulo Romero Martins Maciel, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi: Sensitivity Analysis of Server Virtualized System Availability. IEEE Transactions on Reliability 61(4): 994-1006 (2012)

Xiaomin Ma, Jinsong Zhang, Xiaoyan Yin, Kishor S. Trivedi: Design and Analysis of a Robust Broadcast Scheme for VANET Safety-Related Services. IEEE T. Vehicular Technology 61(1): 46-61 (2012)

Arpan Roy, Dong Seong Kim, Kishor S. Trivedi: Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees. DSN 2012: 1-12

Javier Alonso, Antonio Bovenzi, Jinghui Li, Yakun Wang, Stefano Russo, Kishor S. Trivedi: Software Rejuvenation: Do IT & Telco Industries Use It? ISSRE Workshops 2012: 299-304

Javier Alonso, Michael Grottke, Allen P. Nikora, Kishor S. Trivedi: The Nature of the Times to Flight Software Failure during Space Missions. ISSRE 2012: 331-340

Xiaoyan Yin, Javier Alonso, Fumio Machida, Ermeson C. Andrade, Kishor S. Trivedi: Availability Modeling and Analysis for Data Backup and Restore Operations. SRDS 2012: 141-150

Kousaburo Hari, Tadashi Dohi, Kishor S. Trivedi: Fast Optimization Algorithms for Designing Cellular Networks with Guard Channel. SRDS 2012: 249-254

Tadashi Dohi, Hiroyuki Okamura, Kishor S. Trivedi: Optimizing Software Rejuvenation Policies under Interval Reliability Criteria. UIC/ATC 2012: 478-485

Mukul Goyal, Dawn Rohm, Weigao Xie, Seyed H. Hosseini, Kishor S. Trivedi, Yusuf Bashir, August Divjak: A stochastic model for beaconless IEEE 802.15.4 MAC operation. Computer Communications 34(12): 1460-1474 (2011)

Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi: A refined EM algorithm for PH distributions. Perform. Eval. 68(10): 938-954 (2011)

Ermeson C. Andrade, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi: Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets. ARES 2011: 161-168

Francesco Longo, Rahul Ghosh, Vijay K. Naik, Kishor S. Trivedi: A scalable availability model for Infrastructure-as-a-Service cloud. DSN 2011: 335-346

Miroslaw Malek, Felix Salfner, Kishor S. Trivedi: Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM). DSN 2011: 595-596

Haiyang Qian, Deep Medhi, Kishor S. Trivedi: A hierarchical model to evaluate quality of experience of online services hosted by cloud computing. Integrated Network Management 2011: 105-112

Kesari Mishra, Kishor S. Trivedi: Uncertainty Propagation through Software Dependability Models. ISSRE 2011: 80-89

Jing Zhao, Yuliang Jin, Kishor S. Trivedi, Rivalino Matias: Injecting Memory Leaks to Accelerate Software Failures. ISSRE 2011: 260-269

Kishor S. Trivedi, Rajesh K. Mansharamani, Dong Seong Kim, Michael Grottke, Manoj Nambiar: Recovery from Failures Due to Mandelbugs in IT Systems. PRDC 2011: 224-233

Fumio Machida, Ermeson C. Andrade, Dong Seong Kim, Kishor S. Trivedi: Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML. SRDS 2011: 209-218

Xiaomin Ma, Xiaoyan Yin, Kishor S. Trivedi: A Robust Broadcast Scheme for VANET One-Hop Emergency Services. VTC Fall 2011: 1-5

Kishor S. Trivedi, Sachin Garg: In Memoriam: Dr. Chandra Kintala. Journal of Systems and Software 83(9): 1555 (2010)

Kishor S. Trivedi, Michael Grottke, Ermeson C. Andrade: Software fault mitigation and availability assurance techniques. Int. J. Systems Assurance Engineering and Management 1(4): 340-350 (2010)

Suprasad V. Amari, Liudong Xing, Akhilesh Shrestha, Jennifer Akers, Kishor S. Trivedi: Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams. IEEE Trans. Computers 59(10): 1419-1433 (2010)

Rivalino Matias, Pedro Alberto Barbetta, Kishor S. Trivedi, Paulo José de Freitas Filho: Accelerated Degradation Tests Applied to Software Aging Experiments. IEEE Transactions on Reliability 59(1): 102-114 (2010)

Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi: Software Reliability and Testing Time Allocation: An Architecture-Based Approach. IEEE Trans. Software Eng. 36(3): 323-337 (2010)

Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi: On-Line Adaptive Algorithms in Autonomic Restart Control. ATC 2010: 32-46

Arpan Roy, Dong Seong Kim, Kishor S. Trivedi: Cyber security analysis using attack countermeasure trees. CSIIRW 2010: 28

Michael Grottke, Allen P. Nikora, Kishor S. Trivedi: An empirical investigation of fault types in space mission system software. DSN 2010: 447-456

Miroslaw Malek, Felix Salfner, Kishor S. Trivedi: Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM). DSN 2010: 616-618

Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi: Online Monitoring of Software System Reliability. EDCC 2010: 209-218

Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt: Computing the Number of Calls Dropped Due to Failures. ISSRE 2010: 11-20

Rivalino Matias, Kishor S. Trivedi, Paulo Romero Martins Maciel: Using Accelerated Life Tests to Estimate Time to Software Aging Failure. ISSRE 2010: 211-219

Rahul Ghosh, Kishor S. Trivedi, Vijay K. Naik, Dong Seong Kim: End-to-End Performability Analysis for Infrastructure-as-a-Service Cloud: An Interacting Stochastic Models Approach. PRDC 2010: 125-132

Dong Seong Kim, Rahul Ghosh, Kishor S. Trivedi: A Hierarchical Model for Reliability Analysis of Sensor Networks. PRDC 2010: 247-248

Amita Devaraj, Kesari Mishra, Kishor S. Trivedi: Uncertainty Propagation in Analytic Availability Models. SRDS 2010: 121-130

Rahul Ghosh, Francesco Longo, Vijay K. Naik, Kishor S. Trivedi: Quantifying Resiliency of IaaS Cloud. SRDS 2010: 343-347

Poul E. Heegaard, Kishor S. Trivedi: Network survivability modeling. Computer Networks 53(8): 1215-1234 (2009)

Kishor S. Trivedi, Robin A. Sahner: SHARPE at the age of twenty two. SIGMETRICS Performance Evaluation Review 36(4): 52-57 (2009)

Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi: Markovian arrival process parameter estimation with group data. IEEE/ACM Trans. Netw. 17(4): 1326-1339 (2009)

Mukul Goyal, Mohd Soperi, Seyed Hossein Hosseini, Kishor S. Trivedi, A. Shaikh, G. Choudhury: Analyzing the Hold Time Schemes to Limit the Routing Table Calculations in OSPF Protocol. AINA 2009: 74-81

Miroslaw Malek, Felix Salfner, Kishor S. Trivedi: Workshop on proactive failure avoidance, recovery and maintenance (PFARM). DSN 2009: 590-591

Kishor S. Trivedi, Dong Seong Kim, Rahul Ghosh: Resilience in computer systems and networks. ICCAD 2009: 74-77

Dong Seong Kim, Fumio Machida, Kishor S. Trivedi: Availability Modeling and Analysis of a Virtualized System. PRDC 2009: 365-371

Poul E. Heegaard, Kishor S. Trivedi: Survivability Modeling with Stochastic Reward Nets. Winter Simulation Conference 2009: 807-818

W. Earl Smith, Kishor S. Trivedi, Lorrie A. Tomek, Jerry Ackaret: Availability analysis of blade server systems. IBM Systems Journal 47(4): 621-640 (2008)

Bharat B. Madan, Selvamuthu Dharmaraja, Kishor S. Trivedi: Combined Guard Channel and Mobile-Assisted Handoff for Cellular Networks. IEEE T. Vehicular Technology 57(1): 502-510 (2008)

Poul E. Heegaard, Kishor S. Trivedi: Survivability quantification of communication services. DSN 2008: 462-471

Subhasish Mitra, Ravishankar K. Iyer, Kishor S. Trivedi, James W. Tschanz: Reliable system design: models, metrics and design techniques. ICCAD 2008: 3

Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Andrew Rindos, Bart Vashaw: Achieving and assuring high availability. IPDPS 2008: 1-7

Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Rivalino Matias, Andrew Rindos, Bart Vashaw: Achieving and Assuring High Availability. ISAS 2008: 20-25

Michael Grottke, Hairong Sun, Ricardo M. Fricks, Kishor S. Trivedi: Ten Fallacies of Availability and Reliability Analysis. ISAS 2008: 187-206

Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt, Andrew Rindos, W. Earl Smith, Bart Vashaw: Availability Modeling of SIP Protocol on IBM(c) WebSphere(c). PRDC 2008: 323-330

Kishor S. Trivedi, Kalyanaraman Vaidyanathan: Software Aging and Rejuvenation. Wiley Encyclopedia of Computer Science and Engineering 2008

Michael Grottke, Kishor S. Trivedi: Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate. IEEE Computer 40(2): 107-109 (2007)

Vibhu Saujanya Sharma, Kishor S. Trivedi: Quantifying software performance, reliability and security: An architecture-based approach. Journal of Systems and Software 80(4): 493-509 (2007)

Dazhi Wang, Wei Xie, Kishor S. Trivedi: Performability analysis of clustered systems with rejuvenation under varying workload. Perform. Eval. 64(3): 247-265 (2007)

Yuan-Shun Dai, Gregory Levitin, Kishor S. Trivedi: Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation. IEEE Trans. Computers 56(7): 925-936 (2007)

Dazhi Wang, Kishor S. Trivedi: Reliability Analysis of Phased-Mission System With Independent Component Repairs. IEEE Transactions on Reliability 56(3): 540-551 (2007)

Günther A. Hoffmann, Kishor S. Trivedi, Miroslaw Malek: A Best Practice Guide to Resource Forecasting for Computing Systems. IEEE Transactions on Reliability 56(4): 615-628 (2007)

N. Sato, Kishor S. Trivedi: Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations. IEEE SCC 2007: 114-121

Kishor S. Trivedi: Survivability Quantification - Keynote. BROADNETS 2007: 961

Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, Kishor S. Trivedi: Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models. DSN 2007: 698-707

Marc Haberkorn, Kishor S. Trivedi: Availability Monitor for a Software Based System. HASE 2007: 321-328

N. Sato, Kishor S. Trivedi: Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks. ICSOC 2007: 107-118

Bruno Tuffin, Pawan K. Choudhary, Christophe Hirel, Kishor S. Trivedi: Simulation versus analytic-numeric methods: illustrative examples. VALUETOOLS 2007: 63

Gunter Bolch, Stefan Greiner, Hermann de Meer, Kishor S. Trivedi: Queueing networks and Markov chains - modeling and performance evaluation with computer science applications; 2nd Edition. Wiley 2006, isbn 978-0-471-56525-3, pp. I-XVI, 1-878

Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi: Incorporating fault debugging activities into software reliability models: a simulation approach. IEEE Transactions on Reliability 55(2): 281-292 (2006)

Michael Grottke, Lei Li, Kalyanaraman Vaidyanathan, Kishor S. Trivedi: Analysis of Software Aging in a Web Server. IEEE Transactions on Reliability 55(3): 411-420 (2006)

Swapna S. Gokhale, Kishor S. Trivedi: Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework. IEEE Transactions on Reliability 55(4): 578-590 (2006)

Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi: A Performance Engineering Tool for Tiered Software Systems. COMPSAC (1) 2006: 63-70

Alberto Avritzer, Andre B. Bondi, Michael Grottke, Kishor S. Trivedi, Elaine J. Weyuker: Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms. DSN 2006: 435-444

Kesari Mishra, Kishor S. Trivedi: Model Based Approach for Autonomic Availability Management. ISAS 2006: 1-16

Vibhu Saujanya Sharma, Kishor S. Trivedi: Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs. ISSRE 2006: 299-310

Kishor S. Trivedi, Ranjith Vasireddy, David Trindale, Swami Nathan, Rick Castro: Modeling High Availability. PRDC 2006: 154-164

Günther A. Hoffmann, Kishor S. Trivedi, Miroslaw Malek: A Best Practice Guide to Resources Forecasting for the Apache Webserver. PRDC 2006: 183-193

Yun Liu, Yue Ma, James J. Han, Haim Levendel, Kishor S. Trivedi: A proactive approach towards always-on availability in broadband cable networks. Computer Communications 28(1): 51-64 (2005)

Wei Xie, Yiguang Hong, Kishor S. Trivedi: Analysis of a two-level software rejuvenation policy. Rel. Eng. & Sys. Safety 87(1): 13-22 (2005)

Dongyan Chen, Kishor S. Trivedi: Optimization for condition-based maintenance with semi-Markov decision process. Rel. Eng. & Sys. Safety 90(1): 25-29 (2005)

Kalyanaraman Vaidyanathan, Kishor S. Trivedi: A Comprehensive Model for Software Rejuvenation. IEEE Trans. Dependable Sec. Comput. 2(2): 124-137 (2005)

Dazhi Wang, Kishor S. Trivedi: Computing steady-state mean time to failure for non-coherent repairable systems. IEEE Transactions on Reliability 54(3): 506-516 (2005)

Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi: A workload-based analysis of software aging, and rejuvenation. IEEE Transactions on Reliability 54(3): 541-548 (2005)

Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi: Evaluating Performance Attributes of Layered Software Architecture. CBSE 2005: 66-81

Christopher Griffin, Bharat B. Madan, Kishor S. Trivedi: State Space Approach to Security Quantification. COMPSAC (2) 2005: 83-88

Michael Grottke, Kishor S. Trivedi: On a Method for Mending Time to Failure Distributions. DSN 2005: 560-569

Dazhi Wang, Kishor S. Trivedi: Modeling User-Perceived Service Availability. ISAS 2005: 107-122

Bharat B. Madan, Shashi Phoha, Kishor S. Trivedi: StackOFFence: A Technique for Defending Against Buffer Overflow Attacks. ITCC (1) 2005: 656-661

Vibhu Saujanya Sharma, Kishor S. Trivedi: Architecture based analysis of performance, reliability and security of software systems. WOSP 2005: 217-227

Pawan K. Choudhary, Bharat B. Madan, Kishor S. Trivedi: Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls. Winter Simulation Conference 2005: 412-418

Tadashi Dohi, Hiroaki Suzuki, Kishor S. Trivedi: Comparing Software Rejuvenation Policies under Different Dependability Measures. IEICE Transactions 87-D(8): 2078-2085 (2004)

Bharat B. Madan, Kishor S. Trivedi: Security modeling and quantification of intrusion tolerant systems using attack-response graph. J. High Speed Networks 13(4): 297-308 (2004)

Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi: A method for modeling and quantifying the security attributes of intrusion tolerant systems. Perform. Eval. 56(1-4): 167-186 (2004)

Yonghuan Cao, Hairong Sun, Kishor S. Trivedi: The effect of access delay in capacity-on-demand access over a wireless link under bursty packet-switched data. Perform. Eval. 57(1): 69-87 (2004)

Swapna S. Gokhale, W. Eric Wong, Joseph Robert Horgan, Kishor S. Trivedi: An analytical approach to architecture-based software performance and reliability prediction. Perform. Eval. 58(4): 391-412 (2004)

Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi: Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain. Software Quality Journal 12(3): 211-230 (2004)

David M. Nicol, William H. Sanders, Kishor S. Trivedi: Model-Based Evaluation: From Dependability to Security. IEEE Trans. Dependable Sec. Comput. 1(1): 48-65 (2004)

Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi: An Infinite Server Queueing Approach for Describing Software Reliability Growth - Unified Modeling and Estimation Framework. APSEC 2004: 120-129

Dong Tang, Kishor S. Trivedi: Hierarchical Computation of Interval Availability and Related Metrics. DSN 2004: 693-

Kishor S. Trivedi, Kalyanaraman Vaidyanathan: Software Rejuvenation - Modeling and Analysis. IFIP Congress Tutorials 2004: 151-182

Helena Szczerbicka, Kishor S. Trivedi, Pawan K. Choudhary: Discrete Event Simulation with Applications to Computer Communication Systems Performance. IFIP Congress Tutorials 2004: 271-304

Yun Liu, Veena B. Mendiratta, Kishor S. Trivedi: Survivability Analysis of Telephone Access Network. ISSRE 2004: 367-378

Yun Liu, Kishor S. Trivedi: A General Framework for Network Survivability Quantification. MMB 2004: 369-378

Wei Xie, Yiguang Hong, Kishor S. Trivedi: Software Rejuvenation Policies for Cluster Systems under Varying Workload. PRDC 2004: 122-129

Selvamuthu Dharmaraja, Kishor S. Trivedi, Dimitris Logothetis: Performance modeling of wireless networks with generally distributed handoff interarrival times. Computer Communications 26(15): 1747-1755 (2003)

Kishor S. Trivedi, Xiaomin Ma, Selvamuthu Dharmaraja: Performability modelling of wireless communication systems. Int. J. Communication Systems 16(6): 561-577 (2003)

Kishor S. Trivedi, Srinivasan Ramani, Ricardo M. Fricks: Recent advances in modeling response-time distributions in real-time systems. Proceedings of the IEEE 91(7): 1023-1037 (2003)

Xinyu Zang, Dazhi Wang, Hairong Sun, Kishor S. Trivedi: A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components. IEEE Trans. Computers 52(12): 1608-1618 (2003)

Mark Lanus, Liang Yin, Kishor S. Trivedi: Hierarchical composition and aggregation of state-based availability and performability models. IEEE Transactions on Reliability 52(1): 44-52 (2003)

Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi: Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme. DSN 2003: 241-248

Dongyan Chen, Sachin Garg, Chandra M. R. Kintala, Kishor S. Trivedi: Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques. DSN 2003: 521-528

Wei Xie, Hairong Sun, Yonghuan Cao, Kishor S. Trivedi: Modeling of user perceived webserver availability. ICC 2003: 1796-1800

Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi: Maximizing Interval Reliability in Operational Software System with Rejuvenation. ISSRE 2003: 479-490

Yue Ma, James J. Han, Kishor S. Trivedi: Call admission control for reducing dropped calls in CDMA cellular systems. Computer Communications 25(7): 689-699 (2002)

Kishor S. Trivedi, Selvamuthu Dharmaraja, Xiaomin Ma: Analytic modeling of handoffs in wireless cellular networks. Inf. Sci. 148(1-4): 155-166 (2002)

Dongyan Chen, Yiguang Hong, Kishor S. Trivedi: Second-order stochastic fluid models with fluid-dependent flow rates. Perform. Eval. 49(1/4): 341-358 (2002)

Yonghuan Cao, Hairong Sun, Kishor S. Trivedi, James J. Han: System availability with non-exponentially distributed outages. IEEE Transactions on Reliability 51(2): 193-198 (2002)

Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora: Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System. DSN 2002: 337-344

Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi: Modeling and Quantification of Security Attributes of Software Systems. DSN 2002: 505-514

Kishor S. Trivedi: SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator. DSN 2002: 544

Kishor S. Trivedi: SREPT: A Tool for Software Reliability Estimation and Prediction. DSN 2002: 546

Wei Jin, Rakesh D. Barve, Kishor S. Trivedi: A Simple Characterization of Provably Efficient Prefetching Algorithms. DSN 2002: 571-580

Dongyan Chen, Yiguang Hong, Kishor S. Trivedi: Optimal estimation of training interval for channel equalizations. ICC 2002: 717-721

Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi: A Framework for Performability Modeling of Messaging Services in Distributed Systems. ICECCS 2002: 25-34

Swapna S. Gokhale, Joseph R. Horgan, Kishor S. Trivedi: Specification-Level Integration of Simulation and Dependability Analysis. WADS 2002: 245-266

Lei Li, Kalyanaraman Vaidyanathan, Kishor S. Trivedi: An Approach for Estimation of Software Aging in a Web Server. ISESE 2002: 91-102

Swapna S. Gokhale, Kishor S. Trivedi: Reliability Prediction and Sensitivity Analysis Based on Software Architecture. ISSRE 2002: 64-78

Yun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel: Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems. ISSRE 2002: 159-170

Kishor S. Trivedi, Selvamuthu Dharmaraja, Xiaomin Ma: Analytic Modeling of Handoffs in Wireless Cellular Networks. JCIS 2002: 1383-1392

Dongyan Chen, Sachin Garg, Kishor S. Trivedi: Network survivability performance evaluation: : a quantitative approach with applications in wireless ad-hoc networks. MSWiM 2002: 61-68

Kishor S. Trivedi, Kalyanaraman Vaidyanathan: Software Reliability and Rejuvenation: Modeling and Analysis. Performance 2002: 318-345

Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi: Availability Models with Age-Dependent Checkpointing. SRDS 2002: 130-139

Kalyanaraman Vaidyanathan, Selvamuthu Dharmaraja, Kishor S. Trivedi: Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems. SRDS 2002: 286-295

Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi: Estimating Software Rejuvenation Schedules in High-Assurance Systems. Comput. J. 44(6): 473-485 (2001)

Bruno Tuffin, Dong S. Chen, Kishor S. Trivedi: Comparison of Hybrid Systems and Fluid Stochastic Petri Nets. Discrete Event Dynamic Systems 11(1-2): 77-95 (2001)

Vittorio Castelli, Richard E. Harper, Philip Heidelberger, Steven W. Hunter, Kishor S. Trivedi, Kalyanaraman Vaidyanathan, William P. Zeggert: Proactive management of software aging. IBM Journal of Research and Development 45(2): 311-332 (2001)

Katerina Goseva-Popstojanova, Kishor S. Trivedi: Architecture-based approach to reliability assessment of software systems. Perform. Eval. 45(2-3): 179-204 (2001)

Hairong Sun, Xinyu Zang, Kishor S. Trivedi: Performance of broadcast and unknown server (BUS) in ATM LAN emulation. IEEE/ACM Trans. Netw. 9(3): 361-372 (2001)

Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy: Reliable Messaging Using the CORBA Notification Service. DOA 2001: 229-238

Katerina Goseva-Popstojanova, Aditya P. Mathur, Kishor S. Trivedi: Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models. ISSRE 2001: 22-33

Tadashi Dohi, Nobuyuki Wakana, Shunji Osaki, Kishor S. Trivedi: Analysis of Hypergeometric Distribution Software Reliability Model. ISSRE 2001: 166-175

Dongyan Chen, Kishor S. Trivedi: Analysis of Periodic Preventive Maintenance with General System Failure Distribution. PRDC 2001: 103-110

Kalyanaraman Vaidyanathan, Richard E. Harper, Steven W. Hunter, Kishor S. Trivedi: Analysis and implementation of software rejuvenation in cluster systems. SIGMETRICS/Performance 2001: 62-71

Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy: Performance Analysis of the CORBA Notification Service . SRDS 2001: 227-

Yue Ma, James J. Han, Kishor S. Trivedi: Channel Allocation with Recovery Strategy in Wireless Networks. European Transactions on Telecommunications 11(4): 395-406 (2000)

Srinivasan Ramani, Swapna S. Gokhale, Kishor S. Trivedi: SREPT: software reliability estimation and prediction tool. Perform. Eval. 39(1-4): 37-60 (2000)

Kishor S. Trivedi: Proactive Fault-Management in Software System. Annual Simulation Symposium 2000: 3-

Kishor S. Trivedi, Kalyanaraman Vaidyanathan, Katerina Goseva-Popstojanova: Modeling and Analysis of Software Aging and Rejuvenation. Annual Simulation Symposium 2000: 270-

Bruno Tuffin, Kishor S. Trivedi: Implementation of Importance Splitting Techniques in Stochastic Petri Net Package. Computer Performance Evaluation / TOOLS 2000: 216-229

Christophe Hirel, Robin A. Sahner, Xinyu Zang, Kishor S. Trivedi: Reliability and Performability Modeling Using SHARPE 2000. Computer Performance Evaluation / TOOLS 2000: 345-349

Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi: SPNP: Stochastic Petri Nets. Version 6.0. Computer Performance Evaluation / TOOLS 2000: 354-357

Srinivasan Ramani, Kishor S. Trivedi: SREPT: Software Reliability Estimation and Prediction Tool. Computer Performance Evaluation / TOOLS 2000: 358-361

Katerina Goseva-Popstojanova, Kishor S. Trivedi: Stochastic Modeling Formalisms for Dependability, Performance and Performability. Performance Evaluation 2000: 403-422

Yue Ma, James J. Han, Kishor S. Trivedi: Call Admission Control for Reducing Dropped Calls in Code Division Multiple Access (CDMA) Cellular Systems. INFOCOM 2000: 1481-1490

Srinivasan Ramani, Balakrishnan Dasarathy, Kishor S. Trivedi: Building a Reliable Message Delivery System Using the CORBA Event Service. IPDPS Workshops 2000: 1276-1280

Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi: Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications. ISSRE 2000: 40-51

Katerina Goseva-Popstojanova, Kishor S. Trivedi: Effects of failure correlation on software in operation. PRDC 2000: 69-76

Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi: Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule. PRDC 2000: 77-84

Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy: Performance Analysis of the CORBA Event Service using Stochastic Reward Nets. SRDS 2000: 238-247

Swapna S. Gokhale, Kishor S. Trivedi: A time/structure based software reliability model. Ann. Software Eng. 8: 85-121 (1999)

Hairong Sun, Xinyu Zang, Kishor S. Trivedi: A stochastic reward net model for performance analysis of prioritized DQDB MAN. Computer Communications 22(9): 858-870 (1999)

Hairong Sun, Xinyu Zang, Kishor S. Trivedi: The effect of Web caching on network planning. Computer Communications 22(14): 1343-1350 (1999)

Ricardo M. Fricks, Antonio Puliafito, Kishor S. Trivedi: Performance Analysis of Distributed Real-Time Databased. Perform. Eval. 35(3-4): 145-169 (1999)

Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi: Discrete-Event Simulation of Fluid Stochastic Petri Nets. IEEE Trans. Software Eng. 25(2): 207-217 (1999)

Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi: Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. EDCC 1999: 7-23

Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi, Shalini Yajnik: Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault Tolerance. FTCS 1999: 322-329

Xinyu Zang, Hairong Sun, Kishor S. Trivedi: Dependability Analysis of Distributed Computer Systems with Imperfect Coverage. FTCS 1999: 330-337

Hairong Sun, Yonghuan Cao, Kishor S. Trivedi, James J. Han: Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System. PRDC 1999: 15-22

Antonio Puliafito, Orazio Tomarchio, Lorenzo Vita, Kishor S. Trivedi: Increasing Application Accessibility through Java. IEEE Internet Computing 2(4): 70-77 (1998)

Andrea Bobbio, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi: Recent Developments in Non-Markovian Stochastic Petri Nets. Journal of Circuits, Systems, and Computers 8(1): 119-158 (1998)

Antonio Puliafito, Marco Scarpa, Kishor S. Trivedi: Petri Nets with k Simultaneously Enabled Generally Distributed Timed Transitions. Perform. Eval. 32(1): 1-34 (1998)

Ricardo M. Fricks, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi: Applications of non-Markovian stochastic Petri nets. SIGMETRICS Performance Evaluation Review 26(2): 15-27 (1998)

Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi: Analysis of Preventive Maintenance in Transactions Based Software Systems. IEEE Trans. Computers 47(1): 96-107 (1998)

Srinivasan Ramani, Swapna S. Gokhale, Kishor S. Trivedi: SREPT: Software Reliability Estimation and Prediction Tool. Computer Performance Evaluation (Tools) 1998: 27-36

Tong Luo, Kishor S. Trivedi: An Improved Multiple Variable Inversion Algorithm for Reliability Calculation. Computer Performance Evaluation (Tools) 1998: 180-192

Swapna S. Gokhale, Kishor S. Trivedi: Log-Logistic Software Reliability Growth Model. HASE 1998: 34-41

D. Logothesis, Kishor S. Trivedi: The Effect of Detection and Restoration Times on Error Recovery in Communication Networks. J. Network Syst. Manage. 5(2): 173-195 (1997)

Meera Balakrishnan, Antonio Puliafito, Kishor S. Trivedi, Yannis Viniotis: Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach. Telecommunication Systems 7(1-3): 105-123 (1997)

Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing Zhang: Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools. FTCS 1997: 37-41

Ann T. Tai, Kishor S. Trivedi, Herbert Hecht: On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. HASE 1997: 2-13

Steven W. Hunter, Teebu Philip, Kishor S. Trivedi: Combined Performance and Availability Analysis of a Switched Network Applications. ICC (1) 1997: 241-245

Cheul Woo Ro, Kishor S. Trivedi: Performability analysis of handoff calls in personal communication networks. ICCCN 1997: 116-121

András Pfening, Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi: Optimal Software Rejuvenation for Tolerating Soft Failures. Perform. Eval. 27/28(4): 491-506 (1996)

Philip Heidelberger, Jogesh K. Muppala, Kishor S. Trivedi: Accelerating Mean Time to Failure Computations. Perform. Eval. 27/28(4): 627-645 (1996)

Varsha Mainkar, Kishor S. Trivedi: Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models. IEEE Trans. Software Eng. 22(9): 640-653 (1996)

Ricardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi: IDEA: Integrated Design Environment for Assessment of ATM Networks. ICECCS 1996: 27-34

Chang-Yu Wang, Dimitris Logothetis, Kishor S. Trivedi, Yannis Viniotis: Transient Behavior of ATM Networds under Overloads. INFOCOM 1996: 978-985

Swapna S. Gokhale, Peter N. Marinos, Kishor S. Trivedi: Important Milestones in Software Reliability Modeling. SEKE 1996: 345-352

Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi: Minimizing Completion Time of a Program by Checkpointing and Rejuvenation. SIGMETRICS 1996: 252-261

Suresh Rai, Malathi Veeraraghavan, Kishor S. Trivedi: A survey of efficient reliability computation using disjoint products approach. Networks 25(3): 147-163 (1995)

Manish Malhotra, Kishor S. Trivedi: Data Integrity Analysis of Disk Array Systems with Analytic Modeling of Coverage. Perform. Eval. 22(1): 111-133 (1995)

A. V. Ramesh, Kishor S. Trivedi: Semi-numerical transient analysis of Markov models. ACM Southeast Regional Conference 1995: 13-23

Meera Balakrishnan, Kishor S. Trivedi: Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components. FTCS 1995: 259-268

Kishor S. Trivedi, Antonio Puliafito, Dimitris Logothetis: From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets. MASCOTS 1995: 194-198

Miklós Telek, Andrea Bobbio, László Jereb, Antonio Puliafito, Kishor S. Trivedi: Steady State Analysis of Markov Regenerative SPN with Age Memory Policy. MMB 1995: 165-179

Kishor S. Trivedi, Andrea Bobbio, Miklós Telek, Reinhard German, Gianfranco Ciardo, Antonio Puliafito: Non-Markovian Petri Nets (Panel). SIGMETRICS 1995: 263-264

Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi: Markov Regenerative Stochastic Petri Nets. Perform. Eval. 20(1-3): 337-357 (1994)

Malathi Veeraraghavan, Kishor S. Trivedi: A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models. IEEE Trans. Computers 43(2): 229-234 (1994)

Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin: Guarded Repair of Dependable Systems. Theor. Comput. Sci. 128(1&2): 179-210 (1994)

Dimitris Logothetis, Kishor S. Trivedi: Reliability analysis of the double counter-rotating ring with concentrator attachments. IEEE/ACM Trans. Netw. 2(5): 520-532 (1994)

Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew Rindos, Varsha Mainkar: Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives. Computer Performance Evaluation 1994: 1-24

Wei Wang, Kishor S. Trivedi, Babubhai V. Shah, Joseph A. Profeta III: The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage. FTCS 1994: 330-337

Dimitris Logothetis, Kishor S. Trivedi: Transient Analysis of the Leaky Bucket Rate Control Scheme Under Poisson and ON-OFF Sources. INFOCOM 1994: 490-497

Kishor S. Trivedi, Manish Malhotra, Ricardo M. Fricks: Markov Reward Approach to Performability and Reliability Analysis. MASCOTS 1994: 7-11

Arun K. Somani, Kishor S. Trivedi: Phased-Mission System Analysis Using Boolean Algebraic Methods. SIGMETRICS 1994: 98-107

Boudewijn R. Haverkort, Kishor S. Trivedi: Specification techniques for Markov reward models. Discrete Event Dynamic Systems 3(2-3): 219-247 (1993)

Manish Malhotra, Kishor S. Trivedi: Reliability Analysis of Redundant Arrays of Inexpensive Disks. J. Parallel Distrib. Comput. 17(1-2): 146-151 (1993)

Gianfranco Ciardo, Kishor S. Trivedi: A Decomposition Approach for Stochastic Reward Net Models. Perform. Eval. 18(1): 37-59 (1993)

Phillip F. Chimento Jr., Kishor S. Trivedi: The Completion Time of Programs on Processors Subject to Failure and Repair. IEEE Trans. Computers 42(10): 1184-1194 (1993)

Oliver C. Ibe, Hoon Choi, Kishor S. Trivedi: Performance Evaluation of Client-Server Systems. IEEE Trans. Parallel Distrib. Syst. 4(11): 1217-1229 (1993)

Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi: Modeling Correlation in Software Recovery Blocks. IEEE Trans. Software Eng. 19(11): 1071-1086 (1993)

Kishor S. Trivedi, Vidyadhar G. Kulkarni: FSPNs: Fluid Stochastic Petri Nets. Application and Theory of Petri Nets 1993: 24-31

Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi: Transient Analysis of Deterministic and Stochastic Petri Nets. Application and Theory of Petri Nets 1993: 166-185

Chang-Yu Wang, Kishor S. Trivedi: Integration of Specification for Modeling and Specification for System Design. Application and Theory of Petri Nets 1993: 473-492

Robert Geist, Kishor S. Trivedi: An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems. FTCS 1993: 442-450

Varsha Mainkar, Kishor S. Trivedi: Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets. ICDCS 1993: 466-473

Dimitris Logothetis, Kishor S. Trivedi: Reliability Analysis of Various Station Attachment Schemes in an FDDI Token Ring. INFOCOM 1993: 201-208

Hoon Choi, Varsha Mainkar, Kishor S. Trivedi: Sensitivity Analysis of Deterministic and Stochastic Petri Nets. MASCOTS 1993: 271-276

Jogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi: Modeling Using Stochastic Reward Nets. MASCOTS 1993: 367-372

Gianfranco Ciardo, Kishor S. Trivedi: SPNP: The Stochastic Petri Net Package (Version 3.1). MASCOTS 1993: 390-391

Kishor S. Trivedi, Manish Malhotra: Reliability and Performability Techniques and Tools: A Survey. MMB 1993: 27-48

Hermann de Meer, Kishor S. Trivedi: Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems. MMB 1993: 159-172

A. V. Ramesh, Kishor S. Trivedi: On the Sensitivity of Transient Solutions of Markov Models. SIGMETRICS 1993: 122-134

Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Robin A. Sahner: Dependability and Performability Analysis. Performance/SIGMETRICS Tutorials 1993: 587-612

Malathi Veeraraghavan, Kishor S. Trivedi: An Approach for Combinatorial Performance and Availability Analysis. SRDS 1993: 24-33

Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi: Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets. J. Parallel Distrib. Comput. 15(3): 255-269 (1992)

Kishor S. Trivedi, Jogesh K. Muppala, Steven P. Woolet, Boudewijn R. Haverkort: Composite Performance and Dependability Analysis. Perform. Eval. 14(3-4): 197-215 (1992)

Ravishankar K. Iyer, Kishor S. Trivedi: Guest Editors' Introduction. IEEE Trans. Parallel Distrib. Syst. 3(6): 641-642 (1992)

Hoon Choi, Kishor S. Trivedi: Approximate Performance Models of Polling Systems Using Stochastic Petri Nets. INFOCOM 1992: 2306-2314

Jogesh K. Muppala, Steven P. Woolet, Kishor S. Trivedi: Real-Time-Systems Performance in the Presence of Failures. IEEE Computer 24(5): 37-47 (1991)

Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi: On the Solution of GSPN Reward Models. Perform. Eval. 12(4): 237-253 (1991)

Oliver C. Ibe, Kishor S. Trivedi: Stochastic Petri Net Analysis of Finite-Population Vacation Queueing Systems. Queueing Syst. 8(2): 111-127 (1991)

Lorrie A. Tomek, Kishor S. Trivedi: Fixed Point Iteration in Availability Modeling. Fault-Tolerant Computing Systems 1991: 229-240

Dimitris Logothetis, Kishor S. Trivedi: Reliability analysis of the FDDI token ring. LCN 1991: 41-51

Gianfranco Ciardo, Kishor S. Trivedi: A Decomposition Approach for Stochastic Petri Net Models. PNPM 1991: 74-83

Heinz Kantz, Kishor S. Trivedi: Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques. PNPM 1991: 268-277

David I. Heimann, Nitin Mittal, Kishor S. Trivedi: Availability and Reliability Modeling for Computer Systems. Advances in Computers 31: 175-233 (1990)

Robert Geist, Kishor S. Trivedi: Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques. IEEE Computer 23(7): 52-61 (1990)

Oliver C. Ibe, Kishor S. Trivedi: Stochastic Petri Net Models of Polling Systems. IEEE Journal on Selected Areas in Communications 8(9): 1649-1657 (1990)

Maria Calzarossa, Raymond A. Marie, Kishor S. Trivedi: System Performance with User Behavior Graphs. Perform. Eval. 11(3): 155-164 (1990)

Oliver C. Ibe, Kishor S. Trivedi: Two Queues with Alternating Service and Server Breakdown. Queueing Syst. 7(3): 253-268 (1990)

Gianfranco Ciardo, Raymond A. Marie, Bruno Sericola, Kishor S. Trivedi: Performability Analysis Using Semi-Markov Reard Processes. IEEE Trans. Computers 39(10): 1251-1264 (1990)

Andrea Bobbio, Kishor S. Trivedi: Computing Cumulative Measures of Stiff Markov Chains Using Aggregation. IEEE Trans. Computers 39(10): 1291-1298 (1990)

Jogesh K. Muppala, Kishor S. Trivedi: GSPM models: sensitivity analysis and applications. ACM Southeast Regional Conference 1990: 25-33

Malathi Veeraraghavan, Kishor S. Trivedi: An Improved ALgorithm for the Symbolic Reliability Analysis of Networks. SRDS 1990: 34-43

W. Earl Smith, Kishor S. Trivedi: Dependability Evaluation of a Class of Multi-Loop Topologies for Local Area Networks. IBM Journal of Research and Development 33(5): 511-423 (1989)

Andrew L. Reibman, Kishor S. Trivedi, Sanjaya Kumar, Gianfranco Ciardo: Analysis of Stiff Markov Chains. INFORMS Journal on Computing 1(2): 126-133 (1989)

Joanne Bechta Dugan, Kishor S. Trivedi: Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems. IEEE Trans. Computers 38(6): 775-787 (1989)

James T. Blake, Kishor S. Trivedi: Multistage Interconnection Network Reliability. IEEE Trans. Computers 38(11): 1600-1604 (1989)

Phillip F. Chimento Jr., Kishor S. Trivedi: Completion Times of Programs on Concurrent Processors with Failure and Repair. ICPP (1) 1989: 167-171

Oliver C. Ibe, Archana Sathaye, Richard C. Howe, Kishor S. Trivedi: Stochastic Petri Net Modeling of VAXcluster System Availability. PNPM 1989: 112-121

Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi: SPNP: Stochastic Petri Net Package. PNPM 1989: 142-151

Philip M. Thambidurai, Kishor S. Trivedi: Transient Overloads in Fault-Tolerant Real-Time Systems. RTSS 1989: 126-133

Andrew L. Reibman, Kishor S. Trivedi: Numerical transient analysis of markov models. Computers & OR 15(1): 19-36 (1988)

R. M. Smith, Kishor S. Trivedi, A. V. Ramesh: Performability Analysis: Measures, an Algorithm, and a Case Study. IEEE Trans. Computers 37(4): 406-417 (1988)

Mei-Chen Hsueh, Ravishankar K. Iyer, Kishor S. Trivedi: Performability Modeling Based on Real Data: A Case Study. IEEE Trans. Computers 37(4): 478-484 (1988)

James T. Blake, Kishor S. Trivedi: Reliabilities of two fault-tolerant interconnection networks. FTCS 1988: 300-305

James T. Blake, Andrew L. Reibman, Kishor S. Trivedi: Sensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems. SIGMETRICS 1988: 177-186

Raymond A. Marie, Kishor S. Trivedi: A Note on the Effect of Preemptive Policies on the Stability of a Priority Queue. Inf. Process. Lett. 24(6): 397-401 (1987)

Raymond A. Marie, Andrew L. Reibman, Kishor S. Trivedi: Transient Analysis of Acyclic Markov Chains. Perform. Eval. 7(3): 175-194 (1987)

Victor F. Nicola, Vidyadhar G. Kulkarni, Kishor S. Trivedi: Queueing Analysis of Fault-Tolerant Computer Systems. IEEE Trans. Software Eng. 13(3): 363-375 (1987)

Robin A. Sahner, Kishor S. Trivedi: Performance and Reliability Analysis Using Directed Acyclic Graphs. IEEE Trans. Software Eng. 13(10): 1105-1114 (1987)

Mei-Chen Hsueh, Ravishankar K. Iyer, Kishor S. Trivedi: A Measurement-Based Performability Model for a Multiprocessor System. Computer Performance and Reliability 1987: 337-352

Kishor S. Trivedi, Andrew L. Reibman, Roger Smith: Transient Analysis of Markov and Markov Reward Models. Computer Performance and Reliability 1987: 535-545

Robert Geist, Mark Smotherman, Kishor S. Trivedi, Joanne Bechta Dugan: The Reliability of Life-Critical Computer Systems. Acta Inf. 23(6): 621-642 (1986)

Vidyadhar G. Kulkarni, Victor F. Nicola, Kishor S. Trivedi: On modelling the performance and reliability of multimode computer systems. Journal of Systems and Software 6(1-2): 175-182 (1986)

Mark Smotherman, Robert Geist, Kishor S. Trivedi: Provably Conservative Approximations to Complex Reliability Models. IEEE Trans. Computers 35(4): 333-338 (1986)

Andrea Bobbio, Kishor S. Trivedi: An Aggregation Technique for the Transient Analysis of Stiff Markov Chains. IEEE Trans. Computers 35(9): 803-814 (1986)

Maria Calzarossa, Kishor S. Trivedi: Performance Analysis Using User Behavior Graphs. Int. CMG Conference 1986: 394-397

Robin A. Sahner, Kishor S. Trivedi: A Hierarchical, Combinatorial-Markov Method of Solving Complex Reliability Models. FJCC 1986: 817-825

Victor F. Nicola, Vidyadhar G. Kulkarni, Kishor S. Trivedi: Queueing Analysis of Fault-Tolerant Computer Systems. SIGMETRICS 1986: 203

John McGough, Mark Smotherman, Kishor S. Trivedi: The Conservativeness of Reliability Estimates Based on Instantaneous Coverage. IEEE Trans. Computers 34(7): 602-609 (1985)

Joanne Bechta Dugan, Andrea Bobbio, Gianfranco Ciardo, Kishor S. Trivedi: The Design of a Unified Package for the Solution of Stochastic Petri Net Models. PNPM 1985: 6-13

Kishor S. Trivedi, Joanne Bechta Dugan, Robert Geist, Mark Smotherman: Issues in reliability modeling of fault-tolerant computers. Fehlertolerierende Rechensysteme 1984: 228-239

Joanne Bechta Dugan, Kishor S. Trivedi, Robert Geist, Victor F. Nicola: Extended Stochastic Petri Nets: Applications and Analysis. Performance 1984: 507-519

Joseph A. Bannister, Kishor S. Trivedi: Task Allocation in Fault-Tolerant Distributed Systems. Acta Inf. 20: 261-281 (1983)

Philip Heidelberger, Kishor S. Trivedi: Analytic Queueing Models for Programs with Internal Concurrency. IEEE Trans. Computers 32(1): 73-82 (1983)

Robert Geist, Kishor S. Trivedi: Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems. IEEE Trans. Computers 32(12): 1118-1127 (1983)

Kishor S. Trivedi: Computer Science and Applied Probability (abstract). Int. CMG Conference 1983: 467

Kishor S. Trivedi: Reliability Evaluation for Fault-Tolerant Systems. Computer Performance and Reliability 1983: 403-416

Günter Haring, Kishor S. Trivedi: On the Optimal Distribution of Processing Power in a Star Configured System. MMB 1983: 353-365

Robert Geist, Kishor S. Trivedi: The Integration of User Perception in the Heterogeneous M/M/2 Queue. Performance 1983: 203-216

François Baccelli, Kishor S. Trivedi: Analysis of M/G/2 - Standby Redundant System. Performance 1983: 457-476

Kishor S. Trivedi: Probability and statistics with reliability, queuing, and computer science applications. Prentice Hall 1982, isbn 978-0-13-711564-8, pp. I-X, 1-624

Robert Geist, Kishor S. Trivedi: Optimal Design of Multilevel Storage Hierarchies. IEEE Trans. Computers 31(3): 249-260 (1982)

Philip Heidelberger, Kishor S. Trivedi: Queueing Network Models for Parallel Processing with Asynchronous Tasks. IEEE Trans. Computers 31(11): 1099-1109 (1982)

Kishor S. Trivedi, Anneliese von Mayrhauser: Optimal File Allocation, Device Capacity and CPU Speed Selection During the Design of Interactive Computer Systems. Int. CMG Conference 1982: 178-184

Kishor S. Trivedi, Timothy M. Sigmon: Optimal Design of Linear Storage Hierarchies. J. ACM 28(2): 270-288 (1981)

Kishor S. Trivedi, Anneliese von Mayrhauser: Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection. Int. CMG Conference 1981: 58-69

Kishor S. Trivedi, Daniel E. Atkins (Eds.): 5th IEEE Symposium on Computer Arithmetic, ARITH 1981, Ann Arbor, MI, USA, May 16-19, 1981. IEEE 1981

Kishor S. Trivedi, Robert A. Wagner, Timothy M. Sigmon: Optimal Selection of CPU Speed, Device Capacities, and File Assignments. J. ACM 27(3): 457-473 (1980)

Kishor S. Trivedi: Designing Linear Storage Hierarchies so as to Maximize Reliability Subject to Cost and Performance Constraints. ISCA 1980: 211-217

Kishor S. Trivedi, Robert A. Wagner: A Decision Model for Closed Queuing Networks. IEEE Trans. Software Eng. 5(4): 328-332 (1979)

Kishor S. Trivedi, Timothy M. Sigmon: A Performance Comparison of Optimally Designed Computer Systems with and without Virtual Memory. ISCA 1979: 117-121

Kishor S. Trivedi, Joseph G. Rusnak: Higher radix on-line division. IEEE Symposium on Computer Arithmetic 1978: 164-174

Kishor S. Trivedi, Milos D. Ercegovac: On-Line Algorithms for Division and Multiplication. IEEE Trans. Computers 26(7): 681-687 (1977)

Kishor S. Trivedi: On the Use of Continued Fractions for Digital Computer Arithmetic. IEEE Trans. Computers 26(7): 700-704 (1977)

Kishor S. Trivedi: On the Paging Performance of Array Algorithms. IEEE Trans. Computers 26(10): 938-947 (1977)

Kishor S. Trivedi: On a Semaphore Anomaly. Inf. Process. Lett. 5(3): 88-89 (1976)

Kishor S. Trivedi: Prepaging and Applications to Array Algorithms. IEEE Trans. Computers 25(9): 915-921 (1976)

Kishor S. Trivedi: On the use of continued emotions for digital computer arithmetic. IEEE Symposium on Computer Arithmetic 1975: 137-146

Kishor S. Trivedi, Milos D. Ercegovac: On-line algorithms for division and multiplication. IEEE Symposium on Computer Arithmetic 1975: 161-167

James E. Robertson, Kishor S. Trivedi: The status of investigations into the use of continued fractions for computer hardware. IEEE Symposium on Computer Arithmetic 1972: 1-30