The Logic and Stochastic Verification Lab
at UCR
SMART: the Stochastic Model checking Analyzer
for Reliability and Timing
I was General Chair of
The 3rd International Conference on the Quantitative Evaluation of
SysTems (QEST 2006)
(University of California at Riverside, September 11-14, 2006)
I was Program Co-Chair of
The 12th IEEE International Symposium on
Pacific Rim Dependable Computing (PRDC'06)
(University of California at Riverside, December 18-20, 2006)
My keynote talk
at PNPM 2001, Aachen, Germany
My keynote talk
at ICATPN 2004, Bologna, Italy
My tutorial on structured Markov chain storage
at QEST 2004, Enschede, The Netherlands