Sumesh Divakaran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2010–2015
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICFEM | Refinement-Based Verification of the FreeRTOS Scheduler in VCC. | Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock |
| 2010 | TIME | Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. | Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan |