Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2 S Mitra, K Anand, PK Chittimalli International Conference on Enterprise Information Systems 2, 215-222, 2018 | 5 | 2018 |
A Systematic Review of Methods for Consistency Checking in SBVR-based Business Rules. S Mitra, PK Chittimalli DIAS/EDUDM@ ISEC, 2017 | 5 | 2017 |
Matgap: A systematic approach to perform match and gap analysis among sbvr-based domain specific business rules S Mitra, C Prakash, S Chakraborty, PK Chittimalli 2018 25th Asia-Pacific Software Engineering Conference (APSEC), 551-560, 2018 | 4 | 2018 |
A verification guided approach for selective program transformations for approximate computing S Mitra, M Das, A Banerjee, K Datta, TY Ho 2016 IEEE 25th Asian Test Symposium (ATS), 37-42, 2016 | 4 | 2016 |
Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams S Mitra, PK Chittimalli, A Banerjee Proceedings of the 13th Innovations in Software Engineering Conference on …, 2020 | 3 | 2020 |
BuRRiTo: a framework to extract, specify, verify and analyze business rules PK Chittimalli, K Anand, S Pradhan, S Mitra, C Prakash, R Shere, R Naik 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 3 | 2019 |
Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method. K Anand, S Mitra, PK Chittimalli ENASE, 47-58, 2019 | 3 | 2019 |
System and method for learning-based synthesis of data transformation rules RK Medicherla, S Mitra, RD Naik US Patent 11,886,396, 2024 | | 2024 |
Learning-based assistant for data migration of enterprise information systems S Mitra, D Mukherjee, A Bandyopadhyay, R Chowdhury, RK Medicherla, ... 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | | 2021 |
Approximate computing in digital design S Mitra PQDT-Global, 2016 | | 2016 |
A Knowledge Based Tool For DCCS Design Validation S Mitra, G Bhattacharyya, K Datta IFAC Proceedings Volumes 22 (15), 39-46, 1989 | | 1989 |