3 papers
cs.SE2023
ConStaBL -- A Fresh Look at Software Engineering with State Machines
Karthika Venkatesan, Sujit Kumar Chakrabarti
Statechart is a visual modelling language for systems. In this paper, we extend our earlier work on modular statecharts with local variables and present an updated operational sema…
cs.SE2019
StaBL - State Based Language for Specification of Web Applications
Karthika Venkatesan, Sujit Kumar Chakrabarti
Context and motivation: Usage of Formal Specification languages is scarce in web application development as compared to safety critical/hardware systems. Question/problem: An apt f…
cs.IR2017
Building a Structured Query Engine
Amanpreet Singh, Karthik Venkatesan, Simranjyot Singh Gill
Finding patterns in data and being able to retrieve information from those patterns is an important task in Information retrieval. Complex search requirements which are not fulfill…