A Verification Guided Approach for Selective Program Transformations for Approximate Computing. - Sayandeep Mitra; Moumita Das; Ansuman Banerjee; Kausik Datta; Tsung-Yi Ho (ATS, 2016)

A Systematic Review of Methods for Consistency Checking in SBVR-based Business Rules. - Sayandeep Mitra; Pavan Kumar Chittimalli (DIAS/EDUDM@ISEC, 2017)

MatGap: A Systematic Approach to Perform Match and Gap Analysis among SBVR-Based Domain Specific Business Rules. - Sayandeep Mitra; Chandan Prakash; Shayak Chakraborty; Pavan Kumar Chittimalli (APSEC, 2018)

Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2. - Sayandeep Mitra; Kritika Anand; Pavan Kumar Chittimalli (ICEIS (2), 2018)

Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method. - Kritika Anand; Sayandeep Mitra; Pavan Kumar Chittimalli (ENASE, 2019)

BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules. - Pavan Kumar Chittimalli; Kritika Anand; Shrishti Pradhan; Sayandeep Mitra; Chandan Prakash; Rohit Shere; Ravindra Naik (ASE, 2019)

Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams. - Sayandeep Mitra; Pavan Kumar Chittimalli; Ansuman Banerjee (ISEC, 2020)

Learning-based Assistant for Data Migration of Enterprise Information Systems. - Sayandeep Mitra; Debayan Mukherjee; Atreya Bandyopadhyay; Rajdip Chowdhury; Raveendra Kumar Medicherla; Indrajit Bhattacharya; Ravindra Naik (ASE, 2021)

LLM Driven Smart Assistant for Data Mapping. - Arihant Bedagkar; Sayandeep Mitra; Raveendra Kumar Medicherla; Ravindra Naik; Samiran Pal (SEIP@ICSE, 2025)