Sumesh Divakaran

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Computationally Expensive

Query Refinement

Digital Libraries

Top Venues

Publications

Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. ICFEM (2015)
Sumesh Divakaran, Deepak D'Souza, Nigamanth Sridhar
Efficient Refinement Checking in VCC. VSTTE (2014)
Sumesh Divakaran, Deepak D'Souza, Raj Mohan Matteplackel
Conflict-tolerant specifications in temporal logic. ISEC (2010)
Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan
Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. TIME (2010)