| Parallelizing SystemC kernel for fast hardware simulation on SMP machines P Ezudheen, P Chandran, J Chandra, BP Simon, D Ravi 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed …, 2009 | 92 | 2009 |
| Horn-ICE learning for synthesizing invariants and contracts P Ezudheen, D Neider, D D'Souza, P Garg, P Madhusudan Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018 | 65 | 2018 |
| Implementation of a purely hardware-assistedvmm for x86 architecture S Kalady, PG Dileep, K Sikdar, BS Sreejith, V Surya, P Ezudheen Proceedings of the World Congress on Engineering 1, 2009 | 56 | 2009 |
| Verifying Band Convergence for Sampled Control Systems P Ezudheen, ZR Afzal, P Prabhakar, D D’Souza, M D’Souza NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020 | 1 | 2020 |
| Internet of Things and Machine Learning for Smart-Agriculture: Technologies, Practices, and Future Direction K Kumari, E Sahay, M Shahid, PS Shinde, E Puliyanjalil International Journal of Intelligent Systems and Applications in Engineering …, 2024 | | 2024 |
| Learning Invariants for Verification of Programs and Control Systems P Ezudheen | | 2022 |
| PICC2020 REVIEWERS LIST I Ece | | |
