Login / Signup
P. Ezudheen
Publication Activity (10 Years)
Years Active: 2009-2020
Publications (10 Years): 3
Top Topics
Convergence Theorem
Learning Scenarios
Iterative Algorithms
Control System
Top Venues
Proc. ACM Program. Lang.
CoRR
NFM
</>
Publications
</>
P. Ezudheen
,
Zahra Rahimi Afzal
,
Pavithra Prabhakar
,
Deepak D'Souza
,
Meenakshi D'Souza
Verifying Band Convergence for Sampled Control Systems.
NFM
(2020)
P. Ezudheen
,
Daniel Neider
,
Deepak D'Souza
,
Pranav Garg
,
P. Madhusudan
Horn-ICE learning for synthesizing invariants and contracts.
Proc. ACM Program. Lang.
2 (OOPSLA) (2018)
Deepak D'Souza
,
P. Ezudheen
,
Pranav Garg
,
P. Madhusudan
,
Daniel Neider
Horn-ICE Learning for Synthesizing Invariants and Contracts.
CoRR
(2017)
P. Ezudheen
,
Priya Chandran
,
Joy Chandra
,
Biju Puthur Simon
,
Deepak Ravi
Parallelizing SystemC Kernel for Fast Hardware Simulation on SMP Machines.
PADS
(2009)