Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Kishor S. Trivedi

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j139]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cm/RozicBROFKVMRT13
- ask others
Nikola Rozic, Dinko Begusic, Josko Radic, Nicolae Oaca, Yuguang Fang, Yevgeni Koucheryavy, Alexey V. Vinel, Wojciech Molisz, Jacek Rak, Kishor S. Trivedi: Global communications newsletter: June 2013. IEEE Communications Magazine 51(6) (2013)
[j138]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fgcs/GhoshLNT13
- ask others
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)
[j137]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/MachidaKT13
- ask others
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)
[j136]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/AlonsoMVMT13
- ask others
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)
[j135]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/qre/DistefanoT13
- ask others
Salvatore Distefano, Kishor S. Trivedi: Non-Markovian State-Space Models in Dependability Evaluation. Quality and Reliability Eng. Int. 29(2): 225-239 (2013)
[j134]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ress/GhoshKT13
- ask others
Rahul Ghosh, Dong Seong Kim, Kishor S. Trivedi: System resiliency quantification using non-state-space and state-space analytic models. Rel. Eng. & Sys. Safety 116: 109-125 (2013)
[j133]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/YinMT13
- ask others
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)
[j132]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/YinAT13
- ask others
Meng-Lai Yin, John E. Angus, Kishor S. Trivedi: Optimal Preventive Maintenance Rate for Best Availability With Hypo-Exponential Failure Distribution. IEEE Transactions on Reliability 62(2): 351-361 (2013)
[c176]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wosp/AvritzerSMLSDTHK13
- ask others
Alberto Avritzer, Sindhu Suresh, Daniel Sadoc Menasché, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Morganna Carmem Diniz, Kishor S. Trivedi, Lucia Happe, Anne Koziolek: Survivability models for the assessment of smart grid distribution automation network designs. ICPE 2013: 241-252
2012
[j131]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ac/TrivediAM12
- ask others
Kishor S. Trivedi, Ermeson C. Andrade, Fumio Machida: Combining Performance and Availability Analysis in Practice. Advances in Computers 84: 1-38 (2012)
[j130]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cma/DistefanoLT12
- ask others
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)
[j129]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/comsur/GoyalSBCSHT12
- ask others
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)
[j128]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ejwcn/PuliafitoMPT12
- ask others
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)
[j127]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ejwcn/MittonPPT12
- ask others
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)
[j126]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scn/RoyKT12
- ask others
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)
[j125]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigmetrics/DistefanoPT12
- ask others
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)
[j124]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigmetrics/MenascheLSASTMHK12
- ask others
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)
[j123]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/MatosMMKT12
- ask others
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)
[j122]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tvt/MaZYT12
- ask others
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)
[c175]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/RoyKT12
- ask others
Arpan Roy, Dong Seong Kim, Kishor S. Trivedi: Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees. DSN 2012: 1-12
[c174]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/AlonsoBLWRT12
- ask others
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
[c173]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/AlonsoGNT12
- ask others
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
[c172]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/srds/YinAMAT12
- ask others
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
[c171]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/srds/HariDT12
- ask others
Kousaburo Hari, Tadashi Dohi, Kishor S. Trivedi: Fast Optimization Algorithms for Designing Cellular Networks with Guard Channel. SRDS 2012: 249-254
[c170]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/uic/DohiOT12
- ask others
Tadashi Dohi, Hiroyuki Okamura, Kishor S. Trivedi: Optimizing Software Rejuvenation Policies under Interval Reliability Criteria. UIC/ATC 2012: 478-485
2011
[j121]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/comcom/GoyalRXHTBD11
- ask others
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)
[j120]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/OkamuraDT11
- ask others
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi: A refined EM algorithm for PH distributions. Perform. Eval. 68(10): 938-954 (2011)
[c169]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/IEEEares/AndradeMKT11
- ask others
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
[c168]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/LongoGNT11
- ask others
Francesco Longo, Rahul Ghosh, Vijay K. Naik, Kishor S. Trivedi: A scalable availability model for Infrastructure-as-a-Service cloud. DSN 2011: 335-346
[c167]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/MalekST11
- ask others
Miroslaw Malek, Felix Salfner, Kishor S. Trivedi: Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM). DSN 2011: 595-596
[c166]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/im/QianMT11
- ask others
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
[c165]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/MishraT11
- ask others
Kesari Mishra, Kishor S. Trivedi: Uncertainty Propagation through Software Dependability Models. ISSRE 2011: 80-89
[c164]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/ZhaoJTM11
- ask others
Jing Zhao, Yuliang Jin, Kishor S. Trivedi, Rivalino Matias: Injecting Memory Leaks to Accelerate Software Failures. ISSRE 2011: 260-269
[c163]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/TrivediMKGN11
- ask others
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
[c162]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/srds/MachidaAKT11
- ask others
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
[c161]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vtc/MaYT11
- ask others
Xiaomin Ma, Xiaoyan Yin, Kishor S. Trivedi: A Robust Broadcast Scheme for VANET One-Hop Emergency Services. VTC Fall 2011: 1-5
2010
[j119]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/TrivediG10
- ask others
Kishor S. Trivedi, Sachin Garg: In Memoriam: Dr. Chandra Kintala. Journal of Systems and Software 83(9): 1555 (2010)
[j118]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/saem/TrivediGA10
- ask others
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)
[j117]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/AmariXSAT10
- ask others
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)
[j116]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/MatiasBTF10
- ask others
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)
[j115]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/PietrantuonoRT10
- ask others
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)
[c160]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atc/OkamuraDT10
- ask others
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi: On-Line Adaptive Algorithms in Autonomic Restart Control. ATC 2010: 32-46
[c159]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csiirw/RoyKT10
- ask others
Arpan Roy, Dong Seong Kim, Kishor S. Trivedi: Cyber security analysis using attack countermeasure trees. CSIIRW 2010: 28
[c158]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/GrottkeNT10
- ask others
Michael Grottke, Allen P. Nikora, Kishor S. Trivedi: An empirical investigation of fault types in space mission system software. DSN 2010: 447-456
[c157]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/MalekST10
- ask others
Miroslaw Malek, Felix Salfner, Kishor S. Trivedi: Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM). DSN 2010: 616-618
[c156]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/edcc/PietrantuonoRT10
- ask others
Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi: Online Monitoring of Software System Reliability. EDCC 2010: 209-218
[c155]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/TrivediWH10
- ask others
Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt: Computing the Number of Calls Dropped Due to Failures. ISSRE 2010: 11-20
[c154]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/MatiasTM10
- ask others
Rivalino Matias, Kishor S. Trivedi, Paulo Romero Martins Maciel: Using Accelerated Life Tests to Estimate Time to Software Aging Failure. ISSRE 2010: 211-219
[c153]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/GhoshTNK10
- ask others
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
[c152]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/KimGT10
- ask others
Dong Seong Kim, Rahul Ghosh, Kishor S. Trivedi: A Hierarchical Model for Reliability Analysis of Sensor Networks. PRDC 2010: 247-248
[c151]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/srds/DevarajMT10
- ask others
Amita Devaraj, Kesari Mishra, Kishor S. Trivedi: Uncertainty Propagation in Analytic Availability Models. SRDS 2010: 121-130
[c150]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/srds/GhoshLNT10
- ask others
Rahul Ghosh, Francesco Longo, Vijay K. Naik, Kishor S. Trivedi: Quantifying Resiliency of IaaS Cloud. SRDS 2010: 343-347

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j114]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cn/HeegaardT09
- ask others
Poul E. Heegaard, Kishor S. Trivedi: Network survivability modeling. Computer Networks 53(8): 1215-1234 (2009)
[j113]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigmetrics/TrivediS09
- ask others
Kishor S. Trivedi, Robin A. Sahner: SHARPE at the age of twenty two. SIGMETRICS Performance Evaluation Review 36(4): 52-57 (2009)
[j112]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ton/OkamuraDT09
- ask others
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi: Markovian arrival process parameter estimation with group data. IEEE/ACM Trans. Netw. 17(4): 1326-1339 (2009)
[c149]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aina/GoyalSHTSC09
- ask others
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
[c148]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/MalekST09
- ask others
Miroslaw Malek, Felix Salfner, Kishor S. Trivedi: Workshop on proactive failure avoidance, recovery and maintenance (PFARM). DSN 2009: 590-591
[c147]
- view
  - electronic edition @ ieee.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iccad/TrivediKG09
