Kishor S. Trivedi

527 papers A* 14A 59B 38C 28Misc 11Journal 231Unranked 129
YearRankTypeTitle / Venue / Authors
2026 J jnl
Reliability and Availability in Virtualized Networks: A Survey on Standards, Modeling Approaches, and Research Challenges.
IEEE Commun. Surv. Tutorials
Mario Di Mauro, Walter Cerroni, Fabio Postiglione, Massimo Tornatore, Kishor S. Trivedi
2025 J jnl
Reliability and Availability in Virtualized Networks: A Survey on Standards, Modeling Approaches, and Research Challenges.
CoRR
Mario Di Mauro, Walter Cerroni, Fabio Postiglione, Massimo Tornatore, Kishor S. Trivedi
2025 J jnl
Understanding Container-Based Services Under Software Aging: Dependability and Performance Views.
IEEE Trans. Sustain. Comput.
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi
2024 J jnl
Cross-project concurrency bug prediction using domain-adversarial neural network.
J. Syst. Softw.
Fangyun Qin, Zheng Zheng, Yulei Sui, Siqian Gong, Zhi-Ping Shi, Kishor S. Trivedi
2024 J jnl
Reliability and Availability Analysis in Practice: Toward Multilevel Models for Complex Systems.
Computer
Kishor S. Trivedi, Andrea Bobbio
2024 J jnl
Reliability and Availability Assessment.
IEEE Trans. Reliab.
Kishor S. Trivedi
2024 J jnl
Rethinking Software Fault Tolerance.
IEEE Trans. Reliab.
Kishor S. Trivedi, Michael Grottke, Javier Alonso Lopez
2023 J jnl
Editorial: Software Reliability and Dependability Engineering.
IEEE Trans. Dependable Secur. Comput.
Zheng Zheng, Lorenzo Strigini, Nuno Antunes, Kishor S. Trivedi
2023 J jnl
Guest Editorial Special Section on Applied Software Aging and Rejuvenation.
IEEE Trans. Emerg. Top. Comput.
Michael Grottke, Alberto Avritzer, Hironori Washizaki, Kishor S. Trivedi
2023 J jnl
Impact of Service Function Aging on the Dependability for MEC Service Function Chain.
IEEE Trans. Dependable Secur. Comput.
Jing Bai, Xiaolin Chang, Fumio Machida, Lili Jiang, Zhen Han, Kishor S. Trivedi
2023 J jnl
Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT.
IEEE Trans. Serv. Comput.
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Yaru Li
2023 J jnl
Towards Semi-Markov Model-based Dependability Evaluation of VM-based Multi-Domain Service Function Chain.
CoRR
Lina Liu, Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Haoran Zhu
2023 J jnl
Towards UAV-Based MEC Service Chain Resilience Evaluation: A Quantitative Modeling Approach.
IEEE Trans. Veh. Technol.
Jing Bai, Xiaolin Chang, Ricardo J. Rodríguez, Kishor S. Trivedi, Shupan Li
2023 J jnl
Understanding Container-based Services under Software Aging: Dependability and Performance Views.
CoRR
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi
2023 J jnl
Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View.
IEEE Trans. Cloud Comput.
Jing Bai, Yaru Li, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi
2022 J jnl
Aging, Fast and Slow.
Computer
Michael Grottke, Kishor S. Trivedi
2022 J jnl
DeepSIM: Deep Semantic Information-Based Automatic Mandelbug Classification.
IEEE Trans. Reliab.
Xiaoting Du, Zheng Zheng, Guanping Xiao, Zenghui Zhou, Kishor S. Trivedi
2022 J jnl
Job Completion Time Under Migration-Based Dynamic Platform Technique.
IEEE Trans. Serv. Comput.
Xiaolin Chang, Yu Shi, Zhenjiang Zhang, Zhen Xu, Kishor S. Trivedi
2022 J jnl
Quantitative understanding serial-parallel hybrid sfc services: a dependability perspective.
Peer-to-Peer Netw. Appl.
Jing Bai, Xiaolin Chang, Fumio Machida, Zhen Han, Yang Xu, Kishor S. Trivedi
2022 J jnl
Service Availability Analysis in a Virtualized System: A Markov Regenerative Model Approach.
IEEE Trans. Cloud Comput.
Jing Bai, Xiaolin Chang, Gao-Rong Ning, Zhenjiang Zhang, Kishor S. Trivedi
2021 — conf
A Multisite Characterization Study on Failure Causes in System and Applications Software.
SBESC
Caio Augusto R. Dos Santos, Rivalino Matias, Kishor S. Trivedi
2021 J jnl
ARES: A Framework for Management of Aging and Rejuvenation in Softwarized Networks.
IEEE Trans. Netw. Serv. Manag.
Petra Vizarreta, Christian Sieber, Andreas Blenk, Amaury Van Bemten, Vinod Ramachandra, Wolfgang Kellerer, Carmen Mas Machuca, Kishor S. Trivedi
2021 J jnl
Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods.
IEEE Trans. Reliab.
Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Ivan Mura
2021 J jnl
Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs.
IEEE Trans. Netw. Sci. Eng.
Reza Entezari-Maleki, Mohammed Gharib, Shahbaz Rezaei, Kishor S. Trivedi, Ali Movaghar
2021 J jnl
Quantitative Security Evaluation of Intrusion Tolerant Systems With Markovian Arrivals.
IEEE Trans. Reliab.
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
2021 J jnl
Resilience-Driven Quantitative Analysis of Vehicle Platooning Service.
IEEE Trans. Veh. Technol.
Jing Bai, Xiaolin Chang, Kishor S. Trivedi, Zhen Han
2021 — conf
S-ADA: Software as an Autonomous, Dependable and Affordable System.
DSN (Supplements)
Kai-Yuan Cai, Kishor S. Trivedi, Beibei Yin
2021 J jnl
SINR-Based Analysis of IEEE 802.11p/bd Broadcast VANETs for Safety Services.
IEEE Trans. Netw. Serv. Manag.
Xiaomin Ma, Kishor S. Trivedi
2021 B conf
Welcome to the 3rd Workshop on Education and Practice of Performance Engineering.
ICPE
Alberto Avritzer, Kishor S. Trivedi, Alexandru Iosup
2020 — conf
A Statistical Approach to Predict Operating System Failures Based on Multiple Failures Association.
SBESC
Caio Augusto R. Dos Santos, Rivalino Matias, Kishor S. Trivedi
2020 J jnl
Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems.
Future Gener. Comput. Syst.
Fabio Antonelli, Vittorio Cortellessa, Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi, Catia Trubiani
2020 J jnl
Analyzing Software Rejuvenation Techniques in a Virtualized System: Service Provider and User Views.
IEEE Access
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Zhen Han
2020 — conf
Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract.
ISSRE Workshops
Alberto Avritzer, Domenico Cotroneo, Yennun Huang, Kishor S. Trivedi
2020 J jnl
DASON: Dependability Assessment Framework for Imperfect Distributed SDN Implementations.
IEEE Trans. Netw. Serv. Manag.
Petra Vizarreta, Kishor S. Trivedi, Veena B. Mendiratta, Wolfgang Kellerer, Carmen Mas Machuca
2020 — ch.
Future Directions for Software Aging and Rejuvenation Research.
Handbook of Software Aging and Rejuvenation
Alberto Avritzer, Roberto Pietrantuono, Kishor S. Trivedi
2020 J jnl
Guest editorial: special issue on modeling and mitigation techniques for software aging.
Softw. Qual. J.
Zheng Zheng, Kishor S. Trivedi
2020 — book
Handbook of Software Aging and Rejuvenation - Fundamentals, Methods, Applications, and Future Directions
Handbook of Software Aging and Rejuvenation
Tadashi Dohi, Kishor S. Trivedi, Alberto Avritzer
2020 J jnl
Markov Regenerative Models of WebServers for Their User-Perceived Availability and Bottlenecks.
IEEE Trans. Dependable Secur. Comput.
Zheng Zheng, Kishor S. Trivedi, Nan Wang, Kun Qiu
2020 — ch.
Modelling of Software Failures.
Guide to Disaster-Resilient Communication Networks
Bjarne E. Helvik, Petra Vizarreta, Poul E. Heegaard, Kishor S. Trivedi, Carmen Mas Machuca
2020 — ch.
Software Aging and Rejuvenation: A Genesis.
Handbook of Software Aging and Rejuvenation
Alberto Avritzer, Domenico Cotroneo, Yennun Huang, Kishor S. Trivedi
2020 J jnl
Stress Testing With Influencing Factors to Accelerate Data Race Software Failures.
IEEE Trans. Reliab.
Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Beibei Yin
2019 — conf
2nd Workshop on Education and Practice ofPerformance Engineering: WEPPE'19 Chairs' Welcome.
ICPE Companion
Alberto Avritzer, Kishor S. Trivedi
2019 — conf
An Empirical Exploratory Analysis of Failure Sequences in a Commodity Operating System.
SBESC
Caio Augusto R. Dos Santos, Rivalino Matias, Kishor S. Trivedi
2019 J jnl
An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective.
IEEE Trans. Reliab.
Guanping Xiao, Zheng Zheng, Beibei Yin, Kishor S. Trivedi, Xiaoting Du, Kai-Yuan Cai
2019 J jnl
Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds.
IEEE Trans. Cloud Comput.
Ehsan Ataie, Reza Entezari-Maleki, Leila Rashidi, Kishor S. Trivedi, Danilo Ardagna, Ali Movaghar
2019 — conf
Performance Engineering Education: A Viewpoint.
ICPE Companion
Kishor S. Trivedi
2019 J jnl
Performance Evaluation of Epidemic Content Retrieval in DTNs With Restricted Mobility.
IEEE Trans. Netw. Serv. Manag.
Leila Rashidi, Reza Entezari-Maleki, Dimitris Chatzopoulos, Pan Hui, Kishor S. Trivedi, Ali Movaghar
2019 J jnl
Quantitative security analysis of a dynamic network system under lateral movement-based attacks.
Reliab. Eng. Syst. Saf.
Yu Shi, Xiaolin Chang, Ricardo J. Rodríguez, Zhenjiang Zhang, Kishor S. Trivedi
2019 — conf
Rejuvenation and the Age of Information.
ISSRE Workshops
Daniel S. Menasché, Kishor S. Trivedi, Eitan Altman
2019 C conf
Reliability and Availability Assessment in Practice.
DS-RT
Kishor S. Trivedi
2019 B conf
Software Aging and Software Rejuvenation: Keynote.
ICPE
Kishor S. Trivedi
2019 J jnl
Studying Aging-Related Bug Prediction Using Cross-Project Models.
IEEE Trans. Reliab.
Fangyun Qin, Zheng Zheng, Yu Qiao, Kishor S. Trivedi
2019 A conf
Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction.
ISSRE
Xiaohui Wan, Zheng Zheng, Fangyun Qin, Yu Qiao, Kishor S. Trivedi
2019 — book
Systems Modeling: Methodologies and Tools
Antonio Puliafito, Kishor S. Trivedi
2019 — ch.
Systems Modelling: Methodologies and Tools.
Systems Modeling: Methodologies and Tools
Antonio Puliafito, Kishor S. Trivedi
2019 J jnl
Two-Level Rejuvenation for Android Smartphones and Its Optimization.
IEEE Trans. Reliab.
Yu Qiao, Zheng Zheng, Yunyu Fang, Fangyun Qin, Kishor S. Trivedi, Kai-Yuan Cai
2018 J jnl
Assessing the Maturity of SDN Controllers With Software Reliability Growth Models.
IEEE Trans. Netw. Serv. Manag.
Petra Vizarreta, Kishor S. Trivedi, Bjarne E. Helvik, Poul E. Heegaard, Andreas Blenk, Wolfgang Kellerer, Carmen Mas Machuca
2018 J jnl
Characterizing machines lifecycle in Google data centers.
Perform. Evaluation
Stefano Sebastio, Kishor S. Trivedi, Javier Alonso
2018 J jnl
Effective Modeling Approach for IaaS Data Center Performance Analysis under Heterogeneous Workload.
IEEE Trans. Cloud Comput.
Xiaolin Chang, Ruofan Xia, Jogesh K. Muppala, Kishor S. Trivedi, Jiqiang Liu
2018 J jnl
Model-based sensitivity analysis of IaaS cloud availability.
Future Gener. Comput. Syst.
Bo Liu, Xiaolin Chang, Zhen Han, Kishor S. Trivedi, Ricardo J. Rodríguez
2018 J jnl
Optimal periodic software rejuvenation policies based on interval reliability criteria.
Reliab. Eng. Syst. Saf.
Tadashi Dohi, Junjun Zheng, Hiroyuki Okamura, Kishor S. Trivedi
2018 — conf
Parametric Uncertainty Propagation through Dependability Models.
LADC
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
2018 J jnl
Performability Modeling for RAID Storage Systems by Markov Regenerative Process.
IEEE Trans. Dependable Secur. Comput.
Fumio Machida, Ruofan Xia, Kishor S. Trivedi
2018 J jnl
Performability-Based Workflow Scheduling in Grids.
Comput. J.
Reza Entezari-Maleki, Kishor S. Trivedi, Leonel Sousa, Ali Movaghar
2018 B conf
Performance Modeling of Hyperledger Fabric (Permissioned Blockchain Network).
NCA
Harish Sukhwani, Nan Wang, Kishor S. Trivedi, Andy J. Rindos
2018 — conf
Robust Prediction Of Treatment Times In Concurrent Patient Care.
EMBC
Rafael B. Fricks, Henry Tseng, Marjorie Veihl, Kishor S. Trivedi, Roger C. Barr
2018 B conf
Survivability Model for Security and Dependability Analysis of a Vulnerable Critical System.
ICCCN
Xiaolin Chang, ShaoHua Lv, Ricardo J. Rodríguez, Kishor S. Trivedi
2018 J jnl
Transient performance analysis of smart grid with dynamic power distribution.
Inf. Sci.
Xiaolin Chang, José M. Martínez, Kishor S. Trivedi
2017 J jnl
An Approach for Resiliency Quantification of Large Scale Systems.
SIGMETRICS Perform. Evaluation Rev.
Francesco Longo, Rahul Ghosh, Vijay K. Naik, Andrew J. Rindos, Kishor S. Trivedi
2017 C conf
An Empirical Investigation of Fault Triggers in Android Operating System.
PRDC
Fangyun Qin, Zheng Zheng, Xiaodan Li, Yu Qiao, Kishor S. Trivedi
2017 B conf
An empirical study of software reliability in SDN controllers.
CNSM
Petra Vizarreta, Kishor S. Trivedi, Bjarne E. Helvik, Poul E. Heegaard, Wolfgang Kellerer, Carmen Mas Machuca
2017 J jnl
Analytical Model and Performance Evaluation of Long-Term Evolution for Vehicle Safety Services.
IEEE Trans. Veh. Technol.
Wenfeng Li, Xiaomin Ma, Jun Wu, Kishor S. Trivedi, Xin-Lin Huang, Qingwen Liu
2017 Misc conf
Application-level scheme to enhance VANET event-driven multi-hop safety-related services.
ICNC
Xiaomin Ma, Gabe Kanelopoulos, Kishor S. Trivedi
2017 — conf
Epistemic Uncertainty Propagation in Power Models.
PASM
Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi
2017 — conf
Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip.
ICSRS
Riccardo Pinciroli, Andrea Bobbio, Cristiana Bolchini, Davide Cerotti, Marco Gribaudo, Antonio Miele, Kishor S. Trivedi
2017 A conf
Experience Report: Fault Triggers in Linux Operating System: from Evolution Perspective.
ISSRE
Guanping Xiao, Zheng Zheng, Beibei Yin, Kishor S. Trivedi, Xiaoting Du, Kai-Yuan Cai
2017 — conf
Monitoring and Mitigating Software Aging on IBM Cloud Controller System.
ISSRE Workshops
Harish Sukhwani, Rivalino Matias, Kishor S. Trivedi, Andy J. Rindos
2017 — conf
Performance Engineering Education: A Viewpoint.
ICPE Companion
Kishor S. Trivedi
2017 B conf
Performance Modeling of PBFT Consensus Process for Permissioned Blockchain Network (Hyperledger Fabric).
SRDS
Harish Sukhwani, José M. Martínez, Xiaolin Chang, Kishor S. Trivedi, Andy J. Rindos
2017 J jnl
Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis.
J. Grid Comput.
Rúbens de Souza Matos Júnior, Jamilson Dantas, Jean Araujo, Kishor S. Trivedi, Paulo Romero Martins Maciel
2017 — book
Reliability and Availability Engineering - Modeling, Analysis, and Applications
Kishor S. Trivedi, Andrea Bobbio
2017 J jnl
Semi-Markov Models of Composite Web Services for their Performance, Reliability and Bottlenecks.
IEEE Trans. Serv. Comput.
Zheng Zheng, Kishor S. Trivedi, Kun Qiu, Ruofan Xia
2017 A conf
Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure.
ISSRE
Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Bei-Bei Yin
2016 — ed.
10th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2016, Taormina, Italy, 25th-28th Oct 2016
VALUETOOLS
Antonio Puliafito, Kishor S. Trivedi, Bruno Tuffin, Marco Scarpa, Fumio Machida, Javier Alonso
2016 J jnl
Assessing survivability to support power grid investment decisions.
Reliab. Eng. Syst. Saf.
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
2016 C conf
Availability Modeling and Analysis of a Virtualized System Using Stochastic Reward Nets.
CIT
Dong Seong Kim, Jin B. Hong, Tuan Anh Nguyen, Fumio Machida, Jong Sou Park, Kishor S. Trivedi
2016 — conf
DSN 2016 Tutorial: Reliability and Availability Modeling in Practice.
DSN Workshops
Kishor S. Trivedi, Andrea Bobbio
2016 — conf
Efficient Computation of the Mean Time to Security Failure in Cyber Physical Systems.
VALUETOOLS
José M. Martínez, Kishor S. Trivedi, Benny Cheng
2016 J jnl
How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation.
J. Syst. Softw.
Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi
2016 B conf
Model-Based Survivability Analysis of a Virtualized System.
LCN
Xiaolin Chang, Zhenjiang Zhang, Xiaodan Li, Kishor S. Trivedi
2016 — conf
Modeling of VANET for BSM Safety Messaging at Intersections with Non-homogeneous Node Distribution.
Nets4Cars/Nets4Trains/Nets4Aircraft
Xiaomin Ma, Gregory Butron, Kishor S. Trivedi
2016 J jnl
Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process.
IEEE Trans. Reliab.
Gao-Rong Ning, Jing Zhao, Yunlong Lou, Javier Alonso, Rivalino Matias, Kishor S. Trivedi, Bei-Bei Yin, Kai-Yuan Cai
2016 — conf
Parametric Sensitivity and Uncertainty Propagation in Dependability Models.
VALUETOOLS
Riccardo Pinciroli, Kishor S. Trivedi, Andrea Bobbio
2016 J jnl
Recovery From Software Failures Caused by Mandelbugs.
IEEE Trans. Reliab.
Michael Grottke, Dong Seong Kim, Rajesh K. Mansharamani, Manoj Nambiar, Roberto Natella, Kishor S. Trivedi
2016 J jnl
Reliability and performance of general two-dimensional broadcast wireless network.
Perform. Evaluation
Xiaomin Ma, Kishor S. Trivedi
2016 J jnl
Reliability and survivability of vehicular ad hoc networks: An analytical approach.
Reliab. Eng. Syst. Saf.
Selvamuthu Dharmaraja, Resham Vinayak, Kishor S. Trivedi
2016 — conf
Resiliency Quantification for Large Scale Systems: An IaaS Cloud Use Case.
VALUETOOLS
Rahul Ghosh, Francesco Longo, Vijay K. Naik, Andrew J. Rindos, Kishor S. Trivedi
2016 — conf
Software Aging Detection Based on Differential Analysis: An Experimental Study.
ISSRE Workshops
Rivalino Matias, Guilherme Otavio de Sena, Artur Andrzejak, Kishor S. Trivedi
2016 C conf
Software Reliability Analysis of NASA Space Flight Software: A Practical Experience.
QRS
Harish Sukhwani, Javier Alonso, Kishor S. Trivedi, Issac Mcginnis
2016 — conf
Survivability Analysis of a Computer System Under an Advanced Persistent Threat Attack.
GraMSec
Ricardo J. Rodríguez, Xiaolin Chang, Xiaodan Li, Kishor S. Trivedi
2016 — conf
The Relationship between Software Bug Type and Number of Factors Involved in Failures.
ISSRE Workshops
Zachary B. Ratliff, D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Kishor S. Trivedi
2015 C conf
A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes.
PRDC
Ruofan Xia, Fumio Machida, Kishor S. Trivedi
2015 B conf
An SRN-Based Resiliency Quantification Approach.
Petri Nets
Dario Bruneo, Francesco Longo, Marco Scarpa, Antonio Puliafito, Rahul Ghosh, Kishor S. Trivedi
2015 B conf
Analytical Modeling of Reactive Autonomic Management Techniques in IaaS Clouds.
CLOUD
Dario Bruneo, Francesco Longo, Rahul Ghosh, Marco Scarpa, Antonio Puliafito, Kishor S. Trivedi
2015 J jnl
Defects per Million Computation in Service-Oriented Environments.
IEEE Trans. Serv. Comput.
Subrota K. Mondal, Xiaoyan Yin, Jogesh K. Muppala, Javier Alonso Lopez, Kishor S. Trivedi
2015 — conf
Emulating Environment-Dependent Software Faults.
COUFLESS@ICSE
Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi
2015 J jnl
Future research directions in design of reliable communication systems.
Telecommun. Syst.
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
2015 J jnl
Performability Evaluation of Grid Environments Using Stochastic Reward Nets.
IEEE Trans. Dependable Secur. Comput.
Reza Entezari-Maleki, Kishor S. Trivedi, Ali Movaghar
2015 J jnl
Quantification of system survivability.
Telecommun. Syst.
Kishor S. Trivedi, Ruofan Xia
2015 — conf
SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment.
DSN Workshops
Chun-Jen Chung, Tianyi Xing, Dijiang Huang, Deep Medhi, Kishor S. Trivedi
2015 J jnl
Sensitivity analysis of a hierarchical model of mobile cloud computing.
Simul. Model. Pract. Theory
Rúbens de Souza Matos Júnior, Jean Araujo, Danilo Oliveira, Paulo Romero Martins Maciel, Kishor S. Trivedi
2015 — conf
Survivability as a generalization of recovery.
DRCN
Poul E. Heegaard, Bjarne E. Helvik, Kishor S. Trivedi, Fumio Machida
2015 A conf
Workshop on Model Based Design for Cyber-Physical Systems (MB4CP).
DSN
Alberto Avritzer, Daniel Sadoc Menasché, Kishor S. Trivedi, Lucia Happe, Sahra Sedigh Sarvestani
2014 — ed.
3rd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2014, Hyderabad, India, June 1, 2014
SE4SG
Anne Koziolek, Kishor S. Trivedi, Naran M. Pindoriya
2014 A conf
A Markov Decision Process Approach for Optimal Data Backup Scheduling.
DSN
Ruofan Xia, Fumio Machida, Kishor S. Trivedi
2014 B conf
A Systematic Differential Analysis for Fast and Robust Detection of Software Aging.
SRDS
Rivalino Matias, Artur Andrzejak, Fumio Machida, Diego Elias, Kishor S. Trivedi
2014 J jnl
Assessing survivability of smart grid distribution network designs accounting for multiple failures.
Concurr. Comput. Pract. Exp.
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
2014 C conf
Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication.
PRDC
Subrota K. Mondal, Jogesh K. Muppala, Fumio Machida, Kishor S. Trivedi
2014 — conf
Defects Per Million (DPM): A user-oriented perspective of telecommunication systems.
GLOBECOM Workshops
Subrota K. Mondal, Jogesh K. Muppala, Kishor S. Trivedi
2014 J jnl
Ensuring the Performance of Apache HTTP Server Affected by Aging.
IEEE Trans. Dependable Secur. Comput.
Jing Zhao, Kishor S. Trivedi, Michael Grottke, Javier Alonso, Yanbin Wang
2014 J jnl
Fast computation of bounds for two-terminal network reliability.
Eur. J. Oper. Res.
Stefano Sebastio, Kishor S. Trivedi, Dazhi Wang, Xiaoyan Yin
2014 J jnl
Job completion time on a virtualized server with software rejuvenation.
ACM J. Emerg. Technol. Comput. Syst.
Fumio Machida, Victor F. Nicola, Kishor S. Trivedi
2014 J jnl
MAC and application level performance evaluation of beacon message dissemination in DSRC safety communication.
Perform. Evaluation
Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi
2014 — conf
Non-Markovian Modeling of a BladeCenter Chassis Midplane.
EPEW
Salvatore Distefano, Francesco Longo, Marco Scarpa, Kishor S. Trivedi
2014 — conf
Performability Comparison of Lustre and HDFS for MR Applications.
ISSRE Workshops
Rekha Singhal, Manoj Nambiar, Harish Sukhwani, Kishor S. Trivedi
2014 — ch.
Performance Analysis for Large IaaS Clouds.
Large Scale and Big Data
Rahul Ghosh, Francesco Longo, Kishor S. Trivedi
2014 J jnl
Performance and Availability Modeling of ITSystems with Data Backup and Restore.
IEEE Trans. Dependable Secur. Comput.
Ruofan Xia, Xiaoyan Yin, Javier Alonso Lopez, Fumio Machida, Kishor S. Trivedi
2014 J jnl
Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-Channel Schemes.
IEEE Trans. Computers
Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi, Alexey V. Vinel
2014 A conf
Reproducibility of Environment-Dependent Software Failures: An Experience Report.
ISSRE
Davide G. Cavezza, Roberto Pietrantuono, Javier Alonso, Stefano Russo, Kishor S. Trivedi
2014 J jnl
Scalable Analytics for IaaS Cloud Availability.
IEEE Trans. Cloud Comput.
Rahul Ghosh, Francesco Longo, Flavio Frattini, Stefano Russo, Kishor S. Trivedi
2014 — conf
Software Maintenance Optimization Based on Stackelberg Game Methods.
ISSRE Workshops
Jing Zhao, Yanbin Wang, Gao-Rong Ning, Cheng-Hong Wang, Kishor S. Trivedi, Kai-Yuan Cai, Zhenyu Zhang
2014 J jnl
Software aging in the eucalyptus cloud computing infrastructure: Characterization and rejuvenation.
ACM J. Emerg. Technol. Comput. Syst.
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
2014 J jnl
Software rejuvenation scheduling using accelerated life testing.
ACM J. Emerg. Technol. Comput. Syst.
Jing Zhao, Yuliang Jin, Kishor S. Trivedi, Rivalino Matias Jr., Yanbin Wang
2014 J jnl
Stochastic Model Driven Capacity Planning for an Infrastructure-as-a-Service Cloud.
IEEE Trans. Serv. Comput.
Rahul Ghosh, Francesco Longo, Ruofan Xia, Vijay K. Naik, Kishor S. Trivedi
2013 J jnl
A comparative experimental study of software rejuvenation overhead.
Perform. Evaluation
Javier Alonso, Rivalino Matias, Elder Vicente, Ana Maria, Kishor S. Trivedi
2013 J jnl
A comprehensive approach to optimal software rejuvenation.
Perform. Evaluation
Jing Zhao, Yanbin Wang, Gao-Rong Ning, Kishor S. Trivedi, Rivalino Matias Jr., Kai-Yuan Cai
2013 J jnl
An Interacting Stochastic Models Approach for the Performance Evaluation of DSRC Vehicular Safety Communication.
IEEE Trans. Computers
Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi
2013 A conf
An empirical investigation of fault repairs and mitigations in space mission system software.
DSN
Javier Alonso, Michael Grottke, Allen P. Nikora, Kishor S. Trivedi
2013 A conf
Analysis of bugs in Apache Virtual Computing Lab.
DSN
Flavio Frattini, Rahul Ghosh, Marcello Cinque, Andy J. Rindos, Kishor S. Trivedi
2013 A conf
Channel fading impact on multi-hop DSRC safety communication.
MSWiM
Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi
2013 A conf
Design of distribution automation networks using survivability modeling and power flow equations.
ISSRE
Anne Koziolek, Alberto Avritzer, Sindhu Suresh, Daniel Sadoc Menasché, Kishor S. Trivedi, Lucia Happe
2013 — conf
Failure data analytics to build failure prediction mechanisms.
ISSRE (Supplemental Proceedings)
Sandipan Dey, Kandathil K. Jacob, Javier Alonso Lopez, Kishor S. Trivedi
2013 A conf
Fault triggers in open-source software: An experience report.
ISSRE
Domenico Cotroneo, Michael Grottke, Roberto Natella, Roberto Pietrantuono, Kishor S. Trivedi
2013 J jnl
Global communications newsletter: June 2013.
IEEE Commun. Mag.
Nikola Rozic, Dinko Begusic, Josko Radic, Nicolae Oacã, Yuguang Fang, Yevgeni Koucheryavy, Alexey V. Vinel, Wojciech Molisz, Jacek Rak, Kishor S. Trivedi
2013 J jnl
Guest Editors' Introduction: Special Section on Cloud Computing Assessment: Metrics, Algorithms, Policies, Models, and Evaluation Techniques.
IEEE Trans. Dependable Secur. Comput.
Salvatore Distefano, Antonio Puliafito, Kishor S. Trivedi
2013 J jnl
Guest Editors' Introduction: Special Section on Cloud Computing Assessment: Metrics, Algorithms, Policies, Models, and Evaluation Techniques.
IEEE Trans. Dependable Secur. Comput.
Salvatore Distefano, Antonio Puliafito, Kishor S. Trivedi
2013 Misc conf
MAC and application-level broadcast reliability in vanets with channel fading.
ICNC
Xiaomin Ma, Xiaoyan Yin, Matthew Wilson, Kishor S. Trivedi
2013 J jnl
Modeling and analysis of software rejuvenation in a server virtualized system with live VM migration.
Perform. Evaluation
Fumio Machida, Dong Seong Kim, Kishor S. Trivedi
2013 J jnl
Modeling and performance analysis of large scale IaaS Clouds.
Future Gener. Comput. Syst.
Rahul Ghosh, Francesco Longo, Vijay K. Naik, Kishor S. Trivedi
2013 J jnl
Non-Markovian State-Space Models in Dependability Evaluation.
Qual. Reliab. Eng. Int.
Salvatore Distefano, Kishor S. Trivedi
2013 J jnl
Optimal Preventive Maintenance Rate for Best Availability With Hypo-Exponential Failure Distribution.
IEEE Trans. Reliab.
Meng-Lai Yin, John E. Angus, Kishor S. Trivedi
2013 J jnl
Packet Delivery Ratio in k-Dimensional Broadcast Ad Hoc Networks.
IEEE Commun. Lett.
Xiaomin Ma, Xiaoyan Yin, Gregory Butron, Caleb Penney, Kishor S. Trivedi
2013 — conf
Performance of BSM Dissemination in Multi-Channel DSRC.
VTC Spring
Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi
2013 B conf
Performance of VANET safety message broadcast at rural intersections.
IWCMC
Xiaomin Ma, Matthew Wilson, Xiaoyan Yin, Kishor S. Trivedi
2013 B conf
Survivability models for the assessment of smart grid distribution automation network designs.
ICPE
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
2013 J jnl
System resiliency quantification using non-state-space and state-space analytic models.
Reliab. Eng. Syst. Saf.
Rahul Ghosh, Dong Seong Kim, Kishor S. Trivedi
2013 A conf
Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques.
ISSRE
Antonio Bovenzi, Javier Alonso, Hiroshi Yamada, Stefano Russo, Kishor S. Trivedi
2012 J jnl
Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees.
Secur. Commun. Networks
Arpan Roy, Dong Seong Kim, Kishor S. Trivedi
2012 B conf
Availability Modeling and Analysis for Data Backup and Restore Operations.
SRDS
Xiaoyan Yin, Javier Alonso, Fumio Machida, Ermeson C. Andrade, Kishor S. Trivedi
2012 J jnl
Combining Cloud and sensors in a smart city environment.
EURASIP J. Wirel. Commun. Netw.
Nathalie Mitton, Symeon Papavassiliou, Antonio Puliafito, Kishor S. Trivedi
2012 J jnl
Combining Performance and Availability Analysis in Practice.
Adv. Comput.
Kishor S. Trivedi, Ermeson C. Andrade, Fumio Machida
2012 J jnl
Design and Analysis of a Robust Broadcast Scheme for VANET Safety-Related Services.
IEEE Trans. Veh. Technol.
Xiaomin Ma, Jinsong Zhang, Xiaoyan Yin, Kishor S. Trivedi
2012 J jnl
Dynamic aspects and behaviors of complex systems in performance and reliability assessment.
SIGMETRICS Perform. Evaluation Rev.
Salvatore Distefano, Antonio Puliafito, Kishor S. Trivedi
2012 J jnl
Editorial: Special Issue on Internet of Things: Convergence of Sensing, Networking, and Web Technologies.
EURASIP J. Wirel. Commun. Netw.
Antonio Puliafito, Nathalie Mitton, Symeon Papavassiliou, Kishor S. Trivedi
2012 B conf
Fast Optimization Algorithms for Designing Cellular Networks with Guard Channel.
SRDS
Kousaburo Hari, Tadashi Dohi, Kishor S. Trivedi
2012 J jnl
Improving Convergence Speed and Scalability in OSPF: A Survey.
IEEE Commun. Surv. Tutorials
Mukul Goyal, Mohd Soperi, Emmanuel Baccelli, G. Choudhury, Aman Shaikh, Seyed H. Hosseini, Kishor S. Trivedi
2012 J jnl
Investigating dynamic reliability and availability through state-space models.
Comput. Math. Appl.
Salvatore Distefano, Francesco Longo, Kishor S. Trivedi
2012 — conf
Optimizing Software Rejuvenation Policies under Interval Reliability Criteria.
UIC/ATC
Tadashi Dohi, Hiroyuki Okamura, Kishor S. Trivedi
2012 — conf
Reliability and survivability of vehicular ad hoc networks.
SPECTS
Selvamuthu Dharmaraja, Resham Vinayak, Xiaomin Ma, Kishor S. Trivedi
2012 A conf
Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees.
DSN
Arpan Roy, Dong Seong Kim, Kishor S. Trivedi
2012 J jnl
Sensitivity Analysis of Server Virtualized System Availability.
IEEE Trans. Reliab.
Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi
2012 — ch.
Software Aging and Rejuvenation for Increased Resilience: Modeling, Analysis and Applications.
Resilience Assessment and Evaluation of Computing Systems
Alberto Avritzer, Ricardo M. Czekster, Salvatore Distefano, Kishor S. Trivedi
2012 — conf
Software Rejuvenation: Do IT & Telco Industries Use It?
ISSRE Workshops
Javier Alonso, Antonio Bovenzi, Jinghui Li, Yakun Wang, Stefano Russo, Kishor S. Trivedi
2012 J jnl
Survivability analysis of power distribution in smart grids with active and reactive power modeling.
SIGMETRICS Perform. Evaluation Rev.
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
2012 A conf
The Nature of the Times to Flight Software Failure during Space Missions.
ISSRE
Javier Alonso, Michael Grottke, Allen P. Nikora, Kishor S. Trivedi
2011 — conf
A Comparative Evaluation of Software Rejuvenation Strategies.
WoSAR@ISSRE
Javier Alonso, Rivalino Matias, Elder Vicente, Ana M. M. Carvalho, Kishor S. Trivedi
2011 — conf
A Robust Broadcast Scheme for VANET One-Hop Emergency Services.
VTC Fall
Xiaomin Ma, Xiaoyan Yin, Kishor S. Trivedi
2011 — conf
A hierarchical model to evaluate quality of experience of online services hosted by cloud computing.
Integrated Network Management
Haiyang Qian, Deep Medhi, Kishor S. Trivedi
2011 J jnl
A refined EM algorithm for PH distributions.
Perform. Evaluation
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
2011 A conf
A scalable availability model for Infrastructure-as-a-Service cloud.
DSN
Francesco Longo, Rahul Ghosh, Vijay K. Naik, Kishor S. Trivedi
2011 J jnl
A stochastic model for beaconless IEEE 802.15.4 MAC operation.
Comput. Commun.
Mukul Goyal, Dawn Rohm, Weigao Xie, Seyed H. Hosseini, Kishor S. Trivedi, Yusuf Bashir, August Divjak
2011 B conf
Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML.
SRDS
Fumio Machida, Ermeson C. Andrade, Dong Seong Kim, Kishor S. Trivedi
2011 A conf
Injecting Memory Leaks to Accelerate Software Failures.
ISSRE
Jing Zhao, Yuliang Jin, Kishor S. Trivedi, Rivalino Matias
2011 — conf
Job Completion Time on a Virtualized Server Subject to Software Aging and Rejuvenation.
WoSAR@ISSRE
Fumio Machida, Victor F. Nicola, Kishor S. Trivedi
2011 B conf
Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets.
ARES
Ermeson C. Andrade, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi
2011 — conf
Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain.
WoSAR@ISSRE
Gao-Rong Ning, Kishor S. Trivedi, Hai Hu, Kai-Yuan Cai
2011 — conf
Performance Modeling of Apache Web Server Affected by Aging.
WoSAR@ISSRE
Jing Zhao, Kishor S. Trivedi
2011 — conf
Power-performance trade-offs in IaaS cloud: A scalable analytic approach.
DSN Workshops
Rahul Ghosh, Vijay K. Naik, Kishor S. Trivedi
2011 C conf
Recovery from Failures Due to Mandelbugs in IT Systems.
PRDC
Kishor S. Trivedi, Rajesh K. Mansharamani, Dong Seong Kim, Michael Grottke, Manoj Nambiar
2011 — conf
Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds.
WoSAR@ISSRE
Jean Araujo, Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel, Francisco Vieira, Rivalino Matias, Kishor S. Trivedi
2011 A conf
Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM).
DSN
Miroslaw Malek, Felix Salfner, Kishor S. Trivedi
2011 — conf
Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM).
DSN Workshops
Miroslaw Malek, Felix Salfner, Kishor S. Trivedi
2011 A conf
Uncertainty Propagation through Software Dependability Models.
ISSRE
Kesari Mishra, Kishor S. Trivedi
2010 C conf
A Hierarchical Model for Reliability Analysis of Sensor Networks.
PRDC
Dong Seong Kim, Rahul Ghosh, Kishor S. Trivedi
2010 J jnl
Accelerated Degradation Tests Applied to Software Aging Experiments.
IEEE Trans. Reliab.
Rivalino Matias, Pedro Alberto Barbetta, Kishor S. Trivedi, Paulo José de Freitas Filho
2010 A conf
An empirical investigation of fault types in space mission system software.
DSN
Michael Grottke, Allen P. Nikora, Kishor S. Trivedi
2010 A conf
Computing the Number of Calls Dropped Due to Failures.
ISSRE
Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt
2010 — conf
Cyber security analysis using attack countermeasure trees.
CSIIRW
Arpan Roy, Dong Seong Kim, Kishor S. Trivedi
2010 C conf
End-to-End Performability Analysis for Infrastructure-as-a-Service Cloud: An Interacting Stochastic Models Approach.
PRDC
Rahul Ghosh, Kishor S. Trivedi, Vijay K. Naik, Dong Seong Kim
2010 — conf
Evaluation of software performance affected by aging.
WoSAR@ISSRE
Jing Zhao, Kishor S. Trivedi, Yanbin Wang, Xiaoyong Chen
2010 J jnl
In Memoriam: Dr. Chandra Kintala.
J. Syst. Softw.
Kishor S. Trivedi, Sachin Garg
2010 — conf
Modeling and analysis of software rejuvenation in a server virtualized system.
WoSAR@ISSRE
Fumio Machida, Dong Seong Kim, Kishor S. Trivedi
2010 C conf
On-Line Adaptive Algorithms in Autonomic Restart Control.
ATC
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
2010 Misc conf
Online Monitoring of Software System Reliability.
EDCC
Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi
2010 J jnl
Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams.
IEEE Trans. Computers
Suprasad V. Amari, Liudong Xing, Akhilesh Shrestha, Jennifer Akers, Kishor S. Trivedi
2010 B conf
Quantifying Resiliency of IaaS Cloud.
SRDS
Rahul Ghosh, Francesco Longo, Vijay K. Naik, Kishor S. Trivedi
2010 A conf
Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM).
DSN
Miroslaw Malek, Felix Salfner, Kishor S. Trivedi
2010 J jnl
Software Reliability and Testing Time Allocation: An Architecture-Based Approach.
IEEE Trans. Software Eng.
Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi
2010 J jnl
Software fault mitigation and availability assurance techniques.
Int. J. Syst. Assur. Eng. Manag.
Kishor S. Trivedi, Michael Grottke, Ermeson C. Andrade
2010 B conf
Uncertainty Propagation in Analytic Availability Models.
SRDS
Amita Devaraj, Kesari Mishra, Kishor S. Trivedi
2010 A conf
Using Accelerated Life Tests to Estimate Time to Software Aging Failure.
ISSRE
Rivalino Matias, Kishor S. Trivedi, Paulo Romero Martins Maciel
2009 B conf
Analyzing the Hold Time Schemes to Limit the Routing Table Calculations in OSPF Protocol.
AINA
Mukul Goyal, Mohd Soperi, Seyed Hossein Hosseini, Kishor S. Trivedi, Aman Shaikh, G. Choudhury
2009 C conf
Availability Modeling and Analysis of a Virtualized System.
PRDC
Dong Seong Kim, Fumio Machida, Kishor S. Trivedi
2009 — conf
Dependability and security models.
DRCN
Kishor S. Trivedi, Dong Seong Kim, Arpan Roy, Deep Medhi
2009 J jnl
Markovian arrival process parameter estimation with group data.
IEEE/ACM Trans. Netw.
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
2009 J jnl
Network survivability modeling.
Comput. Networks
Poul E. Heegaard, Kishor S. Trivedi
2009 A conf
Resilience in computer systems and networks.
ICCAD
Kishor S. Trivedi, Dong Seong Kim, Rahul Ghosh
2009 J jnl
SHARPE at the age of twenty two.
SIGMETRICS Perform. Evaluation Rev.
Kishor S. Trivedi, Robin A. Sahner
2009 Misc conf
Survivability Modeling with Stochastic Reward Nets.
WSC
Poul E. Heegaard, Kishor S. Trivedi
2009 A conf
Workshop on proactive failure avoidance, recovery and maintenance (PFARM).
DSN
Miroslaw Malek, Felix Salfner, Kishor S. Trivedi
2008 — conf
Achieving and Assuring High Availability.
ISAS
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Rivalino Matias, Andrew J. Rindos, Bart Vashaw
2008 A conf
Achieving and assuring high availability.
IPDPS
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan Dasarathy, Michael Grottke, Andrew J. Rindos, Bart Vashaw
2008 C conf
Availability Modeling of SIP Protocol on IBM(c) WebSphere(c).
PRDC
Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt, Andrew J. Rindos, W. Earl Smith, Bart Vashaw
2008 J jnl
Availability analysis of blade server systems.
IBM Syst. J.
W. Earl Smith, Kishor S. Trivedi, Lorrie A. Tomek, Jerry Ackaret
2008 J jnl
Combined Guard Channel and Mobile-Assisted Handoff for Cellular Networks.
IEEE Trans. Veh. Technol.
Bharat B. Madan, Selvamuthu Dharmaraja, Kishor S. Trivedi
2008 A conf
Reliable system design: models, metrics and design techniques.
ICCAD
Subhasish Mitra, Ravishankar K. Iyer, Kishor S. Trivedi, James W. Tschanz
2008 — ch.
Software Aging and Rejuvenation.
Wiley Encyclopedia of Computer Science and Engineering
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
2008 — conf
Survivability Quantification of Real-Sized Networks Including End-to-End Delay Distributions.
ICSNC
Poul E. Heegaard, Kishor S. Trivedi
2008 A conf
Survivability quantification of communication services.
DSN
Poul E. Heegaard, Kishor S. Trivedi
2008 — conf
Ten Fallacies of Availability and Reliability Analysis.
ISAS
Michael Grottke, Hairong Sun, Ricardo M. Fricks, Kishor S. Trivedi
2008 — conf
The fundamentals of software aging.
ISSRE Workshops
Michael Grottke, Rivalino Matias, Kishor S. Trivedi
2008 — conf
Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center.
ISSRE Workshops
Fumio Machida, Dong Seong Kim, Jong Sou Park, Kishor S. Trivedi
2007 J jnl
A Best Practice Guide to Resource Forecasting for Computing Systems.
IEEE Trans. Reliab.
Günther A. Hoffmann, Kishor S. Trivedi, Miroslaw Malek
2007 — conf
Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations.
IEEE SCC
N. Sato, Kishor S. Trivedi
2007 — conf
Availability Monitor for a Software Based System.
HASE
Marc Haberkorn, Kishor S. Trivedi
2007 J jnl
Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate.
Computer
Michael Grottke, Kishor S. Trivedi
2007 J jnl
Performability analysis of clustered systems with rejuvenation under varying workload.
Perform. Evaluation
Dazhi Wang, Wei Xie, Kishor S. Trivedi
2007 J jnl
Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation.
IEEE Trans. Computers
Yuan-Shun Dai, Gregory Levitin, Kishor S. Trivedi
2007 J jnl
Quantifying software performance, reliability and security: An architecture-based approach.
J. Syst. Softw.
Vibhu Saujanya Sharma, Kishor S. Trivedi
2007 J jnl
Reliability Analysis of Phased-Mission System With Independent Component Repairs.
IEEE Trans. Reliab.
Dazhi Wang, Kishor S. Trivedi
2007 — conf
Simulation versus analytic-numeric methods: illustrative examples.
VALUETOOLS
Bruno Tuffin, Pawan K. Choudhary, Christophe Hirel, Kishor S. Trivedi
2007 A conf
Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks.
ICSOC
N. Sato, Kishor S. Trivedi
2007 C conf
Survivability Quantification - Keynote.
BROADNETS
Kishor S. Trivedi
2007 A conf
Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models.
DSN
Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, Kishor S. Trivedi
2006 C conf
A Best Practice Guide to Resources Forecasting for the Apache Webserver.
PRDC
Günther A. Hoffmann, Kishor S. Trivedi, Miroslaw Malek
2006 — conf
A Performance Engineering Tool for Tiered Software Systems.
COMPSAC (1)
Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi
2006 J jnl
Analysis of Software Aging in a Web Server.
IEEE Trans. Reliab.
Michael Grottke, Lei Li, Kalyanaraman Vaidyanathan, Kishor S. Trivedi
2006 J jnl
Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework.
IEEE Trans. Reliab.
Swapna S. Gokhale, Kishor S. Trivedi
2006 J jnl
Design and Performance Analysis of a New Soft Handoff Scheme for CDMA Cellular Systems.
IEEE Trans. Veh. Technol.
Xiaomin Ma, Yun Liu, Kishor S. Trivedi
2006 J jnl
Incorporating fault debugging activities into software reliability models: a simulation approach.
IEEE Trans. Reliab.
Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi
2006 — conf
Model Based Approach for Autonomic Availability Management.
ISAS
Kesari Mishra, Kishor S. Trivedi
2006 C conf
Modeling High Availability.
PRDC
Kishor S. Trivedi, Ranjith Vasireddy, David Trindale, Swami Nathan, Rick Castro
2006 J jnl
Modeling and performance analysis for soft handoff schemes in CDMA cellular systems.
IEEE Trans. Veh. Technol.
Xiaomin Ma, Yonghuan Cao, Yun Liu, Kishor S. Trivedi
2006 A conf
Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms.
DSN
Alberto Avritzer, Andre B. Bondi, Michael Grottke, Kishor S. Trivedi, Elaine J. Weyuker
2006 — book
Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications, Second Edition.
Gunter Bolch, Stefan Greiner, Hermann de Meer, Kishor S. Trivedi
2006 A conf
Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs.
ISSRE
Vibhu Saujanya Sharma, Kishor S. Trivedi
2005 J jnl
A Comprehensive Model for Software Rejuvenation.
IEEE Trans. Dependable Secur. Comput.
Kalyanaraman Vaidyanathan, Kishor S. Trivedi
2005 J jnl
A proactive approach towards always-on availability in broadband cable networks.
Comput. Commun.
Yun Liu, Yue Ma, James J. Han, Haim Levendel, Kishor S. Trivedi
2005 J jnl
A workload-based analysis of software aging, and rejuvenation.
IEEE Trans. Reliab.
Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi
2005 J jnl
Analysis of a two-level software rejuvenation policy.
Reliab. Eng. Syst. Saf.
Wei Xie, Yiguang Hong, Kishor S. Trivedi
2005 — conf
Architecture based analysis of performance, reliability and security of software systems.
WOSP
Vibhu Saujanya Sharma, Kishor S. Trivedi
2005 J jnl
Computing steady-state mean time to failure for non-coherent repairable systems.
IEEE Trans. Reliab.
Dazhi Wang, Kishor S. Trivedi
2005 — conf
Evaluating Performance Attributes of Layered Software Architecture.
CBSE
Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi
2005 — conf
Modeling User-Perceived Service Availability.
ISAS
Dazhi Wang, Kishor S. Trivedi
2005 Misc conf
Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls.
WSC
Pawan K. Choudhary, Bharat B. Madan, Kishor S. Trivedi
2005 A conf
On a Method for Mending Time to Failure Distributions.
DSN
Michael Grottke, Kishor S. Trivedi
2005 J jnl
Optimization for condition-based maintenance with semi-Markov decision process.
Reliab. Eng. Syst. Saf.
Dongyan Chen, Kishor S. Trivedi
2005 — conf
StackOFFence: A Technique for Defending Against Buffer Overflow Attacks.
ITCC (1)
Bharat B. Madan, Shashi Phoha, Kishor S. Trivedi
2005 — conf
State Space Approach to Security Quantification.
COMPSAC (2)
Christopher Griffin, Bharat B. Madan, Kishor S. Trivedi
2004 — conf
A General Framework for Network Survivability Quantification.
MMB
Yun Liu, Kishor S. Trivedi
2004 J jnl
A method for modeling and quantifying the security attributes of intrusion tolerant systems.
Perform. Evaluation
Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi
2004 C conf
An Infinite Server Queueing Approach for Describing Software Reliability Growth - Unified Modeling and Estimation Framework.
APSEC
Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi
2004 J jnl
An analytical approach to architecture-based software performance and reliability prediction.
Perform. Evaluation
Swapna S. Gokhale, W. Eric Wong, Joseph Robert Horgan, Kishor S. Trivedi
2004 J jnl
Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain.
Softw. Qual. J.
Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi
2004 J jnl
Comparing Software Rejuvenation Policies under Different Dependability Measures.
IEICE Trans. Inf. Syst.
Tadashi Dohi, Hiroaki Suzuki, Kishor S. Trivedi
2004 — conf
Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation.
IFIP Congress Tutorials
Helena Szczerbicka, Kishor S. Trivedi, Pawan K. Choudhary
2004 A conf
Hierarchical Computation of Interval Availability and Related Metrics.
DSN
Dong Tang, Kishor S. Trivedi
2004 J jnl
Model-Based Evaluation: From Dependability to Security.
IEEE Trans. Dependable Secur. Comput.
David M. Nicol, William H. Sanders, Kishor S. Trivedi
2004 J jnl
Optimal Estimation of Training Interval for Channel Equalization.
IEEE Trans. Wirel. Commun.
Dongyan Chen, Yiguang Hong, Kishor S. Trivedi
2004 J jnl
Security modeling and quantification of intrusion tolerant systems using attack-response graph.
J. High Speed Networks
Bharat B. Madan, Kishor S. Trivedi
2004 — conf
Software Rejuvenation - Modeling and Analysis.
IFIP Congress Tutorials
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
2004 C conf
Software Rejuvenation Policies for Cluster Systems under Varying Workload.
PRDC
Wei Xie, Yiguang Hong, Kishor S. Trivedi
2004 A conf
Survivability Analysis of Telephone Access Network.
ISSRE
Yun Liu, Veena B. Mendiratta, Kishor S. Trivedi
2004 J jnl
The effect of access delay in capacity-on-demand access over a wireless link under bursty packet-switched data.
Perform. Evaluation
Yonghuan Cao, Hairong Sun, Kishor S. Trivedi
2003 J jnl
A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.
IEEE Trans. Computers
Xinyu Zang, Dazhi Wang, Hairong Sun, Kishor S. Trivedi
2003 A conf
Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme.
DSN
Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi
2003 A conf
Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques.
DSN
Dongyan Chen, Sachin Garg, Chandra M. R. Kintala, Kishor S. Trivedi
2003 J jnl
Hierarchical composition and aggregation of state-based availability and performability models.
IEEE Trans. Reliab.
Mark Lanus, Liang Yin, Kishor S. Trivedi
2003 A conf
Maximizing Interval Reliability in Operational Software System with Rejuvenation.
ISSRE
Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi
2003 — conf
Modeling of user perceived webserver availability.
ICC
Wei Xie, Hairong Sun, Yonghuan Cao, Kishor S. Trivedi
2003 J jnl
Performability modelling of wireless communication systems.
Int. J. Commun. Syst.
Kishor S. Trivedi, Xiaomin Ma, Selvamuthu Dharmaraja
2003 J jnl
Performance analysis of reservation media-access protocol with access and serving queues under bursty traffic in GPRS/EGPRS.
IEEE Trans. Veh. Technol.
Yonghuan Cao, Hairong Sun, Kishor S. Trivedi
2003 J jnl
Performance modeling of wireless networks with generally distributed handoff interarrival times.
Comput. Commun.
Selvamuthu Dharmaraja, Kishor S. Trivedi, Dimitris Logothetis
2003 J jnl
Recent advances in modeling response-time distributions in real-time systems.
Proc. IEEE
Kishor S. Trivedi, Srinivasan Ramani, Ricardo M. Fricks
2003 — conf
Security analysis of SITAR intrusion tolerance system.
SSRS@CCS
Dazhi Wang, Bharat B. Madan, Kishor S. Trivedi
2003 C conf
Software performance analysis using a language measure.
ACC
Yiguang Hong, Kishor S. Trivedi, Asok Ray, Shashi Phoha
2002 B conf
A Framework for Performability Modeling of Messaging Services in Distributed Systems.
ICECCS
Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi
2002 A conf
A Simple Characterization of Provably Efficient Prefetching Algorithms.
DSN
Wei Jin, Rakesh D. Barve, Kishor S. Trivedi
2002 B conf
All-terminal reliability analysis of the SRP-ring: the effect of enhanced intelligent protection switching.
ICCCN
Ming Qian, Dimitris Logothetis, Kishor S. Trivedi
2002 — conf
An Approach for Estimation of Software Aging in a Web Server.
ISESE
Lei Li, Kalyanaraman Vaidyanathan, Kishor S. Trivedi
2002 B conf
Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems.
SRDS
Kalyanaraman Vaidyanathan, Dharmaraja Selvamuthu, Kishor S. Trivedi
2002 — conf
Analytic Modeling of Handoffs in Wireless Cellular Networks.
JCIS
Kishor S. Trivedi, Selvamuthu Dharmaraja, Xiaomin Ma
2002 J jnl
Analytic modeling of handoffs in wireless cellular networks.
Inf. Sci.
Kishor S. Trivedi, Selvamuthu Dharmaraja, Xiaomin Ma
2002 B conf
Availability Models with Age-Dependent Checkpointing.
SRDS
Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi
2002 J jnl
Call admission control for reducing dropped calls in CDMA cellular systems.
Comput. Commun.
Yue Ma, James J. Han, Kishor S. Trivedi
2002 J jnl
Closed-form analytical results for condition-based maintenance.
Reliab. Eng. Syst. Saf.
Dongyan Chen, Kishor S. Trivedi
2002 — conf
Failure mitigation for quality of service of wireless networks.
CDC
Yiguang Hong, Dongyan Chen, Kishor S. Trivedi
2002 A conf
Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems.
ISSRE
Yun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel
2002 A conf
Modeling and Quantification of Security Attributes of Software Systems.
DSN
Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi
2002 A conf
Network survivability performance evaluation: : a quantitative approach with applications in wireless ad-hoc networks.
MSWiM
Dongyan Chen, Sachin Garg, Kishor S. Trivedi
2002 — conf
Optimal estimation of training interval for channel equalizations.
ICC
Dongyan Chen, Yiguang Hong, Kishor S. Trivedi
2002 — book
Probability and Statistics with Reliability, Queuing and Computer Science Applications, Second Edition.
Kishor S. Trivedi
2002 A conf
Reliability Prediction and Sensitivity Analysis Based on Software Architecture.
ISSRE
Swapna S. Gokhale, Kishor S. Trivedi
2002 A conf
Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System.
DSN
Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora
2002 A conf
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator.
DSN
Kishor S. Trivedi
2002 A conf
SREPT: A Tool for Software Reliability Estimation and Prediction.
DSN
Kishor S. Trivedi
2002 J jnl
Second-order stochastic fluid models with fluid-dependent flow rates.
Perform. Evaluation
Dongyan Chen, Yiguang Hong, Kishor S. Trivedi
2002 Misc conf
Software Reliability and Rejuvenation: Modeling and Analysis.
Performance
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
2002 B conf
Specification-Level Integration of Simulation and Dependability Analysis.
WADS
Swapna S. Gokhale, Joseph R. Horgan, Kishor S. Trivedi
2002 J jnl
System availability with non-exponentially distributed outages.
IEEE Trans. Reliab.
Yonghuan Cao, Hairong Sun, Kishor S. Trivedi, James J. Han
2001 J jnl
A method for multiple channel recovery in TDMA wireless communications systems.
Comput. Commun.
Yue Ma, James J. Han, Kishor S. Trivedi
2001 J jnl
A performance model of partial packet discard and early packet discard schemes in ATM switches.
Comput. Commun.
Hairong Sun, Xinyu Zang, Kishor S. Trivedi
2001 — conf
Analysis and implementation of software rejuvenation in cluster systems.
SIGMETRICS/Performance
Kalyanaraman Vaidyanathan, Richard E. Harper, Steven W. Hunter, Kishor S. Trivedi
2001 A conf
Analysis of Hypergeometric Distribution Software Reliability Model.
ISSRE
Tadashi Dohi, Nobuyuki Wakana, Shunji Osaki, Kishor S. Trivedi
2001 C conf
Analysis of Periodic Preventive Maintenance with General System Failure Distribution.
PRDC
Dongyan Chen, Kishor S. Trivedi
2001 J jnl
Architecture-based approach to reliability assessment of software systems.
Perform. Evaluation
Katerina Goseva-Popstojanova, Kishor S. Trivedi
2001 J jnl
Comparison of Hybrid Systems and Fluid Stochastic Petri Nets.
Discret. Event Dyn. Syst.
Bruno Tuffin, Dong S. Chen, Kishor S. Trivedi
2001 J jnl
Composite performance and availability analysis of wireless communication networks.
IEEE Trans. Veh. Technol.
Yue Ma, James J. Han, Kishor S. Trivedi
2001 J jnl
Estimating Software Rejuvenation Schedules in High-Assurance Systems.
Comput. J.
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi
2001 J jnl
Loss formulas and their application to optimization for cellular networks.
IEEE Trans. Veh. Technol.
Guenter Harine, Raymond A. Marie, Ramón Puigjaner, Kishor S. Trivedi
2001 A conf
Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models.
ISSRE
Katerina Goseva-Popstojanova, Aditya P. Mathur, Kishor S. Trivedi
2001 B conf
Performance Analysis of the CORBA Notification Service .
SRDS
Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy
2001 J jnl
Performance of broadcast and unknown server (BUS) in ATM LAN emulation.
IEEE/ACM Trans. Netw.
Hairong Sun, Xinyu Zang, Kishor S. Trivedi
2001 J jnl
Proactive management of software aging.
IBM J. Res. Dev.
Vittorio Castelli, Richard E. Harper, Philip Heidelberger, Steven W. Hunter, Kishor S. Trivedi, Kalyanaraman Vaidyanathan, William P. Zeggert
2001 — conf
Reliable Messaging Using the CORBA Notification Service.
DOA
Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy
2000 — conf
Analysis of software cost models with rejuvenation.
HASE
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi
2000 — conf
Building a Reliable Message Delivery System Using the CORBA Event Service.
IPDPS Workshops
Srinivasan Ramani, Balakrishnan Dasarathy, Kishor S. Trivedi
2000 A* conf
Call Admission Control for Reducing Dropped Calls in Code Division Multiple Access (CDMA) Cellular Systems.
INFOCOM
Yue Ma, James J. Han, Kishor S. Trivedi
2000 J jnl
Channel Allocation with Recovery Strategy in Wireless Networks.
Eur. Trans. Telecommun.
Yue Ma, James J. Han, Kishor S. Trivedi
2000 B conf
Composite performance and availability analysis of communications networks. A comparison of exact and approximate approaches.
GLOBECOM
Yue Ma, James J. Han, Kishor S. Trivedi
2000 C conf
Effects of failure correlation on software in operation.
PRDC
Katerina Goseva-Popstojanova, Kishor S. Trivedi
2000 J jnl
Failure correlation in software reliability models.
IEEE Trans. Reliab.
Katerina Goseva-Popstojanova, Kishor S. Trivedi
2000 A conf
Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications.
ISSRE
Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi
2000 — conf
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package.
Computer Performance Evaluation / TOOLS
Bruno Tuffin, Kishor S. Trivedi
2000 — conf
Modeling and Analysis of Software Aging and Rejuvenation.
Annual Simulation Symposium
Kishor S. Trivedi, Kalyanaraman Vaidyanathan, Katerina Goseva-Popstojanova
2000 B conf
Performance Analysis of the CORBA Event Service using Stochastic Reward Nets.
SRDS
Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy
2000 — conf
Proactive Fault-Management in Software System.
Annual Simulation Symposium
Kishor S. Trivedi
2000 — conf
Reliability and Performability Modeling Using SHARPE 2000.
Computer Performance Evaluation / TOOLS
Christophe Hirel, Robin A. Sahner, Xinyu Zang, Kishor S. Trivedi
2000 — conf
SPNP: Stochastic Petri Nets. Version 6.0.
Computer Performance Evaluation / TOOLS
Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi
2000 — conf
SREPT: Software Reliability Estimation and Prediction Tool.
Computer Performance Evaluation / TOOLS
Srinivasan Ramani, Kishor S. Trivedi
2000 J jnl
SREPT: software reliability estimation and prediction tool.
Perform. Evaluation
Srinivasan Ramani, Swapna S. Gokhale, Kishor S. Trivedi
2000 C conf
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule.
PRDC
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi
2000 — conf
Stochastic Modeling Formalisms for Dependability, Performance and Performability.
Performance Evaluation
Katerina Goseva-Popstojanova, Kishor S. Trivedi
1999 B conf
A channel recovery method for RF channel failure in wireless communications systems.
WCNC
Yue Ma, James J. Han, Kishor S. Trivedi
1999 A conf
A measurement-based model for estimation of resource exhaustion in operational software systems.
ISSRE
Kalyanaraman Vaidyanathan, Kishor S. Trivedi
1999 — conf
A reliable CORBA-based network management system.
ICC
Tong Luo, Tony Confrey, Kishor S. Trivedi
1999 J jnl
A stochastic reward net model for performance analysis of prioritized DQDB MAN.
Comput. Commun.
Hairong Sun, Xinyu Zang, Kishor S. Trivedi
1999 J jnl
A time/structure based software reliability model.
Ann. Softw. Eng.
Swapna S. Gokhale, Kishor S. Trivedi
1999 C conf
Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System.
PRDC
Hairong Sun, Yonghuan Cao, Kishor S. Trivedi, James J. Han
1999 A conf
Confidence interval estimation of NHPP-based software reliability models.
ISSRE
Liang Yin, Kishor S. Trivedi
1999 — conf
Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.
FTCS
Xinyu Zang, Hairong Sun, Kishor S. Trivedi
1999 Misc conf
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.
EDCC
Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi
1999 J jnl
Discrete-Event Simulation of Fluid Stochastic Petri Nets.
IEEE Trans. Software Eng.
Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi
1999 A conf
Failure correlation in software reliability models.
ISSRE
Katerina Goseva-Popstojanova, Kishor S. Trivedi
1999 J jnl
Performance Analysis of Distributed Real-Time Databased.
Perform. Evaluation
Ricardo M. Fricks, Antonio Puliafito, Kishor S. Trivedi
1999 — conf
Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault Tolerance.
FTCS
Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi, Shalini Yajnik
1999 J jnl
The effect of Web caching on network planning.
Comput. Commun.
Hairong Sun, Xinyu Zang, Kishor S. Trivedi
1998 A conf
A methodology for detection and estimation of software aging.
ISSRE
Sachin Garg, Aad P. A. van Moorsel, Kalyanaraman Vaidyanathan, Kishor S. Trivedi
1998 — conf
An Improved Multiple Variable Inversion Algorithm for Reliability Calculation.
Computer Performance Evaluation (Tools)
Tong Luo, Kishor S. Trivedi
1998 J jnl
Analysis of Preventive Maintenance in Transactions Based Software Systems.
IEEE Trans. Computers
Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
1998 J jnl
Applications of non-Markovian stochastic Petri nets.
SIGMETRICS Perform. Evaluation Rev.
Ricardo M. Fricks, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
1998 J jnl
Fluid stochastic Petri nets: Theory, applications, and solution techniques.
Eur. J. Oper. Res.
Graham Horton, Vidyadhar G. Kulkarni, David M. Nicol, Kishor S. Trivedi
1998 J jnl
Increasing Application Accessibility through Java.
IEEE Internet Comput.
Antonio Puliafito, Orazio Tomarchio, Lorenzo Vita, Kishor S. Trivedi
1998 — conf
Log-Logistic Software Reliability Growth Model.
HASE
Swapna S. Gokhale, Kishor S. Trivedi
1998 J jnl
Petri Nets with k Simultaneously Enabled Generally Distributed Timed Transitions.
Perform. Evaluation
Antonio Puliafito, Marco Scarpa, Kishor S. Trivedi
1998 J jnl
Recent Developments in Non-Markovian Stochastic Petri Nets.
J. Circuits Syst. Comput.
Andrea Bobbio, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
1998 A conf
Reliability simulation of component-based software systems.
ISSRE
Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi
1998 — conf
SREPT: Software Reliability Estimation and Prediction Tool.
Computer Performance Evaluation (Tools)
Srinivasan Ramani, Swapna S. Gokhale, Kishor S. Trivedi
1998 A conf
Software reliability analysis incorporating fault detection and debugging activities.
ISSRE
Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi
1997 J jnl
Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach.
Telecommun. Syst.
Meera Balakrishnan, Antonio Puliafito, Kishor S. Trivedi, Yannis Viniotis
1997 — conf
Combined Performance and Availability Analysis of a Switched Network Applications.
ICC (1)
Steven W. Hunter, Teebu Philip, Kishor S. Trivedi
1997 — conf
Discrete-event simulation of fluid stochastic Petri nets.
PNPM
Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi
1997 — conf
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers.
HASE
Ann T. Tai, Kishor S. Trivedi, Herbert Hecht
1997 B conf
Performability analysis of handoff calls in personal communication networks.
ICCCN
Cheul Woo Ro, Kishor S. Trivedi
1997 J jnl
The Effect of Detection and Restoration Times on Error Recovery in Communication Networks.
J. Netw. Syst. Manag.
D. Logothesis, Kishor S. Trivedi
1997 — conf
Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools.
FTCS
Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing Zhang
1996 J jnl
Accelerating Mean Time to Failure Computations.
Perform. Evaluation
Philip Heidelberger, Jogesh K. Muppala, Kishor S. Trivedi
1996 J jnl
Comment/correction: dependability modeling using Petri nets.
IEEE Trans. Reliab.
Klaus Bänsch, Axel Hein, Manish Malhotra, Kishor S. Trivedi
1996 B conf
IDEA: Integrated Design Environment for Assessment of ATM Networks.
ICECCS
Ricardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi
1996 C conf
Important Milestones in Software Reliability Modeling.
SEKE
Swapna S. Gokhale, Peter N. Marinos, Kishor S. Trivedi
1996 A* conf
Minimizing Completion Time of a Program by Checkpointing and Rejuvenation.
SIGMETRICS
Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi
1996 J jnl
Optimal Software Rejuvenation for Tolerating Soft Failures.
Perform. Evaluation
András Pfening, Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
1996 — book
Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package.
Robin A. Sahner, Kishor S. Trivedi, Antonio Puliafito
1996 J jnl
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models.
IEEE Trans. Software Eng.
Varsha Mainkar, Kishor S. Trivedi
1996 A* conf
Transient Behavior of ATM Networds under Overloads.
INFOCOM
Chang-yu Wang, Dimitris Logothetis, Kishor S. Trivedi, Yannis Viniotis
1996 A conf
Unification of finite failure non-homogeneous Poisson process models through test coverage.
ISSRE
Swapna S. Gokhale, Teebu Philip, Peter N. Marinos, Kishor S. Trivedi
1995 J jnl
A survey of efficient reliability computation using disjoint products approach.
Networks
Suresh Rai, Malathi Veeraraghavan, Kishor S. Trivedi
1995 A conf
Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net.
ISSRE
Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
1995 — conf
Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components.
FTCS
Meera Balakrishnan, Kishor S. Trivedi
1995 J jnl
Data Integrity Analysis of Disk Array Systems with Analytic Modeling of Coverage.
Perform. Evaluation
Manish Malhotra, Kishor S. Trivedi
1995 — conf
Fixed point iteration using stochastic reward nets.
PNPM
Varsha Mainkar, Kishor S. Trivedi
1995 B conf
From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets.
MASCOTS
Kishor S. Trivedi, Antonio Puliafito, Dimitris Logothetis
1995 A* conf
Non-Markovian Petri Nets (Panel).
SIGMETRICS
Kishor S. Trivedi, Andrea Bobbio, Miklós Telek, Reinhard German, Gianfranco Ciardo, Antonio Puliafito
1995 — conf
Performance evaluation of dynamic priority operating systems.
PNPM
Stefan Greiner, Antonio Puliafito, Gunter Bolch, Kishor S. Trivedi
1995 — conf
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets.
PNPM
Andrea Bobbio, Vidyadhar G. Kulkarni, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
1995 — conf
Semi-numerical transient analysis of Markov models.
ACM Southeast Regional Conference
A. V. Ramesh, Kishor S. Trivedi
1995 — conf
Steady State Analysis of Markov Regenerative SPN with Age Memory Policy.
MMB
Miklós Telek, Andrea Bobbio, László Jereb, Antonio Puliafito, Kishor S. Trivedi
1995 — conf
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches.
PNPM
Reinhard German, Dimitris Logothetis, Kishor S. Trivedi
1994 J jnl
A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models.
IEEE Trans. Computers
Malathi Veeraraghavan, Kishor S. Trivedi
1994 J jnl
Guarded Repair of Dependable Systems.
Theor. Comput. Sci.
Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin
1994 J jnl
Markov Regenerative Stochastic Petri Nets.
Perform. Evaluation
Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi
1994 B conf
Markov Reward Approach to Performability and Reliability Analysis.
MASCOTS
Kishor S. Trivedi, Manish Malhotra, Ricardo M. Fricks
1994 J jnl
Numerical computation of response time distributions using stochastic reward nets.
Ann. Oper. Res.
Jogesh K. Muppala, Kishor S. Trivedi, Varsha Mainkar, Vidyadhar G. Kulkarni
1994 A* conf
Phased-Mission System Analysis Using Boolean Algebraic Methods.
SIGMETRICS
Arun K. Somani, Kishor S. Trivedi
1994 J jnl
Reliability analysis of the double counter-rotating ring with concentrator attachments.
IEEE/ACM Trans. Netw.
Dimitris Logothetis, Kishor S. Trivedi
1994 J jnl
Reliability modeling of life-critical, real-time systems.
Proc. IEEE
Lorrie A. Tomek, Varsha Mainkar, Robert Geist, Kishor S. Trivedi
1994 — conf
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives.
Computer Performance Evaluation
Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew J. Rindos, Varsha Mainkar
1994 — conf
The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage.
FTCS
Wei Wang, Kishor S. Trivedi, Babubhai V. Shah, Joseph A. Profeta III
1994 A* conf
Transient Analysis of the Leaky Bucket Rate Control Scheme Under Poisson and ON-OFF Sources.
INFOCOM
Dimitris Logothetis, Kishor S. Trivedi
1993 J jnl
A Decomposition Approach for Stochastic Reward Net Models.
Perform. Evaluation
Gianfranco Ciardo, Kishor S. Trivedi
1993 — conf
A methodology for formal expression of hierarchy in model solution.
PNPM
Manish Malhotra, Kishor S. Trivedi
1993 — conf
An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems.
FTCS
Robert Geist, Kishor S. Trivedi
1993 B conf
An Approach for Combinatorial Performance and Availability Analysis.
SRDS
Malathi Veeraraghavan, Kishor S. Trivedi
1993 A conf
Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets.
ICDCS
Varsha Mainkar, Kishor S. Trivedi
1993 — conf
Dependability and Performability Analysis.
Performance/SIGMETRICS Tutorials
Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Robin A. Sahner
1993 — conf
FSPNs: Fluid Stochastic Petri Nets.
Application and Theory of Petri Nets
Kishor S. Trivedi, Vidyadhar G. Kulkarni
1993 — conf
Integration of Specification for Modeling and Specification for System Design.
Application and Theory of Petri Nets
Chang-yu Wang, Kishor S. Trivedi
1993 J jnl
Modeling Correlation in Software Recovery Blocks.
IEEE Trans. Software Eng.
Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi
1993 B conf
Modeling Using Stochastic Reward Nets.
MASCOTS
Jogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi
1993 A* conf
On the Sensitivity of Transient Solutions of Markov Models.
SIGMETRICS
A. V. Ramesh, Kishor S. Trivedi
1993 — conf
Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems.
MMB
Hermann de Meer, Kishor S. Trivedi
1993 J jnl
Performance Evaluation of Client-Server Systems.
IEEE Trans. Parallel Distributed Syst.
Oliver C. Ibe, Hoon Choi, Kishor S. Trivedi
1993 J jnl
Reliability Analysis of Redundant Arrays of Inexpensive Disks.
J. Parallel Distributed Comput.
Manish Malhotra, Kishor S. Trivedi
1993 A* conf
Reliability Analysis of Various Station Attachment Schemes in an FDDI Token Ring.
INFOCOM
Dimitris Logothetis, Kishor S. Trivedi
1993 — conf
Reliability and Performability Techniques and Tools: A Survey.
MMB
Kishor S. Trivedi, Manish Malhotra
1993 B conf
SPNP: The Stochastic Petri Net Package (Version 3.1).
MASCOTS
Gianfranco Ciardo, Kishor S. Trivedi
1993 B conf
Sensitivity Analysis of Deterministic and Stochastic Petri Nets.
MASCOTS
Hoon Choi, Varsha Mainkar, Kishor S. Trivedi
1993 — conf
Sensitivity analysis of Markov regenerative stochastic Petri nets.
PNPM
Varsha Mainkar, Hoon Choi, Kishor S. Trivedi
1993 J jnl
Specification techniques for Markov reward models.
Discret. Event Dyn. Syst.
Boudewijn R. Haverkort, Kishor S. Trivedi
1993 J jnl
The Completion Time of Programs on Processors Subject to Failure and Repair.
IEEE Trans. Computers
Phillip F. Chimento Jr., Kishor S. Trivedi
1993 — conf
Transient Analysis of Deterministic and Stochastic Petri Nets.
Application and Theory of Petri Nets
Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi
1992 J jnl
Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets.
J. Parallel Distributed Comput.
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi
1992 A* conf
Approximate Performance Models of Polling Systems Using Stochastic Petri Nets.
INFOCOM
Hoon Choi, Kishor S. Trivedi
1992 J jnl
Composite Performance and Dependability Analysis.
Perform. Evaluation
Kishor S. Trivedi, Jogesh K. Muppala, Steven P. Woolet, Boudewijn R. Haverkort
1992 J jnl
Guest Editors' Introduction.
IEEE Trans. Parallel Distributed Syst.
Ravishankar K. Iyer, Kishor S. Trivedi
1991 — conf
A Decomposition Approach for Stochastic Petri Net Models.
PNPM
Gianfranco Ciardo, Kishor S. Trivedi
1991 — conf
Fixed Point Iteration in Availability Modeling.
Fault-Tolerant Computing Systems
Lorrie A. Tomek, Kishor S. Trivedi
1991 J jnl
On the Solution of GSPN Reward Models.
Perform. Evaluation
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi
1991 J jnl
Real-Time-Systems Performance in the Presence of Failures.
Computer
Jogesh K. Muppala, Steven P. Woolet, Kishor S. Trivedi
1991 — conf
Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques.
PNPM
Heinz Kantz, Kishor S. Trivedi
1991 B conf
Reliability analysis of the FDDI token ring.
LCN
Dimitris Logothetis, Kishor S. Trivedi
1991 J jnl
Stochastic Petri Net Analysis of Finite-Population Vacation Queueing Systems.
Queueing Syst. Theory Appl.
Oliver C. Ibe, Kishor S. Trivedi
1990 B conf
An Improved ALgorithm for the Symbolic Reliability Analysis of Networks.
SRDS
Malathi Veeraraghavan, Kishor S. Trivedi
1990 J jnl
Availability and Reliability Modeling for Computer Systems.
Adv. Comput.
David I. Heimann, Nitin Mittal, Kishor S. Trivedi
1990 J jnl
Computing Cumulative Measures of Stiff Markov Chains Using Aggregation.
IEEE Trans. Computers
Andrea Bobbio, Kishor S. Trivedi
1990 — conf
GSPM models: sensitivity analysis and applications.
ACM Southeast Regional Conference
Jogesh K. Muppala, Kishor S. Trivedi
1990 J jnl
Performability Analysis Using Semi-Markov Reard Processes.
IEEE Trans. Computers
Gianfranco Ciardo, Raymond A. Marie, Bruno Sericola, Kishor S. Trivedi
1990 J jnl
Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques.
Computer
Robert Geist, Kishor S. Trivedi
1990 J jnl
Stochastic Petri Net Models of Polling Systems.
IEEE J. Sel. Areas Commun.
Oliver C. Ibe, Kishor S. Trivedi
1990 J jnl
System Performance with User Behavior Graphs.
Perform. Evaluation
Maria Calzarossa, Raymond A. Marie, Kishor S. Trivedi
1990 J jnl
Two Queues with Alternating Service and Server Breakdown.
Queueing Syst. Theory Appl.
Oliver C. Ibe, Kishor S. Trivedi
1989 J jnl
Analysis of Stiff Markov Chains.
INFORMS J. Comput.
Andrew L. Reibman, Kishor S. Trivedi, Sanjaya Kumar, Gianfranco Ciardo
1989 — conf
Completion Times of Programs on Concurrent Processors with Failure and Repair.
ICPP (1)
Phillip F. Chimento Jr., Kishor S. Trivedi
1989 J jnl
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems.
IEEE Trans. Computers
Joanne Bechta Dugan, Kishor S. Trivedi
1989 J jnl
Dependability Evaluation of a Class of Multi-Loop Topologies for Local Area Networks.
IBM J. Res. Dev.
W. Earl Smith, Kishor S. Trivedi
1989 J jnl
Multistage Interconnection Network Reliability.
IEEE Trans. Computers
James T. Blake, Kishor S. Trivedi
1989 A conf
On reliability modelling of fault-tolerant distributed systems.
ICDCS
Philip M. Thambidurai, You-Keun Park, Kishor S. Trivedi
1989 — conf
SPNP: Stochastic Petri Net Package.
PNPM
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi
1989 — conf
Stochastic Petri Net Modeling of VAXcluster System Availability.
PNPM
Oliver C. Ibe, Archana Sathaye, Richard C. Howe, Kishor S. Trivedi
1989 A conf
Transient Overloads in Fault-Tolerant Real-Time Systems.
RTSS
Philip M. Thambidurai, Kishor S. Trivedi
1988 J jnl
Numerical transient analysis of markov models.
Comput. Oper. Res.
Andrew L. Reibman, Kishor S. Trivedi
1988 J jnl
Performability Analysis: Measures, an Algorithm, and a Case Study.
IEEE Trans. Computers
R. M. Smith, Kishor S. Trivedi, A. V. Ramesh
1988 J jnl
Performability Modeling Based on Real Data: A Case Study.
IEEE Trans. Computers
Mei-Chen Hsueh, Ravishankar K. Iyer, Kishor S. Trivedi
1988 — conf
Reliabilities of two fault-tolerant interconnection networks.
FTCS
James T. Blake, Kishor S. Trivedi
1988 A* conf
Sensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems.
SIGMETRICS
James T. Blake, Andrew L. Reibman, Kishor S. Trivedi
1987 — conf
A Measurement-Based Performability Model for a Multiprocessor System.
Computer Performance and Reliability
Mei-Chen Hsueh, Ravishankar K. Iyer, Kishor S. Trivedi
1987 J jnl
A Note on the Effect of Preemptive Policies on the Stability of a Priority Queue.
Inf. Process. Lett.
Raymond A. Marie, Kishor S. Trivedi
1987 J jnl
Performance and Reliability Analysis Using Directed Acyclic Graphs.
IEEE Trans. Software Eng.
Robin A. Sahner, Kishor S. Trivedi
1987 J jnl
Queueing Analysis of Fault-Tolerant Computer Systems.
IEEE Trans. Software Eng.
Victor F. Nicola, Vidyadhar G. Kulkarni, Kishor S. Trivedi
1987 J jnl
Transient Analysis of Acyclic Markov Chains.
Perform. Evaluation
Raymond A. Marie, Andrew L. Reibman, Kishor S. Trivedi
1987 — conf
Transient Analysis of Markov and Markov Reward Models.
Computer Performance and Reliability
Kishor S. Trivedi, Andrew L. Reibman, Roger Smith
1986 — conf
A Hierarchical, Combinatorial-Markov Method of Solving Complex Reliability Models.
FJCC
Robin A. Sahner, Kishor S. Trivedi
1986 J jnl
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains.
IEEE Trans. Computers
Andrea Bobbio, Kishor S. Trivedi
1986 J jnl
On modelling the performance and reliability of multimode computer systems.
J. Syst. Softw.
Vidyadhar G. Kulkarni, Victor F. Nicola, Kishor S. Trivedi
1986 — conf
Performance Analysis Using User Behavior Graphs.
Int. CMG Conference
Maria Calzarossa, Kishor S. Trivedi
1986 A* ed.
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
SIGMETRICS
Harry G. Perros, William J. Stewart, Kishor S. Trivedi
1986 J jnl
Provably Conservative Approximations to Complex Reliability Models.
IEEE Trans. Computers
Mark Smotherman, Robert Geist, Kishor S. Trivedi
1986 A* conf
Queueing Analysis of Fault-Tolerant Computer Systems.
SIGMETRICS
Victor F. Nicola, Vidyadhar G. Kulkarni, Kishor S. Trivedi
1986 J jnl
The Reliability of Life-Critical Computer Systems.
Acta Informatica
Robert Geist, Mark Smotherman, Kishor S. Trivedi, Joanne Bechta Dugan
1985 J jnl
The Conservativeness of Reliability Estimates Based on Instantaneous Coverage.
IEEE Trans. Computers
John McGough, Mark Smotherman, Kishor S. Trivedi
1985 — conf
The Design of a Unified Package for the Solution of Stochastic Petri Net Models.
PNPM
Joanne Bechta Dugan, Andrea Bobbio, Gianfranco Ciardo, Kishor S. Trivedi
1984 Misc conf
Extended Stochastic Petri Nets: Applications and Analysis.
Performance
Joanne Bechta Dugan, Kishor S. Trivedi, Robert Geist, Victor F. Nicola
1984 — conf
Issues in reliability modeling of fault-tolerant computers.
Fehlertolerierende Rechensysteme
Kishor S. Trivedi, Joanne Bechta Dugan, Robert Geist, Mark Smotherman
1983 Misc conf
Analysis of M/G/2 - Standby Redundant System.
Performance
François Baccelli, Kishor S. Trivedi
1983 J jnl
Analytic Queueing Models for Programs with Internal Concurrency.
IEEE Trans. Computers
Philip Heidelberger, Kishor S. Trivedi
1983 — conf
Computer Science and Applied Probability (abstract).
Int. CMG Conference
Kishor S. Trivedi
1983 — conf
On the Optimal Distribution of Processing Power in a Star Configured System.
MMB
Günter Haring, Kishor S. Trivedi
1983 — conf
Reliability Evaluation for Fault-Tolerant Systems.
Computer Performance and Reliability
Kishor S. Trivedi
1983 J jnl
Task Allocation in Fault-Tolerant Distributed Systems.
Acta Informatica
Joseph A. Bannister, Kishor S. Trivedi
1983 Misc conf
The Integration of User Perception in the Heterogeneous M/M/2 Queue.
Performance
Robert Geist, Kishor S. Trivedi
1983 J jnl
Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems.
IEEE Trans. Computers
Robert Geist, Kishor S. Trivedi
1982 J jnl
Optimal Design of Multilevel Storage Hierarchies.
IEEE Trans. Computers
Robert Geist, Kishor S. Trivedi
1982 — conf
Optimal File Allocation, Device Capacity and CPU Speed Selection During the Design of Interactive Computer Systems.
Int. CMG Conference
Kishor S. Trivedi, Anneliese von Mayrhauser
1982 — book
Probability and Statistics with Reliability, Queuing, and Computer Science Applications.
Kishor S. Trivedi
1982 J jnl
Queueing Network Models for Parallel Processing with Asynchronous Tasks.
IEEE Trans. Computers
Philip Heidelberger, Kishor S. Trivedi
1981 C ed.
5th IEEE Symposium on Computer Arithmetic, ARITH 1981, Ann Arbor, MI, USA, May 16-19, 1981
IEEE Symposium on Computer Arithmetic
Kishor S. Trivedi, Daniel E. Atkins
1981 J jnl
Optimal Design of Linear Storage Hierarchies.
J. ACM
Kishor S. Trivedi, Timothy M. Sigmon
1981 — conf
Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection.
Int. CMG Conference
Kishor S. Trivedi, Anneliese von Mayrhauser
1980 J jnl
A Model for Computer Configuration Design.
Computer
Kishor S. Trivedi, Robert E. Kinicki
1980 A* conf
Designing Linear Storage Hierarchies so as to Maximize Reliability Subject to Cost and Performance Constraints.
ISCA
Kishor S. Trivedi
1980 Misc conf
Hardware configuration selection through discretizing a continuous variable solution.
Performance
Robert A. Wagner, Kishor S. Trivedi
1980 J jnl
Optimal Selection of CPU Speed, Device Capacities, and File Assignments.
J. ACM
Kishor S. Trivedi, Robert A. Wagner, Timothy M. Sigmon
1979 J jnl
A Decision Model for Closed Queuing Networks.
IEEE Trans. Software Eng.
Kishor S. Trivedi, Robert A. Wagner
1979 A* conf
A Performance Comparison of Optimally Designed Computer Systems with and without Virtual Memory.
ISCA
Kishor S. Trivedi, Timothy M. Sigmon
1979 J jnl
An analysis of prepaging.
Computing
Kishor S. Trivedi
1978 J jnl
Analytic Modeling of Computer Systems.
Computer
Kishor S. Trivedi
1978 C conf
Higher radix on-line division.
IEEE Symposium on Computer Arithmetic
Kishor S. Trivedi, Joseph G. Rusnak
1977 J jnl
On the Paging Performance of Array Algorithms.
IEEE Trans. Computers
Kishor S. Trivedi
1977 J jnl
On the Use of Continued Fractions for Digital Computer Arithmetic.
IEEE Trans. Computers
Kishor S. Trivedi
1977 J jnl
On-Line Algorithms for Division and Multiplication.
IEEE Trans. Computers
Kishor S. Trivedi, Milos D. Ercegovac
1976 J jnl
On a Semaphore Anomaly.
Inf. Process. Lett.
Kishor S. Trivedi
1976 J jnl
Prepaging and Applications to Array Algorithms.
IEEE Trans. Computers
Kishor S. Trivedi
1975 C conf
On the use of continued emotions for digital computer arithmetic.
IEEE Symposium on Computer Arithmetic
Kishor S. Trivedi
1975 C conf
On-line algorithms for division and multiplication.
IEEE Symposium on Computer Arithmetic
Kishor S. Trivedi, Milos D. Ercegovac
1974 — —
Prepaging and Applications to Structured Array Problems
Kishor S. Trivedi
1973 J jnl
The Status of Investigations into Computer Hardware Design Based on the Use of Continued Fractions.
IEEE Trans. Computers
James E. Robertson, Kishor S. Trivedi
1972 C conf
The status of investigations into the use of continued fractions for computer hardware.
IEEE Symposium on Computer Arithmetic
James E. Robertson, Kishor S. Trivedi