Sujit Kumar Chakrabarti

27 papers A 1C 3Misc 1Journal 6Unranked 15
YearRankTypeTitle / Venue / Authors
2026 — conf
SEU-Resilient Network Architecture: A Novel Formal-Methods Framework for Reliable 5G/6G Systems.
NCC
Ganesha, Sujit Kumar Chakrabarti
2025 J jnl
A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset.
CoRR
Ganesha, Sujit Kumar Chakrabarti
2024 J jnl
A fresh look on semantics of Concurrent State Based Language (ConStaBL).
J. Comput. Lang.
Karthika Venkatesan, Sujit Kumar Chakrabarti
2024 — conf
Safeguarding Controller Variables from SEUs using Static Analysis.
ISEC
Ganesha, Sujit Kumar Chakrabarti
2024 — conf
Static Race Detection for Periodic Real-Time Programs with IPCP Locks.
The Application of Formal Methods
Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti
2024 — conf
Towards LLM-driven Automated Verification of Best Practices in Digital Public Infrastructures.
SICSA REALLM
Milan Markovic, Somayajulu Sripada, Sujit Kumar Chakrabarti, Raghuram Bharadwaj Diddigi
2023 J jnl
ConStaBL - A Fresh Look at Software Engineering with State Machines.
CoRR
Karthika Venkatesan, Sujit Kumar Chakrabarti
2022 J jnl
Automated Application Processing.
CoRR
Eshita Sharma, Keshav Gupta, Lubaina Machinewala, Samaksh Dhingra, Shrey Tripathi, Shreyas V. S, Sujit Kumar Chakrabarti
2022 — conf
LetGrade: An Automated Grading System for Programming Assignments.
AIED (2)
Nikhila K. N., Sujit Kumar Chakrabarti
2022 A conf
Static Race Detection for Periodic Programs.
ESOP
Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti
2022 C conf
WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software.
SEKE
Varsha P. Suresh, Sujit Kumar Chakrabarti, Athul Suresh, Raoul Jetley
2021 J jnl
Discovering Multiple Design Approaches in Programming Assignment Submissions.
CoRR
Nikhila K. N., Sujit Kumar Chakrabarti, Manish Gupta
2021 Misc conf
Discovering multiple design approaches in programming assignment submissions.
SAC
Nikhila K. N., Sujit Kumar Chakrabarti, Manish Gupta
2021 — conf
Source-Code Similarity Measurement: Syntax Tree Fingerprinting for Automated Evaluation.
AIMLSystems
Arjun Verma, Prateksha Udhayanan, Rahul Murali Shankar, Nikhila K. N., Sujit Kumar Chakrabarti
2020 — conf
Automated Testing of Refreshable Braille Display.
HCC
Shivam Kumar Singh, Sujit Kumar Chakrabarti, Dinesh Babu Jayagopi
2020 — conf
StaBL: Statecharts with Local Variables.
ISEC
Sujit Kumar Chakrabarti, Karthika Venkatesan
2019 — conf
Formalizing GPU Instruction Set Architecture in Coq.
ISEC
Nitin Bhatia, Meenakshi D'Souza, Sujit Kumar Chakrabarti
2019 C conf
Handling Backtracking for Symbolic Testing of Embedded Software.
ETFA
Varsha P. Suresh, Sujit Kumar Chakrabarti, Raoul Jetley, Devina Mohan
2019 J jnl
StaBL - State Based Language for Specification of Web Applications.
CoRR
Karthika Venkatesan, Sujit Kumar Chakrabarti
2017 — conf
Designing Software Engineering Courses for Effective Teaching and Learning.
ISEC
Narasimha Bolloju, Sujit Kumar Chakrabarti
2017 — ed.
Joint Proceedings of the 3rd Modelling Symposium (ModSym), Developmental Aspects of Intelligent Adaptive Systems (DIAS), and Educational Data Mining Practices in Indian Academia (EDUDM) co-located with 10th Innovations in Software Engineering (ISEC 2017), Jaipur, India, February 5, 2017.
DIAS/EDUDM@ISEC
Sujit Kumar Chakrabarti, Anh Nguyen-Duc
2016 — conf
ACT (Abstract to Concrete Tests) - A tool for generating Concrete test cases from Formal Specification of Web Applications.
ModSym+SAAAS@ISEC
Khusbu Bubna, Sujit Kumar Chakrabarti
2016 — conf
SymTest: A Framework for Symbolic Testing of Embedded Software.
ISEC
Sujit Kumar Chakrabarti, S. Ramesh
2010 — conf
Connectedness testing of RESTful web-services.
ISEC
Sujit Kumar Chakrabarti, Reswin Rodriquez
2009 — conf
Using spreadsheets for finite state modelling.
ISEC
Sujit Kumar Chakrabarti, Srihari Sukumaran
2008 — conf
Test sequence computation for regression testing of reactive systems.
ISEC
Sujit Kumar Chakrabarti, Y. N. Srikant
2006 C conf
Specification Based Regression Testing Using Explicit State Space Enumeration.
ICSEA
Sujit Kumar Chakrabarti, Y. N. Srikant