| Refinement-based verification of the FreeRTOS scheduler in VCC S Divakaran, D D’Souza, A Kushwah, P Sampath, N Sridhar, J Woodcock Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 12 | 2015 |
| 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 | 12 | 2009 |
| Efficient refinement checking in VCC S Divakaran, D D’Souza, N Sridhar Verified Software: Theories, Tools and Experiments: 6th International …, 2014 | 8 | 2014 |
| Conflict-tolerant specifications in temporal logic S Divakaran, D D'Souza, RM Matteplackel Proceedings of the 3rd India software engineering conference, 103-110, 2010 | 5 | 2010 |
| 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 | 3 | 2015 |
| A refinement-based methodology for verifying abstract data type implementations S Divakaran | 2 | 2018 |