- ask others
Kishor S. Trivedi, Dong Seong Kim, Rahul Ghosh: Resilience in computer systems and networks. ICCAD 2009: 74-77
[c146]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/KimMT09
- ask others
Dong Seong Kim, Fumio Machida, Kishor S. Trivedi: Availability Modeling and Analysis of a Virtualized System. PRDC 2009: 365-371
[c145]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wsc/HeegaardT09
- ask others
Poul E. Heegaard, Kishor S. Trivedi: Survivability Modeling with Stochastic Reward Nets. Winter Simulation Conference 2009: 807-818
2008
[j111]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ibmsj/SmithTTA08
- ask others
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)
[j110]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tvt/MadanDT08
- ask others
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)
[c144]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/HeegaardT08
- ask others
Poul E. Heegaard, Kishor S. Trivedi: Survivability quantification of communication services. DSN 2008: 462-471
[c143]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iccad/MitraITT08
- ask others
Subhasish Mitra, Ravishankar K. Iyer, Kishor S. Trivedi, James W. Tschanz: Reliable system design: models, metrics and design techniques. ICCAD 2008: 3
[c142]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ipps/TrivediCDGRV08
- ask others
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Andrew Rindos, Bart Vashaw: Achieving and assuring high availability. IPDPS 2008: 1-7
[c141]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isas/TrivediCDGMRV08
- ask others
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Rivalino Matias, Andrew Rindos, Bart Vashaw: Achieving and Assuring High Availability. ISAS 2008: 20-25
[c140]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isas/GrottkeSFT08
- ask others
Michael Grottke, Hairong Sun, Ricardo M. Fricks, Kishor S. Trivedi: Ten Fallacies of Availability and Reliability Analysis. ISAS 2008: 187-206
[c139]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/TrivediWHRSV08
- ask others
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
[p1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - reference/wiley/TrivediV08
- ask others
Kishor S. Trivedi, Kalyanaraman Vaidyanathan: Software Aging and Rejuvenation. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
[j109]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/computer/GrottkeT07
- ask others
Michael Grottke, Kishor S. Trivedi: Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate. IEEE Computer 40(2): 107-109 (2007)
[j108]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/SharmaT07
- ask others
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)
[j107]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/WangXT07
- ask others
Dazhi Wang, Wei Xie, Kishor S. Trivedi: Performability analysis of clustered systems with rejuvenation under varying workload. Perform. Eval. 64(3): 247-265 (2007)
[j106]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/DaiLT07
- ask others
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)
[j105]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/WangT07
- ask others
Dazhi Wang, Kishor S. Trivedi: Reliability Analysis of Phased-Mission System With Independent Component Repairs. IEEE Transactions on Reliability 56(3): 540-551 (2007)
[j104]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/HoffmannTM07
- ask others
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)
[c138]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/IEEEscc/SatoT07
- ask others
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
[c137]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/broadnets/Trivedi07
- ask others
Kishor S. Trivedi: Survivability Quantification - Keynote. BROADNETS 2007: 961
[c136]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/OkamuraGDT07
- ask others
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
[c135]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hase/HaberkornT07
- ask others
Marc Haberkorn, Kishor S. Trivedi: Availability Monitor for a Software Based System. HASE 2007: 321-328
[c134]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icsoc/SatoT07
- ask others
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
[c133]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/valuetools/TuffinCHT07
- ask others
Bruno Tuffin, Pawan K. Choudhary, Christophe Hirel, Kishor S. Trivedi: Simulation versus analytic-numeric methods: illustrative examples. VALUETOOLS 2007: 63
2006
[b2]
- view
  - electronic edition @ wiley.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0017976
