Ansuman Banerjee
Ansuman Banerjee
Associate Professor, Indian Statistical Institute
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
582014
Golden implementation driven software debugging
A Banerjee, A Roychoudhury, JA Harlie, Z Liang
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
402010
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
282012
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
262005
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
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
222015
Sample preparation with multiple dilutions on digital microfluidic biochips
S Bhattacharjee, A Banerjee, BB Bhattacharya
IET Computers & Digital Techniques 8 (1), 49-58, 2014
212014
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
182006
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
172016
Formal verification coverage: computing the coverage gap between temporal specifications
A Das, P Basu, A Banerjee, P Dasgupta, PP Chakrabarti, CR Mohan, ...
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 …, 2004
162004
Data partitioning in internet-of-things (IOT) network
HS Paul, A Mukherjee, S Dey, A Pal, A Banerjee
US Patent 10,516,726, 2019
152019
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
152017
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
142012
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
142006
Qos constrained large scale web service composition using abstraction refinement
S Chattopadhyay, A Banerjee
IEEE Transactions on Services Computing, 2017
132017
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
132014
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
132008
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
122017
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
122016
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
122013
The system can't perform the operation now. Try again later.
Articles 1–20