Jinesh M. Kannimoola

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (16)

• Semantics of temporal constrained objects
  Journal of Logical and Algebraic Methods in Programming 2021 DOI: 10.1016/j.jlamp.2020.100632
  +Save
• Formal Verification of IoT Protocol: In Design-Time and Run-Time Perspective
  Lecture Notes in Networks and Systems 2021 DOI: 10.1007/978-981-15-7345-3_74
  +Save
• A Formal Modeling Approach for QOS in MQTT Protocol
  Advances in Intelligent Systems and Computing 2020 DOI: 10.1007/978-981-15-0132-6_4
  +Save
• Declarative Modeling and Verification of Firewall Rules with Temporal Constrained Objects
  2nd Symposium on Application of Formal Methods for Safety & Security of Critical Systems 2018
  +Save
• Run-time Analysis of Temporal Constrained Objects
  Declarative Programming and Knowledge Management 2018 DOI: 10.1007/978-3-030-00801-7_2
  +Save
• Temporal constrained objects for modelling neuronal dynamics
  PeerJ Computer Science 2018 DOI: 10.7717/peerj-cs.159
  +Save
• Temporal constrained objects semantics application and implementation
  2018
  +Save
• Dynamic Constrained Objects for Vehicular Network Modeling
  Formal Methods for Safety and Security: Case Studies for Aerospace Applications 2017 DOI: 10.1007/978-981-10-4121-1
  +Save
• Secure IoT: An Improbable Reality
  International Conference on Internet of Things, Big Data and Security 2017 DOI: 10.5220/0006352903380343
  +Save
• Temporal constrained objects: Application and implementation
  Computer Languages, Systems & Structures 2017 DOI: http://doi.org/10.1016/j.cl.2017.03.002
  +Save