Subhankar Mukherjee

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Power Management

Protein Protein Interaction Networks

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Int. J. Approx. Reason.

Publications

Rama Srikanth Mallavarapu, TaeJin Ahn, Subhankar Mukherjee, Ajit S. Bopardikar, Garima Agarwal, Taesung Park
Estimating functional coupling between cancer gene sub-networks using novel interaction measures. Int. J. Data Min. Bioinform. 15 (1) (2016)
Rama Srikanth Mallavarapu, TaeJin Ahn, Subhankar Mukherjee, Ajit S. Bopardikar, Garima Agarwal, Taesung Park
Estimating cancer gene pathway proximity using network interaction. BIBM (2014)
Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Kevin Harer, Ansuman Banerjee, Subhankar Mukherjee
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (11) (2013)
Subhankar Mukherjee, Pallab Dasgupta
A fuzzy real-time temporal logic. Int. J. Approx. Reason. 54 (9) (2013)
Antara Ain, Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay
Post-silicon debugging of PMU integration errors using behavioral models. Integr. 46 (3) (2013)
Rajdeep Mukherjee, Subhankar Mukherjee, Pallab Dasgupta
Model checking of global power management strategies in software with temporal logic properties. ISEC (2013)
Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee
Formal Verification of Hardware / Software Power Management Strategies. VLSI Design (2013)
Subhankar Mukherjee, Pallab Dasgupta
Assertion Aware Sampling Refinement: A Mixed-Signal Perspective. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (11) (2012)
Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran
Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice. ACM Trans. Design Autom. Electr. Syst. 17 (4) (2012)
Subhankar Mukherjee, Pallab Dasgupta
Computing Minimal Debugging Windows in Failure Traces of AMS Assertions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (11) (2012)
Subhankar Mukherjee, Pallab Dasgupta
Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions. VLSI Design (2011)
Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay
Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (10) (2011)
Subhankar Mukherjee, Antara Ain, Subrat Kumar Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta
A formal approach for specification-driven AMS behavioral model generation. DATE (2009)