Ansuman Banerjee
Ansuman Banerjee
Verified email at isical.ac.in - Homepage
Title
Cited by
Cited by
Year
ANGELS for distributed analytics in IoT
A Mukherjee, HS Paul, S Dey, A Banerjee
2014 IEEE World Forum on Internet of Things (WF-IoT), 565-570, 2014
602014
Golden implementation driven software debugging
A Banerjee, A Roychoudhury, JA Harlie, Z Liang
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
432010
Attacks on branch predictors: an empirical exploration
M Das, B Sardar, A Banerjee
International Conference on Information Systems Security, 511-520, 2015
302015
Stochastic vm multiplexing for datacenter consolidation
BB Nandi, A Banerjee, SC Ghosh, N Banerjee
2012 IEEE Ninth International Conference on Services Computing, 114-121, 2012
292012
Formal methods for analyzing the completeness of an assertion suite against a high-level fault model
S Das, A Banerjee, P Basu, P Dasgupta, PP Chakrabarti, CR Mohan, ...
18th International Conference on VLSI Design held jointly with 4th …, 2005
292005
QSCAS: QoS aware Web service composition algorithms with stochastic parameters
S Chattopadhyay, A Banerjee
2016 IEEE International Conference on Web Services (ICWS), 388-395, 2016
252016
Qos constrained large scale web service composition using abstraction refinement
S Chattopadhyay, A Banerjee
IEEE Transactions on Services Computing 13 (3), 529-544, 2017
232017
A scalable and approximate mechanism for web service composition
S Chattopadhyay, A Banerjee, N Banerjee
2015 IEEE International Conference on Web Services, 9-16, 2015
232015
Dynamic SLA based elastic cloud service management: A SaaS perspective
BB Nandi, A Banerjee, SC Ghosh, N Banerjee
2013 IFIP/IEEE International Symposium on Integrated Network Management (IM …, 2013
232013
Sample preparation with multiple dilutions on digital microfluidic biochips
S Bhattacharjee, A Banerjee, BB Bhattacharya
IET Computers & Digital Techniques 8 (1), 49-58, 2014
222014
Data partitioning in internet-of-things (IOT) network
HS Paul, A Mukherjee, S Dey, A Pal, A Banerjee
US Patent 10,516,726, 2019
202019
Design-intent coverage—A new paradigm for formal property verification
P Basu, S Das, A Banerjee, P Dasgupta, PP Chakrabarti, CR Mohan, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006
202006
A fast and scalable mechanism for web service composition
S Chattopadhyay, A Banerjee, N Banerjee
ACM Transactions on the Web (TWEB) 11 (4), 1-36, 2017
192017
AutoSense: A framework for automated sensitivity analysis of program data
B Nongpoh, R Ray, S Dutta, A Banerjee
IEEE Transactions on Software Engineering 43 (12), 1110-1124, 2017
182017
Test generation games from formal specifications
A Banerjee, B Pal, S Das, A Kumar, P Dasgupta
Proceedings of the 43rd annual Design Automation Conference, 827-832, 2006
172006
A new approach for root-causing attacks on digital microfluidic devices
P Roy, A Banerjee
2016 IEEE Asian Hardware-Oriented Security and Trust (AsianHOST), 1-6, 2016
162016
Correctness checking of bio-chemical protocol realizations on a digital microfluidic biochip
S Bhattacharjee, A Banerjee, K Chakrabarty, BB Bhattacharya
2014 27th International Conference on VLSI Design and 2014 13th …, 2014
162014
Multiple dilution sample preparation using digital microfluidic biochips
S Bhattacharjee, A Banerjee, BB Bhattacharya
2012 International Symposium on Electronic System Design (ISED), 188-192, 2012
162012
Accelerating assertion coverage with adaptive testbenches
B Pal, A Banerjee, A Sinha, P Dasgupta
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
162008
On producing linear dilution gradient of a sample with a digital microfluidic biochip
S Bhattacharjee, A Banerjee, TY Ho, K Chakrabarty, BB Bhattacharya
2013 International Symposium on Electronic System Design, 77-81, 2013
152013
The system can't perform the operation now. Try again later.
Articles 1–20