Karthika Venkatesan

According to our database, Karthika Venkatesan authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A fresh look on semantics of Concurrent State Based Language (ConStaBL).

Karthika Venkatesan, Sujit Kumar Chakrabarti

J. Comput. Lang., 2024

Distributed Estimation Based Public Key Infrastructure for In-Vehicle Network Security.

Karthika Venkatesan, Seshadhri Srinivasan, Padmapritha Thamodharan, Nimesh Nagar, Haribabu P, S. D. Sudarsan, K. K. Soundara Pandian

Proceedings of the IEEE International Conference on Public Key Infrastructure and its Applications, 2024

2023

ConStaBL - A Fresh Look at Software Engineering with State Machines.

Karthika Venkatesan, Sujit Kumar Chakrabarti

CoRR, 2023

2020

StaBL: Statecharts with Local Variables.

Sujit Kumar Chakrabarti, Karthika Venkatesan

Proceedings of the ISEC 2020: 13th Innovations in Software Engineering Conference, 2020

2019

StaBL - State Based Language for Specification of Web Applications.

Karthika Venkatesan, Sujit Kumar Chakrabarti

CoRR, 2019