5 papers
A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
Ganesha, Sujit Kumar Chakrabarti
We present a method based on program analysis and formal verification to identify conditionally relevant variables (CRVs) - variables which could lead to violation of safety proper…
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…
Automated Application Processing
Eshita Sharma, Keshav Gupta, Lubaina Machinewala +4
Recruitment in large organisations often involves interviewing a large number of candidates. The process is resource intensive and complex. Therefore, it is important to carry it o…
Discovering Multiple Design Approaches in Programming Assignment Submissions
Nikhila KN, Sujit Kumar Chakrabarti, Manish Gupta
In this paper, we present a novel approach of automated evaluation of programming assignments~(AEPA) the highlight of which is that it automatically identifies multiple solution ap…
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…