- ask others
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
[j103]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/GokhaleLT06
- ask others
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)
[j102]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/GrottkeLVT06
- ask others
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)
[j101]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/GokhaleT06
- ask others
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)
[j100]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tvt/MaCLT06
- ask others
Xiaomin Ma, Yonghuan Cao, Yun Liu, Kishor S. Trivedi: Modeling and performance analysis for soft handoff schemes in CDMA cellular systems. IEEE T. Vehicular Technology 55(2): 670-680 (2006)
[j99]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tvt/MaLT06
- ask others
Xiaomin Ma, Yun Liu, Kishor S. Trivedi: Design and Performance Analysis of a New Soft Handoff Scheme for CDMA Cellular Systems. IEEE T. Vehicular Technology 55(5): 1603-1612 (2006)
[c132]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/compsac/SharmaJT06
- ask others
Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi: A Performance Engineering Tool for Tiered Software Systems. COMPSAC (1) 2006: 63-70
[c131]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/AvritzerBGTW06
- ask others
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
[c130]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isas/MishraT06
- ask others
Kesari Mishra, Kishor S. Trivedi: Model Based Approach for Autonomic Availability Management. ISAS 2006: 1-16
[c129]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/SharmaT06
- ask others
Vibhu Saujanya Sharma, Kishor S. Trivedi: Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs. ISSRE 2006: 299-310
[c128]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/TrivediVTNC06
- ask others
Kishor S. Trivedi, Ranjith Vasireddy, David Trindale, Swami Nathan, Rick Castro: Modeling High Availability. PRDC 2006: 154-164
[c127]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/HoffmannTM06
- ask others
Günther A. Hoffmann, Kishor S. Trivedi, Miroslaw Malek: A Best Practice Guide to Resources Forecasting for the Apache Webserver. PRDC 2006: 183-193
2005
[j98]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/comcom/LiuMHLT05
- ask others
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)
[j97]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ress/XieHT05
- ask others
Wei Xie, Yiguang Hong, Kishor S. Trivedi: Analysis of a two-level software rejuvenation policy. Rel. Eng. & Sys. Safety 87(1): 13-22 (2005)
[j96]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ress/ChenT05
- ask others
Dongyan Chen, Kishor S. Trivedi: Optimization for condition-based maintenance with semi-Markov decision process. Rel. Eng. & Sys. Safety 90(1): 25-29 (2005)
[j95]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tdsc/VaidyanathanT05
- ask others
Kalyanaraman Vaidyanathan, Kishor S. Trivedi: A Comprehensive Model for Software Rejuvenation. IEEE Trans. Dependable Sec. Comput. 2(2): 124-137 (2005)
[j94]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/WangT05
- ask others
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)
[j93]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/BaoST05
- ask others
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)
[c126]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cbse/SharmaJT05
- ask others
Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi: Evaluating Performance Attributes of Layered Software Architecture. CBSE 2005: 66-81
[c125]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/compsac/GriffinMT05
- ask others
Christopher Griffin, Bharat B. Madan, Kishor S. Trivedi: State Space Approach to Security Quantification. COMPSAC (2) 2005: 83-88
[c124]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/GrottkeT05
- ask others
Michael Grottke, Kishor S. Trivedi: On a Method for Mending Time to Failure Distributions. DSN 2005: 560-569
[c123]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isas/WangT05
- ask others
Dazhi Wang, Kishor S. Trivedi: Modeling User-Perceived Service Availability. ISAS 2005: 107-122
[c122]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/itcc/MadanPT05
- ask others
Bharat B. Madan, Shashi Phoha, Kishor S. Trivedi: StackOFFence: A Technique for Defending Against Buffer Overflow Attacks. ITCC (1) 2005: 656-661
[c121]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wosp/SharmaT05
- ask others
Vibhu Saujanya Sharma, Kishor S. Trivedi: Architecture based analysis of performance, reliability and security of software systems. WOSP 2005: 217-227
[c120]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wsc/ChoudharyMT05
- ask others
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
2004
[j92]
- view
  - electronic edition @ ieice.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ieicet/DohiST04
