Prof. K Gopinath is on the faculty at the Indian Institute of Science, and is spending his sabbatical in 2007–08 working with Prof. Long and other researchers at the SSRC.

Publications

2009

• Kanchi Gopinath, Jon Elerath, Darrell D. E. Long, Reliability Modelling of Disk Subsystems with Probabilistic Model Checking, Technical Report UCSC-SSRC-09-05, May 2009. [Reliable Storage]