A. Banerjee

Most-cited papers

ANGELS for distributed analytics in IoT
Arijit Mukherjee, H. Paul, Swarnava Dey, A. Banerjee
2014World Forum on Internet of Things54 citations
Semantic Scholar
Proactive Microservice Placement and Migration for Mobile Edge Computing
Kaustabha Ray, A. Banerjee, N. Narendra
2020IFIP International Information Security Conference48 citations
Semantic Scholar
QoS-aware Automatic Web Service Composition with Multiple Objectives
S. Chattopadhyay, A. Banerjee
2018ACM Transactions on the Web38 citations Open access
Semantic Scholar
Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking
Kaustabha Ray, A. Banerjee
2023IEEE Transactions on Dependable and Secure Computing27 citations
Semantic Scholar
A Scalable and Approximate Mechanism for Web Service Composition
S. Chattopadhyay, A. Banerjee, N. Banerjee
2015IEEE International Conference on Web Services27 citations
Semantic Scholar
QoS Constrained Large Scale Web Service Composition Using Abstraction Refinement
S. Chattopadhyay, A. Banerjee
2016IEEE Transactions on Services Computing26 citations Open access
Semantic Scholar
Flexible Droplet Routing in Active Matrix–Based Digital Microfluidic Biochips
Guan-Ruei Lu, Chun-Hao Kuo, Kuen-Cheng Chiang, A. Banerjee +3 more
2018ACM Trans. Design Autom. Electr. Syst.25 citations
Semantic Scholar
Sample preparation with multiple dilutions on digital microfluidic biochips
Sukanta Bhattacharjee, A. Banerjee, B. B. Bhattacharya
2014IET Computers & Digital Techniques25 citations Open access
Semantic Scholar
User Allocation in Mobile Edge Computing: A Deep Reinforcement Learning Approach
Subrat Prasad Panda, A. Banerjee, A. Bhattacharya
20212021 IEEE International Conference on Web Services (ICWS)22 citations
Semantic Scholar
A Fast and Scalable Mechanism for Web Service Composition
S. Chattopadhyay, A. Banerjee, N. Banerjee
2017ACM Transactions on the Web22 citations
Semantic Scholar
A new approach for root-causing attacks on digital microfluidic devices
Pushpita Roy, A. Banerjee
2016Asian Hardware-Oriented Security and Trust Symposium18 citations
Semantic Scholar
QSCAS: QoS Aware Web Service Composition Algorithms with Stochastic Parameters
S. Chattopadhyay, A. Banerjee
20162016 IEEE International Conference on Web Services (ICWS)18 citations
Semantic Scholar
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data
Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, A. Banerjee
2017IEEE Transactions on Software Engineering16 citations
Semantic Scholar
Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip
Sukanta Bhattacharjee, A. Banerjee, K. Chakrabarty, B. B. Bhattacharya
20142014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems15 citations
Semantic Scholar
Efficient Generation of Dilution Gradients With Digital Microfluidic Biochips
Sukanta Bhattacharjee, A. Banerjee, Tsung-Yi Ho, K. Chakrabarty +1 more
2019IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems11 citations
Semantic Scholar
Reliability Hardening Mechanisms in Cyber-Physical Digital-Microfluidic Biochips
Guan-Ruei Lu, A. Banerjee, B. B. Bhattacharya, Tsung-Yi Ho +1 more
2018ACM Journal on Emerging Technologies in Computing Systems10 citations
Semantic Scholar
Dynamic Edge User Allocation with User Specified QoS Preferences
Subrat Prasad Panda, Kaustabha Ray, A. Banerjee
2020International Conference on Service Oriented Computing9 citations
Semantic Scholar
Adaptation of Biochemical Protocols to Handle Technology-Change for Digital Microfluidics
Sukanta Bhattacharjee, Sharbatanu Chatterjee, A. Banerjee, Tsung-Yi Ho +2 more
2017IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems9 citations
Semantic Scholar
Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips
Pushpita Roy, A. Banerjee, R. Wille, B. B. Bhattacharya
2019ACM Trans. Design Autom. Electr. Syst.8 citations
Semantic Scholar
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
Soham Banerjee, Sumana Ghosh, A. Banerjee, S. Mohalik
2023International Conference on Verification, Model Checking and Abstract Interpretation7 citations
Semantic Scholar
On reliability hardening in cyber-physical digital-microfluidic biochips
Guan-Ruei Lu, Guan-Ming Huang, A. Banerjee, B. B. Bhattacharya +2 more
2017Asia and South Pacific Design Automation Conference7 citations
Semantic Scholar
Real-time embedded systems analysis — From theory to practice
A. Banerjee, Arijit Mondal, A. Sarkar, S. Biswas
2015International Symposium on VLSI Design and Test7 citations
Semantic Scholar
A Framework for Analyzing Resource Allocation Policies for Multi-Access Edge Computing
Kaustabha Ray, A. Banerjee
2021International Conference on Edge Computing [Services Society]6 citations
Semantic Scholar
A Contrastive Plan Explanation Framework for Hybrid System Models
Mir Md Sajid Sarwar, Rajarshi Ray, A. Banerjee
2020International Conference on Formal Methods and Models for Co-Design6 citations
Semantic Scholar
Trace-driven Modeling and Verification of a Mobility-Aware Service Allocation and Migration Policy for Mobile Edge Computing
Kaustabha Ray, A. Banerjee
20202020 IEEE International Conference on Web Services (ICWS)6 citations
Semantic Scholar
QoS Value Prediction Using a Combination of Filtering Method and Neural Network Regression
S. Chattopadhyay, A. Banerjee
2019International Conference on Service Oriented Computing6 citations
Semantic Scholar
Enhancing Speculative Execution With Selective Approximate Computing
Bernard Nongpoh, Rajarshi Ray, Moumita Das, A. Banerjee
2019ACM Trans. Design Autom. Electr. Syst.6 citations
Semantic Scholar
EvoDeb: Debugging Evolving Hardware Designs
Debjyoti Bhattacharjee, A. Banerjee, A. Chattopadhyay
2015International Conference on VLSI Design6 citations
Semantic Scholar
Modeling and Verification of Service Allocation Policies for Multi-Access Edge Computing Using Probabilistic Model Checking
Kaustabha Ray, A. Banerjee
2021IEEE Transactions on Network and Service Management5 citations
Semantic Scholar
Fast Falsification of Neural Networks using Property Directed Testing
Moumita Das, Rajarshi Ray, S. Mohalik, A. Banerjee
2021arXiv.org5 citations
Semantic Scholar
Triforce QNX Syscall Fuzzer
P. Pandey, Anupam Sarkar, A. Banerjee
20192019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)5 citations
Semantic Scholar
CoCOA: A Framework for Comparing Aggregate Client Operations in BPO Services
R. Ghosh, Avantika Gupta, S. Chattopadhyay, A. Banerjee +1 more
2016IEEE International Conference on Services Computing5 citations
Semantic Scholar
A Verification Guided Approach for Selective Program Transformations for Approximate Computing
Sayandeep Mitra, Moumita Das, A. Banerjee, Kausik Datta +1 more
2016Asian Test Symposium5 citations
Semantic Scholar
A Framework for Speculative Scheduling and Device Selection for Task Execution on a Mobile Cloud
A. Banerjee, H. Paul, A. Mukherjee, Swarnava Dey +1 more
2014ARMS-CC@PODC5 citations
Semantic Scholar
A Framework for Top Service Subscription Recommendations for Service Assemblers
S. Chattopadhyay, A. Banerjee, Tridib Mukherjee
2016IEEE International Conference on Services Computing4 citations
Semantic Scholar
A Scalable Architecture for Rule Engine Based Clinical Decision Support Systems
S. Chattopadhyay, A. Banerjee, N. Banerjee
2015Medinfo4 citations
Semantic Scholar
Perceptually guided inexact DSP design for power, area efficient hearing aid
S. Kadiyala, Aritra Sen, Shubham Mahajan, Qing-Yun Wang +6 more
2015Biomedical Circuits and Systems Conference4 citations
Semantic Scholar
A Methodology for Root-Causing In-field Attacks on Microfluidic Executions
Pushpita Roy, A. Banerjee, B. B. Bhattacharya
2020IFIP International Conference on Theoretical Computer Science3 citations
Semantic Scholar
Towards Scalable Semantic Service Composition
S. Chattopadhyay, A. Banerjee
2019IEEE International Conference on Service-Oriented Computing and Applications3 citations
Semantic Scholar
Security assessment of synthesized actuation sequences for digital microfluidic biochips
Pushpita Roy, A. Banerjee
2017International Symposium on Embedded Computing and System Design3 citations
Semantic Scholar
An empirical study on performance of branch predictors with varying storage budgets
Moumita Das, A. Banerjee, Bhaskar Sardar
2017International Symposium on Embedded Computing and System Design3 citations
Semantic Scholar
A Scalable Rule Engine Architecture for Service Execution Frameworks
S. Chattopadhyay, A. Banerjee, N. Banerjee
2016IEEE International Conference on Services Computing3 citations
Semantic Scholar
Service Selection With Package Bundles and Compatibility Constraints
Kaustabha Ray, A. Banerjee, S. Mohalik
2022IEEE Transactions on Services Computing2 citations
Semantic Scholar
Shared Pattern History Tables in Multicomponent Branch Predictors With a Dealiasing Cache
Moumita Das, A. Banerjee, M. Chaudhuri, Bhaskar Sardar
2020IEEE Embedded Systems Letters2 citations
Semantic Scholar
Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach
Kaustabha Ray, A. Banerjee, S. Mohalik
2019IEEE International Conference on Service-Oriented Computing and Applications2 citations
Semantic Scholar
Linearization based Safety Verification of a Glucose Control Protocol
Ankita Samaddar, Zahra Rahiminasab, Arvind Easwaran, A. Banerjee +1 more
2019IEEE International Symposium on Real-Time Distributed Computing2 citations
Semantic Scholar
A Methodology for Search Space Reduction in QoS Aware Semantic Web Service Composition
S. Chattopadhyay, A. Banerjee
2018arXiv.org2 citations
Semantic Scholar
Scheduling with task duplication for application offloading
A. Bhattacharya, A. Banerjee, Pradipta De
2017Consumer Communications and Networking Conference2 citations
Semantic Scholar
A utility-driven data transmission optimization strategy in large scale cyber-physical systems
S. Chattopadhyay, A. Banerjee, Bei Yu
2017Design, Automation and Test in Europe2 citations
Semantic Scholar
EAST: Efficient Assertion Simulation techniques
Debjyoti Bhattacharjee, S. Chattopadhyay, A. Banerjee
2016Design, Automation and Test in Europe2 citations
Semantic Scholar