default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKishor S. Trivedi
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
- 2024
[j226]Kishor S. Trivedi
, Andrea Bobbio:
Reliability and Availability Analysis in Practice: Toward Multilevel Models for Complex Systems. Computer 57(4): 82-92 (2024)- [j225]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]Kishor S. Trivedi:
Reliability and Availability Assessment. IEEE Trans. Reliab. 73(1): 17-18 (2024) - [j223]Kishor S. Trivedi, Michael Grottke, Javier Alonso Lopez:
Rethinking Software Fault Tolerance. IEEE Trans. Reliab. 73(1): 67-72 (2024) - 2023
- [j222]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]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]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]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]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]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]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]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]Michael Grottke, Kishor S. Trivedi:
Aging, Fast and Slow. Computer 55(5): 73-75 (2022) - [j215]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]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]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]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]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]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]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]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]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]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]Kai-Yuan Cai, Kishor S. Trivedi, Beibei Yin:
S-ADA: Software as an Autonomous, Dependable and Affordable System. DSN (Supplements) 2021: 17-18 - [c276]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]Alberto Avritzer, Kishor S. Trivedi, Alexandru Iosup:
Welcome to the 3rd Workshop on Education and Practice of Performance Engineering. ICPE 2021: 281 - 2020
- [j205]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]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]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]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]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]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]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]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]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]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]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]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
- 2019
- [j199]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]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]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]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]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]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]Kishor S. Trivedi:
Reliability and Availability Assessment in Practice. DS-RT 2019: 1 - [c271]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]Daniel S. Menasché, Kishor S. Trivedi, Eitan Altman:
Rejuvenation and the Age of Information. ISSRE Workshops 2019: 225-231 - [c269]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]Kishor S. Trivedi:
Software Aging and Software Rejuvenation: Keynote. ICPE 2019: 1 - [c267]Alberto Avritzer, Kishor S. Trivedi:
2nd Workshop on Education and Practice ofPerformance Engineering: WEPPE'19 Chairs' Welcome. ICPE Companion 2019: 57-59 - [c266]Kishor S. Trivedi:
Performance Engineering Education: A Viewpoint. ICPE Companion 2019: 61 - [p4]Antonio Puliafito, Kishor S. Trivedi:
Systems Modelling: Methodologies and Tools. Systems Modeling: Methodologies and Tools 2019: 1-7 - [e5]Antonio Puliafito, Kishor S. Trivedi:
Systems Modeling: Methodologies and Tools. Springer 2019, ISBN 978-3-319-92377-2 [contents] - 2018
- [j193]Reza Entezari-Maleki, Kishor S. Trivedi, Leonel Sousa, Ali Movaghar:
Performability-Based Workflow Scheduling in Grids. Comput. J. 61(10): 1479-1495 (2018) - [j192]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]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]Stefano Sebastio, Kishor S. Trivedi, Javier Alonso:
Characterizing machines lifecycle in Google data centers. Perform. Evaluation 126: 39-63 (2018) - [j189]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]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]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]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]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]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]Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi:
Parametric Uncertainty Propagation through Dependability Models. LADC 2018: 10-18 - [c262]Harish Sukhwani, Nan Wang, Kishor S. Trivedi, Andy J. Rindos:
Performance Modeling of Hyperledger Fabric (Permissioned Blockchain Network). NCA 2018: 1-8 - 2017
- [b6]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]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]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]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]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]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]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]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]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]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]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]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]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]Kishor S. Trivedi:
Performance Engineering Education: A Viewpoint. ICPE Companion 2017: 179 - [c252]Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi:
Epistemic Uncertainty Propagation in Power Models. PASM 2017: 67-86 - 2016
- [j181]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]Xiaomin Ma, Kishor S. Trivedi:
Reliability and performance of general two-dimensional broadcast wireless network. Perform. Evaluation 95: 41-59 (2016) - [j179]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]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]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]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]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]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]Kishor S. Trivedi, Andrea Bobbio:
DSN 2016 Tutorial: Reliability and Availability Modeling in Practice. DSN Workshops 2016: 263 - [c248]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]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]Xiaolin Chang, Zhenjiang Zhang, Xiaodan Li, Kishor S. Trivedi:
Model-Based Survivability Analysis of a Virtualized System. LCN 2016: 611-614 - [c245]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]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]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]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]Riccardo Pinciroli, Kishor S. Trivedi, Andrea Bobbio:
Parametric Sensitivity and Uncertainty Propagation in Dependability Models. VALUETOOLS 2016 - [e4]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]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]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]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]Kishor S. Trivedi, Ruofan Xia:
Quantification of system survivability. Telecommun. Syst. 60(4): 451-470 (2015) - [j171]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]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]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]Poul E. Heegaard, Bjarne E. Helvik, Kishor S. Trivedi, Fumio Machida:
Survivability as a generalization of recovery. DRCN 2015: 133-140 - [c237]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]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]Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi:
Emulating Environment-Dependent Software Faults. COUFLESS@ICSE 2015: 34-40 - [c234]Ruofan Xia, Fumio Machida, Kishor S. Trivedi:
A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes.