Verification of a Generative Separation Kernel. - Inzemamul Haque; Deepak D'Souza; Habeeb P; Arnab Kundu; Ganesh Babu (ATVA, 2020)

Verification of Camera-Based Autonomous Systems. - Habeeb P; Nabarun Deka; Deepak D'Souza; Kamal Lodaya; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Approximate Conformance Verification of Deep Neural Networks. - Habeeb P; Pavithra Prabhakar (NFM, 2024)

Interval Image Abstraction for Verification of Camera-Based Autonomous Systems. - Habeeb P; Deepak D'Souza; Kamal Lodaya; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Approximate Conformance Checking for Closed-Loop Systems With Neural Network Controllers. - Habeeb P; Lipsy Gupta; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)