Kritika Anand

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

Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli, 2019, ENASE.

An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic

Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik, 2018, PADL.

Utility-Based Control Flow Discovery from Business Process Event Logs

Nisha Gupta, Ashish Sureka, Kritika Anand, 2015, BDA.

BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules

Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli, 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Domain-independent method of detecting inconsistencies in SBVR-based business rules

Kritika Anand, Pavan Kumar Chittimalli, 2016, ForMABS@ASE.

Pariket: Mining Business Process Logs for Root Cause Analysis of Anomalous Incidents

Nisha Gupta, Ashish Sureka, Kritika Anand, 2015, DNIS.

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

Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli, 2018, ICEIS.