default search action

combined dblp search
author search
venue search
publication search

ask others

Kishor S. Trivedi

> Home > Persons

Person information

affiliation: Duke University, Durham, NC, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

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

2024
[j226]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/TrivediB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/TrivediB24
Kishor S. Trivedi, Andrea Bobbio:
Reliability and Availability Analysis in Practice: Toward Multilevel Models for Complex Systems. Computer 57(4): 82-92 (2024)
[j225]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/QinZSGST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/QinZSGST24
Fangyun Qin, Zheng Zheng, Yulei Sui, Siqian Gong, Zhi-Ping Shi, Kishor S. Trivedi:
Cross-project concurrency bug prediction using domain-adversarial neural network. J. Syst. Softw. 214: 112077 (2024)
[j224]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/Trivedi24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/Trivedi24
Kishor S. Trivedi:
Reliability and Availability Assessment. IEEE Trans. Reliab. 73(1): 17-18 (2024)
[j223]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/TrivediGL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/TrivediGL24
Kishor S. Trivedi, Michael Grottke, Javier Alonso Lopez:
Rethinking Software Fault Tolerance. IEEE Trans. Reliab. 73(1): 67-72 (2024)
2023
[j222]
- view
  authority control:
- export record
  dblp key:
  - journals/tcc/BaiLCMT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcc/BaiLCMT23
Jing Bai, Yaru Li, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi:
Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View. IEEE Trans. Cloud Comput. 11(4): 3367-3380 (2023)
[j221]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/ZhengSAT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/ZhengSAT23
Zheng Zheng, Lorenzo Strigini, Nuno Antunes, Kishor S. Trivedi:
Editorial: Software Reliability and Dependability Engineering. IEEE Trans. Dependable Secur. Comput. 20(4): 2674-2676 (2023)
[j220]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/BaiCMJHT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/BaiCMJHT23
Jing Bai, Xiaolin Chang, Fumio Machida, Lili Jiang, Zhen Han, Kishor S. Trivedi:
Impact of Service Function Aging on the Dependability for MEC Service Function Chain. IEEE Trans. Dependable Secur. Comput. 20(4): 2811-2824 (2023)
[j219]
- view
  authority control:
- export record
  dblp key:
  - journals/tetc/GrottkeAWT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tetc/GrottkeAWT23
Michael Grottke, Alberto Avritzer, Hironori Washizaki, Kishor S. Trivedi:
Guest Editorial Special Section on Applied Software Aging and Rejuvenation. IEEE Trans. Emerg. Top. Comput. 11(3): 550-552 (2023)
[j218]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/BaiCMTL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/BaiCMTL23
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Yaru Li:
Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT. IEEE Trans. Serv. Comput. 16(4): 2769-2785 (2023)
[j217]
- view
  authority control:
- export record
  dblp key:
  - journals/tvt/BaiCRTL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvt/BaiCRTL23
Jing Bai, Xiaolin Chang, Ricardo J. Rodríguez, Kishor S. Trivedi, Shupan Li:
Towards UAV-Based MEC Service Chain Resilience Evaluation: A Quantitative Modeling Approach. IEEE Trans. Veh. Technol. 72(4): 5181-5194 (2023)
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-12748
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-12748
Lina Liu, Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Haoran Zhu:
Towards Semi-Markov Model-based Dependability Evaluation of VM-based Multi-Domain Service Function Chain. CoRR abs/2308.12748 (2023)
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-12784
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-12784
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi:
Understanding Container-based Services under Software Aging: Dependability and Performance Views. CoRR abs/2308.12784 (2023)
2022
[j216]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/GrottkeT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/GrottkeT22
Michael Grottke, Kishor S. Trivedi:
Aging, Fast and Slow. Computer 55(5): 73-75 (2022)
[j215]
- view
  authority control:
- export record
  dblp key:
  - journals/ppna/0009CMH0T22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ppna/0009CMH0T22
Jing Bai, Xiaolin Chang, Fumio Machida, Zhen Han, Yang Xu, Kishor S. Trivedi:
Quantitative understanding serial-parallel hybrid sfc services: a dependability perspective. Peer-to-Peer Netw. Appl. 15(4): 1923-1938 (2022)
[j214]
- view
  authority control:
- export record
  dblp key:
  - journals/tcc/BaiCNZT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcc/BaiCNZT22
Jing Bai, Xiaolin Chang, Gao-Rong Ning, Zhenjiang Zhang, Kishor S. Trivedi:
Service Availability Analysis in a Virtualized System: A Markov Regenerative Model Approach. IEEE Trans. Cloud Comput. 10(3): 2118-2130 (2022)
[j213]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/DuZXZT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/DuZXZT22
Xiaoting Du, Zheng Zheng, Guanping Xiao, Zenghui Zhou, Kishor S. Trivedi:
DeepSIM: Deep Semantic Information-Based Automatic Mandelbug Classification. IEEE Trans. Reliab. 71(4): 1540-1554 (2022)
[j212]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/ChangSZXT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/ChangSZXT22
Xiaolin Chang, Yu Shi, Zhenjiang Zhang, Zhen Xu, Kishor S. Trivedi:
Job Completion Time Under Migration-Based Dynamic Platform Technique. IEEE Trans. Serv. Comput. 15(3): 1345-1357 (2022)
2021
[j211]
- view
  authority control:
- export record
  dblp key:
  - journals/tnse/Entezari-Maleki21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnse/Entezari-Maleki21
Reza Entezari-Maleki, Mohammed Gharib, Shahbaz Rezaei, Kishor S. Trivedi, Ali Movaghar:
Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs. IEEE Trans. Netw. Sci. Eng. 8(1): 662-679 (2021)
[j210]
- view
  authority control:
- export record
  dblp key:
  - journals/tnsm/VizarretaSBBRKM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnsm/VizarretaSBBRKM21
Petra Vizarreta, Christian Sieber, Andreas Blenk, Amaury Van Bemten, Vinod Ramachandra, Wolfgang Kellerer, Carmen Mas Machuca, Kishor S. Trivedi:
ARES: A Framework for Management of Aging and Rejuvenation in Softwarized Networks. IEEE Trans. Netw. Serv. Manag. 18(2): 1389-1400 (2021)
[j209]
- view
  authority control:
- export record
  dblp key:
  - journals/tnsm/MaT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnsm/MaT21
Xiaomin Ma, Kishor S. Trivedi:
SINR-Based Analysis of IEEE 802.11p/bd Broadcast VANETs for Safety Services. IEEE Trans. Netw. Serv. Manag. 18(3): 2672-2686 (2021)
[j208]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/ZhengODT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/ZhengODT21
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi:
Quantitative Security Evaluation of Intrusion Tolerant Systems With Markovian Arrivals. IEEE Trans. Reliab. 70(2): 547-562 (2021)
[j207]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/Qiu0TM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/Qiu0TM21
Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Ivan Mura:
Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods. IEEE Trans. Reliab. 70(3): 1126-1142 (2021)
[j206]
- view
  authority control:
- export record
  dblp key:
  - journals/tvt/BaiCTH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvt/BaiCTH21
Jing Bai, Xiaolin Chang, Kishor S. Trivedi, Zhen Han:
Resilience-Driven Quantitative Analysis of Vehicle Platooning Service. IEEE Trans. Veh. Technol. 70(6): 5378-5389 (2021)
[c277]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/CaiTY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/CaiTY21
Kai-Yuan Cai, Kishor S. Trivedi, Beibei Yin:
S-ADA: Software as an Autonomous, Dependable and Affordable System. DSN (Supplements) 2021: 17-18
[c276]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/SantosMT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/SantosMT21
Caio Augusto R. Dos Santos, Rivalino Matias, Kishor S. Trivedi:
A Multisite Characterization Study on Failure Causes in System and Applications Software. SBESC 2021: 1-8
[c275]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/AvritzerTI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/AvritzerTI21
Alberto Avritzer, Kishor S. Trivedi, Alexandru Iosup:
Welcome to the 3rd Workshop on Education and Practice of Performance Engineering. ICPE 2021: 281
2020
[j205]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/BaiCMTH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/BaiCMTH20
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Zhen Han:
Analyzing Software Rejuvenation Techniques in a Virtualized System: Service Provider and User Views. IEEE Access 8: 6448-6459 (2020)
[j204]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/AntonelliCGPTT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/AntonelliCGPTT20
Fabio Antonelli, Vittorio Cortellessa, Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi, Catia Trubiani:
Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems. Future Gener. Comput. Syst. 102: 746-761 (2020)
[j203]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/ZhengT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/ZhengT20
Zheng Zheng, Kishor S. Trivedi:
Guest editorial: special issue on modeling and mitigation techniques for software aging. Softw. Qual. J. 28(1): 3-5 (2020)
[j202]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/0001TWQ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/0001TWQ20
Zheng Zheng, Kishor S. Trivedi, Nan Wang, Kun Qiu:
Markov Regenerative Models of WebServers for Their User-Perceived Availability and Bottlenecks. IEEE Trans. Dependable Secur. Comput. 17(1): 92-105 (2020)
[j201]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tnsm/VizarretaTMKM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnsm/VizarretaTMKM20
Petra Vizarreta, Kishor S. Trivedi, Veena B. Mendiratta, Wolfgang Kellerer, Carmen Mas Machuca:
DASON: Dependability Assessment Framework for Imperfect Distributed SDN Implementations. IEEE Trans. Netw. Serv. Manag. 17(2): 652-667 (2020)
[j200]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/QiuZTY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/QiuZTY20
Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Beibei Yin:
Stress Testing With Influencing Factors to Accelerate Data Race Software Failures. IEEE Trans. Reliab. 69(1): 3-21 (2020)
[c274]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/AvritzerCHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/AvritzerCHT20
Alberto Avritzer, Domenico Cotroneo, Yennun Huang, Kishor S. Trivedi:
Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract. ISSRE Workshops 2020: 319-320
[c273]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/SantosMT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/SantosMT20
Caio Augusto R. Dos Santos, Rivalino Matias, Kishor S. Trivedi:
A Statistical Approach to Predict Operating System Failures Based on Multiple Failures Association. SBESC 2020: 1-8
[p7]
- view
  authority control:
- export record
  dblp key:
  - books/ws/20/AvritzerCHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ws/20/AvritzerCHT20
Alberto Avritzer, Domenico Cotroneo, Yennun Huang, Kishor S. Trivedi:
Software Aging and Rejuvenation: A Genesis. Handbook of Software Aging and Rejuvenation 2020: 3-19
[p6]
- view
  authority control:
- export record
  dblp key:
  - books/ws/20/AvritzerPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ws/20/AvritzerPT20
Alberto Avritzer, Roberto Pietrantuono, Kishor S. Trivedi:
Future Directions for Software Aging and Rejuvenation Research. Handbook of Software Aging and Rejuvenation 2020: 355-362
[p5]
- view
  authority control:
- export record
  dblp key:
  - series/ccn/HelvikVHTM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ccn/HelvikVHTM20
Bjarne E. Helvik, Petra Vizarreta, Poul E. Heegaard, Kishor S. Trivedi, Carmen Mas Machuca:
Modelling of Software Failures. Guide to Disaster-Resilient Communication Networks 2020: 141-172
[e6]
- view
  authority control:
- export record
  dblp key:
  - books/ws/20/DTA2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ws/20/DTA2020
Tadashi Dohi, Kishor S. Trivedi, Alberto Avritzer:
Handbook of Software Aging and Rejuvenation - Fundamentals, Methods, Applications, and Future Directions. WorldScientific 2020, ISBN 9789811214561 [contents]

2010 – 2019

see FAQ

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

2019
[j199]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ShiCRZT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ShiCRZT19
Yu Shi, Xiaolin Chang, Ricardo J. Rodríguez, Zhenjiang Zhang, Kishor S. Trivedi:
Quantitative security analysis of a dynamic network system under lateral movement-based attacks. Reliab. Eng. Syst. Saf. 183: 213-225 (2019)
[j198]
- view
  authority control:
- export record
  dblp key:
  - journals/tcc/AtaieERTAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcc/AtaieERTAM19
Ehsan Ataie, Reza Entezari-Maleki, Leila Rashidi, Kishor S. Trivedi, Danilo Ardagna, Ali Movaghar:
Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds. IEEE Trans. Cloud Comput. 7(4): 1039-1056 (2019)
[j197]
- view
  authority control:
- export record
  dblp key:
  - journals/tnsm/RashidiECHTM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnsm/RashidiECHTM19
Leila Rashidi, Reza Entezari-Maleki, Dimitris Chatzopoulos, Pan Hui, Kishor S. Trivedi, Ali Movaghar:
Performance Evaluation of Epidemic Content Retrieval in DTNs With Restricted Mobility. IEEE Trans. Netw. Serv. Manag. 16(2): 701-714 (2019)
[j196]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/QiaoZFQTC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/QiaoZFQTC19
Yu Qiao, Zheng Zheng, Yunyu Fang, Fangyun Qin, Kishor S. Trivedi, Kai-Yuan Cai:
Two-Level Rejuvenation for Android Smartphones and Its Optimization. IEEE Trans. Reliab. 68(2): 633-652 (2019)
[j195]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/QinZQT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/QinZQT19
Fangyun Qin, Zheng Zheng, Yu Qiao, Kishor S. Trivedi:
Studying Aging-Related Bug Prediction Using Cross-Project Models. IEEE Trans. Reliab. 68(3): 1134-1153 (2019)
[j194]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/XiaoZYTDC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/XiaoZYTDC19
Guanping Xiao, Zheng Zheng, Beibei Yin, Kishor S. Trivedi, Xiaoting Du, Kai-Yuan Cai:
An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective. IEEE Trans. Reliab. 68(4): 1356-1383 (2019)
[c272]
- view
  authority control:
- export record
  dblp key:
  - conf/dsrt/Trivedi19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsrt/Trivedi19
Kishor S. Trivedi:
Reliability and Availability Assessment in Practice. DS-RT 2019: 1
[c271]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Wan0QQT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Wan0QQT19
Xiaohui Wan, Zheng Zheng, Fangyun Qin, Yu Qiao, Kishor S. Trivedi:
Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction. ISSRE 2019: 163-172
[c270]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MenascheTA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MenascheTA19
Daniel S. Menasché, Kishor S. Trivedi, Eitan Altman:
Rejuvenation and the Age of Information. ISSRE Workshops 2019: 225-231
[c269]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/SantosMT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/SantosMT19
Caio Augusto R. Dos Santos, Rivalino Matias, Kishor S. Trivedi:
An Empirical Exploratory Analysis of Failure Sequences in a Commodity Operating System. SBESC 2019: 1-8
[c268]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/Trivedi19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/Trivedi19
Kishor S. Trivedi:
Software Aging and Software Rejuvenation: Keynote. ICPE 2019: 1
[c267]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/AvritzerT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/AvritzerT19
Alberto Avritzer, Kishor S. Trivedi:
2nd Workshop on Education and Practice ofPerformance Engineering: WEPPE'19 Chairs' Welcome. ICPE Companion 2019: 57-59
[c266]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/Trivedi19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/Trivedi19a
Kishor S. Trivedi:
Performance Engineering Education: A Viewpoint. ICPE Companion 2019: 61
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/sp/19/PuliafitoT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/PuliafitoT19
Antonio Puliafito, Kishor S. Trivedi:
Systems Modelling: Methodologies and Tools. Systems Modeling: Methodologies and Tools 2019: 1-7
[e5]
- view
  authority control:
