Sayandeep Mitra

According to our database, Sayandeep Mitra authored at least 8 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams.

Sayandeep Mitra, Pavan Kumar Chittimalli, Ansuman Banerjee

Proceedings of the ISEC 2020: 13th Innovations in Software Engineering Conference, 2020

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

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method.

Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2.

Sayandeep Mitra, Kritika Anand, Pavan Kumar Chittimalli

Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

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

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

A Systematic Review of Methods for Consistency Checking in SBVR-based Business Rules.

Sayandeep Mitra, Pavan Kumar Chittimalli

Proceedings of the Joint Proceedings of the 3rd Modelling Symposium (ModSym), 2017

2016

A Verification Guided Approach for Selective Program Transformations for Approximate Computing.

Sayandeep Mitra, Moumita Das, Ansuman Banerjee, Kausik Datta, Tsung-Yi Ho

Proceedings of the 25th IEEE Asian Test Symposium, 2016