- ask others
Tadashi Dohi, Hiroaki Suzuki, Kishor S. Trivedi: Comparing Software Rejuvenation Policies under Different Dependability Measures. IEICE Transactions 87-D(8): 2078-2085 (2004)
[j91]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jhsn/MadanT04
- ask others
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)
[j90]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/MadanGVT04
- ask others
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)
[j89]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/CaoST04
- ask others
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)
[j88]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/GokhaleWHT04
- ask others
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)
[j87]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sqj/GokhaleLT04
- ask others
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)
[j86]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tdsc/NicolST04
- ask others
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)
[c119]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apsec/DohiOT04
- ask others
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
[c118]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/TangT04
- ask others
Dong Tang, Kishor S. Trivedi: Hierarchical Computation of Interval Availability and Related Metrics. DSN 2004: 693-
[c117]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip/TrivediV04
- ask others
Kishor S. Trivedi, Kalyanaraman Vaidyanathan: Software Rejuvenation - Modeling and Analysis. IFIP Congress Tutorials 2004: 151-182
[c116]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip/SzczerbickaTC04
- ask others
Helena Szczerbicka, Kishor S. Trivedi, Pawan K. Choudhary: Discrete Event Simulation with Applications to Computer Communication Systems Performance. IFIP Congress Tutorials 2004: 271-304
[c115]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/LiuMT04
- ask others
Yun Liu, Veena B. Mendiratta, Kishor S. Trivedi: Survivability Analysis of Telephone Access Network. ISSRE 2004: 367-378
[c114]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mmb/LiuT04
- ask others
Yun Liu, Kishor S. Trivedi: A General Framework for Network Survivability Quantification. MMB 2004: 369-378
[c113]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/XieHT04
- ask others
Wei Xie, Yiguang Hong, Kishor S. Trivedi: Software Rejuvenation Policies for Cluster Systems under Varying Workload. PRDC 2004: 122-129
2003
[j85]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/comcom/DharmarajaTL03
- ask others
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)
[j84]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijcomsys/TrivediMD03
- ask others
Kishor S. Trivedi, Xiaomin Ma, Selvamuthu Dharmaraja: Performability modelling of wireless communication systems. Int. J. Communication Systems 16(6): 561-577 (2003)
[j83]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pieee/TrivediRF03
- ask others
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)
[j82]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/ZangWST03
- ask others
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)
[j81]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/LanusYT03
- ask others
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)
[c112]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/BaoST03
- ask others
Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi: Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme. DSN 2003: 241-248
[c111]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/ChenGKT03
- ask others
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
[c110]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icc/XieSCT03
- ask others
Wei Xie, Hairong Sun, Yonghuan Cao, Kishor S. Trivedi: Modeling of user perceived webserver availability. ICC 2003: 1796-1800
[c109]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/SuzukiDKT03
- ask others
Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi: Maximizing Interval Reliability in Operational Software System with Rejuvenation. ISSRE 2003: 479-490
2002
[j80]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/comcom/MaHT02
- ask others
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)
[j79]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/isci/TrivediDM02
- ask others
Kishor S. Trivedi, Selvamuthu Dharmaraja, Xiaomin Ma: Analytic modeling of handoffs in wireless cellular networks. Inf. Sci. 148(1-4): 155-166 (2002)
[j78]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/ChenHT02
- ask others
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)
[j77]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tr/CaoSTH02
- ask others
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)
[c108]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/ChenDCLTSN02
- ask others
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
[c107]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/MadanGVT02
- ask others
Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi: Modeling and Quantification of Security Attributes of Software Systems. DSN 2002: 505-514
[c106]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/Trivedi02
- ask others
Kishor S. Trivedi: SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator. DSN 2002: 544
[c105]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/Trivedi02a
- ask others
Kishor S. Trivedi: SREPT: A Tool for Software Reliability Estimation and Prediction. DSN 2002: 546
[c104]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsn/JinBT02
- ask others
Wei Jin, Rakesh D. Barve, Kishor S. Trivedi: A Simple Characterization of Provably Efficient Prefetching Algorithms. DSN 2002: 571-580
[c103]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icc/ChenHT02
- ask others
Dongyan Chen, Yiguang Hong, Kishor S. Trivedi: Optimal estimation of training interval for channel equalizations. ICC 2002: 717-721
[c102]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/RamaniGT02
- ask others
Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi: A Framework for Performability Modeling of Messaging Services in Distributed Systems. ICECCS 2002: 25-34
[c101]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/GokhaleHT02
- ask others
Swapna S. Gokhale, Joseph R. Horgan, Kishor S. Trivedi: Specification-Level Integration of Simulation and Dependability Analysis. WADS 2002: 245-266
[c100]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isese/LiVT02
- ask others
Lei Li, Kalyanaraman Vaidyanathan, Kishor S. Trivedi: An Approach for Estimation of Software Aging in a Web Server. ISESE 2002: 91-102
[c99]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/GokhaleT02
- ask others
Swapna S. Gokhale, Kishor S. Trivedi: Reliability Prediction and Sensitivity Analysis Based on Software Architecture. ISSRE 2002: 64-78
[c98]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/LiuTMHL02
- ask others
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
[c97]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/jcis/TrivediSM02
- ask others
Kishor S. Trivedi, Selvamuthu Dharmaraja, Xiaomin Ma: Analytic Modeling of Handoffs in Wireless Cellular Networks. JCIS 2002: 1383-1392
[c96]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mswim/ChenGT02
- ask others
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
[c95]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/performance/TrivediV02
- ask others
Kishor S. Trivedi, Kalyanaraman Vaidyanathan: Software Reliability and Rejuvenation: Modeling and Analysis. Performance 2002: 318-345
[c94]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/srds/DohiKT02
- ask others
Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi: Availability Models with Age-Dependent Checkpointing. SRDS 2002: 130-139
[c93]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/srds/VaidyanathanST02
- ask others
Kalyanaraman Vaidyanathan, Selvamuthu Dharmaraja, Kishor S. Trivedi: Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems. SRDS 2002: 286-295
2001
[j76]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cj/DohiGT01
- ask others
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi: Estimating Software Rejuvenation Schedules in High-Assurance Systems. Comput. J. 44(6): 473-485 (2001)
[j75]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/deds/TuffinCT01
- ask others
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)
[j74]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ibmrd/CastelliHHHTVZ01
- ask others
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)
[j73]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/Goseva-PopstojanovaT01
- ask others
Katerina Goseva-Popstojanova, Kishor S. Trivedi: Architecture-based approach to reliability assessment of software systems. Perform. Eval. 45(2-3): 179-204 (2001)
[j72]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ton/SunZT01
- ask others
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)
[c92]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/doa/RamaniTD01
- ask others
Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy: Reliable Messaging Using the CORBA Notification Service. DOA 2001: 229-238
[c91]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/Goseva-PopstojanovaMT01
- ask others
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
[c90]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/DohiWOT01
- ask others
Tadashi Dohi, Nobuyuki Wakana, Shunji Osaki, Kishor S. Trivedi: Analysis of Hypergeometric Distribution Software Reliability Model. ISSRE 2001: 166-175
[c89]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/ChenT01
- ask others
Dongyan Chen, Kishor S. Trivedi: Analysis of Periodic Preventive Maintenance with General System Failure Distribution. PRDC 2001: 103-110
[c88]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigmetrics/VaidyanathanHHT01
- ask others
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
[c87]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/srds/RamaniTD01
- ask others
Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy: Performance Analysis of the CORBA Notification Service . SRDS 2001: 227-
2000
[j71]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ett/MaHT00
- ask others
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)
[j70]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/RamaniGT00
- ask others
Srinivasan Ramani, Swapna S. Gokhale, Kishor S. Trivedi: SREPT: software reliability estimation and prediction tool. Perform. Eval. 39(1-4): 37-60 (2000)
[c86]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/anss/Trivedi00
- ask others
Kishor S. Trivedi: Proactive Fault-Management in Software System. Annual Simulation Symposium 2000: 3-
[c85]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/anss/TrivediVG00
- ask others
Kishor S. Trivedi, Kalyanaraman Vaidyanathan, Katerina Goseva-Popstojanova: Modeling and Analysis of Software Aging and Rejuvenation. Annual Simulation Symposium 2000: 270-
[c84]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cpe/TuffinT00
- ask others
Bruno Tuffin, Kishor S. Trivedi: Implementation of Importance Splitting Techniques in Stochastic Petri Net Package. Computer Performance Evaluation / TOOLS 2000: 216-229
[c83]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cpe/HirelSZT00
- ask others
Christophe Hirel, Robin A. Sahner, Xinyu Zang, Kishor S. Trivedi: Reliability and Performability Modeling Using SHARPE 2000. Computer Performance Evaluation / TOOLS 2000: 345-349
[c82]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cpe/HirelTT00
- ask others
Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi: SPNP: Stochastic Petri Nets. Version 6.0. Computer Performance Evaluation / TOOLS 2000: 354-357
[c81]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cpe/RamaniT00
- ask others
Srinivasan Ramani, Kishor S. Trivedi: SREPT: Software Reliability Estimation and Prediction Tool. Computer Performance Evaluation / TOOLS 2000: 358-361
[c80]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Goseva-PopstojanovaT00
- ask others
Katerina Goseva-Popstojanova, Kishor S. Trivedi: Stochastic Modeling Formalisms for Dependability, Performance and Performability. Performance Evaluation 2000: 403-422
[c79]
- view
  - electronic edition @ ieee-infocom.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/infocom/MaHT00
