RAJDEEP MUKHERJEE
Title
Cited by
Cited by
Year
Hardware verification using software analyzers
R Mukherjee, D Kroening, T Melham
2015 IEEE Computer Society Annual Symposium on VLSI, 7-12, 2015
302015
Formal Techniques for Effective Co-verification of Hardware/Software Co-designs
R Mukherjee, M Purandare, R Polig, D Kroening
Design Automation Conference, 35:1--35:6, 2017
232017
POWER-TRUCTOR: An integrated tool flow for formal verification and coverage of architectural power intent
A Hazra, R Mukherjee, P Dasgupta, A Pal, KM Harer, A Banerjee, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
142013
Formal verification of hardware/software power management strategies
R Mukherjee, P Dasgupta, A Pal, S Mukherjee
2013 26th International Conference on VLSI Design and 2013 12th …, 2013
142013
v2c–A verilog to C translator
R Mukherjee, M Tautschnig, D Kroening
International Conference on Tools and Algorithms for the Construction and …, 2016
132016
Efficient verification of multi-property designs (The benefit of wrong assumptions)
E Goldberg, M Gudemann, D Kroening, R Mukherjee
Design, Automation & Test in Europe Conference, DATE, 43--48, 2018
112018
Soluble polyimides with propeller shape triphenyl core for membrane based gas separation
A Dutta, S Bisoi, R Mukherjee, R Chatterjee, RK Das, S Banerjee
Journal of Applied Polymer Science 135 (35), 46658, 2018
92018
Mobile robot localization with map building and obstacle avoidance for indoor navigation
S Datta, D Banerji, R Mukherjee
2006 IEEE International Conference on Industrial Technology, 2535-2540, 2006
92006
Formal hardware/software co-verification of embedded power controllers
P Dasgupta, MK Srivas, R Mukherjee
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2014
82014
Equivalence checking using trace partitioning
R Mukherjee, D Kroening, T Melham, M Srivas
2015 IEEE Computer Society Annual Symposium on VLSI, 13-18, 2015
62015
Synthesis and characterization of chemically stable sulfonated copoly (triazole imide) s with high proton conductivity
A Singh, AG Kumar, S Saha, R Mukherjee, S Bisoi, S Banerjee
Polymer Engineering & Science 59 (11), 2279-2289, 2019
52019
Unbounded safety verification for hardware using software analyzers
R Mukherjee, P Schrammel, D Kroening, T Melham
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016
52016
Equivalence checking of a floating-point unit against a high-level C model
R Mukherjee, S Joshi, A Griesmayer, D Kroening, T Melham
International Symposium on Formal Methods, 551-558, 2016
42016
Operator scheduling revisited: A multi-objective perspective for fine-grained DVS architecture
R Mukherjee, P Ghosh, P Dasgupta, A Pal
Advances in Computing and Information Technology, 633-648, 2013
42013
Multi-objective low-power CDFG scheduling using fine-grained DVS architecture in distributed framework
R Mukherjee, P Ghosh, NS Kumar, P Dasgupta, A Pal
2012 International Symposium on Electronic System Design (ISED), 267-271, 2012
42012
HotSpot minimization using fine-grained DVS architecture at 90 nm technology
R Mukherjee, P Ghosh, A Pal
2012 Asia Pacific Conference on Postgraduate Research in Microelectronics …, 2012
42012
Read what you need: controllable aspect-based opinion summarization of tourist reviews
R Mukherjee, HC Peruri, U Vishnu, P Goyal, S Bhattacharya, N Ganguly
Proceedings of the 43rd International ACM SIGIR Conference on Research and …, 2020
32020
A multi-objective perspective for operator scheduling using fine-grained DVS architecture
R Mukherjee, P Ghosh, P Dasgupta, A Pal
arXiv preprint arXiv:1303.1645, 2013
32013
Sulfonated poly (arylene ether sulfone) functionalized polysilsesquioxane hybrid membranes with enhanced proton conductivity
R Mukherjee, AK Mandal, S Banerjee
e-Polymers 20 (1), 430-442, 2020
22020
Hardware/Software Co-verification Using Path-based Symbolic Execution
R Mukherjee, S Joshi, J O'Leary, D Kroening, T Melham
arXiv preprint arXiv:2001.01324, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20