- export record
  dblp key:
  - books/sp/19/PT2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/PT2019
Antonio Puliafito, Kishor S. Trivedi:
Systems Modeling: Methodologies and Tools. Springer 2019, ISBN 978-3-319-92377-2 [contents]
2018
[j193]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/Entezari-Maleki18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/Entezari-Maleki18
Reza Entezari-Maleki, Kishor S. Trivedi, Leonel Sousa, Ali Movaghar:
Performability-Based Workflow Scheduling in Grids. Comput. J. 61(10): 1479-1495 (2018)
[j192]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/LiuCHTR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/LiuCHTR18
Bo Liu, Xiaolin Chang, Zhen Han, Kishor S. Trivedi, Ricardo J. Rodríguez:
Model-based sensitivity analysis of IaaS cloud availability. Future Gener. Comput. Syst. 83: 1-13 (2018)
[j191]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/ChangMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/ChangMT18
Xiaolin Chang, José M. Martínez, Kishor S. Trivedi:
Transient performance analysis of smart grid with dynamic power distribution. Inf. Sci. 422: 98-109 (2018)
[j190]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/SebastioTA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/SebastioTA18
Stefano Sebastio, Kishor S. Trivedi, Javier Alonso:
Characterizing machines lifecycle in Google data centers. Perform. Evaluation 126: 39-63 (2018)
[j189]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/DohiZOT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/DohiZOT18
Tadashi Dohi, Junjun Zheng, Hiroyuki Okamura, Kishor S. Trivedi:
Optimal periodic software rejuvenation policies based on interval reliability criteria. Reliab. Eng. Syst. Saf. 180: 463-475 (2018)
[j188]
- view
  authority control:
- export record
  dblp key:
  - journals/tcc/ChangXMTL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcc/ChangXMTL18
Xiaolin Chang, Ruofan Xia, Jogesh K. Muppala, Kishor S. Trivedi, Jiqiang Liu:
Effective Modeling Approach for IaaS Data Center Performance Analysis under Heterogeneous Workload. IEEE Trans. Cloud Comput. 6(4): 991-1003 (2018)
[j187]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/MachidaXT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/MachidaXT18
Fumio Machida, Ruofan Xia, Kishor S. Trivedi:
Performability Modeling for RAID Storage Systems by Markov Regenerative Process. IEEE Trans. Dependable Secur. Comput. 15(1): 138-150 (2018)
[j186]
- view
  authority control:
- export record
  dblp key:
  - journals/tnsm/VizarretaTHHBKM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnsm/VizarretaTHHBKM18
Petra Vizarreta, Kishor S. Trivedi, Bjarne E. Helvik, Poul E. Heegaard, Andreas Blenk, Wolfgang Kellerer, Carmen Mas Machuca:
Assessing the Maturity of SDN Controllers With Software Reliability Growth Models. IEEE Trans. Netw. Serv. Manag. 15(3): 1090-1104 (2018)
[c265]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/embc/FricksTVTB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/embc/FricksTVTB18
Rafael B. Fricks, Henry Tseng, Marjorie Veihl, Kishor S. Trivedi, Roger C. Barr:
Robust Prediction Of Treatment Times In Concurrent Patient Care. EMBC 2018: 5370-5373
[c264]
- view
  authority control:
- export record
  dblp key:
  - conf/icccn/ChangLRT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icccn/ChangLRT18
Xiaolin Chang, ShaoHua Lv, Ricardo J. Rodríguez, Kishor S. Trivedi:
Survivability Model for Security and Dependability Analysis of a Vulnerable Critical System. ICCCN 2018: 1-6
[c263]
- view
  authority control:
- export record
  dblp key:
  - conf/ladc/OkamuraDT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ladc/OkamuraDT18
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi:
Parametric Uncertainty Propagation through Dependability Models. LADC 2018: 10-18
[c262]
- view
  authority control:
- export record
  dblp key:
  - conf/nca/SukhwaniWTR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nca/SukhwaniWTR18
Harish Sukhwani, Nan Wang, Kishor S. Trivedi, Andy J. Rindos:
Performance Modeling of Hyperledger Fabric (Permissioned Blockchain Network). NCA 2018: 1-8
2017
[b6]
- view
  - electronic edition @ cambridge.org
  - details & citations
- export record
  dblp key:
  - books/cu/TrivediB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/TrivediB17
Kishor S. Trivedi, Andrea Bobbio:
Reliability and Availability Engineering - Modeling, Analysis, and Applications. Cambridge University Press 2017, ISBN 978-1-107-09950-0, pp. 1-726
[j185]
- view
  authority control:
- export record
  dblp key:
  - journals/grid/MatosDATM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/grid/MatosDATM17
Rúbens de Souza Matos Júnior, Jamilson Dantas, Jean Araujo, Kishor S. Trivedi, Paulo Romero Martins Maciel:
Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis. J. Grid Comput. 15(1): 1-22 (2017)
[j184]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/LongoGNRT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/LongoGNRT17
Francesco Longo, Rahul Ghosh, Vijay K. Naik, Andrew J. Rindos, Kishor S. Trivedi:
An Approach for Resiliency Quantification of Large Scale Systems. SIGMETRICS Perform. Evaluation Rev. 44(4): 37-48 (2017)
[j183]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/ZhengTQX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/ZhengTQX17
Zheng Zheng, Kishor S. Trivedi, Kun Qiu, Ruofan Xia:
Semi-Markov Models of Composite Web Services for their Performance, Reliability and Bottlenecks. IEEE Trans. Serv. Comput. 10(3): 448-460 (2017)
[j182]
- view
  authority control:
- export record
  dblp key:
  - journals/tvt/LiMWTHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvt/LiMWTHL17
Wenfeng Li, Xiaomin Ma, Jun Wu, Kishor S. Trivedi, Xin-Lin Huang, Qingwen Liu:
Analytical Model and Performance Evaluation of Long-Term Evolution for Vehicle Safety Services. IEEE Trans. Veh. Technol. 66(3): 1926-1939 (2017)
[c261]
- view
  authority control:
- export record
  dblp key:
  - conf/cnsm/VizarretaTHHKM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cnsm/VizarretaTHHKM17
Petra Vizarreta, Kishor S. Trivedi, Bjarne E. Helvik, Poul E. Heegaard, Wolfgang Kellerer, Carmen Mas Machuca:
An empirical study of software reliability in SDN controllers. CNSM 2017: 1-9
[c260]
- view
  authority control:
- export record
  dblp key:
  - conf/iccnc/MaKT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccnc/MaKT17
Xiaomin Ma, Gabe Kanelopoulos, Kishor S. Trivedi:
Application-level scheme to enhance VANET event-driven multi-hop safety-related services. ICNC 2017: 860-864
[c259]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/PinciroliBBCGMT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/PinciroliBBCGMT17
Riccardo Pinciroli, Andrea Bobbio, Cristiana Bolchini, Davide Cerotti, Marco Gribaudo, Antonio Miele, Kishor S. Trivedi:
Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip. ICSRS 2017: 516-520
[c258]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/QiuZTY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/QiuZTY17
Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Bei-Bei Yin:
Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure. ISSRE 2017: 56-66
[c257]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/XiaoZYTDC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/XiaoZYTDC17
Guanping Xiao, Zheng Zheng, Beibei Yin, Kishor S. Trivedi, Xiaoting Du, Kai-Yuan Cai:
Experience Report: Fault Triggers in Linux Operating System: from Evolution Perspective. ISSRE 2017: 101-111
[c256]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SukhwaniMTR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SukhwaniMTR17
Harish Sukhwani, Rivalino Matias, Kishor S. Trivedi, Andy J. Rindos:
Monitoring and Mitigating Software Aging on IBM Cloud Controller System. ISSRE Workshops 2017: 266-272
[c255]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/QinZLQT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/QinZLQT17
Fangyun Qin, Zheng Zheng, Xiaodan Li, Yu Qiao, Kishor S. Trivedi:
An Empirical Investigation of Fault Triggers in Android Operating System. PRDC 2017: 135-144
[c254]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/SukhwaniMCTR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/SukhwaniMCTR17
Harish Sukhwani, José M. Martínez, Xiaolin Chang, Kishor S. Trivedi, Andy J. Rindos:
Performance Modeling of PBFT Consensus Process for Permissioned Blockchain Network (Hyperledger Fabric). SRDS 2017: 253-255
[c253]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/Trivedi17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/Trivedi17
Kishor S. Trivedi:
Performance Engineering Education: A Viewpoint. ICPE Companion 2017: 179
[c252]
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/GribaudoPT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GribaudoPT18
Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi:
Epistemic Uncertainty Propagation in Power Models. PASM 2017: 67-86
2016
[j181]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/CotroneoPRT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/CotroneoPRT16
Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi:
How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation. J. Syst. Softw. 113: 27-43 (2016)
[j180]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/MaT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/MaT16
Xiaomin Ma, Kishor S. Trivedi:
Reliability and performance of general two-dimensional broadcast wireless network. Perform. Evaluation 95: 41-59 (2016)
[j179]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/DharmarajaVT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/DharmarajaVT16
Selvamuthu Dharmaraja, Resham Vinayak, Kishor S. Trivedi:
Reliability and survivability of vehicular ad hoc networks: An analytical approach. Reliab. Eng. Syst. Saf. 153: 28-38 (2016)
[j178]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/KoziolekASMDSLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/KoziolekASMDSLT16
Anne Koziolek, Alberto Avritzer, Sindhu Suresh, Daniel S. Menasché, Morganna Carmem Diniz, Edmundo de Souza e Silva, Rosa Maria Meri Leão, Kishor S. Trivedi, Lucia Happe:
Assessing survivability to support power grid investment decisions. Reliab. Eng. Syst. Saf. 155: 30-43 (2016)
[j177]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/GrottkeKMNNT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/GrottkeKMNNT16
Michael Grottke, Dong Seong Kim, Rajesh K. Mansharamani, Manoj Nambiar, Roberto Natella, Kishor S. Trivedi:
Recovery From Software Failures Caused by Mandelbugs. IEEE Trans. Reliab. 65(1): 70-87 (2016)
[j176]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/NingZLAMTYC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/NingZLAMTYC16
Gao-Rong Ning, Jing Zhao, Yunlong Lou, Javier Alonso, Rivalino Matias, Kishor S. Trivedi, Bei-Bei Yin, Kai-Yuan Cai:
Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process. IEEE Trans. Reliab. 65(4): 1630-1646 (2016)
[c251]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcit/KimHNMPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcit/KimHNMPT16
Dong Seong Kim, Jin B. Hong, Tuan Anh Nguyen, Fumio Machida, Jong Sou Park, Kishor S. Trivedi:
Availability Modeling and Analysis of a Virtualized System Using Stochastic Reward Nets. CIT 2016: 210-218
[c250]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/RodriguezCLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/RodriguezCLT16
Ricardo J. Rodríguez, Xiaolin Chang, Xiaodan Li, Kishor S. Trivedi:
Survivability Analysis of a Computer System Under an Advanced Persistent Threat Attack. GraMSec@CSF 2016: 134-149
[c249]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/TrivediB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/TrivediB16
Kishor S. Trivedi, Andrea Bobbio:
DSN 2016 Tutorial: Reliability and Availability Modeling in Practice. DSN Workshops 2016: 263
[c248]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MatiasSAT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MatiasSAT16
Rivalino Matias, Guilherme Otavio de Sena, Artur Andrzejak, Kishor S. Trivedi:
Software Aging Detection Based on Differential Analysis: An Experimental Study. ISSRE Workshops 2016: 71-77
[c247]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/RatliffKKLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/RatliffKKLT16
Zachary B. Ratliff, D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Kishor S. Trivedi:
The Relationship between Software Bug Type and Number of Factors Involved in Failures. ISSRE Workshops 2016: 119-124
[c246]
- view
  authority control:
- export record
  dblp key:
  - conf/lcn/ChangZLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcn/ChangZLT16
Xiaolin Chang, Zhenjiang Zhang, Xiaodan Li, Kishor S. Trivedi:
Model-Based Survivability Analysis of a Virtualized System. LCN 2016: 611-614
[c245]
- view
  authority control:
- export record
  dblp key:
  - conf/nets4cars/MaBT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nets4cars/MaBT16
Xiaomin Ma, Gregory Butron, Kishor S. Trivedi:
Modeling of VANET for BSM Safety Messaging at Intersections with Non-homogeneous Node Distribution. Nets4Cars/Nets4Trains/Nets4Aircraft 2016: 149-162
[c244]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/SukhwaniATM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/SukhwaniATM16
Harish Sukhwani, Javier Alonso, Kishor S. Trivedi, Issac Mcginnis:
Software Reliability Analysis of NASA Space Flight Software: A Practical Experience. QRS 2016: 386-397
[c243]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/GhoshLNRT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/GhoshLNRT16
Rahul Ghosh, Francesco Longo, Vijay K. Naik, Andrew J. Rindos, Kishor S. Trivedi:
Resiliency Quantification for Large Scale Systems: An IaaS Cloud Use Case. VALUETOOLS 2016
[c242]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/MartinezTC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/MartinezTC16
José M. Martínez, Kishor S. Trivedi, Benny Cheng:
Efficient Computation of the Mean Time to Security Failure in Cyber Physical Systems. VALUETOOLS 2016
[c241]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/PinciroliTB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/PinciroliTB16
Riccardo Pinciroli, Kishor S. Trivedi, Andrea Bobbio:
Parametric Sensitivity and Uncertainty Propagation in Dependability Models. VALUETOOLS 2016
[e4]
- view
- export record
  dblp key:
  - conf/valuetools/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/2016
Antonio Puliafito, Kishor S. Trivedi, Bruno Tuffin, Marco Scarpa, Fumio Machida, Javier Alonso:
10th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2016, Taormina, Italy, 25th-28th Oct 2016. ACM 2016, ISBN 978-1-63190-141-6 [contents]
2015
[j175]
- view
  authority control:
- export record
  dblp key:
  - journals/simpra/MatosAOMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simpra/MatosAOMT15
