PUBLICATIONS

2018
Asokan S, Santhoshkumar G. Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker. In: 8th International Symposium on Embedded Computing and System Design (ISED). Kochi, India: IEEE; 2018. p. 69-73.
2017
Asokan S, Sreedharan S. A cache replacement policy based on re-reference count. In: 2017 International Conference on Inventive Communication and Computational Technologies (ICICCT). Coimbatore, India: IEEE; 2017. p. 129-134.
Asokan S, Sebastian R. A Novel Approach for Compliance Assurance using IoT. Research in Communication Network and Power Engineering (CNPE - 2017). 2017:35-40.
Asokan S, Sebastian R. Process compliance checking using model checker. In: International Conference on Inventive Communication and Computational Technologies (ICICCT). Coimbatore, India: IEEE; 2017. p. 363-368.
2016
S A, Asokan S. Verification of Congestion Control Protocol in VANETS Using Formal Method. IJAR. 2016;(ISSN: 2320-5407):1986 - 1992, DOI: 10.21474/IJAR01/1682.
2015
Shanavas N, Asokan S. Ontology-based Document Mining System for IT Support Service. International Conference on Information and Communication Technologies, ICICT 2014. 2015;46:329 - 336, doi:10.1016/j.procs.2015.02.028.
Kurian N, Asokan S. Summarizing user opinions: A method for labeled-data scarce product domains. International Conference on Information and Communication Technologies, ICICT 2014. 2015;46:93 - 100, doi:10.1016/j.procs.2015.01.062.
2014
Shanavas N, Asokan S. SEMANTIC APPROACH UTILIZING DATA MINING AND CASE-BASED REASONING FOR IT SUPPORT SERVICE. International Journal of Research in Engineering and Technology . 2014;3(3):eISSN: 2319-1163, pISSN: 2321-7308.
Sreedharan S, Asokan S. A Survey on Cache Performance Improvement Techniques. In: National conference on Recent Advances in Computer Science & Information Engineering. ; 2014.
2013
Asha MJ, Shimmi A. BIFEMIT- A Novel Algorithm for Biometric Identification. International Journal of Computer Science Engineering and Technology (IJCSET). 2013;3(7, ISSN:2231-0711).
2012
P.R. M, Shimmi A. Adapting barrel shifter at compilation level for efficient implementation of multiplications. In: International Conference on Advances in Computing and Communications(ACC). IEEE; 2012. p. DOI: 10.1109/ICACC.2012.37 .
P.R. M, Shimmi A. Energy- aware mobile application development by optimizing GCC for the ARM Architecture. In: InternationalConferenceonEco-friendly Computing and Communication Systems (ICECCS). Vol. 305. Kochi, India: Springer-Verlag Berlin Heidelberg; 2012. p. 1-8, DOI=10.1007/978-3-642-32112-2_1 .
Preetha KG, Saritha S, Shimmi A. Enhanced Performance of Engineering Students through REA- A Comparative Analysis. In: International Conference on Advances in Computing and Communications(ACC). Kochi, India: IEEE; 2012. p. DOI: 10.1109/ICACC.2012.41 .
P.R. M, Shimmi A. A framework for optimizing GCC for ARM architecture. In: International Conference on Advances in Computing, Communications and Informatics (ICACCI'12). Chennai, India: ACM; 2012. p. 337-342, DOI=10.1145/2345396.2345452.
Semantic Web Mining - Ontology Based Approach. In: Conference On Computing Paradigms and Bio-informatics (CPBI 2012). Kottayam; 2012.
2011
D. KS, Shimmi A. An Extension to Global Value Numbering. In: Advances in Computing and Communications in Computer and Information Science. Vol. 193. Part IV. Kochi: Springer-Verlag Berlin Heidelberg; 2011. p. 63-69, DOI: 10.1007/978-3-642-22726-4_8.
2009
Shimmi A, G. SK, N. JL. Formal Verification of Programs in ADA Language for Flight Software Application. In: National Conference on Education and Research (ConfER 2009). Kochi: Rajagiri School of Engineering and Technology; 2009.
Shimmi A, G. SK, N. JL. Modeling of ALFA Programs Using PVS Theorem Prover. In: International Conference on Advances in Recent Technologies in Communication and Computing, ARTCom 2009. IEEE; 2009. p. 373-375 DOI: 10.1109/ARTCom.2009.134 .