dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Kishor S. Trivedi (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


287Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArpan Roy, Dong Seong Kim, Kishor S. Trivedi: Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees. DSN 2012: 1-12
283Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErmeson C. Andrade, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi: Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets. ARES 2011: 161-168
277Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKishor S. Trivedi, Rajesh K. Mansharamani, Dong Seong Kim, Michael Grottke, Manoj Nambiar: Recovery from Failures Due to Mandelbugs in IT Systems. PRDC 2011: 224-233
276Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFumio Machida, Ermeson C. Andrade, Dong Seong Kim, Kishor S. Trivedi: Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML. SRDS 2011: 209-218
266Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRahul Ghosh, Kishor S. Trivedi, Vijay K. Naik, Dong Seong Kim: End-to-End Performability Analysis for Infrastructure-as-a-Service Cloud: An Interacting Stochastic Models Approach. PRDC 2010: 125-132
265Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDong Seong Kim, Rahul Ghosh, Kishor S. Trivedi: A Hierarchical Model for Reliability Analysis of Sensor Networks. PRDC 2010: 247-248
255Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKishor S. Trivedi, Dong Seong Kim, Rahul Ghosh: Resilience in computer systems and networks. ICCAD 2009: 74-77
254Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDong Seong Kim, Fumio Machida, Kishor S. Trivedi: Availability Modeling and Analysis of a Virtualized System. PRDC 2009: 365-371

Selection of 8 from 287 records - Kishor S. Trivedi has 199 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page