Sumesh Divakaran

According to our database, Sumesh Divakaran authored at least 4 papers between 2010 and 2015.

Collaborative distances:

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

2015

Refinement-Based Verification of the FreeRTOS Scheduler in VCC.

Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Efficient Refinement Checking in VCC.

Sumesh Divakaran, Deepak D'Souza, Nigamanth Sridhar

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2010

Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic.

Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan

Proceedings of the TIME 2010, 2010

Conflict-tolerant specifications in temporal logic.

Sumesh Divakaran, Deepak D'Souza, Raj Mohan Matteplackel

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010