Rúbens de Souza Matos Júnior, Jean Araujo, Danilo Oliveira, Paulo Romero Martins Maciel, Kishor S. Trivedi:
Sensitivity analysis of a hierarchical model of mobile cloud computing. Simul. Model. Pract. Theory 50: 151-164 (2015)
[j174]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/Entezari-Maleki15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/Entezari-Maleki15
Reza Entezari-Maleki, Kishor S. Trivedi, Ali Movaghar:
Performability Evaluation of Grid Environments Using Stochastic Reward Nets. IEEE Trans. Dependable Secur. Comput. 12(2): 204-216 (2015)
[j173]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/telsys/RakPTLKSCGGWS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/telsys/RakPTLKSCGGWS15
Jacek Rak, Mario Pickavet, Kishor S. Trivedi, Javier Alonso Lopez, Arie M. C. A. Koster, James P. G. Sterbenz, Egemen K. Çetinkaya, Teresa Gomes, Matthias Gunkel, Krzysztof Walkowiak, Dimitri Staessens:
Future research directions in design of reliable communication systems. Telecommun. Syst. 60(4): 423-450 (2015)
[j172]
- view
  authority control:
- export record
  dblp key:
  - journals/telsys/TrivediX15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/telsys/TrivediX15
Kishor S. Trivedi, Ruofan Xia:
Quantification of system survivability. Telecommun. Syst. 60(4): 451-470 (2015)
[j171]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/MondalYMLT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/MondalYMLT15
Subrota K. Mondal, Xiaoyan Yin, Jogesh K. Muppala, Javier Alonso Lopez, Kishor S. Trivedi:
Defects per Million Computation in Service-Oriented Environments. IEEE Trans. Serv. Comput. 8(1): 32-46 (2015)
[c240]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcloud/BruneoLGSPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcloud/BruneoLGSPT15
Dario Bruneo, Francesco Longo, Rahul Ghosh, Marco Scarpa, Antonio Puliafito, Kishor S. Trivedi:
Analytical Modeling of Reactive Autonomic Management Techniques in IaaS Clouds. CLOUD 2015: 797-804
[c239]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BruneoLSPGT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BruneoLSPGT15
Dario Bruneo, Francesco Longo, Marco Scarpa, Antonio Puliafito, Rahul Ghosh, Kishor S. Trivedi:
An SRN-Based Resiliency Quantification Approach. Petri Nets 2015: 98-116
[c238]
- view
  authority control:
- export record
  dblp key:
  - conf/drcn/HeegaardHTM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/drcn/HeegaardHTM15
Poul E. Heegaard, Bjarne E. Helvik, Kishor S. Trivedi, Fumio Machida:
Survivability as a generalization of recovery. DRCN 2015: 133-140
[c237]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ChungXHMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ChungXHMT15
Chun-Jen Chung, Tianyi Xing, Dijiang Huang, Deep Medhi, Kishor S. Trivedi:
SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment. DSN Workshops 2015: 4-11
[c236]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/AvritzerMTHS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/AvritzerMTHS15
Alberto Avritzer, Daniel Sadoc Menasché, Kishor S. Trivedi, Lucia Happe, Sahra Sedigh Sarvestani:
Workshop on Model Based Design for Cyber-Physical Systems (MB4CP). DSN 2015: 565-566
[c235]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PietrantuonoRT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PietrantuonoRT15
Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi:
Emulating Environment-Dependent Software Faults. COUFLESS@ICSE 2015: 34-40
[c234]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/XiaMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/XiaMT15
Ruofan Xia, Fumio Machida, Kishor S. Trivedi:
A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes. PRDC 2015: 169-178
2014
[j170]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/MenascheASLSDTHK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/MenascheASLSDTHK14
Daniel Sadoc Menasché, Alberto Avritzer, Sindhu Suresh, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Morganna C. Diniz, Kishor S. Trivedi, Lucia Happe, Anne Koziolek:
Assessing survivability of smart grid distribution network designs accounting for multiple failures. Concurr. Comput. Pract. Exp. 26(12): 1949-1974 (2014)
[j169]
- view
  authority control:
- export record
  dblp key:
  - journals/eor/SebastioTWY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eor/SebastioTWY14
Stefano Sebastio, Kishor S. Trivedi, Dazhi Wang, Xiaoyan Yin:
Fast computation of bounds for two-terminal network reliability. Eur. J. Oper. Res. 238(3): 810-823 (2014)
[j168]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/ZhaoJTMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/ZhaoJTMW14
Jing Zhao, Yuliang Jin, Kishor S. Trivedi, Rivalino Matias Jr., Yanbin Wang:
Software rejuvenation scheduling using accelerated life testing. ACM J. Emerg. Technol. Comput. Syst. 10(1): 9:1-9:23 (2014)
[j167]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/MachidaNT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/MachidaNT14
Fumio Machida, Victor F. Nicola, Kishor S. Trivedi:
Job completion time on a virtualized server with software rejuvenation. ACM J. Emerg. Technol. Comput. Syst. 10(1): 10:1-10:26 (2014)
[j166]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/AraujoMAMSMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/AraujoMAMSMT14
Jean Araujo, Rúbens de Souza Matos Júnior, Vandi Alves, Paulo Romero Martins Maciel, F. Vieira de Souza, Rivalino Matias Jr., Kishor S. Trivedi:
Software aging in the eucalyptus cloud computing infrastructure: Characterization and rejuvenation. ACM J. Emerg. Technol. Comput. Syst. 10(1): 11:1-11:22 (2014)
[j165]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/YinMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/YinMT14
Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi:
MAC and application level performance evaluation of beacon message dissemination in DSRC safety communication. Perform. Evaluation 71: 1-24 (2014)
[j164]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/YinMTV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/YinMTV14
Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi, Alexey V. Vinel:
Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-Channel Schemes. IEEE Trans. Computers 63(12): 3101-3113 (2014)
[j163]
- view
  authority control:
- export record
  dblp key:
  - journals/tcc/GhoshLFRT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcc/GhoshLFRT14
Rahul Ghosh, Francesco Longo, Flavio Frattini, Stefano Russo, Kishor S. Trivedi:
Scalable Analytics for IaaS Cloud Availability. IEEE Trans. Cloud Comput. 2(1): 57-70 (2014)
[j162]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/ZhaoTGAW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/ZhaoTGAW14
Jing Zhao, Kishor S. Trivedi, Michael Grottke, Javier Alonso, Yanbin Wang:
Ensuring the Performance of Apache HTTP Server Affected by Aging. IEEE Trans. Dependable Secur. Comput. 11(2): 130-141 (2014)
[j161]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/XiaYLMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/XiaYLMT14
Ruofan Xia, Xiaoyan Yin, Javier Alonso Lopez, Fumio Machida, Kishor S. Trivedi:
Performance and Availability Modeling of ITSystems with Data Backup and Restore. IEEE Trans. Dependable Secur. Comput. 11(4): 375-389 (2014)
[j160]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/GhoshLXNT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/GhoshLXNT14
Rahul Ghosh, Francesco Longo, Ruofan Xia, Vijay K. Naik, Kishor S. Trivedi:
Stochastic Model Driven Capacity Planning for an Infrastructure-as-a-Service Cloud. IEEE Trans. Serv. Comput. 7(4): 667-680 (2014)
[c233]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/XiaMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/XiaMT14
Ruofan Xia, Fumio Machida, Kishor S. Trivedi:
A Markov Decision Process Approach for Optimal Data Backup Scheduling. DSN 2014: 660-665
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/epew/DistefanoLST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epew/DistefanoLST14
Salvatore Distefano, Francesco Longo, Marco Scarpa, Kishor S. Trivedi:
Non-Markovian Modeling of a BladeCenter Chassis Midplane. EPEW 2014: 255-269
[c231]
- view
  authority control:
- export record
  dblp key:
  - conf/globecom/MondalMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/globecom/MondalMT14
Subrota K. Mondal, Jogesh K. Muppala, Kishor S. Trivedi:
Defects Per Million (DPM): A user-oriented perspective of telecommunication systems. GLOBECOM Workshops 2014: 711-716
[c230]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SinghalNST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SinghalNST14
Rekha Singhal, Manoj Nambiar, Harish Sukhwani, Kishor S. Trivedi:
Performability Comparison of Lustre and HDFS for MR Applications. ISSRE Workshops 2014: 51
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/CavezzaPART14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/CavezzaPART14
Davide G. Cavezza, Roberto Pietrantuono, Javier Alonso, Stefano Russo, Kishor S. Trivedi:
Reproducibility of Environment-Dependent Software Failures: An Experience Report. ISSRE 2014: 267-276
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ZhaoWNWTCZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ZhaoWNWTCZ14
Jing Zhao, Yanbin Wang, Gao-Rong Ning, Cheng-Hong Wang, Kishor S. Trivedi, Kai-Yuan Cai, Zhenyu Zhang:
Software Maintenance Optimization Based on Stackelberg Game Methods. ISSRE Workshops 2014: 426-430
[c227]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/MondalMMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/MondalMMT14
Subrota K. Mondal, Jogesh K. Muppala, Fumio Machida, Kishor S. Trivedi:
Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication. PRDC 2014: 161-168
[c226]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/MatiasAMET14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/MatiasAMET14
Rivalino Matias, Artur Andrzejak, Fumio Machida, Diego Elias, Kishor S. Trivedi:
A Systematic Differential Analysis for Fast and Robust Detection of Software Aging. SRDS 2014: 311-320
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/crc/sakr14/GhoshLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/sakr14/GhoshLT14
Rahul Ghosh, Francesco Longo, Kishor S. Trivedi:
Performance Analysis for Large IaaS Clouds. Large Scale and Big Data 2014: 557-578
[e3]
- view
- export record
  dblp key:
  - conf/icse/2014se4sg
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2014se4sg
Anne Koziolek, Kishor S. Trivedi, Naran M. Pindoriya:
3rd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2014, Hyderabad, India, June 1, 2014. ACM 2014, ISBN 978-1-4503-2842-5 [contents]
2013
[j159]
- view
  authority control:
- export record
  dblp key:
  - journals/cm/RozicBROFKVMRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cm/RozicBROFKVMRT13
Nikola Rozic, Dinko Begusic, Josko Radic, Nicolae Oacã, Yuguang Fang, Yevgeni Koucheryavy, Alexey V. Vinel, Wojciech Molisz, Jacek Rak, Kishor S. Trivedi:
Global communications newsletter: June 2013. IEEE Commun. Mag. 51(6) (2013)
[j158]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/GhoshLNT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/GhoshLNT13
Rahul Ghosh, Francesco Longo, Vijay K. Naik, Kishor S. Trivedi:
Modeling and performance analysis of large scale IaaS Clouds. Future Gener. Comput. Syst. 29(5): 1216-1234 (2013)
[j157]
- view
  authority control:
- export record
  dblp key:
  - journals/icl/MaYBPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/icl/MaYBPT13
Xiaomin Ma, Xiaoyan Yin, Gregory Butron, Caleb Penney, Kishor S. Trivedi:
Packet Delivery Ratio in k-Dimensional Broadcast Ad Hoc Networks. IEEE Commun. Lett. 17(12): 2252-2255 (2013)
[j156]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/MachidaKT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/MachidaKT13
Fumio Machida, Dong Seong Kim, Kishor S. Trivedi:
Modeling and analysis of software rejuvenation in a server virtualized system with live VM migration. Perform. Evaluation 70(3): 212-230 (2013)
[j155]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/AlonsoMVMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/AlonsoMVMT13
Javier Alonso, Rivalino Matias, Elder Vicente, Ana Maria, Kishor S. Trivedi:
A comparative experimental study of software rejuvenation overhead. Perform. Evaluation 70(3): 231-250 (2013)
[j154]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/ZhaoWNTMC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/ZhaoWNTMC13
Jing Zhao, Yanbin Wang, Gao-Rong Ning, Kishor S. Trivedi, Rivalino Matias Jr., Kai-Yuan Cai:
A comprehensive approach to optimal software rejuvenation. Perform. Evaluation 70(11): 917-933 (2013)
[j153]
- view
  authority control:
- export record
  dblp key:
  - journals/qre/DistefanoT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qre/DistefanoT13
Salvatore Distefano, Kishor S. Trivedi:
Non-Markovian State-Space Models in Dependability Evaluation. Qual. Reliab. Eng. Int. 29(2): 225-239 (2013)
[j152]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/GhoshKT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/GhoshKT13
Rahul Ghosh, Dong Seong Kim, Kishor S. Trivedi:
System resiliency quantification using non-state-space and state-space analytic models. Reliab. Eng. Syst. Saf. 116: 109-125 (2013)
[j151]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/YinMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/YinMT13
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)
[j150]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/DistefanoPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/DistefanoPT13
Salvatore Distefano, Antonio Puliafito, Kishor S. Trivedi:
Guest Editors' Introduction: Special Section on Cloud Computing Assessment: Metrics, Algorithms, Policies, Models, and Evaluation Techniques. IEEE Trans. Dependable Secur. Comput. 10(4): 196-197 (2013)
[j149]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/DistefanoPT13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/DistefanoPT13a
Salvatore Distefano, Antonio Puliafito, Kishor S. Trivedi:
Guest Editors' Introduction: Special Section on Cloud Computing Assessment: Metrics, Algorithms, Policies, Models, and Evaluation Techniques. IEEE Trans. Dependable Secur. Comput. 10(5): 251-252 (2013)
[j148]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/YinAT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/YinAT13
Meng-Lai Yin, John E. Angus, Kishor S. Trivedi:
Optimal Preventive Maintenance Rate for Best Availability With Hypo-Exponential Failure Distribution. IEEE Trans. Reliab. 62(2): 351-361 (2013)
[c225]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/AlonsoGNT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/AlonsoGNT13
Javier Alonso, Michael Grottke, Allen P. Nikora, Kishor S. Trivedi:
An empirical investigation of fault repairs and mitigations in space mission system software. DSN 2013: 1-8
[c224]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/FrattiniGCRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/FrattiniGCRT13
Flavio Frattini, Rahul Ghosh, Marcello Cinque, Andy J. Rindos, Kishor S. Trivedi:
Analysis of bugs in Apache Virtual Computing Lab. DSN 2013: 1-6
[c223]
- view
  authority control:
- export record
  dblp key:
  - conf/iccnc/MaYWT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccnc/MaYWT13
