Sumesh Divakaran
Sumesh Divakaran
College of Engineering Trivandrum, Kerala State
Verified email at cet.ac.in
Title
Cited by
Cited by
Year
Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic
S Divakaran, D D’Souza
Department of CSA, Indian Institute of Science, Technical Report IISc-CSA-TR …, 2009
122009
Refinement-based verification of the FreeRTOS scheduler in VCC
S Divakaran, D D’Souza, A Kushwah, P Sampath, N Sridhar, J Woodcock
International Conference on Formal Engineering Methods, 170-186, 2015
82015
Efficient refinement checking in VCC
S Divakaran, D D’Souza, N Sridhar
Working Conference on Verified Software: Theories, Tools, and Experiments, 21-36, 2014
72014
Conflict-tolerant specifications in temporal logic
S Divakaran, D D'Souza, RM Matteplackel
Proceedings of the 3rd India software engineering conference, 103-110, 2010
52010
A refinement-based methodology for verifying abstract data type implementations
S Divakaran
22018
A theory of refinement for ADTs with functional interfaces
S Divakaran, D D’Souza, P Sampath, N Sridhar, J Woodcock
Technical report TR-2015-4, Department of Computer Science and Automation …, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–6