Subhankar Mukherjee

According to our database, Subhankar Mukherjee authored at least 13 papers between 2009 and 2016.

Collaborative distances:

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

2016

Estimating functional coupling between cancer gene sub-networks using novel interaction measures.

Rama Srikanth Mallavarapu, TaeJin Ahn, Subhankar Mukherjee, Ajit S. Bopardikar, Garima Agarwal, Taesung Park

Int. J. Data Min. Bioinform., 2016

2014

Estimating cancer gene pathway proximity using network interaction.

Rama Srikanth Mallavarapu, TaeJin Ahn, Subhankar Mukherjee, Ajit S. Bopardikar, Garima Agarwal, Taesung Park

Proceedings of the 2014 IEEE International Conference on Bioinformatics and Biomedicine, 2014

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

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

Post-silicon debugging of PMU integration errors using behavioral models.

Antara Ain, Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay

Integr., 2013

A fuzzy real-time temporal logic.

Subhankar Mukherjee, Pallab Dasgupta

Int. J. Approx. Reason., 2013

Formal Verification of Hardware / Software Power Management Strategies.

Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee

Proceedings of the 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, 2013

Model checking of global power management strategies in software with temporal logic properties.

Rajdeep Mukherjee, Subhankar Mukherjee, Pallab Dasgupta

Proceedings of the 6th India Software Engineering Conference, 2013

2012

Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice.

Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran

ACM Trans. Design Autom. Electr. Syst., 2012

Computing Minimal Debugging Windows in Failure Traces of AMS Assertions.

Subhankar Mukherjee, Pallab Dasgupta

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

Assertion Aware Sampling Refinement: A Mixed-Signal Perspective.

Subhankar Mukherjee, Pallab Dasgupta

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

2011

Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions.

Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay

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

Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions.

Subhankar Mukherjee, Pallab Dasgupta

Proceedings of the VLSI Design 2011: 24th International Conference on VLSI Design, 2011

2009

A formal approach for specification-driven AMS behavioral model generation.

Subhankar Mukherjee, Antara Ain, Subrat Kumar Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta

Proceedings of the Design, Automation and Test in Europe, 2009