Formal Verification of Power Management Logic with Mixed-Signal Domains. - Sudipa Mandal; Antonio Anastasio Bruto da Costa; Aritra Hazra; Pallab Dasgupta; Bhushan Naware; Chunduri Rama Mohan; Sanjib Basu (VLSID, 2017)

On the Deep Structure of Ragas and Analytic Rating of Music Scores. - Sudipa Mandal; Shilpi Chaudhuri; Antonio Anastasio Bruto da Costa; Gouri Karambelkar; Pallab Dasgupta (Heritage Preservation, 2018)

AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. - Antonio Anastasio Bruto da Costa; Shriya Dharade; Sudipa Mandal; Pallab Dasgupta (VLSID, 2018)

Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components. - Sudipa Mandal; Aritra Hazra; Pallab Dasgupta; Chunduri Rama Mohan (VLSID, 2018)

Assertions for Protecting Mixed-Signal Latency Contracts in Power Management. - Sudipa Mandal; Pallab Dasgupta; Aritra Hazra; Chunduri Rama Mohan (IEEE Trans. Very Large Scale Integr. Syst., 2020)

An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors. - Sudipa Mandal; Krushna Gaurkar; Pallab Dasgupta; Aritra Hazra (VLSID, 2021)

Usage-Driven Personalization of Power Management Logic. - Sudipa Mandal; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2021)

Migrating Assertions From Dense to Discrete Time. - Sudipa Mandal; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)