Subhankar Mukherjee

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