Ansuman Banerjee

Cited by

	All	Since 2020
Citations	1212	630
h-index	20	12
i10-index	36	20

160

120

2005200620072008200920102011201220132014201520162017201820192020202120222023202420257 13 8 11 16 19 14 28 38 42 49 62 65 88 92 148 151 112 93 113 13

Public access

View all

4 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Pallab DasguptaIndian Institute of Technology KharagpurVerified email at cse.iitkgp.ac.in
Soumi ChattopadhyayIndian Institute of Technology IndoreVerified email at iiti.ac.in
Bhargab B. BhattacharyaDistinguished Visiting Professor (CSE), Indian Institute of Technology KharagpurVerified email at isical.ac.in
Himadri Sekhar PaulSenior Scientist, TCS Research & Innovation, KolkataVerified email at tcs.com
Arijit MukherjeePrincipal Scientist, Embedded Devices & Intelligent Systems, TCS Research, Tata ConsultancyVerified email at tcs.com
Tsung-Yi HoChinese University of Hong KongVerified email at cse.cuhk.edu.hk
Sukanta BhattacharjeeDept. of CSE, IIT GuwahatiVerified email at iitg.ac.in
Swarnava DeySenior Scientist, TCS Research, Tata Consultancy Services Ltd.Verified email at tcs.com
Krishnendu ChakrabartyFulton Professor of Microelectronics, School of Electrical and Computer and Energy EngineeringVerified email at asu.edu
Sasthi C. GhoshProfessorVerified email at isical.ac.in
Arani BhattacharyaAssistant Professor, IIIT-DelhiVerified email at iiitd.ac.in
Dr. Bhaskar SardarProfessor, Department of Information Technology, Jadavpur UniversityVerified email at it.jusl.ac.in
Rajarshi RayIndian Association for the Cultivation of Science, KolkataVerified email at iacs.res.in
Bhaskar PalSynopsys India Pvt LtdVerified email at synopsys.com
Bipin NandiLead Member Consulting Staff, Mentor GraphicsVerified email at mentor.com
Prasenjit BasuSamsung Research Institute, BangaloreVerified email at samsung.com
Saikat DuttaCornell UniversityVerified email at cornell.edu
Sayantan DasVerific Design AutomationVerified email at verific.com
Rahul GhoshSenior Director - Data Science, Walmart Global Tech IndiaVerified email at alumni.duke.edu
Abhik RoychoudhuryProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg

Ansuman Banerjee

Professor, Indian Statistical Institute

Verified email at isical.ac.in - Homepage

Formal Verification Edge Computing


Title Sort by citations Sort by year Sort by 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	66	2014
Golden implementation driven software debugging A Banerjee, A Roychoudhury, JA Harlie, Z Liang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	50	2010
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	42	2020
Attacks on branch predictors: an empirical exploration M Das, B Sardar, A Banerjee Information Systems Security: 11th International Conference, ICISS 2015 …, 2015	38	2015
QoS-aware automatic Web service composition with multiple objectives S Chattopadhyay, A Banerjee ACM Transactions on the Web (TWEB) 14 (3), 1-38, 2020	37	2020
QoS constrained large scale web service composition using abstraction refinement S Chattopadhyay, A Banerjee IEEE Transactions on Services Computing 13 (3), 529-544, 2017	34	2017
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	33	2015
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	32	2012
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	31	2013
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	30	2017
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	29	2005
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	27	2017
Sample preparation with multiple dilutions on digital microfluidic biochips S Bhattacharjee, A Banerjee, BB Bhattacharya IET Computers & Digital Techniques 8 (1), 49-58, 2014	27	2014
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	26	2022
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	26	2016
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	25	2018
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	22	2014
Data partitioning in internet-of-things (IOT) network HS Paul, A Mukherjee, S Dey, A Pal, A Banerjee US Patent 10,516,726, 2019	21	2019
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	21	2006
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	20	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors