
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
- 2020
- [j204]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) - [j203]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) - [j202]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) - [j201]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) - [j200]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) - [j199]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) - [c267]Alberto Avritzer, Domenico Cotroneo, Yennun Huang, Kishor S. Trivedi:
Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract. ISSRE Workshops 2020: 319-320 - [c266]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 - [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
2010 – 2019
- 2019
- [j198]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) - [j197]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) - [j196]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) - [j195]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) - [j194]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) - [j193]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) - [c265]Kishor S. Trivedi:
Reliability and Availability Assessment in Practice. DS-RT 2019: 1 - [c264]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 - [c263]Daniel S. Menasché, Kishor S. Trivedi, Eitan Altman:
Rejuvenation and the Age of Information. ISSRE Workshops 2019: 225-231 - [c262]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 - [c261]Kishor S. Trivedi:
Software Aging and Software Rejuvenation: Keynote. ICPE 2019: 1 - [c260]Alberto Avritzer, Kishor S. Trivedi:
2nd Workshop on Education and Practice ofPerformance Engineering: WEPPE'19 Chairs' Welcome. ICPE Companion 2019: 57-59 - [c259]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
- [j192]Reza Entezari-Maleki
, Kishor S. Trivedi, Leonel Sousa, Ali Movaghar:
Performability-Based Workflow Scheduling in Grids. Comput. J. 61(10): 1479-1495 (2018) - [j191]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) - [j190]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) - [j189]Stefano Sebastio, Kishor S. Trivedi, Javier Alonso:
Characterizing machines lifecycle in Google data centers. Perform. Evaluation 126: 39-63 (2018) - [j188]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) - [j187]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) - [j186]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) - [j185]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) - [c258]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 - [c257]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 - [c256]Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi:
Parametric Uncertainty Propagation through Dependability Models. LADC 2018: 10-18 - [c255]Harish Sukhwani, Nan Wang, Kishor S. Trivedi, Andy 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 - [j184]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) - [j183]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) - [j182]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) - [j181]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) - [c254]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 - [c253]Xiaomin Ma, Gabe Kanelopoulos, Kishor S. Trivedi:
Application-level scheme to enhance VANET event-driven multi-hop safety-related services. ICNC 2017: 860-864 - [c252]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 - [c251]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 - [c250]Harish Sukhwani, Rivalino Matias, Kishor S. Trivedi, Andy Rindos:
Monitoring and Mitigating Software Aging on IBM Cloud Controller System. ISSRE Workshops 2017: 266-272 - [c249]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 - [c248]Harish Sukhwani, José M. Martínez, Xiaolin Chang, Kishor S. Trivedi, Andy Rindos:
Performance Modeling of PBFT Consensus Process for Permissioned Blockchain Network (Hyperledger Fabric). SRDS 2017: 253-255 - [c247]Kishor S. Trivedi:
Performance Engineering Education: A Viewpoint. ICPE Companion 2017: 179 - 2016
- [j180]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) - [j179]Xiaomin Ma, Kishor S. Trivedi:
Reliability and performance of general two-dimensional broadcast wireless network. Perform. Evaluation 95: 41-59 (2016) - [j178]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) - [j177]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) - [j176]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) - [j175]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) - [c246]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 - [c245]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 - [c244]Kishor S. Trivedi, Andrea Bobbio
:
DSN 2016 Tutorial: Reliability and Availability Modeling in Practice. DSN Workshops 2016: 263 - [c243]Rivalino Matias, Guilherme O. de Sena, Artur Andrzejak, Kishor S. Trivedi:
Software Aging Detection Based on Differential Analysis: An Experimental Study. ISSRE Workshops 2016: 71-77 - [c242]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 - [c241]Xiaolin Chang, Zhenjiang Zhang, Xiaodan Li, Kishor S. Trivedi:
Model-Based Survivability Analysis of a Virtualized System. LCN 2016: 611-614 - [c240]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 - [c239]Harish Sukhwani, Javier Alonso, Kishor S. Trivedi, Issac Mcginnis:
Software Reliability Analysis of NASA Space Flight Software: A Practical Experience. QRS 2016: 386-397 - [c238]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 - [c237]José M. Martínez, Kishor S. Trivedi, Benny Cheng:
Efficient Computation of the Mean Time to Security Failure in Cyber Physical Systems. VALUETOOLS 2016 - [c236]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
- [j174]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) - [j173]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) - [j172]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) - [j171]Kishor S. Trivedi, Ruofan Xia:
Quantification of system survivability. Telecommun. Syst. 60(4): 451-470 (2015) - [j170]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) - [c235]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 - [c234]Dario Bruneo
, Francesco Longo
, Marco Scarpa, Antonio Puliafito, Rahul Ghosh, Kishor S. Trivedi:
An SRN-Based Resiliency Quantification Approach. Petri Nets 2015: 98-116 - [c233]Poul E. Heegaard
, Bjarne E. Helvik
, Kishor S. Trivedi, Fumio Machida:
Survivability as a generalization of recovery. DRCN 2015: 133-140 - [c232]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 - [c231]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 - [c230]Roberto Pietrantuono
, Stefano Russo
, Kishor S. Trivedi:
Emulating Environment-Dependent Software Faults. COUFLESS@ICSE 2015: 34-40 - [c229]Ruofan Xia, Fumio Machida, Kishor S. Trivedi:
A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes. PRDC 2015: 169-178 - 2014
- [j169]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) - [j168]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) - [j167]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) - [j166]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) - [j165]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) - [j164]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) - [j163]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) - [j162]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) - [j161]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) - [j160]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) - [j159]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) - [c228]Ruofan Xia, Fumio Machida, Kishor S. Trivedi:
A Markov Decision Process Approach for Optimal Data Backup Scheduling. DSN 2014: 660-665 - [c227]Salvatore Distefano
, Francesco Longo
, Marco Scarpa, Kishor S. Trivedi:
Non-Markovian Modeling of a BladeCenter Chassis Midplane. EPEW 2014: 255-269 - [c226]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 - [c225]Rekha Singhal, Manoj K. Nambiar, Harish Sukhwani, Kishor S. Trivedi:
Performability Comparison of Lustre and HDFS for MR Applications. ISSRE Workshops 2014: 51 - [c224]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 - [c223]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 - [c222]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 - [c221]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]Rahul Ghosh, Francesco Longo, Kishor S. Trivedi:
Performance Analysis for Large IaaS Clouds. Large Scale and Big Data 2014: 557-578 - [e3]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
- [j158]Nikola Rozic, Dinko Begusic, Josko Radic, Nicolae Oaca, Yuguang Fang, Yevgeni Koucheryavy
, Alexey V. Vinel, Wojciech Molisz, Jacek Rak, Kishor S. Trivedi:
Global communications newsletter: June 2013. IEEE Commun. Mag. 51(6) (2013) - [j157]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) - [j156]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) - [j155]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) - [j154]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) - [j153]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) - [j152]Salvatore Distefano
, Kishor S. Trivedi:
Non-Markovian State-Space Models in Dependability Evaluation. Qual. Reliab. Eng. Int. 29(2): 225-239 (2013) - [j151]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) - [j150]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) - [j149]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) - [j148]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) - [j147]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) - [c220]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 - [c219]Flavio Frattini, Rahul Ghosh, Marcello Cinque
, Andy Rindos, Kishor S. Trivedi:
Analysis of bugs in Apache Virtual Computing Lab. DSN 2013: 1-6 - [c218]Xiaomin Ma, Xiaoyan Yin, Matthew Wilson, Kishor S. Trivedi:
MAC and application-level broadcast reliability in vanets with channel fading. ICNC 2013: 756-761 - [c217]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 - [c216]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 - [c215]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 - [c214]