- ask others
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
[c78]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ipps/RamaniDT00
- ask others
Srinivasan Ramani, Balakrishnan Dasarathy, Kishor S. Trivedi: Building a Reliable Message Delivery System Using the CORBA Event Service. IPDPS Workshops 2000: 1276-1280
[c77]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issre/DohiOT00
- ask others
Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi: Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications. ISSRE 2000: 40-51
[c76]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/Goseva-PopstojanovaT00
- ask others
Katerina Goseva-Popstojanova, Kishor S. Trivedi: Effects of failure correlation on software in operation. PRDC 2000: 69-76
[c75]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/DohiGT00
- ask others
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi: Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule. PRDC 2000: 77-84
[c74]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/srds/RamaniTD00
- ask others
Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy: Performance Analysis of the CORBA Event Service using Stochastic Reward Nets. SRDS 2000: 238-247

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[j69]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ansoft/GokhaleT99
- ask others
Swapna S. Gokhale, Kishor S. Trivedi: A time/structure based software reliability model. Ann. Software Eng. 8: 85-121 (1999)
[j68]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/comcom/SunZT99
- ask others
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)
[j67]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/comcom/SunZT99a
- ask others
Hairong Sun, Xinyu Zang, Kishor S. Trivedi: The effect of Web caching on network planning. Computer Communications 22(14): 1343-1350 (1999)
[j66]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/FricksPT99
- ask others
Ricardo M. Fricks, Antonio Puliafito, Kishor S. Trivedi: Performance Analysis of Distributed Real-Time Databased. Perform. Eval. 35(3-4): 145-169 (1999)
[j65]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/CiardoNT99
- ask others
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)
[c73]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/edcc/BondavalliMT99
- ask others
Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi: Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. EDCC 1999: 7-23
[c72]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ftcs/GargHKTY99
- ask others
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
[c71]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ftcs/ZangST99
- ask others
Xinyu Zang, Hairong Sun, Kishor S. Trivedi: Dependability Analysis of Distributed Computer Systems with Imperfect Coverage. FTCS 1999: 330-337
[c70]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prdc/SunCTH99
- ask others
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
1998
[j64]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/internet/PuliafitoTVT98
- ask others
Antonio Puliafito, Orazio Tomarchio, Lorenzo Vita, Kishor S. Trivedi: Increasing Application Accessibility through Java. IEEE Internet Computing 2(4): 70-77 (1998)
[j63]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jcsc/BobbioPTT98
- ask others
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)
[j62]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/PuliafitoST98
- ask others
Antonio Puliafito, Marco Scarpa, Kishor S. Trivedi: Petri Nets with k Simultaneously Enabled Generally Distributed Timed Transitions. Perform. Eval. 32(1): 1-34 (1998)
[j61]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigmetrics/FricksPTT98
- ask others
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)
[j60]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/GargPTT98
- ask others
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)
[c69]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cpe/RamaniGT98
- ask others
Srinivasan Ramani, Swapna S. Gokhale, Kishor S. Trivedi: SREPT: Software Reliability Estimation and Prediction Tool. Computer Performance Evaluation (Tools) 1998: 27-36
[c68]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cpe/LuoT98
- ask others
Tong Luo, Kishor S. Trivedi: An Improved Multiple Variable Inversion Algorithm for Reliability Calculation. Computer Performance Evaluation (Tools) 1998: 180-192
[c67]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hase/GokhaleT98
- ask others
Swapna S. Gokhale, Kishor S. Trivedi: Log-Logistic Software Reliability Growth Model. HASE 1998: 34-41
1997
[j59]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jnsm/LogothesisT97
- ask others
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)
[j58]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/telsys/BalakrishnanPTV97
- ask others
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)
[c66]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ftcs/TaiHTZ97
- ask others
Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing Zhang: Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools. FTCS 1997: 37-41
[c65]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hase/TaiTH97
- ask others
Ann T. Tai, Kishor S. Trivedi, Herbert Hecht: On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. HASE 1997: 2-13
[c64]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icc/HunterPT97
- ask others
Steven W. Hunter, Teebu Philip, Kishor S. Trivedi: Combined Performance and Availability Analysis of a Switched Network Applications. ICC (1) 1997: 241-245
[c63]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icccn/RoT97
- ask others
Cheul Woo Ro, Kishor S. Trivedi: Performability analysis of handoff calls in personal communication networks. ICCCN 1997: 116-121
1996
[j57]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/PfeningGPTT96
- ask others
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)
[j56]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/HeidelbergerMT96
- ask others
Philip Heidelberger, Jogesh K. Muppala, Kishor S. Trivedi: Accelerating Mean Time to Failure Computations. Perform. Eval. 27/28(4): 627-645 (1996)
[j55]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/MainkarT96
- ask others
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)
[c62]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/FricksHGT96
- ask others
Ricardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi: IDEA: Integrated Design Environment for Assessment of ATM Networks. ICECCS 1996: 27-34
[c61]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/infocom/WangLTV96
- ask others
Chang-Yu Wang, Dimitris Logothetis, Kishor S. Trivedi, Yannis Viniotis: Transient Behavior of ATM Networds under Overloads. INFOCOM 1996: 978-985
[c60]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/seke/GokhaleMT96
- ask others
Swapna S. Gokhale, Peter N. Marinos, Kishor S. Trivedi: Important Milestones in Software Reliability Modeling. SEKE 1996: 345-352
[c59]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigmetrics/GargHKT96
- ask others
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
1995
[j54]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/networks/RaiVT95
- ask others
Suresh Rai, Malathi Veeraraghavan, Kishor S. Trivedi: A survey of efficient reliability computation using disjoint products approach. Networks 25(3): 147-163 (1995)
[j53]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/MalhotraT95
- ask others
Manish Malhotra, Kishor S. Trivedi: Data Integrity Analysis of Disk Array Systems with Analytic Modeling of Coverage. Perform. Eval. 22(1): 111-133 (1995)
[c58]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ACMse/RameshT95
- ask others
A. V. Ramesh, Kishor S. Trivedi: Semi-numerical transient analysis of Markov models. ACM Southeast Regional Conference 1995: 13-23
[c57]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ftcs/BalakrishnanT95
- ask others
Meera Balakrishnan, Kishor S. Trivedi: Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components. FTCS 1995: 259-268
[c56]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mascots/TrivediPL95
- ask others
Kishor S. Trivedi, Antonio Puliafito, Dimitris Logothetis: From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets. MASCOTS 1995: 194-198
[c55]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mmb/TelekBJPT95
- ask others
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
[c54]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigmetrics/TrivediBTGCP95
- ask others
Kishor S. Trivedi, Andrea Bobbio, Miklós Telek, Reinhard German, Gianfranco Ciardo, Antonio Puliafito: Non-Markovian Petri Nets (Panel). SIGMETRICS 1995: 263-264
1994
[j52]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/ChoiKT94
- ask others
Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi: Markov Regenerative Stochastic Petri Nets. Perform. Eval. 20(1-3): 337-357 (1994)
[j51]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/VeeraraghavanT94
- ask others
Malathi Veeraraghavan, Kishor S. Trivedi: A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models. IEEE Trans. Computers 43(2): 229-234 (1994)
[j50]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/MeerTC94
- ask others
Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin: Guarded Repair of Dependable Systems. Theor. Comput. Sci. 128(1&2): 179-210 (1994)
[j49]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ton/LogothetisT94
- ask others
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)
[c53]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cpe/TrivediHRM94
- ask others
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
[c52]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ftcs/WangTSP94
- ask others
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
[c51]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/infocom/LogothetisT94
- ask others
Dimitris Logothetis, Kishor S. Trivedi: Transient Analysis of the Leaky Bucket Rate Control Scheme Under Poisson and ON-OFF Sources. INFOCOM 1994: 490-497
[c50]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mascots/TrivediMF94
- ask others
Kishor S. Trivedi, Manish Malhotra, Ricardo M. Fricks: Markov Reward Approach to Performability and Reliability Analysis. MASCOTS 1994: 7-11
[c49]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigmetrics/SomaniT94
- ask others
Arun K. Somani, Kishor S. Trivedi: Phased-Mission System Analysis Using Boolean Algebraic Methods. SIGMETRICS 1994: 98-107
1993
[j48]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/deds/HaverkortT93
- ask others
Boudewijn R. Haverkort, Kishor S. Trivedi: Specification techniques for Markov reward models. Discrete Event Dynamic Systems 3(2-3): 219-247 (1993)
[j47]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jpdc/MalhotraT93
- ask others
Manish Malhotra, Kishor S. Trivedi: Reliability Analysis of Redundant Arrays of Inexpensive Disks. J. Parallel Distrib. Comput. 17(1-2): 146-151 (1993)
[j46]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/CiardoT93
- ask others
Gianfranco Ciardo, Kishor S. Trivedi: A Decomposition Approach for Stochastic Reward Net Models. Perform. Eval. 18(1): 37-59 (1993)
[j45]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/ChimentoT93
- ask others
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)
[j44]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tpds/IbeCT93
- ask others
Oliver C. Ibe, Hoon Choi, Kishor S. Trivedi: Performance Evaluation of Client-Server Systems. IEEE Trans. Parallel Distrib. Syst. 4(11): 1217-1229 (1993)
[j43]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/TomekMT93
- ask others
Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi: Modeling Correlation in Software Recovery Blocks. IEEE Trans. Software Eng. 19(11): 1071-1086 (1993)
[c48]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/TrivediK93
- ask others
Kishor S. Trivedi, Vidyadhar G. Kulkarni: FSPNs: Fluid Stochastic Petri Nets. Application and Theory of Petri Nets 1993: 24-31
[c47]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/ChoiKT93
- ask others
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
[c46]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/WangT93
- ask others
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
[c45]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ftcs/GeistT93
- ask others
Robert Geist, Kishor S. Trivedi: An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems. FTCS 1993: 442-450
[c44]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icdcs/MainkarT93
- ask others
Varsha Mainkar, Kishor S. Trivedi: Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets. ICDCS 1993: 466-473
[c43]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/infocom/LogothetisT93
- ask others
Dimitris Logothetis, Kishor S. Trivedi: Reliability Analysis of Various Station Attachment Schemes in an FDDI Token Ring. INFOCOM 1993: 201-208
[c42]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mascots/ChoiMT93
- ask others
Hoon Choi, Varsha Mainkar, Kishor S. Trivedi: Sensitivity Analysis of Deterministic and Stochastic Petri Nets. MASCOTS 1993: 271-276
[c41]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mascots/MuppalaCT93
- ask others
Jogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi: Modeling Using Stochastic Reward Nets. MASCOTS 1993: 367-372
[c40]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mascots/CiardoT93
- ask others
Gianfranco Ciardo, Kishor S. Trivedi: SPNP: The Stochastic Petri Net Package (Version 3.1). MASCOTS 1993: 390-391
[c39]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mmb/TrivediM93
- ask others
Kishor S. Trivedi, Manish Malhotra: Reliability and Performability Techniques and Tools: A Survey. MMB 1993: 27-48
[c38]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mmb/MeerT93
- ask others
Hermann de Meer, Kishor S. Trivedi: Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems. MMB 1993: 159-172
[c37]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigmetrics/RameshT93
- ask others
A. V. Ramesh, Kishor S. Trivedi: On the Sensitivity of Transient Solutions of Markov Models. SIGMETRICS 1993: 122-134
[c36]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigmetrics/TrivediCMS93
- ask others
Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Robin A. Sahner: Dependability and Performability Analysis. Performance/SIGMETRICS Tutorials 1993: 587-612
[c35]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/srds/VeeraraghavanT93
- ask others
Malathi Veeraraghavan, Kishor S. Trivedi: An Approach for Combinatorial Performance and Availability Analysis. SRDS 1993: 24-33
1992
[j42]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jpdc/CiardoMT92
- ask others
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)
[j41]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/TrivediMWH92
- ask others
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)
[j40]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tpds/IyerT92
- ask others
Ravishankar K. Iyer, Kishor S. Trivedi: Guest Editors' Introduction. IEEE Trans. Parallel Distrib. Syst. 3(6): 641-642 (1992)
[c34]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/infocom/ChoiT92
- ask others
Hoon Choi, Kishor S. Trivedi: Approximate Performance Models of Polling Systems Using Stochastic Petri Nets. INFOCOM 1992: 2306-2314
1991
[j39]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/computer/MuppalaWT91
- ask others
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)
[j38]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/CiardoMT91
- ask others
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi: On the Solution of GSPN Reward Models. Perform. Eval. 12(4): 237-253 (1991)
[j37]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/questa/IbeT91
- ask others
Oliver C. Ibe, Kishor S. Trivedi: Stochastic Petri Net Analysis of Finite-Population Vacation Queueing Systems. Queueing Syst. 8(2): 111-127 (1991)
[c33]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icftcs/TomekT91
- ask others
Lorrie A. Tomek, Kishor S. Trivedi: Fixed Point Iteration in Availability Modeling. Fault-Tolerant Computing Systems 1991: 229-240
[c32]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lcn/LogothetisT91
- ask others
Dimitris Logothetis, Kishor S. Trivedi: Reliability analysis of the FDDI token ring. LCN 1991: 41-51
[c31]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pnpm/CiardoT91
- ask others
Gianfranco Ciardo, Kishor S. Trivedi: A Decomposition Approach for Stochastic Petri Net Models. PNPM 1991: 74-83
[c30]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pnpm/KantzT91
- ask others
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
1990
[j36]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ac/HeimannMT90
- ask others
David I. Heimann, Nitin Mittal, Kishor S. Trivedi: Availability and Reliability Modeling for Computer Systems. Advances in Computers 31: 175-233 (1990)
[j35]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/computer/GeistT90
- ask others
Robert Geist, Kishor S. Trivedi: Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques. IEEE Computer 23(7): 52-61 (1990)
[j34]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsac/IBET90
- ask others
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)
[j33]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/CalzarossaMT90
- ask others
Maria Calzarossa, Raymond A. Marie, Kishor S. Trivedi: System Performance with User Behavior Graphs. Perform. Eval. 11(3): 155-164 (1990)
[j32]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/questa/IbeT90
- ask others
Oliver C. Ibe, Kishor S. Trivedi: Two Queues with Alternating Service and Server Breakdown. Queueing Syst. 7(3): 253-268 (1990)
[j31]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/CiardoMST90
- ask others
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)
[j30]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/BobbioT90
- ask others
Andrea Bobbio, Kishor S. Trivedi: Computing Cumulative Measures of Stiff Markov Chains Using Aggregation. IEEE Trans. Computers 39(10): 1291-1298 (1990)
[c29]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ACMse/MuppalaT90
- ask others
Jogesh K. Muppala, Kishor S. Trivedi: GSPM models: sensitivity analysis and applications. ACM Southeast Regional Conference 1990: 25-33
[c28]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/srds/VeeraraghavanT90
- ask others
Malathi Veeraraghavan, Kishor S. Trivedi: An Improved ALgorithm for the Symbolic Reliability Analysis of Networks. SRDS 1990: 34-43

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[j29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ibmrd/SmithT89
- ask others
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)
[j28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/informs/ReibmanTKC89
- ask others
Andrew L. Reibman, Kishor S. Trivedi, Sanjaya Kumar, Gianfranco Ciardo: Analysis of Stiff Markov Chains. INFORMS Journal on Computing 1(2): 126-133 (1989)
[j27]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/DuganT89
- ask others
Joanne Bechta Dugan, Kishor S. Trivedi: Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems. IEEE Trans. Computers 38(6): 775-787 (1989)
[j26]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/BlakeT89
- ask others
James T. Blake, Kishor S. Trivedi: Multistage Interconnection Network Reliability. IEEE Trans. Computers 38(11): 1600-1604 (1989)
[c27]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icpp/ChimentoT89
- ask others
Phillip F. Chimento Jr., Kishor S. Trivedi: Completion Times of Programs on Concurrent Processors with Failure and Repair. ICPP (1) 1989: 167-171
[c26]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pnpm/IbeSHT89
- ask others
Oliver C. Ibe, Archana Sathaye, Richard C. Howe, Kishor S. Trivedi: Stochastic Petri Net Modeling of VAXcluster System Availability. PNPM 1989: 112-121
[c25]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pnpm/CiardoMT89
- ask others
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi: SPNP: Stochastic Petri Net Package. PNPM 1989: 142-151
[c24]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rtss/ThambiduraiT89
- ask others
Philip M. Thambidurai, Kishor S. Trivedi: Transient Overloads in Fault-Tolerant Real-Time Systems. RTSS 1989: 126-133
1988
[j25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cor/ReibmanT88
- ask others
Andrew L. Reibman, Kishor S. Trivedi: Numerical transient analysis of markov models. Computers & OR 15(1): 19-36 (1988)
[j24]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/SmithTR88
- ask others
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)
[j23]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/HsuehIT88
- ask others
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)
[c23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ftcs/BlakeT88
- ask others
James T. Blake, Kishor S. Trivedi: Reliabilities of two fault-tolerant interconnection networks. FTCS 1988: 300-305
[c22]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigmetrics/BlakeRT88
- ask others
James T. Blake, Andrew L. Reibman, Kishor S. Trivedi: Sensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems. SIGMETRICS 1988: 177-186
1987
[j22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/MarieT87
- ask others
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)
[j21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pe/MarieRT87
- ask others
Raymond A. Marie, Andrew L. Reibman, Kishor S. Trivedi: Transient Analysis of Acyclic Markov Chains. Perform. Eval. 7(3): 175-194 (1987)
[j20]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/NicolaKT87
- ask others
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)
[j19]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/SahnerT87
- ask others
Robin A. Sahner, Kishor S. Trivedi: Performance and Reliability Analysis Using Directed Acyclic Graphs. IEEE Trans. Software Eng. 13(10): 1105-1114 (1987)
[c21]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mcpr/HsuehIT87
- ask others
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
[c20]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mcpr/TrivediRS87
- ask others
Kishor S. Trivedi, Andrew L. Reibman, Roger Smith: Transient Analysis of Markov and Markov Reward Models. Computer Performance and Reliability 1987: 535-545
1986
[j18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/GeistSTD86
- ask others
Robert Geist, Mark Smotherman, Kishor S. Trivedi, Joanne Bechta Dugan: The Reliability of Life-Critical Computer Systems. Acta Inf. 23(6): 621-642 (1986)
[j17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/KulkarniNT86
- ask others
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)
[j16]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/SmothermanGT86
- ask others
Mark Smotherman, Robert Geist, Kishor S. Trivedi: Provably Conservative Approximations to Complex Reliability Models. IEEE Trans. Computers 35(4): 333-338 (1986)
[j15]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/BobbioT86
- ask others
Andrea Bobbio, Kishor S. Trivedi: An Aggregation Technique for the Transient Analysis of Stiff Markov Chains. IEEE Trans. Computers 35(9): 803-814 (1986)
[c19]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cmg/CalzarossaT86
- ask others
Maria Calzarossa, Kishor S. Trivedi: Performance Analysis Using User Behavior Graphs. Int. CMG Conference 1986: 394-397
[c18]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fjcc/SahnerT86
- ask others
Robin A. Sahner, Kishor S. Trivedi: A Hierarchical, Combinatorial-Markov Method of Solving Complex Reliability Models. FJCC 1986: 817-825
[c17]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigmetrics/NicolaKT86
- ask others
Victor F. Nicola, Vidyadhar G. Kulkarni, Kishor S. Trivedi: Queueing Analysis of Fault-Tolerant Computer Systems. SIGMETRICS 1986: 203
1985
[j14]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/McGoughST85
- ask others
John McGough, Mark Smotherman, Kishor S. Trivedi: The Conservativeness of Reliability Estimates Based on Instantaneous Coverage. IEEE Trans. Computers 34(7): 602-609 (1985)
[c16]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pnpm/DuganBCT85
- ask others
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
1984
[c15]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icftcs/TrivediDGS84
- ask others
Kishor S. Trivedi, Joanne Bechta Dugan, Robert Geist, Mark Smotherman: Issues in reliability modeling of fault-tolerant computers. Fehlertolerierende Rechensysteme 1984: 228-239
[c14]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/performance/DuganTGN84
- ask others
Joanne Bechta Dugan, Kishor S. Trivedi, Robert Geist, Victor F. Nicola: Extended Stochastic Petri Nets: Applications and Analysis. Performance 1984: 507-519
1983
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/BannisterT83
- ask others
Joseph A. Bannister, Kishor S. Trivedi: Task Allocation in Fault-Tolerant Distributed Systems. Acta Inf. 20: 261-281 (1983)
[j12]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/HeidelbergerT83
- ask others
Philip Heidelberger, Kishor S. Trivedi: Analytic Queueing Models for Programs with Internal Concurrency. IEEE Trans. Computers 32(1): 73-82 (1983)
[j11]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/GeistT83
- ask others
Robert Geist, Kishor S. Trivedi: Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems. IEEE Trans. Computers 32(12): 1118-1127 (1983)
[c13]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cmg/Trivedi83
- ask others
Kishor S. Trivedi: Computer Science and Applied Probability (abstract). Int. CMG Conference 1983: 467
[c12]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mcpr/Trivedi83
- ask others
Kishor S. Trivedi: Reliability Evaluation for Fault-Tolerant Systems. Computer Performance and Reliability 1983: 403-416
[c11]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mmb/HaringT83
- ask others
Günter Haring, Kishor S. Trivedi: On the Optimal Distribution of Processing Power in a Star Configured System. MMB 1983: 353-365
[c10]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/performance/GeistT83
- ask others
Robert Geist, Kishor S. Trivedi: The Integration of User Perception in the Heterogeneous M/M/2 Queue. Performance 1983: 203-216
[c9]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/performance/BaccelliT83
- ask others
François Baccelli, Kishor S. Trivedi: Analysis of M/G/2 - Standby Redundant System. Performance 1983: 457-476
1982
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0079988
- ask others
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
[j10]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/GeistT82
- ask others
Robert Geist, Kishor S. Trivedi: Optimal Design of Multilevel Storage Hierarchies. IEEE Trans. Computers 31(3): 249-260 (1982)
[j9]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/HeidelbergerT82
- ask others
Philip Heidelberger, Kishor S. Trivedi: Queueing Network Models for Parallel Processing with Asynchronous Tasks. IEEE Trans. Computers 31(11): 1099-1109 (1982)
[c8]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cmg/TrivediM82
- ask others
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
1981
[j8]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jacm/TrivediS81
- ask others
Kishor S. Trivedi, Timothy M. Sigmon: Optimal Design of Linear Storage Hierarchies. J. ACM 28(2): 270-288 (1981)
[c7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cmg/TrivediM81
- ask others
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
[e1]
- view
  - electronic edition @ ieee.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/arith/1981
- ask others
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
1980
[j7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jacm/TrivediWS80
- ask others
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)
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isca/Trivedi80
- ask others
Kishor S. Trivedi: Designing Linear Storage Hierarchies so as to Maximize Reliability Subject to Cost and Performance Constraints. ISCA 1980: 211-217

1970 – 1979

see FAQ

What is the meaning of the colors in the publication list?

1979
[j6]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/TrivediW79
- ask others
Kishor S. Trivedi, Robert A. Wagner: A Decision Model for Closed Queuing Networks. IEEE Trans. Software Eng. 5(4): 328-332 (1979)
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isca/TrivediS79
- ask others
Kishor S. Trivedi, Timothy M. Sigmon: A Performance Comparison of Optimally Designed Computer Systems with and without Virtual Memory. ISCA 1979: 117-121
1978
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/arith/TrivediR78
- ask others
Kishor S. Trivedi, Joseph G. Rusnak: Higher radix on-line division. IEEE Symposium on Computer Arithmetic 1978: 164-174
1977
[j5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/TrivediE77
- ask others
Kishor S. Trivedi, Milos D. Ercegovac: On-Line Algorithms for Division and Multiplication. IEEE Trans. Computers 26(7): 681-687 (1977)
[j4]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/Trivedi77
- ask others
Kishor S. Trivedi: On the Use of Continued Fractions for Digital Computer Arithmetic. IEEE Trans. Computers 26(7): 700-704 (1977)
[j3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/Trivedi77a
- ask others
Kishor S. Trivedi: On the Paging Performance of Array Algorithms. IEEE Trans. Computers 26(10): 938-947 (1977)
1976
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/Trivedi76
- ask others
Kishor S. Trivedi: On a Semaphore Anomaly. Inf. Process. Lett. 5(3): 88-89 (1976)
[j1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/Trivedi76
- ask others
Kishor S. Trivedi: Prepaging and Applications to Array Algorithms. IEEE Trans. Computers 25(9): 915-921 (1976)
1975
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/arith/Trivedi75
- ask others
Kishor S. Trivedi: On the use of continued emotions for digital computer arithmetic. IEEE Symposium on Computer Arithmetic 1975: 137-146
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/arith/TrivediE75
- ask others
Kishor S. Trivedi, Milos D. Ercegovac: On-line algorithms for division and multiplication. IEEE Symposium on Computer Arithmetic 1975: 161-167
1972
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/arith/RobertsonT72
- ask others
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

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?