Xiaomin Ma, Xiaoyan Yin, Matthew Wilson, Kishor S. Trivedi:
MAC and application-level broadcast reliability in vanets with channel fading. ICNC 2013: 756-761
[c222]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/KoziolekASMTH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/KoziolekASMTH13
Anne Koziolek, Alberto Avritzer, Sindhu Suresh, Daniel Sadoc Menasché, Kishor S. Trivedi, Lucia Happe:
Design of distribution automation networks using survivability modeling and power flow equations. ISSRE 2013: 41-50
[c221]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/BovenziAYRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/BovenziAYRT13
Antonio Bovenzi, Javier Alonso, Hiroshi Yamada, Stefano Russo, Kishor S. Trivedi:
Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques. ISSRE 2013: 61-70
[c220]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/DeyJLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/DeyJLT13
Sandipan Dey, Kandathil K. Jacob, Javier Alonso Lopez, Kishor S. Trivedi:
Failure data analytics to build failure prediction mechanisms. ISSRE (Supplemental Proceedings) 2013: 102-103
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/CotroneoGNPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/CotroneoGNPT13
Domenico Cotroneo, Michael Grottke, Roberto Natella, Roberto Pietrantuono, Kishor S. Trivedi:
Fault triggers in open-source software: An experience report. ISSRE 2013: 178-187
[c218]
- view
  authority control:
- export record
  dblp key:
  - conf/iwcmc/MaWYT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwcmc/MaWYT13
Xiaomin Ma, Matthew Wilson, Xiaoyan Yin, Kishor S. Trivedi:
Performance of VANET safety message broadcast at rural intersections. IWCMC 2013: 1617-1622
[c217]
- view
  authority control:
- export record
  dblp key:
  - conf/mswim/YinMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mswim/YinMT13
Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi:
Channel fading impact on multi-hop DSRC safety communication. MSWiM 2013: 443-446
[c216]
- view
  authority control:
- export record
  dblp key:
  - conf/vtc/YinMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vtc/YinMT13
Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi:
Performance of BSM Dissemination in Multi-Channel DSRC. VTC Spring 2013: 1-7
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/AvritzerSMLSDTHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/AvritzerSMLSDTHK13
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
[j147]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/TrivediAM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/TrivediAM12
Kishor S. Trivedi, Ermeson C. Andrade, Fumio Machida:
Combining Performance and Availability Analysis in Practice. Adv. Comput. 84: 1-38 (2012)
[j146]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/cma/DistefanoLT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cma/DistefanoLT12
Salvatore Distefano, Francesco Longo, Kishor S. Trivedi:
Investigating dynamic reliability and availability through state-space models. Comput. Math. Appl. 64(12): 3701-3716 (2012)
[j145]
- view
  authority control:
- export record
  dblp key:
  - journals/comsur/GoyalSBCSHT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsur/GoyalSBCSHT12
Mukul Goyal, Mohd Soperi, Emmanuel Baccelli, G. Choudhury, Aman Shaikh, Seyed H. Hosseini, Kishor S. Trivedi:
Improving Convergence Speed and Scalability in OSPF: A Survey. IEEE Commun. Surv. Tutorials 14(2): 443-463 (2012)
[j144]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ejwcn/PuliafitoMPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejwcn/PuliafitoMPT12
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. Wirel. Commun. Netw. 2012: 212 (2012)
[j143]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ejwcn/MittonPPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejwcn/MittonPPT12
Nathalie Mitton, Symeon Papavassiliou, Antonio Puliafito, Kishor S. Trivedi:
Combining Cloud and sensors in a smart city environment. EURASIP J. Wirel. Commun. Netw. 2012: 247 (2012)
[j142]
- view
  authority control:
- export record
  dblp key:
  - journals/scn/RoyKT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scn/RoyKT12
Arpan Roy, Dong Seong Kim, Kishor S. Trivedi:
Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees. Secur. Commun. Networks 5(8): 929-943 (2012)
[j141]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/DistefanoPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/DistefanoPT12
Salvatore Distefano, Antonio Puliafito, Kishor S. Trivedi:
Dynamic aspects and behaviors of complex systems in performance and reliability assessment. SIGMETRICS Perform. Evaluation Rev. 39(4): 71-78 (2012)
[j140]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/MenascheLSASTMHK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/MenascheLSASTMHK12
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 Perform. Evaluation Rev. 40(3): 53-57 (2012)
[j139]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/MatosMMKT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/MatosMMKT12
Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi:
Sensitivity Analysis of Server Virtualized System Availability. IEEE Trans. Reliab. 61(4): 994-1006 (2012)
[j138]
- view
  authority control:
- export record
  dblp key:
  - journals/tvt/MaZYT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvt/MaZYT12
Xiaomin Ma, Jinsong Zhang, Xiaoyan Yin, Kishor S. Trivedi:
Design and Analysis of a Robust Broadcast Scheme for VANET Safety-Related Services. IEEE Trans. Veh. Technol. 61(1): 46-61 (2012)
[c214]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/RoyKT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/RoyKT12
Arpan Roy, Dong Seong Kim, Kishor S. Trivedi:
Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees. DSN 2012: 1-12
[c213]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/AlonsoBLWRT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/AlonsoBLWRT12
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
[c212]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/AlonsoGNT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/AlonsoGNT12
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
[c211]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/spects/DharmarajaVMT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spects/DharmarajaVMT12
Selvamuthu Dharmaraja, Resham Vinayak, Xiaomin Ma, Kishor S. Trivedi:
Reliability and survivability of vehicular ad hoc networks. SPECTS 2012: 1-7
[c210]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/YinAMAT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/YinAMAT12
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
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/HariDT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/HariDT12
Kousaburo Hari, Tadashi Dohi, Kishor S. Trivedi:
Fast Optimization Algorithms for Designing Cellular Networks with Guard Channel. SRDS 2012: 249-254
[c208]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/DohiOT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/DohiOT12
Tadashi Dohi, Hiroyuki Okamura, Kishor S. Trivedi:
Optimizing Software Rejuvenation Policies under Interval Reliability Criteria. UIC/ATC 2012: 478-485
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/wolter2012/AvritzerCDT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/wolter2012/AvritzerCDT12
Alberto Avritzer, Ricardo M. Czekster, Salvatore Distefano, Kishor S. Trivedi:
Software Aging and Rejuvenation for Increased Resilience: Modeling, Analysis and Applications. Resilience Assessment and Evaluation of Computing Systems 2012: 167-183
2011
[j137]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/GoyalRXHTBD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/GoyalRXHTBD11
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. Comput. Commun. 34(12): 1460-1474 (2011)
[j136]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/OkamuraDT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/OkamuraDT11
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi:
A refined EM algorithm for PH distributions. Perform. Evaluation 68(10): 938-954 (2011)
[c207]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/AndradeMKT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/AndradeMKT11
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
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/GhoshNT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/GhoshNT11
Rahul Ghosh, Vijay K. Naik, Kishor S. Trivedi:
Power-performance trade-offs in IaaS cloud: A scalable analytic approach. DSN Workshops 2011: 152-157
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/MalekST11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/MalekST11a
Miroslaw Malek, Felix Salfner, Kishor S. Trivedi:
Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM). DSN Workshops 2011: 257-258
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/LongoGNT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/LongoGNT11
Francesco Longo, Rahul Ghosh, Vijay K. Naik, Kishor S. Trivedi:
A scalable availability model for Infrastructure-as-a-Service cloud. DSN 2011: 335-346
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/MalekST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/MalekST11
Miroslaw Malek, Felix Salfner, Kishor S. Trivedi:
Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM). DSN 2011: 595-596
[c202]
- view
  authority control:
- export record
  dblp key:
  - conf/im/QianMT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/im/QianMT11
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
[c201]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/AlonsoMVCT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/AlonsoMVCT11
Javier Alonso, Rivalino Matias, Elder Vicente, Ana M. M. Carvalho, Kishor S. Trivedi:
A Comparative Evaluation of Software Rejuvenation Strategies. WoSAR@ISSRE 2011: 26-31
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/NingTHC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/NingTHC11
Gao-Rong Ning, Kishor S. Trivedi, Hai Hu, Kai-Yuan Cai:
Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain. WoSAR@ISSRE 2011: 32-37
[c199]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/AraujoMMVMT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/AraujoMMVMT11
Jean Araujo, Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel, Francisco Vieira, Rivalino Matias, Kishor S. Trivedi:
Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds. WoSAR@ISSRE 2011: 38-43
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MachidaNT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MachidaNT11
Fumio Machida, Victor F. Nicola, Kishor S. Trivedi:
Job Completion Time on a Virtualized Server Subject to Software Aging and Rejuvenation. WoSAR@ISSRE 2011: 44-49
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ZhaoT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ZhaoT11
Jing Zhao, Kishor S. Trivedi:
Performance Modeling of Apache Web Server Affected by Aging. WoSAR@ISSRE 2011: 56-61
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MishraT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MishraT11
Kesari Mishra, Kishor S. Trivedi:
Uncertainty Propagation through Software Dependability Models. ISSRE 2011: 80-89
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ZhaoJTM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ZhaoJTM11
Jing Zhao, Yuliang Jin, Kishor S. Trivedi, Rivalino Matias:
Injecting Memory Leaks to Accelerate Software Failures. ISSRE 2011: 260-269
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/TrivediMKGN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/TrivediMKGN11
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
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/MachidaAKT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/MachidaAKT11
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
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/vtc/MaYT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vtc/MaYT11
Xiaomin Ma, Xiaoyan Yin, Kishor S. Trivedi:
A Robust Broadcast Scheme for VANET One-Hop Emergency Services. VTC Fall 2011: 1-5
2010
[j135]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/TrivediG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/TrivediG10
Kishor S. Trivedi, Sachin Garg:
In Memoriam: Dr. Chandra Kintala. J. Syst. Softw. 83(9): 1555 (2010)
[j134]
- view
  authority control:
- export record
  dblp key:
  - journals/saem/TrivediGA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saem/TrivediGA10
Kishor S. Trivedi, Michael Grottke, Ermeson C. Andrade:
Software fault mitigation and availability assurance techniques. Int. J. Syst. Assur. Eng. Manag. 1(4): 340-350 (2010)
[j133]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/AmariXSAT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/AmariXSAT10
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)
[j132]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/MatiasBTF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/MatiasBTF10
Rivalino Matias, Pedro Alberto Barbetta, Kishor S. Trivedi, Paulo José de Freitas Filho:
Accelerated Degradation Tests Applied to Software Aging Experiments. IEEE Trans. Reliab. 59(1): 102-114 (2010)
[j131]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/PietrantuonoRT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/PietrantuonoRT10
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)
[c191]
- view
  authority control:
- export record
  dblp key:
  - conf/atc/OkamuraDT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atc/OkamuraDT10
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi:
On-Line Adaptive Algorithms in Autonomic Restart Control. ATC 2010: 32-46
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/csiirw/RoyKT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csiirw/RoyKT10
Arpan Roy, Dong Seong Kim, Kishor S. Trivedi:
Cyber security analysis using attack countermeasure trees. CSIIRW 2010: 28
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/GrottkeNT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/GrottkeNT10
Michael Grottke, Allen P. Nikora, Kishor S. Trivedi:
An empirical investigation of fault types in space mission system software. DSN 2010: 447-456
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/MalekST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/MalekST10
Miroslaw Malek, Felix Salfner, Kishor S. Trivedi:
Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM). DSN 2010: 616-618
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/PietrantuonoRT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/PietrantuonoRT10
Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi:
Online Monitoring of Software System Reliability. EDCC 2010: 209-218
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MachidaKT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MachidaKT10
Fumio Machida, Dong Seong Kim, Kishor S. Trivedi:
Modeling and analysis of software rejuvenation in a server virtualized system. WoSAR@ISSRE 2010: 1-6
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ZhaoTWC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ZhaoTWC10
Jing Zhao, Kishor S. Trivedi, Yanbin Wang, Xiaoyong Chen:
Evaluation of software performance affected by aging. WoSAR@ISSRE 2010: 1-6
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/TrivediWH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/TrivediWH10
Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt:
Computing the Number of Calls Dropped Due to Failures. ISSRE 2010: 11-20
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MatiasTM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MatiasTM10
Rivalino Matias, Kishor S. Trivedi, Paulo Romero Martins Maciel:
Using Accelerated Life Tests to Estimate Time to Software Aging Failure. ISSRE 2010: 211-219
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/GhoshTNK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/GhoshTNK10
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
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/KimGT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/KimGT10
Dong Seong Kim, Rahul Ghosh, Kishor S. Trivedi:
A Hierarchical Model for Reliability Analysis of Sensor Networks. PRDC 2010: 247-248
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/DevarajMT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/DevarajMT10
Amita Devaraj, Kesari Mishra, Kishor S. Trivedi:
Uncertainty Propagation in Analytic Availability Models. SRDS 2010: 121-130
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/GhoshLNT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/GhoshLNT10
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 lists?

2009
[j130]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/HeegaardT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/HeegaardT09
Poul E. Heegaard, Kishor S. Trivedi:
Network survivability modeling. Comput. Networks 53(8): 1215-1234 (2009)
[j129]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/TrivediS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/TrivediS09
Kishor S. Trivedi, Robin A. Sahner:
SHARPE at the age of twenty two. SIGMETRICS Perform. Evaluation Rev. 36(4): 52-57 (2009)
[j128]
- view
  authority control:
- export record
  dblp key:
  - journals/ton/OkamuraDT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ton/OkamuraDT09
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi:
Markovian arrival process parameter estimation with group data. IEEE/ACM Trans. Netw. 17(4): 1326-1339 (2009)
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/GoyalSHTSC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/GoyalSHTSC09
Mukul Goyal, Mohd Soperi, Seyed Hossein Hosseini, Kishor S. Trivedi, Aman Shaikh, G. Choudhury:
Analyzing the Hold Time Schemes to Limit the Routing Table Calculations in OSPF Protocol. AINA 2009: 74-81
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/drcn/Trivedi0RM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/drcn/Trivedi0RM09
Kishor S. Trivedi, Dong Seong Kim, Arpan Roy, Deep Medhi:
Dependability and security models. DRCN 2009: 11-20
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/MalekST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/MalekST09
Miroslaw Malek, Felix Salfner, Kishor S. Trivedi:
Workshop on proactive failure avoidance, recovery and maintenance (PFARM). DSN 2009: 590-591
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/TrivediKG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/TrivediKG09
Kishor S. Trivedi, Dong Seong Kim, Rahul Ghosh:
Resilience in computer systems and networks. ICCAD 2009: 74-77
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/KimMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/KimMT09
Dong Seong Kim, Fumio Machida, Kishor S. Trivedi:
Availability Modeling and Analysis of a Virtualized System. PRDC 2009: 365-371
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/HeegaardT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/HeegaardT09
Poul E. Heegaard, Kishor S. Trivedi:
Survivability Modeling with Stochastic Reward Nets. WSC 2009: 807-818
2008
[j127]
- view
  authority control:
- export record
  dblp key:
  - journals/ibmsj/SmithTTA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ibmsj/SmithTTA08
W. Earl Smith, Kishor S. Trivedi, Lorrie A. Tomek, Jerry Ackaret:
Availability analysis of blade server systems. IBM Syst. J. 47(4): 621-640 (2008)
[j126]
- view
  authority control:
- export record
  dblp key:
  - journals/tvt/MadanDT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvt/MadanDT08
