Follow
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
662014
Golden implementation driven software debugging
A Banerjee, A Roychoudhury, JA Harlie, Z Liang
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
502010
Proactive microservice placement and migration for mobile edge computing
K Ray, A Banerjee, NC Narendra
2020 IEEE/ACM Symposium on Edge Computing (SEC), 28-41, 2020
392020
Attacks on branch predictors: an empirical exploration
M Das, B Sardar, A Banerjee
Information Systems Security: 11th International Conference, ICISS 2015 …, 2015
372015
QoS-aware automatic Web service composition with multiple objectives
S Chattopadhyay, A Banerjee
ACM Transactions on the Web (TWEB) 14 (3), 1-38, 2020
352020
QoS constrained large scale web service composition using abstraction refinement
S Chattopadhyay, A Banerjee
IEEE Transactions on Services Computing 13 (3), 529-544, 2017
342017
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
332015
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
322012
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
302017
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
302013
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
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
272017
Sample preparation with multiple dilutions on digital microfluidic biochips
S Bhattacharjee, A Banerjee, BB Bhattacharya
IET Computers & Digital Techniques 8 (1), 49-58, 2014
272014
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
262016
Flexible droplet routing in active matrix–based digital microfluidic biochips
GR Lu, CH Kuo, KC Chiang, A Banerjee, BB Bhattacharya, TY Ho, ...
ACM Transactions on Design Automation of Electronic Systems (TODAES) 23 (3 …, 2018
242018
Prioritized fault recovery strategies for multi-access edge computing using probabilistic model checking
K Ray, A Banerjee
IEEE Transactions on Dependable and Secure Computing 20 (1), 797-812, 2022
232022
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
222014
Prediction of fuel properties of biodiesel produced by sequential esterification and transesterification of used frying soybean oil using statistical analysis
R Chakraborty, A Banerjee
Waste and Biomass Valorization 1, 201-208, 2010
222010
Data partitioning in internet-of-things (IOT) network
HS Paul, A Mukherjee, S Dey, A Pal, A Banerjee
US Patent 10,516,726, 2019
212019
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
212006
The system can't perform the operation now. Try again later.
Articles 1–20