Karthika Venkatesan

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Web Applications

Independent Variables

Denotational Semantics

Formal Language

Top Venues

J. Comput. Lang.

Publications

Karthika Venkatesan, Sujit Kumar Chakrabarti
A fresh look on semantics of Concurrent State Based Language (ConStaBL). J. Comput. Lang. 79 (2024)
Karthika Venkatesan, Sujit Kumar Chakrabarti
ConStaBL - A Fresh Look at Software Engineering with State Machines. CoRR (2023)
Sujit Kumar Chakrabarti, Karthika Venkatesan
StaBL: Statecharts with Local Variables. ISEC (2020)
Karthika Venkatesan, Sujit Kumar Chakrabarti
StaBL - State Based Language for Specification of Web Applications. CoRR (2019)