Bharat B. Madan, Selvamuthu Dharmaraja, Kishor S. Trivedi:
Combined Guard Channel and Mobile-Assisted Handoff for Cellular Networks. IEEE Trans. Veh. Technol. 57(1): 502-510 (2008)
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/HeegaardT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/HeegaardT08
Poul E. Heegaard, Kishor S. Trivedi:
Survivability quantification of communication services. DSN 2008: 462-471
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/MitraITT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/MitraITT08
Subhasish Mitra, Ravishankar K. Iyer, Kishor S. Trivedi, James W. Tschanz:
Reliable system design: models, metrics and design techniques. ICCAD 2008: 3
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/icsnc/HeegaardT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsnc/HeegaardT08
Poul E. Heegaard, Kishor S. Trivedi:
Survivability Quantification of Real-Sized Networks Including End-to-End Delay Distributions. ICSNC 2008: 50-55
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/TrivediCDGRV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/TrivediCDGRV08
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Andrew J. Rindos, Bart Vashaw:
Achieving and assuring high availability. IPDPS 2008: 1-7
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/isas/TrivediCDGMRV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isas/TrivediCDGMRV08
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Rivalino Matias, Andrew J. Rindos, Bart Vashaw:
Achieving and Assuring High Availability. ISAS 2008: 20-25
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/isas/GrottkeSFT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isas/GrottkeSFT08
Michael Grottke, Hairong Sun, Ricardo M. Fricks, Kishor S. Trivedi:
Ten Fallacies of Availability and Reliability Analysis. ISAS 2008: 187-206
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GrottkeMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GrottkeMT08
Michael Grottke, Rivalino Matias, Kishor S. Trivedi:
The fundamentals of software aging. ISSRE Workshops 2008: 1-6
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MachidaKPT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MachidaKPT08
Fumio Machida, Dong Seong Kim, Jong Sou Park, Kishor S. Trivedi:
Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center. ISSRE Workshops 2008: 1-3
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/TrivediWHRSV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/TrivediWHRSV08
Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt, Andrew J. Rindos, W. Earl Smith, Bart Vashaw:
Availability Modeling of SIP Protocol on IBM(c) WebSphere(c). PRDC 2008: 323-330
[p1]
- view
  authority control:
- export record
  dblp key:
  - reference/wiley/TrivediV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/wiley/TrivediV08
Kishor S. Trivedi, Kalyanaraman Vaidyanathan:
Software Aging and Rejuvenation. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
[j125]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/GrottkeT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/GrottkeT07
Michael Grottke, Kishor S. Trivedi:
Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate. Computer 40(2): 107-109 (2007)
[j124]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/SharmaT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/SharmaT07
Vibhu Saujanya Sharma, Kishor S. Trivedi:
Quantifying software performance, reliability and security: An architecture-based approach. J. Syst. Softw. 80(4): 493-509 (2007)
[j123]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/WangXT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/WangXT07
Dazhi Wang, Wei Xie, Kishor S. Trivedi:
Performability analysis of clustered systems with rejuvenation under varying workload. Perform. Evaluation 64(3): 247-265 (2007)
[j122]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/DaiLT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/DaiLT07
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)
[j121]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/WangT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/WangT07
Dazhi Wang, Kishor S. Trivedi:
Reliability Analysis of Phased-Mission System With Independent Component Repairs. IEEE Trans. Reliab. 56(3): 540-551 (2007)
[j120]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/HoffmannTM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/HoffmannTM07
Günther A. Hoffmann, Kishor S. Trivedi, Miroslaw Malek:
A Best Practice Guide to Resource Forecasting for Computing Systems. IEEE Trans. Reliab. 56(4): 615-628 (2007)
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/SatoT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/SatoT07
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
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/broadnets/Trivedi07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/broadnets/Trivedi07
Kishor S. Trivedi:
Survivability Quantification - Keynote. BROADNETS 2007: 961
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/OkamuraGDT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/OkamuraGDT07
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
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/HaberkornT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/HaberkornT07
Marc Haberkorn, Kishor S. Trivedi:
Availability Monitor for a Software Based System. HASE 2007: 321-328
[c159]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/SatoT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/SatoT07
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
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/TuffinCHT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/TuffinCHT07
Bruno Tuffin, Pawan K. Choudhary, Christophe Hirel, Kishor S. Trivedi:
Simulation versus analytic-numeric methods: illustrative examples. VALUETOOLS 2007: 63
2006
[b5]
- view
  - electronic edition @ wiley.com
  - details & citations
- export record
  dblp key:
  - books/daglib/0017976
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0017976
Gunter Bolch, Stefan Greiner, Hermann de Meer, Kishor S. Trivedi:
Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications, Second Edition. Wiley 2006, ISBN 978-0-471-56525-3, pp. I-XVI, 1-878
[j119]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/GokhaleLT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/GokhaleLT06
Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi:
Incorporating fault debugging activities into software reliability models: a simulation approach. IEEE Trans. Reliab. 55(2): 281-292 (2006)
[j118]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/GrottkeLVT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/GrottkeLVT06
Michael Grottke, Lei Li, Kalyanaraman Vaidyanathan, Kishor S. Trivedi:
Analysis of Software Aging in a Web Server. IEEE Trans. Reliab. 55(3): 411-420 (2006)
[j117]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/GokhaleT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/GokhaleT06
Swapna S. Gokhale, Kishor S. Trivedi:
Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework. IEEE Trans. Reliab. 55(4): 578-590 (2006)
[j116]
- view
  authority control:
- export record
  dblp key:
  - journals/tvt/MaCLT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvt/MaCLT06
Xiaomin Ma, Yonghuan Cao, Yun Liu, Kishor S. Trivedi:
Modeling and performance analysis for soft handoff schemes in CDMA cellular systems. IEEE Trans. Veh. Technol. 55(2): 670-680 (2006)
[j115]
- view
  authority control:
- export record
  dblp key:
  - journals/tvt/MaLT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvt/MaLT06
Xiaomin Ma, Yun Liu, Kishor S. Trivedi:
Design and Performance Analysis of a New Soft Handoff Scheme for CDMA Cellular Systems. IEEE Trans. Veh. Technol. 55(5): 1603-1612 (2006)
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SharmaJT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SharmaJT06
Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi:
A Performance Engineering Tool for Tiered Software Systems. COMPSAC (1) 2006: 63-70
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/AvritzerBGTW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/AvritzerBGTW06
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
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/isas/MishraT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isas/MishraT06
Kesari Mishra, Kishor S. Trivedi:
Model Based Approach for Autonomic Availability Management. ISAS 2006: 1-16
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SharmaT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SharmaT06
Vibhu Saujanya Sharma, Kishor S. Trivedi:
Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs. ISSRE 2006: 299-310
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/TrivediVTNC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/TrivediVTNC06
Kishor S. Trivedi, Ranjith Vasireddy, David Trindale, Swami Nathan, Rick Castro:
Modeling High Availability. PRDC 2006: 154-164
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/HoffmannTM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/HoffmannTM06
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
[j114]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/LiuMHLT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/LiuMHLT05
Yun Liu, Yue Ma, James J. Han, Haim Levendel, Kishor S. Trivedi:
A proactive approach towards always-on availability in broadband cable networks. Comput. Commun. 28(1): 51-64 (2005)
[j113]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/XieHT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/XieHT05
Wei Xie, Yiguang Hong, Kishor S. Trivedi:
Analysis of a two-level software rejuvenation policy. Reliab. Eng. Syst. Saf. 87(1): 13-22 (2005)
[j112]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ChenT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ChenT05
Dongyan Chen, Kishor S. Trivedi:
Optimization for condition-based maintenance with semi-Markov decision process. Reliab. Eng. Syst. Saf. 90(1): 25-29 (2005)
[j111]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/VaidyanathanT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/VaidyanathanT05
Kalyanaraman Vaidyanathan, Kishor S. Trivedi:
A Comprehensive Model for Software Rejuvenation. IEEE Trans. Dependable Secur. Comput. 2(2): 124-137 (2005)
[j110]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/WangT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/WangT05
Dazhi Wang, Kishor S. Trivedi:
Computing steady-state mean time to failure for non-coherent repairable systems. IEEE Trans. Reliab. 54(3): 506-516 (2005)
[j109]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/BaoST05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/BaoST05
Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi:
A workload-based analysis of software aging, and rejuvenation. IEEE Trans. Reliab. 54(3): 541-548 (2005)
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/SharmaJT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/SharmaJT05
Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi:
Evaluating Performance Attributes of Layered Software Architecture. CBSE 2005: 66-81
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/GriffinMT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/GriffinMT05
Christopher Griffin, Bharat B. Madan, Kishor S. Trivedi:
State Space Approach to Security Quantification. COMPSAC (2) 2005: 83-88
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/GrottkeT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/GrottkeT05
Michael Grottke, Kishor S. Trivedi:
On a Method for Mending Time to Failure Distributions. DSN 2005: 560-569
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/isas/WangT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isas/WangT05
Dazhi Wang, Kishor S. Trivedi:
Modeling User-Perceived Service Availability. ISAS 2005: 107-122
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/itcc/MadanPT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itcc/MadanPT05
Bharat B. Madan, Shashi Phoha, Kishor S. Trivedi:
StackOFFence: A Technique for Defending Against Buffer Overflow Attacks. ITCC (1) 2005: 656-661
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/SharmaT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/SharmaT05
Vibhu Saujanya Sharma, Kishor S. Trivedi:
Architecture based analysis of performance, reliability and security of software systems. WOSP 2005: 217-227
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/ChoudharyMT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/ChoudharyMT05
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. WSC 2005: 412-418
2004
[j108]
- view
  - electronic edition @ ieice.org
  - details & citations
- export record
  dblp key:
  - journals/ieicet/DohiST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/DohiST04
Tadashi Dohi, Hiroaki Suzuki, Kishor S. Trivedi:
Comparing Software Rejuvenation Policies under Different Dependability Measures. IEICE Trans. Inf. Syst. 87-D(8): 2078-2085 (2004)
[j107]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/jhsn/MadanT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jhsn/MadanT04
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)
[j106]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/MadanGVT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/MadanGVT04
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. Evaluation 56(1-4): 167-186 (2004)
[j105]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/CaoST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/CaoST04
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. Evaluation 57(1): 69-87 (2004)
[j104]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/GokhaleWHT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/GokhaleWHT04
Swapna S. Gokhale, W. Eric Wong, Joseph Robert Horgan, Kishor S. Trivedi:
An analytical approach to architecture-based software performance and reliability prediction. Perform. Evaluation 58(4): 391-412 (2004)
[j103]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/GokhaleLT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/GokhaleLT04
Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi:
Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain. Softw. Qual. J. 12(3): 211-230 (2004)
[j102]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/NicolST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/NicolST04
David M. Nicol, William H. Sanders, Kishor S. Trivedi:
Model-Based Evaluation: From Dependability to Security. IEEE Trans. Dependable Secur. Comput. 1(1): 48-65 (2004)
[j101]
- view
  authority control:
- export record
  dblp key:
  - journals/twc/ChenHT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/twc/ChenHT04
Dongyan Chen, Yiguang Hong, Kishor S. Trivedi:
Optimal Estimation of Training Interval for Channel Equalization. IEEE Trans. Wirel. Commun. 3(5): 1844-1853 (2004)
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/DohiOT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/DohiOT04
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
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/TangT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/TangT04
Dong Tang, Kishor S. Trivedi:
Hierarchical Computation of Interval Availability and Related Metrics. DSN 2004: 693-
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip/TrivediV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/TrivediV04
Kishor S. Trivedi, Kalyanaraman Vaidyanathan:
Software Rejuvenation - Modeling and Analysis. IFIP Congress Tutorials 2004: 151-182
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip/SzczerbickaTC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/SzczerbickaTC04
Helena Szczerbicka, Kishor S. Trivedi, Pawan K. Choudhary:
Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation. IFIP Congress Tutorials 2004: 271-304
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/LiuMT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/LiuMT04
Yun Liu, Veena B. Mendiratta, Kishor S. Trivedi:
Survivability Analysis of Telephone Access Network. ISSRE 2004: 367-378
[c139]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mmb/LiuT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmb/LiuT04
Yun Liu, Kishor S. Trivedi:
A General Framework for Network Survivability Quantification. MMB 2004: 369-378
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/XieHT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/XieHT04
Wei Xie, Yiguang Hong, Kishor S. Trivedi:
Software Rejuvenation Policies for Cluster Systems under Varying Workload. PRDC 2004: 122-129
2003
[j100]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/DharmarajaTL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/DharmarajaTL03
Selvamuthu Dharmaraja, Kishor S. Trivedi, Dimitris Logothetis:
Performance modeling of wireless networks with generally distributed handoff interarrival times. Comput. Commun. 26(15): 1747-1755 (2003)
[j99]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcomsys/TrivediMD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcomsys/TrivediMD03
Kishor S. Trivedi, Xiaomin Ma, Selvamuthu Dharmaraja:
Performability modelling of wireless communication systems. Int. J. Commun. Syst. 16(6): 561-577 (2003)
[j98]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/TrivediRF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/TrivediRF03
Kishor S. Trivedi, Srinivasan Ramani, Ricardo M. Fricks:
Recent advances in modeling response-time distributions in real-time systems. Proc. IEEE 91(7): 1023-1037 (2003)
[j97]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/ZangWST03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/ZangWST03
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)
[j96]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/LanusYT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/LanusYT03
Mark Lanus, Liang Yin, Kishor S. Trivedi:
Hierarchical composition and aggregation of state-based availability and performability models. IEEE Trans. Reliab. 52(1): 44-52 (2003)
[j95]
- view
  authority control:
- export record
  dblp key:
  - journals/tvt/CaoST03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvt/CaoST03
Yonghuan Cao, Hairong Sun, Kishor S. Trivedi:
Performance analysis of reservation media-access protocol with access and serving queues under bursty traffic in GPRS/EGPRS. IEEE Trans. Veh. Technol. 52(6): 1627-1641 (2003)
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/HongTRP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/HongTRP03
Yiguang Hong, Kishor S. Trivedi, Asok Ray, Shashi Phoha:
Software performance analysis using a language measure. ACC 2003: 2258-2263
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/WangMT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/WangMT03
Dazhi Wang, Bharat B. Madan, Kishor S. Trivedi:
Security analysis of SITAR intrusion tolerance system. SSRS@CCS 2003: 23-32
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/BaoST03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/BaoST03
Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi:
Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme. DSN 2003: 241-248
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ChenGKT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ChenGKT03
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
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/XieSCT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/XieSCT03
Wei Xie, Hairong Sun, Yonghuan Cao, Kishor S. Trivedi:
Modeling of user perceived webserver availability. ICC 2003: 1796-1800
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SuzukiDKT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SuzukiDKT03
Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi:
Maximizing Interval Reliability in Operational Software System with Rejuvenation. ISSRE 2003: 479-490
2002
[b4]
- view
  authority control:
