Anil Kumar Karna

According to our database, Anil Kumar Karna authored at least 6 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Tuning parallel symbolic execution engine for better performance.

Anil Kumar Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao

Frontiers Comput. Sci., 2018

The role of model checking in software engineering.

Anil Kumar Karna, Yuting Chen, Haibo Yu, Hao Zhong, Jianjun Zhao

Frontiers Comput. Sci., 2018

2014

Multi-operative USB HD: An All-In-One Solution to IT Supports and Forensic Experts.

Anil Kumar Karna, Yuting Chen

J. Softw., 2014

2013

Anticrasher: Predicting and preventing impending crashes on runtime at user end.

Anil Kumar Karna, Yuting Chen

Proceedings of the International Conference on Advances in Computing, 2013

2010

Cross Comparison on C Compilers' Reliability Impact on UNIX Based Fedora OS.

Anil Kumar Karna, Hengming Zou

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Croth: Effective Process Protection and Monitoring with Hardware Virtualization.

Menglong Jiang, Zhengwei Qi, Haibing Guan, Anil Kumar Karna

Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009