Abhishek Rai (Selection)

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

4		Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok: Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. Electr. Notes Theor. Comput. Sci. 164(4): 41-52 (2006)
2		Erez Zadok, Sean Callanan, Abhishek Rai, Gopalan Sivathanu, Avishay Traeger: Efficient and Safe Execution of User-Level Code in the Kernel. IPDPS 2005

Selection of 2 from 6 records - Abhishek Rai has 17 coauthors