- export record
  dblp key:
  - books/wi/Trivedi02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/Trivedi02
Kishor S. Trivedi:
Probability and Statistics with Reliability, Queuing and Computer Science Applications, Second Edition. Wiley 2002, ISBN 978-0-471-33341-8, pp. I-XIX, 1-857
[j94]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/MaHT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/MaHT02
Yue Ma, James J. Han, Kishor S. Trivedi:
Call admission control for reducing dropped calls in CDMA cellular systems. Comput. Commun. 25(7): 689-699 (2002)
[j93]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/TrivediDM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/TrivediDM02
Kishor S. Trivedi, Selvamuthu Dharmaraja, Xiaomin Ma:
Analytic modeling of handoffs in wireless cellular networks. Inf. Sci. 148(1-4): 155-166 (2002)
[j92]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/pe/ChenHT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/ChenHT02
Dongyan Chen, Yiguang Hong, Kishor S. Trivedi:
Second-order stochastic fluid models with fluid-dependent flow rates. Perform. Evaluation 49(1/4): 341-358 (2002)
[j91]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ChenT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ChenT02
Dongyan Chen, Kishor S. Trivedi:
Closed-form analytical results for condition-based maintenance. Reliab. Eng. Syst. Saf. 76(1): 43-51 (2002)
[j90]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/CaoSTH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/CaoSTH02
Yonghuan Cao, Hairong Sun, Kishor S. Trivedi, James J. Han:
System availability with non-exponentially distributed outages. IEEE Trans. Reliab. 51(2): 193-198 (2002)
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/HongCT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/HongCT02
Yiguang Hong, Dongyan Chen, Kishor S. Trivedi:
Failure mitigation for quality of service of wireless networks. CDC 2002: 1414-1415
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ChenDCLTSN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ChenDCLTSN02
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
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/MadanGVT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/MadanGVT02
Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi:
Modeling and Quantification of Security Attributes of Software Systems. DSN 2002: 505-514
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/Trivedi02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/Trivedi02
Kishor S. Trivedi:
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator. DSN 2002: 544
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/Trivedi02a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/Trivedi02a
Kishor S. Trivedi:
SREPT: A Tool for Software Reliability Estimation and Prediction. DSN 2002: 546
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/JinBT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/JinBT02
Wei Jin, Rakesh D. Barve, Kishor S. Trivedi:
A Simple Characterization of Provably Efficient Prefetching Algorithms. DSN 2002: 571-580
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/ChenHT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/ChenHT02
Dongyan Chen, Yiguang Hong, Kishor S. Trivedi:
Optimal estimation of training interval for channel equalizations. ICC 2002: 717-721
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/icccn/QianLT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icccn/QianLT02
Ming Qian, Dimitris Logothetis, Kishor S. Trivedi:
All-terminal reliability analysis of the SRP-ring: the effect of enhanced intelligent protection switching. ICCCN 2002: 52-57
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/RamaniGT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/RamaniGT02
Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi:
A Framework for Performability Modeling of Messaging Services in Distributed Systems. ICECCS 2002: 25-34
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GokhaleHT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GokhaleHT02
Swapna S. Gokhale, Joseph R. Horgan, Kishor S. Trivedi:
Specification-Level Integration of Simulation and Dependability Analysis. WADS 2002: 245-266
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/isese/LiVT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isese/LiVT02
Lei Li, Kalyanaraman Vaidyanathan, Kishor S. Trivedi:
An Approach for Estimation of Software Aging in a Web Server. ISESE 2002: 91-102
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GokhaleT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GokhaleT02
Swapna S. Gokhale, Kishor S. Trivedi:
Reliability Prediction and Sensitivity Analysis Based on Software Architecture. ISSRE 2002: 64-78
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/LiuTMHL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/LiuTMHL02
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
[c118]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jcis/TrivediSM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jcis/TrivediSM02
Kishor S. Trivedi, Selvamuthu Dharmaraja, Xiaomin Ma:
Analytic Modeling of Handoffs in Wireless Cellular Networks. JCIS 2002: 1383-1392
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/mswim/ChenGT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mswim/ChenGT02
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
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/performance/TrivediV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/performance/TrivediV02
Kishor S. Trivedi, Kalyanaraman Vaidyanathan:
Software Reliability and Rejuvenation: Modeling and Analysis. Performance 2002: 318-345
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/DohiKT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/DohiKT02
Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi:
Availability Models with Age-Dependent Checkpointing. SRDS 2002: 130-139
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/VaidyanathanST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/VaidyanathanST02
Kalyanaraman Vaidyanathan, Selvamuthu Dharmaraja, Kishor S. Trivedi:
Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems. SRDS 2002: 286-295
2001
[j89]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/DohiGT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/DohiGT01
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi:
Estimating Software Rejuvenation Schedules in High-Assurance Systems. Comput. J. 44(6): 473-485 (2001)
[j88]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/MaHT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/MaHT01
Yue Ma, James J. Han, Kishor S. Trivedi:
A method for multiple channel recovery in TDMA wireless communications systems. Comput. Commun. 24(12): 1147-1157 (2001)
[j87]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/SunZT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/SunZT01
Hairong Sun, Xinyu Zang, Kishor S. Trivedi:
A performance model of partial packet discard and early packet discard schemes in ATM switches. Comput. Commun. 24(15-16): 1540-1553 (2001)
[j86]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/TuffinCT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/TuffinCT01
Bruno Tuffin, Dong S. Chen, Kishor S. Trivedi:
Comparison of Hybrid Systems and Fluid Stochastic Petri Nets. Discret. Event Dyn. Syst. 11(1-2): 77-95 (2001)
[j85]
- view
  authority control:
- export record
  dblp key:
  - journals/ibmrd/CastelliHHHTVZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ibmrd/CastelliHHHTVZ01
Vittorio Castelli, Richard E. Harper, Philip Heidelberger, Steven W. Hunter, Kishor S. Trivedi, Kalyanaraman Vaidyanathan, William P. Zeggert:
Proactive management of software aging. IBM J. Res. Dev. 45(2): 311-332 (2001)
[j84]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/Goseva-PopstojanovaT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/Goseva-PopstojanovaT01
Katerina Goseva-Popstojanova, Kishor S. Trivedi:
Architecture-based approach to reliability assessment of software systems. Perform. Evaluation 45(2-3): 179-204 (2001)
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/ton/SunZT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ton/SunZT01
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)
[j82]
- view
  authority control:
- export record
  dblp key:
  - journals/tvt/HarineMPT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvt/HarineMPT01
Guenter Harine, Raymond A. Marie, Ramón Puigjaner, Kishor S. Trivedi:
Loss formulas and their application to optimization for cellular networks. IEEE Trans. Veh. Technol. 50(3): 664-673 (2001)
[j81]
- view
  authority control:
- export record
  dblp key:
  - journals/tvt/MaHT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvt/MaHT01
Yue Ma, James J. Han, Kishor S. Trivedi:
Composite performance and availability analysis of wireless communication networks. IEEE Trans. Veh. Technol. 50(5): 1216-1223 (2001)
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/doa/RamaniTD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/doa/RamaniTD01
Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy:
Reliable Messaging Using the CORBA Notification Service. DOA 2001: 229-238
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Goseva-PopstojanovaMT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Goseva-PopstojanovaMT01
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
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/DohiWOT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/DohiWOT01
Tadashi Dohi, Nobuyuki Wakana, Shunji Osaki, Kishor S. Trivedi:
Analysis of Hypergeometric Distribution Software Reliability Model. ISSRE 2001: 166-175
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/ChenT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/ChenT01
Dongyan Chen, Kishor S. Trivedi:
Analysis of Periodic Preventive Maintenance with General System Failure Distribution. PRDC 2001: 103-110
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmetrics/VaidyanathanHHT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmetrics/VaidyanathanHHT01
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
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/RamaniTD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/RamaniTD01
Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy:
Performance Analysis of the CORBA Notification Service . SRDS 2001: 227-
2000
[j80]
- view
  authority control:
- export record
  dblp key:
  - journals/ett/MaHT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ett/MaHT00
Yue Ma, James J. Han, Kishor S. Trivedi:
Channel Allocation with Recovery Strategy in Wireless Networks. Eur. Trans. Telecommun. 11(4): 395-406 (2000)
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/RamaniGT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/RamaniGT00
Srinivasan Ramani, Swapna S. Gokhale, Kishor S. Trivedi:
SREPT: software reliability estimation and prediction tool. Perform. Evaluation 39(1-4): 37-60 (2000)
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/Goseva-PopstojanovaT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/Goseva-PopstojanovaT00
Katerina Goseva-Popstojanova, Kishor S. Trivedi:
Failure correlation in software reliability models. IEEE Trans. Reliab. 49(1): 37-48 (2000)
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/anss/Trivedi00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/anss/Trivedi00
Kishor S. Trivedi:
Proactive Fault-Management in Software System. Annual Simulation Symposium 2000: 3-
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/anss/TrivediVG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/anss/TrivediVG00
Kishor S. Trivedi, Kalyanaraman Vaidyanathan, Katerina Goseva-Popstojanova:
Modeling and Analysis of Software Aging and Rejuvenation. Annual Simulation Symposium 2000: 270-
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/cpe/TuffinT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpe/TuffinT00
Bruno Tuffin, Kishor S. Trivedi:
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package. Computer Performance Evaluation / TOOLS 2000: 216-229
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/cpe/HirelSZT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpe/HirelSZT00
Christophe Hirel, Robin A. Sahner, Xinyu Zang, Kishor S. Trivedi:
Reliability and Performability Modeling Using SHARPE 2000. Computer Performance Evaluation / TOOLS 2000: 345-349
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/cpe/HirelTT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpe/HirelTT00
Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi:
SPNP: Stochastic Petri Nets. Version 6.0. Computer Performance Evaluation / TOOLS 2000: 354-357
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/cpe/RamaniT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpe/RamaniT00
Srinivasan Ramani, Kishor S. Trivedi:
SREPT: Software Reliability Estimation and Prediction Tool. Computer Performance Evaluation / TOOLS 2000: 358-361
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Goseva-PopstojanovaT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Goseva-PopstojanovaT00
Katerina Goseva-Popstojanova, Kishor S. Trivedi:
Stochastic Modeling Formalisms for Dependability, Performance and Performability. Performance Evaluation 2000: 403-422
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/globecom/MaHT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/globecom/MaHT00
Yue Ma, James J. Han, Kishor S. Trivedi:
Composite performance and availability analysis of communications networks. A comparison of exact and approximate approaches. GLOBECOM 2000: 1771-1777
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/DohiGT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/DohiGT00
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi:
Analysis of software cost models with rejuvenation. HASE 2000: 25-34
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/MaHT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/MaHT00
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
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/RamaniDT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/RamaniDT00
Srinivasan Ramani, Balakrishnan Dasarathy, Kishor S. Trivedi:
Building a Reliable Message Delivery System Using the CORBA Event Service. IPDPS Workshops 2000: 1276-1280
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/DohiOT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/DohiOT00
Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi:
Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications. ISSRE 2000: 40-51
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/Goseva-PopstojanovaT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/Goseva-PopstojanovaT00
Katerina Goseva-Popstojanova, Kishor S. Trivedi:
Effects of failure correlation on software in operation. PRDC 2000: 69-76
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/DohiGT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/DohiGT00
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi:
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule. PRDC 2000: 77-84
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/RamaniTD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/RamaniTD00
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 lists?

1999
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/ansoft/GokhaleT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ansoft/GokhaleT99
Swapna S. Gokhale, Kishor S. Trivedi:
A time/structure based software reliability model. Ann. Softw. Eng. 8: 85-121 (1999)
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/SunZT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/SunZT99
Hairong Sun, Xinyu Zang, Kishor S. Trivedi:
A stochastic reward net model for performance analysis of prioritized DQDB MAN. Comput. Commun. 22(9): 858-870 (1999)
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/SunZT99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/SunZT99a
Hairong Sun, Xinyu Zang, Kishor S. Trivedi:
The effect of Web caching on network planning. Comput. Commun. 22(14): 1343-1350 (1999)
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/FricksPT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/FricksPT99
Ricardo M. Fricks, Antonio Puliafito, Kishor S. Trivedi:
Performance Analysis of Distributed Real-Time Databased. Perform. Evaluation 35(3-4): 145-169 (1999)
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/CiardoNT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/CiardoNT99
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)
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/BondavalliMT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/BondavalliMT99
Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi:
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. EDCC 1999: 7-23
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/GargHKTY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/GargHKTY99
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
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/ZangST99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/ZangST99
Xinyu Zang, Hairong Sun, Kishor S. Trivedi:
Dependability Analysis of Distributed Computer Systems with Imperfect Coverage. FTCS 1999: 330-337
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/LuoCT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/LuoCT99
Tong Luo, Tony Confrey, Kishor S. Trivedi:
A reliable CORBA-based network management system. ICC 1999: 1374-1387
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/YinT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/YinT99
Liang Yin, Kishor S. Trivedi:
Confidence interval estimation of NHPP-based software reliability models. ISSRE 1999: 6-11
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/VaidyanathanT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/VaidyanathanT99
Kalyanaraman Vaidyanathan, Kishor S. Trivedi:
A measurement-based model for estimation of resource exhaustion in operational software systems. ISSRE 1999: 84-93
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Goseva-Popstojanova99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Goseva-Popstojanova99
Katerina Goseva-Popstojanova, Kishor S. Trivedi:
Failure correlation in software reliability models. ISSRE 1999: 232-241
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/SunCTH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/SunCTH99
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
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/wcnc/MaHT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcnc/MaHT99
Yue Ma, James J. Han, Kishor S. Trivedi:
A channel recovery method for RF channel failure in wireless communications systems. WCNC 1999: 1075-1079
1998
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/eor/HortonKNT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eor/HortonKNT98
Graham Horton, Vidyadhar G. Kulkarni, David M. Nicol, Kishor S. Trivedi:
Fluid stochastic Petri nets: Theory, applications, and solution techniques. Eur. J. Oper. Res. 105(1): 184-201 (1998)
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/internet/PuliafitoTVT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/internet/PuliafitoTVT98
Antonio Puliafito, Orazio Tomarchio, Lorenzo Vita, Kishor S. Trivedi:
Increasing Application Accessibility through Java. IEEE Internet Comput. 2(4): 70-77 (1998)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/jcsc/BobbioPTT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcsc/BobbioPTT98
Andrea Bobbio, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi:
Recent Developments in Non-Markovian Stochastic Petri Nets. J. Circuits Syst. Comput. 8(1): 119-158 (1998)
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/PuliafitoST98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/PuliafitoST98
Antonio Puliafito, Marco Scarpa, Kishor S. Trivedi:
Petri Nets with k Simultaneously Enabled Generally Distributed Timed Transitions. Perform. Evaluation 32(1): 1-34 (1998)
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/FricksPTT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/FricksPTT98
Ricardo M. Fricks, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi:
Applications of non-Markovian stochastic Petri nets. SIGMETRICS Perform. Evaluation Rev. 26(2): 15-27 (1998)
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/GargPTT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/GargPTT98
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)
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/cpe/RamaniGT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpe/RamaniGT98
Srinivasan Ramani, Swapna S. Gokhale, Kishor S. Trivedi:
SREPT: Software Reliability Estimation and Prediction Tool. Computer Performance Evaluation (Tools) 1998: 27-36
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/cpe/LuoT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpe/LuoT98
Tong Luo, Kishor S. Trivedi:
An Improved Multiple Variable Inversion Algorithm for Reliability Calculation. Computer Performance Evaluation (Tools) 1998: 180-192
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/GokhaleT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/GokhaleT98
Swapna S. Gokhale, Kishor S. Trivedi:
Log-Logistic Software Reliability Growth Model. HASE 1998: 34-41
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GokhaleLT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GokhaleLT98
Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi:
Reliability simulation of component-based software systems. ISSRE 1998: 192-201
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GokhaleLT98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GokhaleLT98a
Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi:
Software reliability analysis incorporating fault detection and debugging activities. ISSRE 1998: 202-211
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GargMVT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GargMVT98
Sachin Garg, Aad P. A. van Moorsel, Kalyanaraman Vaidyanathan, Kishor S. Trivedi:
A methodology for detection and estimation of software aging. ISSRE 1998: 283-292
1997
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/jnsm/LogothesisT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jnsm/LogothesisT97
D. Logothesis, Kishor S. Trivedi:
The Effect of Detection and Restoration Times on Error Recovery in Communication Networks. J. Netw. Syst. Manag. 5(2): 173-195 (1997)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/telsys/BalakrishnanPTV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/telsys/BalakrishnanPTV97
Meera Balakrishnan, Antonio Puliafito, Kishor S. Trivedi, Yannis Viniotis:
Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach. Telecommun. Syst. 7(1-3): 105-123 (1997)
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/TaiHTZ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/TaiHTZ97
Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing Zhang:
Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools. FTCS 1997: 37-41
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/TaiTH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/TaiTH97
Ann T. Tai, Kishor S. Trivedi, Herbert Hecht:
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. HASE 1997: 2-13
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/HunterPT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/HunterPT97
Steven W. Hunter, Teebu Philip, Kishor S. Trivedi:
Combined Performance and Availability Analysis of a Switched Network Applications. ICC (1) 1997: 241-245
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/icccn/RoT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icccn/RoT97
Cheul Woo Ro, Kishor S. Trivedi:
Performability analysis of handoff calls in personal communication networks. ICCCN 1997: 116-121
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/CiardoNT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/CiardoNT97
Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi:
Discrete-event simulation of fluid stochastic Petri nets. PNPM 1997: 217-225
1996
[b3]
- view
  authority control:
