Parallelizing SystemC Kernel for Fast Hardware Simulation on SMP Machines. - P. Ezudheen; Priya Chandran; Joy Chandra; Biju Puthur Simon; Deepak Ravi (PADS, 2009)

Horn-ICE learning for synthesizing invariants and contracts. - P. Ezudheen; Daniel Neider; Deepak D'Souza; Pranav Garg 001; P. Madhusudan (Proc. ACM Program. Lang., 2018)

Verifying Band Convergence for Sampled Control Systems. - P. Ezudheen; Zahra Rahimi Afzal; Pavithra Prabhakar; Deepak D'Souza; Meenakshi D'Souza (NFM, 2020)