


Остановите войну!
for scientists:


default search action
Kishor 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
- 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) - 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
- [b5]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 K. 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. PRDC 2015: 169-178 - 2014
- [j170]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]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]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]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]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]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]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]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]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]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]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]