Lomesh Meshram

According to our database, Lomesh Meshram authored at least 1 paper in 2014.

Collaborative distances:

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

2014

A multi-core version of FreeRTOS verified for datarace and deadlock freedom.

Prakash Chandrasekaran, Kavum Muriyil Balachandran Shibu Kumar, Remish L. Minz, Deepak D'Souza, Lomesh Meshram

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014