P. Ezudheen

According to our database, P. Ezudheen authored at least 4 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

From Theory to Practice: Blackbox Testing in an Industrial Telecom Environment.

Darshana Das K, Krishnahari P, Libna Kuriakose T, Parvathy C. M, P. Ezudheen, Rahul Gopinath, Abraham Jacob

Proceedings of the 36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025, 2025

2020

Verifying Band Convergence for Sampled Control Systems.

P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2018

Horn-ICE learning for synthesizing invariants and contracts.

P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan

Proc. ACM Program. Lang., 2018

2009

Parallelizing SystemC Kernel for Fast Hardware Simulation on SMP Machines.

P. Ezudheen, Priya Chandran, Joy Chandra, Biju Puthur Simon, Deepak Ravi

Proceedings of the 23rd International Workshop on Principles of Advanced and Distributed Simulation, 2009