- export record
  dblp key:
  - books/kl/SahnerTP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/kl/SahnerTP96
Robin A. Sahner, Kishor S. Trivedi, Antonio Puliafito:
Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. Kluwer 1996, ISBN 978-1-4613-6005-6, pp. 1-404
[j64]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/pe/PfeningGPTT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/PfeningGPTT96
András Pfening, Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi:
Optimal Software Rejuvenation for Tolerating Soft Failures. Perform. Evaluation 27/28(4): 491-506 (1996)
[j63]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/pe/HeidelbergerMT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/HeidelbergerMT96
Philip Heidelberger, Jogesh K. Muppala, Kishor S. Trivedi:
Accelerating Mean Time to Failure Computations. Perform. Evaluation 27/28(4): 627-645 (1996)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/BanschHMT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/BanschHMT96
Klaus Bänsch, Axel Hein, Manish Malhotra, Kishor S. Trivedi:
Comment/correction: dependability modeling using Petri nets. IEEE Trans. Reliab. 45(2): 272-273 (1996)
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MainkarT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MainkarT96
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)
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/FricksHGT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/FricksHGT96
Ricardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi:
IDEA: Integrated Design Environment for Assessment of ATM Networks. ICECCS 1996: 27-34
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/WangLTV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/WangLTV96
Chang-Yu Wang, Dimitris Logothetis, Kishor S. Trivedi, Yannis Viniotis:
Transient Behavior of ATM Networds under Overloads. INFOCOM 1996: 978-985
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GokhalePMT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GokhalePMT96
Swapna S. Gokhale, Teebu Philip, Peter N. Marinos, Kishor S. Trivedi:
Unification of finite failure non-homogeneous Poisson process models through test coverage. ISSRE 1996: 299-307
[c69]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/seke/GokhaleMT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/GokhaleMT96
Swapna S. Gokhale, Peter N. Marinos, Kishor S. Trivedi:
Important Milestones in Software Reliability Modeling. SEKE 1996: 345-352
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmetrics/GargHKT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmetrics/GargHKT96
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
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/networks/RaiVT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/networks/RaiVT95
Suresh Rai, Malathi Veeraraghavan, Kishor S. Trivedi:
A survey of efficient reliability computation using disjoint products approach. Networks 25(3): 147-163 (1995)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/MalhotraT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/MalhotraT95
Manish Malhotra, Kishor S. Trivedi:
Data Integrity Analysis of Disk Array Systems with Analytic Modeling of Coverage. Perform. Evaluation 22(1): 111-133 (1995)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/ACMse/RameshT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACMse/RameshT95
A. V. Ramesh, Kishor S. Trivedi:
Semi-numerical transient analysis of Markov models. ACM Southeast Regional Conference 1995: 13-23
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/BalakrishnanT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/BalakrishnanT95
Meera Balakrishnan, Kishor S. Trivedi:
Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components. FTCS 1995: 259-268
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GargPTT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GargPTT95
Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi:
Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net. ISSRE 1995: 180-187
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/mascots/TrivediPL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mascots/TrivediPL95
Kishor S. Trivedi, Antonio Puliafito, Dimitris Logothetis:
From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets. MASCOTS 1995: 194-198
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/mmb/TelekBJPT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmb/TelekBJPT95
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
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/MainkarT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/MainkarT95
Varsha Mainkar, Kishor S. Trivedi:
Fixed point iteration using stochastic reward nets. PNPM 1995: 21-30
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/GermanLT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/GermanLT95
Reinhard German, Dimitris Logothetis, Kishor S. Trivedi:
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches. PNPM 1995: 103-112
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/BobbioKPTT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/BobbioKPTT95
Andrea Bobbio, Vidyadhar G. Kulkarni, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi:
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets. PNPM 1995: 113-122
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/GreinerPBT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/GreinerPBT95
Stefan Greiner, Antonio Puliafito, Gunter Bolch, Kishor S. Trivedi:
Performance evaluation of dynamic priority operating systems. PNPM 1995: 241-250
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmetrics/TrivediBTGCP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmetrics/TrivediBTGCP95
Kishor S. Trivedi, Andrea Bobbio, Miklós Telek, Reinhard German, Gianfranco Ciardo, Antonio Puliafito:
Non-Markovian Petri Nets (Panel). SIGMETRICS 1995: 263-264
1994
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/anor/MuppalaTMK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/anor/MuppalaTMK94
Jogesh K. Muppala, Kishor S. Trivedi, Varsha Mainkar, Vidyadhar G. Kulkarni:
Numerical computation of response time distributions using stochastic reward nets. Ann. Oper. Res. 48(2): 155-184 (1994)
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/ChoiKT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/ChoiKT94
Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi:
Markov Regenerative Stochastic Petri Nets. Perform. Evaluation 20(1-3): 337-357 (1994)
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/TomekMGT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/TomekMGT94
Lorrie A. Tomek, Varsha Mainkar, Robert Geist, Kishor S. Trivedi:
Reliability modeling of life-critical, real-time systems. Proc. IEEE 82(1): 108-121 (1994)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/VeeraraghavanT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/VeeraraghavanT94
Malathi Veeraraghavan, Kishor S. Trivedi:
A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models. IEEE Trans. Computers 43(2): 229-234 (1994)
[j54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MeerTC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MeerTC94
Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin:
Guarded Repair of Dependable Systems. Theor. Comput. Sci. 128(1&2): 179-210 (1994)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/ton/LogothetisT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ton/LogothetisT94
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)
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/cpe/TrivediHRM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpe/TrivediHRM94
Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew J. Rindos, Varsha Mainkar:
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives. Computer Performance Evaluation 1994: 1-24
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/WangTSP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/WangTSP94
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
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/LogothetisT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/LogothetisT94
Dimitris Logothetis, Kishor S. Trivedi:
Transient Analysis of the Leaky Bucket Rate Control Scheme Under Poisson and ON-OFF Sources. INFOCOM 1994: 490-497
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/mascots/TrivediMF94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mascots/TrivediMF94
Kishor S. Trivedi, Manish Malhotra, Ricardo M. Fricks:
Markov Reward Approach to Performability and Reliability Analysis. MASCOTS 1994: 7-11
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmetrics/SomaniT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmetrics/SomaniT94
Arun K. Somani, Kishor S. Trivedi:
Phased-Mission System Analysis Using Boolean Algebraic Methods. SIGMETRICS 1994: 98-107
1993
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/HaverkortT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/HaverkortT93
Boudewijn R. Haverkort, Kishor S. Trivedi:
Specification techniques for Markov reward models. Discret. Event Dyn. Syst. 3(2-3): 219-247 (1993)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/MalhotraT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/MalhotraT93
Manish Malhotra, Kishor S. Trivedi:
Reliability Analysis of Redundant Arrays of Inexpensive Disks. J. Parallel Distributed Comput. 17(1-2): 146-151 (1993)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/CiardoT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/CiardoT93
Gianfranco Ciardo, Kishor S. Trivedi:
A Decomposition Approach for Stochastic Reward Net Models. Perform. Evaluation 18(1): 37-59 (1993)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/ChimentoT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/ChimentoT93
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)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/IbeCT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/IbeCT93
Oliver C. Ibe, Hoon Choi, Kishor S. Trivedi:
Performance Evaluation of Client-Server Systems. IEEE Trans. Parallel Distributed Syst. 4(11): 1217-1229 (1993)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/TomekMT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/TomekMT93
Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi:
Modeling Correlation in Software Recovery Blocks. IEEE Trans. Software Eng. 19(11): 1071-1086 (1993)
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/TrivediK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/TrivediK93
Kishor S. Trivedi, Vidyadhar G. Kulkarni:
FSPNs: Fluid Stochastic Petri Nets. Application and Theory of Petri Nets 1993: 24-31
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ChoiKT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ChoiKT93
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
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WangT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WangT93
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
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/GeistT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/GeistT93
Robert Geist, Kishor S. Trivedi:
An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems. FTCS 1993: 442-450
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/MainkarT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/MainkarT93
Varsha Mainkar, Kishor S. Trivedi:
Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets. ICDCS 1993: 466-473
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/LogothetisT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/LogothetisT93
Dimitris Logothetis, Kishor S. Trivedi:
Reliability Analysis of Various Station Attachment Schemes in an FDDI Token Ring. INFOCOM 1993: 201-208
[c46]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mascots/ChoiMT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mascots/ChoiMT93
Hoon Choi, Varsha Mainkar, Kishor S. Trivedi:
Sensitivity Analysis of Deterministic and Stochastic Petri Nets. MASCOTS 1993: 271-276
[c45]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mascots/MuppalaCT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mascots/MuppalaCT93
Jogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi:
Modeling Using Stochastic Reward Nets. MASCOTS 1993: 367-372
[c44]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mascots/CiardoT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mascots/CiardoT93
Gianfranco Ciardo, Kishor S. Trivedi:
SPNP: The Stochastic Petri Net Package (Version 3.1). MASCOTS 1993: 390-391
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/mmb/TrivediM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmb/TrivediM93
Kishor S. Trivedi, Manish Malhotra:
Reliability and Performability Techniques and Tools: A Survey. MMB 1993: 27-48
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/mmb/MeerT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmb/MeerT93
Hermann de Meer, Kishor S. Trivedi:
Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems. MMB 1993: 159-172
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/MainkarCT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/MainkarCT93
Varsha Mainkar, Hoon Choi, Kishor S. Trivedi:
Sensitivity analysis of Markov regenerative stochastic Petri nets. PNPM 1993: 180-181
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/MalhotraT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/MalhotraT93
Manish Malhotra, Kishor S. Trivedi:
A methodology for formal expression of hierarchy in model solution. PNPM 1993: 258-267
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmetrics/RameshT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmetrics/RameshT93
A. V. Ramesh, Kishor S. Trivedi:
On the Sensitivity of Transient Solutions of Markov Models. SIGMETRICS 1993: 122-134
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmetrics/TrivediCMS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmetrics/TrivediCMS93
Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Robin A. Sahner:
Dependability and Performability Analysis. Performance/SIGMETRICS Tutorials 1993: 587-612
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/VeeraraghavanT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/VeeraraghavanT93
Malathi Veeraraghavan, Kishor S. Trivedi:
An Approach for Combinatorial Performance and Availability Analysis. SRDS 1993: 24-33
1992
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/CiardoMT92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/CiardoMT92
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi:
Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets. J. Parallel Distributed Comput. 15(3): 255-269 (1992)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/TrivediMWH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/TrivediMWH92
Kishor S. Trivedi, Jogesh K. Muppala, Steven P. Woolet, Boudewijn R. Haverkort:
Composite Performance and Dependability Analysis. Perform. Evaluation 14(3-4): 197-215 (1992)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/IyerT92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/IyerT92
Ravishankar K. Iyer, Kishor S. Trivedi:
Guest Editors' Introduction. IEEE Trans. Parallel Distributed Syst. 3(6): 641-642 (1992)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/ChoiT92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/ChoiT92
Hoon Choi, Kishor S. Trivedi:
Approximate Performance Models of Polling Systems Using Stochastic Petri Nets. INFOCOM 1992: 2306-2314
1991
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MuppalaWT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MuppalaWT91
Jogesh K. Muppala, Steven P. Woolet, Kishor S. Trivedi:
Real-Time-Systems Performance in the Presence of Failures. Computer 24(5): 37-47 (1991)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/CiardoMT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/CiardoMT91
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi:
On the Solution of GSPN Reward Models. Perform. Evaluation 12(4): 237-253 (1991)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/questa/IbeT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/questa/IbeT91
Oliver C. Ibe, Kishor S. Trivedi:
Stochastic Petri Net Analysis of Finite-Population Vacation Queueing Systems. Queueing Syst. Theory Appl. 8(2): 111-127 (1991)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icftcs/TomekT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icftcs/TomekT91
Lorrie A. Tomek, Kishor S. Trivedi:
Fixed Point Iteration in Availability Modeling. Fault-Tolerant Computing Systems 1991: 229-240
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/lcn/LogothetisT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcn/LogothetisT91
Dimitris Logothetis, Kishor S. Trivedi:
Reliability analysis of the FDDI token ring. LCN 1991: 41-51
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/CiardoT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/CiardoT91
Gianfranco Ciardo, Kishor S. Trivedi:
A Decomposition Approach for Stochastic Petri Net Models. PNPM 1991: 74-83
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/KantzT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/KantzT91
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
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/HeimannMT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/HeimannMT90
David I. Heimann, Nitin Mittal, Kishor S. Trivedi:
Availability and Reliability Modeling for Computer Systems. Adv. Comput. 31: 175-233 (1990)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/GeistT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/GeistT90
Robert Geist, Kishor S. Trivedi:
Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques. Computer 23(7): 52-61 (1990)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/IBET90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/IBET90
Oliver C. Ibe, Kishor S. Trivedi:
Stochastic Petri Net Models of Polling Systems. IEEE J. Sel. Areas Commun. 8(9): 1649-1657 (1990)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/CalzarossaMT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/CalzarossaMT90
Maria Calzarossa, Raymond A. Marie, Kishor S. Trivedi:
System Performance with User Behavior Graphs. Perform. Evaluation 11(3): 155-164 (1990)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/questa/IbeT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/questa/IbeT90
Oliver C. Ibe, Kishor S. Trivedi:
Two Queues with Alternating Service and Server Breakdown. Queueing Syst. Theory Appl. 7(3): 253-268 (1990)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/CiardoMST90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/CiardoMST90
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)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/BobbioT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/BobbioT90
Andrea Bobbio, Kishor S. Trivedi:
Computing Cumulative Measures of Stiff Markov Chains Using Aggregation. IEEE Trans. Computers 39(10): 1291-1298 (1990)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/ACMse/MuppalaT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACMse/MuppalaT90
Jogesh K. Muppala, Kishor S. Trivedi:
GSPM models: sensitivity analysis and applications. ACM Southeast Regional Conference 1990: 25-33
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/VeeraraghavanT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/VeeraraghavanT90
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 lists?

