A formal approach for specification-driven AMS behavioral model generation. - Subhankar Mukherjee 001; Antara Ain; Subrat Kumar Panda; Rajdeep Mukhopadhyay; Pallab Dasgupta (DATE, 2009)

Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions. - Subhankar Mukherjee 001; Pallab Dasgupta (VLSI Design, 2011)

Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions. - Subhankar Mukherjee 001; Pallab Dasgupta; Siddhartha Mukhopadhyay (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)

Assertion Aware Sampling Refinement: A Mixed-Signal Perspective. - Subhankar Mukherjee 001; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Computing Minimal Debugging Windows in Failure Traces of AMS Assertions. - Subhankar Mukherjee 001; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice. - Subhankar Mukherjee 001; Pallab Dasgupta; Siddhartha Mukhopadhyay; Scott Little; John Havlicek; Srikanth Chandrasekaran (ACM Trans. Design Autom. Electr. Syst., 2012)

Model checking of global power management strategies in software with temporal logic properties. - Rajdeep Mukherjee; Subhankar Mukherjee 001; Pallab Dasgupta (ISEC, 2013)

Formal Verification of Hardware / Software Power Management Strategies. - Rajdeep Mukherjee; Pallab Dasgupta; Ajit Pal; Subhankar Mukherjee 001 (VLSI Design, 2013)

A fuzzy real-time temporal logic. - Subhankar Mukherjee 001; Pallab Dasgupta (Int. J. Approx. Reason., 2013)

Post-silicon debugging of PMU integration errors using behavioral models. - Antara Ain; Subhankar Mukherjee 001; Pallab Dasgupta; Siddhartha Mukhopadhyay (Integr., 2013)

POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. - Aritra Hazra; Rajdeep Mukherjee; Pallab Dasgupta; Ajit Pal; Kevin Harer; Ansuman Banerjee; Subhankar Mukherjee 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Estimating cancer gene pathway proximity using network interaction. - Rama Srikanth Mallavarapu; TaeJin Ahn; Subhankar Mukherjee 001; Ajit S. Bopardikar; Garima Agarwal; Taesung Park (BIBM, 2014)

Estimating functional coupling between cancer gene sub-networks using novel interaction measures. - Rama Srikanth Mallavarapu; TaeJin Ahn; Subhankar Mukherjee 001; Ajit S. Bopardikar; Garima Agarwal; Taesung Park (Int. J. Data Min. Bioinform., 2016)