Login / Signup
Shimmi Asokan
ORCID
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 2
Top Topics
Model Checker
Formal Specification
Selection Algorithm
Communication Protocol
Top Venues
Innov. Syst. Softw. Eng.
ISED
</>
Publications
</>
Shimmi Asokan
,
G. Santhosh Kumar
Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet.
Innov. Syst. Softw. Eng.
19 (3) (2023)
Shimmi Asokan
,
G. Santhosh Kumar
Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker.
ISED
(2018)
P. R. Mahalingam
,
Shimmi Asokan
A framework for optimizing GCC for ARM architecture.
ICACCI
(2012)
Saranya D. Krishnan
,
Shimmi Asokan
An Extension to Global Value Numbering.
ACC (4)
(2011)
Shimmi Asokan
,
G. Santhosh Kumar
,
N. Jaya Lal
Modeling of ALFA Programs Using PVS Theorem Prover.
ARTCom
(2009)