1989
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/ibmrd/SmithT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ibmrd/SmithT89
W. Earl Smith, Kishor S. Trivedi:
Dependability Evaluation of a Class of Multi-Loop Topologies for Local Area Networks. IBM J. Res. Dev. 33(5): 511-423 (1989)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/informs/ReibmanTKC89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informs/ReibmanTKC89
Andrew L. Reibman, Kishor S. Trivedi, Sanjaya Kumar, Gianfranco Ciardo:
Analysis of Stiff Markov Chains. INFORMS J. Comput. 1(2): 126-133 (1989)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/DuganT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/DuganT89
Joanne Bechta Dugan, Kishor S. Trivedi:
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems. IEEE Trans. Computers 38(6): 775-787 (1989)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/BlakeT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/BlakeT89
James T. Blake, Kishor S. Trivedi:
Multistage Interconnection Network Reliability. IEEE Trans. Computers 38(11): 1600-1604 (1989)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/ThambiduraiPT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/ThambiduraiPT89
Philip M. Thambidurai, You-Keun Park, Kishor S. Trivedi:
On reliability modelling of fault-tolerant distributed systems. ICDCS 1989: 136-142
[c28]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icpp/ChimentoT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/ChimentoT89
Phillip F. Chimento Jr., Kishor S. Trivedi:
Completion Times of Programs on Concurrent Processors with Failure and Repair. ICPP (1) 1989: 167-171
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/IbeSHT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/IbeSHT89
Oliver C. Ibe, Archana Sathaye, Richard C. Howe, Kishor S. Trivedi:
Stochastic Petri Net Modeling of VAXcluster System Availability. PNPM 1989: 112-121
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/CiardoMT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/CiardoMT89
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi:
SPNP: Stochastic Petri Net Package. PNPM 1989: 142-151
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/ThambiduraiT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/ThambiduraiT89
Philip M. Thambidurai, Kishor S. Trivedi:
Transient Overloads in Fault-Tolerant Real-Time Systems. RTSS 1989: 126-133
1988
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/cor/ReibmanT88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cor/ReibmanT88
Andrew L. Reibman, Kishor S. Trivedi:
Numerical transient analysis of markov models. Comput. Oper. Res. 15(1): 19-36 (1988)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/SmithTR88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/SmithTR88
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)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/HsuehIT88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/HsuehIT88
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)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/BlakeT88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/BlakeT88
James T. Blake, Kishor S. Trivedi:
Reliabilities of two fault-tolerant interconnection networks. FTCS 1988: 300-305
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmetrics/BlakeRT88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmetrics/BlakeRT88
James T. Blake, Andrew L. Reibman, Kishor S. Trivedi:
Sensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems. SIGMETRICS 1988: 177-186
1987
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/MarieT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/MarieT87
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)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/MarieRT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/MarieRT87
Raymond A. Marie, Andrew L. Reibman, Kishor S. Trivedi:
Transient Analysis of Acyclic Markov Chains. Perform. Evaluation 7(3): 175-194 (1987)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/NicolaKT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/NicolaKT87
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)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/SahnerT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/SahnerT87
Robin A. Sahner, Kishor S. Trivedi:
Performance and Reliability Analysis Using Directed Acyclic Graphs. IEEE Trans. Software Eng. 13(10): 1105-1114 (1987)
[c22]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mcpr/HsuehIT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mcpr/HsuehIT87
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
[c21]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mcpr/TrivediRS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mcpr/TrivediRS87
Kishor S. Trivedi, Andrew L. Reibman, Roger Smith:
Transient Analysis of Markov and Markov Reward Models. Computer Performance and Reliability 1987: 535-545
1986
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/GeistSTD86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/GeistSTD86
Robert Geist, Mark Smotherman, Kishor S. Trivedi, Joanne Bechta Dugan:
The Reliability of Life-Critical Computer Systems. Acta Informatica 23(6): 621-642 (1986)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/KulkarniNT86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/KulkarniNT86
Vidyadhar G. Kulkarni, Victor F. Nicola, Kishor S. Trivedi:
On modelling the performance and reliability of multimode computer systems. J. Syst. Softw. 6(1-2): 175-182 (1986)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/SmothermanGT86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/SmothermanGT86
Mark Smotherman, Robert Geist, Kishor S. Trivedi:
Provably Conservative Approximations to Complex Reliability Models. IEEE Trans. Computers 35(4): 333-338 (1986)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/BobbioT86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/BobbioT86
Andrea Bobbio, Kishor S. Trivedi:
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains. IEEE Trans. Computers 35(9): 803-814 (1986)
[c20]
- view
  - electronic edition @ cmg.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/cmg/CalzarossaT86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmg/CalzarossaT86
Maria Calzarossa, Kishor S. Trivedi:
Performance Analysis Using User Behavior Graphs. Int. CMG Conference 1986: 394-397
[c19]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fjcc/SahnerT86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fjcc/SahnerT86
Robin A. Sahner, Kishor S. Trivedi:
A Hierarchical, Combinatorial-Markov Method of Solving Complex Reliability Models. FJCC 1986: 817-825
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmetrics/NicolaKT86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmetrics/NicolaKT86
Victor F. Nicola, Vidyadhar G. Kulkarni, Kishor S. Trivedi:
Queueing Analysis of Fault-Tolerant Computer Systems. SIGMETRICS 1986: 203
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmetrics/1986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmetrics/1986
Harry G. Perros, William J. Stewart, Kishor S. Trivedi:
Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation, North Carolina, State University, USA, May 28-30, 1986. ACM 1986, ISBN 0-89791-184-9 [contents]
1985
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/McGoughST85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/McGoughST85
John McGough, Mark Smotherman, Kishor S. Trivedi:
The Conservativeness of Reliability Estimates Based on Instantaneous Coverage. IEEE Trans. Computers 34(7): 602-609 (1985)
[c17]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pnpm/DuganBCT85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/DuganBCT85
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
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icftcs/TrivediDGS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icftcs/TrivediDGS84
Kishor S. Trivedi, Joanne Bechta Dugan, Robert Geist, Mark Smotherman:
Issues in reliability modeling of fault-tolerant computers. Fehlertolerierende Rechensysteme 1984: 228-239
[c15]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/performance/DuganTGN84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/performance/DuganTGN84
Joanne Bechta Dugan, Kishor S. Trivedi, Robert Geist, Victor F. Nicola:
Extended Stochastic Petri Nets: Applications and Analysis. Performance 1984: 507-519
1983
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BannisterT83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BannisterT83
Joseph A. Bannister, Kishor S. Trivedi:
Task Allocation in Fault-Tolerant Distributed Systems. Acta Informatica 20: 261-281 (1983)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/HeidelbergerT83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/HeidelbergerT83
Philip Heidelberger, Kishor S. Trivedi:
Analytic Queueing Models for Programs with Internal Concurrency. IEEE Trans. Computers 32(1): 73-82 (1983)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/GeistT83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/GeistT83
Robert Geist, Kishor S. Trivedi:
Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems. IEEE Trans. Computers 32(12): 1118-1127 (1983)
[c14]
- view
  - electronic edition @ cmg.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/cmg/Trivedi83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmg/Trivedi83
Kishor S. Trivedi:
Computer Science and Applied Probability (abstract). Int. CMG Conference 1983: 467
[c13]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mcpr/Trivedi83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mcpr/Trivedi83
Kishor S. Trivedi:
Reliability Evaluation for Fault-Tolerant Systems. Computer Performance and Reliability 1983: 403-416
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/mmb/HaringT83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmb/HaringT83
Günter Haring, Kishor S. Trivedi:
On the Optimal Distribution of Processing Power in a Star Configured System. MMB 1983: 353-365
[c11]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/performance/GeistT83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/performance/GeistT83
Robert Geist, Kishor S. Trivedi:
The Integration of User Perception in the Heterogeneous M/M/2 Queue. Performance 1983: 203-216
[c10]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/performance/BaccelliT83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/performance/BaccelliT83
François Baccelli, Kishor S. Trivedi:
Analysis of M/G/2 - Standby Redundant System. Performance 1983: 457-476
1982
[b2]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0079988
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0079988
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
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/GeistT82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/GeistT82
Robert Geist, Kishor S. Trivedi:
Optimal Design of Multilevel Storage Hierarchies. IEEE Trans. Computers 31(3): 249-260 (1982)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/HeidelbergerT82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/HeidelbergerT82
Philip Heidelberger, Kishor S. Trivedi:
Queueing Network Models for Parallel Processing with Asynchronous Tasks. IEEE Trans. Computers 31(11): 1099-1109 (1982)
[c9]
- view
  - electronic edition @ cmg.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/cmg/TrivediM82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmg/TrivediM82
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
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/TrivediS81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/TrivediS81
Kishor S. Trivedi, Timothy M. Sigmon:
Optimal Design of Linear Storage Hierarchies. J. ACM 28(2): 270-288 (1981)
[c8]
- view
  - electronic edition @ cmg.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/cmg/TrivediM81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmg/TrivediM81
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
- export record
  dblp key:
  - conf/arith/1981
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/1981
Kishor S. Trivedi, Daniel E. Atkins:
5th IEEE Symposium on Computer Arithmetic, ARITH 1981, Ann Arbor, MI, USA, May 16-19, 1981. IEEE Computer Society 1981 [contents]
1980
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/TrivediK80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/TrivediK80
Kishor S. Trivedi, Robert E. Kinicki:
A Model for Computer Configuration Design. Computer 13(4): 47-54 (1980)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/TrivediWS80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/TrivediWS80
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)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/isca/Trivedi80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isca/Trivedi80
Kishor S. Trivedi:
Designing Linear Storage Hierarchies so as to Maximize Reliability Subject to Cost and Performance Constraints. ISCA 1980: 211-217
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/WagnerT80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/WagnerT80
Robert A. Wagner, Kishor S. Trivedi:
Hardware configuration selection through discretizing a continuous variable solution. Performance 1980: 127-142

1970 – 1979

see FAQ

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

1979
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/computing/Trivedi79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/Trivedi79
Kishor S. Trivedi:
An analysis of prepaging. Computing 22(3): 191-210 (1979)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/TrivediW79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/TrivediW79
Kishor S. Trivedi, Robert A. Wagner:
A Decision Model for Closed Queuing Networks. IEEE Trans. Software Eng. 5(4): 328-332 (1979)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/isca/TrivediS79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isca/TrivediS79
Kishor S. Trivedi, Timothy M. Sigmon:
A Performance Comparison of Optimally Designed Computer Systems with and without Virtual Memory. ISCA 1979: 117-121
1978
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Trivedi78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Trivedi78
Kishor S. Trivedi:
Analytic Modeling of Computer Systems. Computer 11(10): 38-56 (1978)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/arith/TrivediR78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/TrivediR78
Kishor S. Trivedi, Joseph G. Rusnak:
Higher radix on-line division. IEEE Symposium on Computer Arithmetic 1978: 164-174
1977
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/TrivediE77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/TrivediE77
Kishor S. Trivedi, Milos D. Ercegovac:
On-Line Algorithms for Division and Multiplication. IEEE Trans. Computers 26(7): 681-687 (1977)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/Trivedi77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/Trivedi77
Kishor S. Trivedi:
On the Use of Continued Fractions for Digital Computer Arithmetic. IEEE Trans. Computers 26(7): 700-704 (1977)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/Trivedi77a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/Trivedi77a
Kishor S. Trivedi:
On the Paging Performance of Array Algorithms. IEEE Trans. Computers 26(10): 938-947 (1977)
1976
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Trivedi76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Trivedi76
Kishor S. Trivedi:
On a Semaphore Anomaly. Inf. Process. Lett. 5(3): 88-89 (1976)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/Trivedi76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/Trivedi76
Kishor S. Trivedi:
Prepaging and Applications to Array Algorithms. IEEE Trans. Computers 25(9): 915-921 (1976)
1975
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/arith/Trivedi75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/Trivedi75
Kishor S. Trivedi:
On the use of continued emotions for digital computer arithmetic. IEEE Symposium on Computer Arithmetic 1975: 137-146
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/arith/TrivediE75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/TrivediE75
Kishor S. Trivedi, Milos D. Ercegovac:
On-line algorithms for division and multiplication. IEEE Symposium on Computer Arithmetic 1975: 161-167
1974
[b1]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - phd/us/Trivedi74
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Trivedi74
Kishor S. Trivedi:
Prepaging and Applications to Structured Array Problems. University of Illinois Urbana-Champaign, USA, 1974
1973
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/RobertsonT73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/RobertsonT73
James E. Robertson, Kishor S. Trivedi:
The Status of Investigations into Computer Hardware Design Based on the Use of Continued Fractions. IEEE Trans. Computers 22(6): 555-560 (1973)
1972
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/arith/RobertsonT72
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/RobertsonT72
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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.