The Logic and Stochastic Verification Lab
at UCR
SMART: the Stochastic Model checking Analyzer
for Reliability and Timing
Program Co-Chair of
The 7th International Conference on Quantitative Evaluation of SysTems
(QEST) 2010
(College of William and Mary, September 15-18, 2010)
Program Co-Chair of
The 12th IEEE International Symposium on
Pacific Rim Dependable Computing (PRDC)
(University of California at Riverside, December 18-20, 2006)
General Chair of
The 3rd International Conference on the Quantitative Evaluation of
SysTems (QEST 2006)
(University of California at Riverside, September 11-14, 2006)
Talk at UCR on decision diagrams
June 2008
Tutorial on structured Markov chain storage
at QEST 2004, Enschede, The Netherlands
Keynote talk
at ICATPN 2004, Bologna, Italy
Keynote talk
at PNPM 2001, Aachen, Germany
