Staff Profile

Dr. Ezudheen P
Assistant Professor
Computer Science

M-Tech

ezudheen@gmail.com

9895398985

Journals

No.	Description	Category	Year of Publishing
1	“Horn-ICE learning for synthesizing invariants and contracts” P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan Proceedings of the ACM on Programming LanguagesVolume 2Issue OOPSLANovember 2018 Article No.: 131pp 1–25https://doi.org/10.1145/3276501	International Journal	0

Conferences

No.	Description	Category	Year of Publishing
1	Verifying Band Convergence for Sampled Control Systems NASA Formal Methods Symposium NFM 2020: NASA Formal Methods pp 329-349 P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D’Souza, Meenakshi D’Souza	International Conference	2020
2	“Analysis of Performance Impact due to Hardware Virtualization Using a Purely Hardware-Assisted VMM” Saidalavi Kalady, Dileep P G, Krishanu Sikdar, Sreejith B S, Vinaya Surya, Ezudheen P Electronic Engineering and Computing Technology pp 179-188	International Conference	2010

View Gallery