Croth: Effective Process Protection and Monitoring with Hardware Virtualization. - Menglong Jiang; Zhengwei Qi; Haibing Guan; Anil Kumar Karna (FCST, 2009)

Cross Comparison on C Compilers' Reliability Impact on UNIX Based Fedora OS. - Anil Kumar Karna; Hengming Zou (CIT, 2010)

Anticrasher: Predicting and preventing impending crashes on runtime at user end. - Anil Kumar Karna; Yuting Chen 001 (ICACCI, 2013)

Multi-operative USB HD: An All-In-One Solution to IT Supports and Forensic Experts. - Anil Kumar Karna; Yuting Chen (J. Softw., 2014)

The role of model checking in software engineering. - Anil Kumar Karna; Yuting Chen 001; Haibo Yu 001; Hao Zhong 001; Jianjun Zhao 001 (Frontiers Comput. Sci., 2018)

Tuning parallel symbolic execution engine for better performance. - Anil Kumar Karna; Jinbo Du; Haihao Shen; Hao Zhong 001; Jiong Gong; Haibo Yu 001; Xiangning Ma; Jianjun Zhao 001 (Frontiers Comput. Sci., 2018)