Anil Kumar Karna

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 2

Top Topics

Software Engineering

Automated Verification

Computation Tree Logic

Top Venues

Frontiers Comput. Sci.

Publications

Anil Kumar Karna, Yuting Chen, Haibo Yu, Hao Zhong, Jianjun Zhao
The role of model checking in software engineering. Frontiers Comput. Sci. 12 (4) (2018)
Anil Kumar Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao
Tuning parallel symbolic execution engine for better performance. Frontiers Comput. Sci. 12 (1) (2018)
Anil Kumar Karna, Yuting Chen
Multi-operative USB HD: An All-In-One Solution to IT Supports and Forensic Experts. J. Softw. 9 (4) (2014)
Anil Kumar Karna, Yuting Chen
Anticrasher: Predicting and preventing impending crashes on runtime at user end. ICACCI (2013)
Anil Kumar Karna, Hengming Zou
Cross Comparison on C Compilers' Reliability Impact on UNIX Based Fedora OS. CIT (2010)
Menglong Jiang, Zhengwei Qi, Haibing Guan, Anil Kumar Karna
Croth: Effective Process Protection and Monitoring with Hardware Virtualization. FCST (2009)