Kritika Anand

According to our database, Kritika Anand authored at least 8 papers between 2015 and 2022.

Collaborative distances:

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

2022

Spatial Relation Graph and Graph Convolutional Network for Object Goal Navigation.

D. A. Sasi Kiran, Kritika Anand, Chaitanya Kharyal, Gulshan Kumar, Nandiraju Gireesh, Snehasis Banerjee, Ruddra Dev Roychoudhury, Mohan Sridharan, Brojeshwar Bhowmick, K. Madhava Krishna

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

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

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

Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik

Proceedings of the Practical Aspects of Declarative Languages, 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

2016

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

Pavan Kumar Chittimalli, Kritika Anand

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, 2016

2015

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

Nisha Gupta, Kritika Anand, Ashish Sureka

Proceedings of the Databases in Networked Information Systems, 2015

Utility-Based Control Flow Discovery from Business Process Event Logs.

Kritika Anand, Nisha Gupta, Ashish Sureka

Proceedings of the Big Data Analytics - 4th International Conference, 2015