P. Ezudheen

According to our database, P. Ezudheen authored at least 3 papers between 2009 and 2020.

Collaborative distances:

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

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