Extracting Business Compliant Finite State Models from I ^* Models. - Novarun Deb; Nabendu Chaki; Mandira Roy; Surochita Pal; Ankita Bhaumik (ACSS (1), 2019)

Generation of Safety and Liveness Complaint Automata from Goal Model Specifications. - Novarun Deb; Mandira Roy; Nabendu Chaki; Agostino Cortesi (EDCC, 2020)

A Deployment Framework for Ensuring Business Compliance Using Goal Models. - Novarun Deb; Mandira Roy; Surochita Pal; Ankita Bhaumik; Nabendu Chaki (Trans. Comput. Sci., 2020)

ToMAL: Token-Based Fair Mutual Exclusion Algorithm. - Debdita Kar; Mandira Roy; Nabendu Chaki (CISIM, 2021)

CARO: A Conflict-Aware Requirement Ordering Tool for DevOps. - Mandira Roy; Novarun Deb; Agostino Cortesi; Rituparna Chaki; Nabendu Chaki (RE, 2021)

Requirement-oriented risk management for incremental software development. - Mandira Roy; Novarun Deb; Agostino Cortesi; Rituparna Chaki; Nabendu Chaki (Innov. Syst. Softw. Eng., 2021)

NFR-aware prioritization of software requirements. - Mandira Roy; Novarun Deb; Agostino Cortesi; Rituparna Chaki; Nabendu Chaki (Syst. Eng., 2021)

Correlating contexts and NFR conflicts from event logs. - Mandira Roy; Souvick Das; Novarun Deb; Agostino Cortesi; Rituparna Chaki; Nabendu Chaki (Softw. Syst. Model., 2023)

SCARS: Suturing wounds due to conflicts between non-functional requirements in autonomous and robotic systems. - Mandira Roy; Raunak Bag; Novarun Deb; Agostino Cortesi; Rituparna Chaki; Nabendu Chaki (Softw. Pract. Exp., 2024)

GAN-guided artificial neural collaborative complex computation for efficient neural synchronization. - Arindam Sarkar; Rahul Karmakar; Mandira Roy (Multim. Tools Appl., 2024)

Enhancing Code Reusability: Mapping ROS Source Code Into Behavior Trees. - Sara Dhar; Mandira Roy; Tuhin Utsab Paul (CISIM, 2025)

A Hybrid RAG Framework for Bug-to-Feature Mapping. - Tirthankar Ghosh; Mandira Roy; Souvick Das; Nabendu Chaki; Agostino Cortesi (CISIM, 2025)