Modeling of ALFA Programs Using PVS Theorem Prover. - Shimmi Asokan; G. Santhosh Kumar; N. Jaya Lal (ARTCom, 2009)

An Extension to Global Value Numbering. - Saranya D. Krishnan; Shimmi Asokan (ACC (4), 2011)

A framework for optimizing GCC for ARM architecture. - P. R. Mahalingam; Shimmi Asokan (ICACCI, 2012)

Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker. - Shimmi Asokan; G. Santhosh Kumar (ISED, 2018)

Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet. - Shimmi Asokan; G. Santhosh Kumar (Innov. Syst. Softw. Eng., 2023)