Shimmi Asokan

According to our database, Shimmi Asokan authored at least 5 papers between 2009 and 2023.

Collaborative distances:

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

2023

Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet.

Shimmi Asokan, G. Santhosh Kumar

Innov. Syst. Softw. Eng., September, 2023

2018

Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker.

Shimmi Asokan, G. Santhosh Kumar

Proceedings of the 8th International Symposium on Embedded Computing and System Design, 2018

2012

A framework for optimizing GCC for ARM architecture.

P. R. Mahalingam, Shimmi Asokan

Proceedings of the 2012 International Conference on Advances in Computing, 2012

2011

An Extension to Global Value Numbering.

Saranya D. Krishnan, Shimmi Asokan

Proceedings of the Advances in Computing and Communications, 2011

2009

Modeling of ALFA Programs Using PVS Theorem Prover.

Shimmi Asokan, G. Santhosh Kumar, N. Jaya Lal

Proceedings of the ARTCom 2009, 2009