Sayandeep Mitra

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 8

Top Topics

Consistency Checking

Top Venues

DIAS/EDUDM@ISEC

Publications

Sayandeep Mitra, Debayan Mukherjee, Atreya Bandyopadhyay, Rajdip Chowdhury, Raveendra Kumar Medicherla, Indrajit Bhattacharya, Ravindra Naik
Learning-based Assistant for Data Migration of Enterprise Information Systems. ASE (2021)
Sayandeep Mitra, Pavan Kumar Chittimalli, Ansuman Banerjee
Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams. ISEC (2020)
Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli
Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method. ENASE (2019)
Pavan Kumar Chittimalli, Kritika Anand, Shrishti Pradhan, Sayandeep Mitra, Chandan Prakash, Rohit Shere, Ravindra Naik
BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules. ASE (2019)
Sayandeep Mitra, Chandan Prakash, Shayak Chakraborty, Pavan Kumar Chittimalli
MatGap: A Systematic Approach to Perform Match and Gap Analysis among SBVR-Based Domain Specific Business Rules. APSEC (2018)
Sayandeep Mitra, Kritika Anand, Pavan Kumar Chittimalli
Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2. ICEIS (2) (2018)
Sayandeep Mitra, Pavan Kumar Chittimalli
A Systematic Review of Methods for Consistency Checking in SBVR-based Business Rules. DIAS/EDUDM@ISEC (2017)
Sayandeep Mitra, Moumita Das, Ansuman Banerjee, Kausik Datta, Tsung-Yi Ho
A Verification Guided Approach for Selective Program Transformations for Approximate Computing. ATS (2016)