Shimmi Asokan

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (15)

• Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet
  Innovations in Systems and Software Engineering 2023 DOI: 10.1007/s11334-022-00483-1
  +Save
• Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay
  Defence Science Journal 2023 DOI: 10.14429/dsj.73.18449
  +Save
• ONEKUBE: A Virtual Classroom Experience
  Journal of Scientific Research 2022 DOI: 10.37398/jsr.2022.660211
  +Save
• Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker
  2018 8th International Symposium on Embedded Computing and System Design (ISED) 2018 DOI: 10.1109/ised.2018.8704029
  +Save
• A cache replacement policy based on re-reference count
  Proceedings of the International Conference on Inventive Communication and Computational Technologies, ICICCT 2017 2017 DOI: 10.1109/ICICCT.2017.7975173
  +Save
• Process compliance checking using model checker
  Proceedings of the International Conference on Inventive Communication and Computational Technologies, ICICCT 2017 2017 DOI: 10.1109/ICICCT.2017.7975220
  +Save
• VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD
  International Journal of Advanced Research 2016 DOI: 10.21474/ijar01/1682
  +Save
• Ontology-based document mining system for IT support service
  Procedia Computer Science 2015 DOI: 10.1016/j.procs.2015.02.028
  +Save
• Summarizing user opinions: A method for labeled-data scarce product domains
  Procedia Computer Science 2015 DOI: 10.1016/j.procs.2015.01.062
  +Save
• A framework for optimizing GCC for ARM architecture
  ACM International Conference Proceeding Series 2012 DOI: 10.1145/2345396.2345452
  +Save