@conference {4061,
	title = {Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker},
	booktitle = {8th International Symposium on Embedded Computing and System Design (ISED)},
	year = {2018},
	month = {13 December 2018},
	pages = {69-73},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Kochi, India},
	author = {Shimmi Asokan and G. Santhoshkumar}
}
@conference {4045,
	title = {A cache replacement policy based on re-reference count},
	booktitle = { 2017 International Conference on Inventive Communication and Computational Technologies (ICICCT)},
	year = {2017},
	month = {10 March 2017},
	pages = {129-134},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Coimbatore, India},
	author = {Shimmi Asokan and Sreya Sreedharan}
}
@proceedings {4056,
	title = {A Novel Approach for Compliance Assurance using IoT},
	journal = {Research in Communication Network and Power Engineering (CNPE - 2017)},
	year = {2017},
	pages = {35-40},
	publisher = {GRENZE},
	address = {Bengaluru, India},
	author = {Shimmi Asokan and Ritz Sebastian}
}
@conference {4041,
	title = {Process compliance checking using model checker},
	booktitle = {International Conference on Inventive Communication and Computational Technologies (ICICCT)},
	year = {2017},
	month = {10 March 2017},
	pages = {363-368},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Coimbatore, India},
	author = {Shimmi Asokan and Ritz Sebastian}
}
@article {2359,
	title = {Verification of Congestion Control Protocol in VANETS Using Formal Method},
	journal = {IJAR},
	year = {2016},
	pages = {1986 - 1992, DOI: 10.21474/IJAR01/1682},
	author = {Ayana S and Shimmi Asokan}
}
@proceedings {2358,
	title = {Ontology-based Document Mining System for IT Support Service},
	journal = {International Conference on Information and Communication Technologies, ICICT 2014},
	volume = {46},
	year = {2015},
	pages = {329 - 336, doi:10.1016/j.procs.2015.02.028},
	author = {Niloofer Shanavas and Shimmi Asokan}
}
@proceedings {2357,
	title = {Summarizing user opinions: A method for labeled-data scarce product domains},
	journal = {International Conference on Information and Communication Technologies, ICICT 2014},
	volume = {46},
	year = {2015},
	pages = {93 - 100, doi:10.1016/j.procs.2015.01.062},
	author = {Neethu Kurian and Shimmi Asokan}
}
@article {2354,
	title = {SEMANTIC APPROACH UTILIZING DATA MINING AND CASE-BASED REASONING FOR IT SUPPORT SERVICE},
	journal = {International Journal of Research in Engineering and Technology },
	volume = {3},
	year = {2014},
	pages = {eISSN: 2319-1163, pISSN: 2321-7308},
	author = {Niloofer Shanavas and Shimmi Asokan}
}
@conference {2356,
	title = {A Survey on Cache Performance Improvement Techniques},
	booktitle = {National conference on Recent Advances in Computer Science \& Information Engineering},
	year = {2014},
	month = {March},
	author = {Sreya Sreedharan and Shimmi Asokan}
}
@article {702,
	title = {BIFEMIT- A Novel Algorithm for Biometric Identification},
	journal = {International Journal of Computer Science Engineering and Technology (IJCSET)},
	volume = {3},
	year = {2013},
	author = {M.J. Asha and Asokan Shimmi}
}
@conference {700,
	title = {Adapting barrel shifter at compilation level for efficient implementation of multiplications},
	booktitle = {International Conference on Advances in Computing and Communications(ACC)},
	year = {2012},
	month = {August},
	pages = { DOI: 10.1109/ICACC.2012.37 },
	publisher = {IEEE},
	organization = {IEEE},
	author = {Mahalingam P.R. and Asokan Shimmi}
}
@conference {697,
	title = {Energy- aware mobile application development by optimizing GCC for the ARM Architecture},
	booktitle = {InternationalConferenceonEco-friendly Computing and Communication Systems (ICECCS)},
	volume = {305},
	year = {2012},
	month = {August},
	pages = {1-8, DOI=10.1007/978-3-642-32112-2_1 },
	publisher = {Springer-Verlag Berlin Heidelberg},
	organization = {Springer-Verlag Berlin Heidelberg},
	address = {Kochi, India},
	author = {Mahalingam P.R. and Asokan Shimmi}
}
@conference {701,
	title = {Enhanced Performance of Engineering Students through REA- A Comparative Analysis},
	booktitle = {International Conference on Advances in Computing and Communications(ACC)},
	year = {2012},
	month = {August},
	pages = {DOI: 10.1109/ICACC.2012.41 },
	publisher = {IEEE},
	organization = {IEEE},
	address = {Kochi, India},
	author = {KG Preetha and S Saritha and Asokan Shimmi}
}
@conference {696,
	title = {A framework for optimizing GCC for ARM architecture},
	booktitle = {International Conference on Advances in Computing, Communications and Informatics (ICACCI{\textquoteright}12)},
	year = {2012},
	month = {August},
	pages = {337-342, DOI=10.1145/2345396.2345452},
	publisher = {ACM},
	organization = {ACM},
	address = {Chennai, India},
	author = {Mahalingam P.R. and Asokan Shimmi}
}
@conference {695,
	title = {Semantic Web Mining - Ontology Based Approach},
	booktitle = {Conference On Computing Paradigms and Bio-informatics (CPBI 2012)},
	year = {2012},
	address = {Kottayam}
}
@conference {692,
	title = {An Extension to Global Value Numbering},
	booktitle = {Advances in Computing and Communications in Computer and Information Science},
	volume = {193},
	year = {2011},
	month = {August},
	pages = {63-69, DOI: 10.1007/978-3-642-22726-4_8},
	publisher = {Springer-Verlag Berlin Heidelberg},
	organization = {Springer-Verlag Berlin Heidelberg},
	edition = {Part IV},
	address = {Kochi},
	author = {Krishnan Saranya D. and Asokan Shimmi}
}
@conference {690,
	title = {Formal Verification of Programs in ADA Language for Flight Software Application},
	booktitle = {National Conference on Education and Research (ConfER 2009)},
	year = {2009},
	month = {March},
	publisher = {Rajagiri School of Engineering and Technology},
	organization = {Rajagiri School of Engineering and Technology},
	address = {Kochi},
	author = {Asokan Shimmi and SanthoshKumar G. and JayaLal N.}
}
@conference {689,
	title = {Modeling of ALFA Programs Using PVS Theorem Prover},
	booktitle = {International Conference on Advances in Recent Technologies in Communication and Computing, ARTCom 2009},
	year = {2009},
	month = {October},
	pages = {373-375 DOI: 10.1109/ARTCom.2009.134 },
	publisher = {IEEE},
	organization = {IEEE},
	author = {Asokan Shimmi and SanthoshKumar G. and JayaLal N.}
}
