Logo
Spot Admission B.Tech/M.Tech

Staff Profile

Dr. Ezudheen P
Assistant Professor
Computer Science

M-Tech
ezudheen@gmail.com
9895398985
  • Qualifications
  • Publications
  • Experience
  • Interests
  • Achievements

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 Journal0

Conferences

No. Description Category Year of Publishing
1Verifying 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’SouzaInternational Conference2020
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-188International Conference2010

View Gallery