Subhankar Mukherjee - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2024

Bi-objective reliability based optimization: an application to investment analysisRaghu Nandan Sengupta, Aditya Gupta, Subhankar Mukherjee, Gregor Weiss. anor, 333(1):47-78, February 2024. [doi]

2019

Rapid Evaluation of Integral Quality and Safety of Surface and Waste Waters by a Multisensor System (Electronic Tongue)Evgeny Legin, Olesya Zadorozhnaya, Maria Khaydukova, Dmitry D. Kirsanov, Vladimir Rybakin, Anatoly Zagrebin, Natalia Ignatyeva, Julia Ashina, Subrata Sarkar, Subhankar Mukherjee, Nabarun Bhattacharyya, Rajib Bandyopadhyay, Andrey Legin. sensors, 19(9):2019, 2019. [doi]

2016

Estimating functional coupling between cancer gene sub-networks using novel interaction measuresRama Srikanth Mallavarapu, Taejin Ahn, Subhankar Mukherjee, Ajit S. Bopardikar, Garima Agarwal, Taesung Park. ijdmb, 15(1):10-21, 2016. [doi]

2014

Estimating cancer gene pathway proximity using network interactionRama Srikanth Mallavarapu, Taejin Ahn, Subhankar Mukherjee, Ajit S. Bopardikar, Garima Agarwal, Taesung Park. bibm 2014: 27-31 [doi]

2013

Post-silicon debugging of PMU integration errors using behavioral modelsAntara Ain, Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay. integration, 46(3):310-321, 2013. [doi]

POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power IntentAritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Kevin Harer, Ansuman Banerjee, Subhankar Mukherjee. tcad, 32(11):1801-1813, 2013. [doi]

A fuzzy real-time temporal logicSubhankar Mukherjee, Pallab Dasgupta. ijar, 54(9):1452-1470, 2013. [doi]

Model checking of global power management strategies in software with temporal logic propertiesRajdeep Mukherjee, Subhankar Mukherjee, Pallab Dasgupta. indiaSE 2013: 29-34 [doi]

Formal Verification of Hardware / Software Power Management StrategiesRajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee. vlsid 2013: 326-331 [doi]

2012

Computing Minimal Debugging Windows in Failure Traces of AMS AssertionsSubhankar Mukherjee, Pallab Dasgupta. tcad, 31(11):1776-1781, 2012. [doi]

Assertion Aware Sampling Refinement: A Mixed-Signal PerspectiveSubhankar Mukherjee, Pallab Dasgupta. tcad, 31(11):1772-1776, 2012. [doi]

Synchronizing AMS Assertions with AMS Simulation: From Theory to PracticeSubhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran. todaes, 17(4):38, 2012. [doi]

2011

Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS AssertionsSubhankar Mukherjee, Pallab Dasgupta. vlsid 2011: 52-57 [doi]

Auxiliary Specifications for Context-Sensitive Monitoring of AMS AssertionsSubhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay. tcad, 30(10):1446-1457, 2011. [doi]

2009

A formal approach for specification-driven AMS behavioral model generationSubhankar Mukherjee, Antara Ain, S. K. Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta. date 2009: 1512-1517 [doi]

Sign in or sign up to see more results.

runs on WebDSL