Ansuman Banerjee

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 78

Top Venues

CoRR

ACM Trans. Design Autom. Electr. Syst.

ARMS-CC@PODC

ICWS

Publications

Devdan Dey, Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
A Contrastive Explanation Tool for Plans in Hybrid Domains. ISEC (2024)
Kaustabha Ray, Ansuman Banerjee, Nanjangud C. Narendra
Learning-Based Microservice Placement and Migration for Multi-Access Edge Computing. IEEE Trans. Netw. Serv. Manag. 21 (2) (2024)
Saumya Jaipuria, Ansuman Banerjee, Arani Bhattacharya
Roadside Traffic Monitoring Using Video Processing on the Edge. COMSNETS (2024)
Kaustabha Ray, Ansuman Banerjee
Autonomous Automotives on the Edge. VLSID (2024)
Ansuman Banerjee, Shayak Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar, Sayantan Sen
Testing of Horn Samplers. AISTATS (2023)
Arani Bhattacharya, Paritosh Shukla, Ansuman Banerjee, Saumya Jaipuria, Nanjangud C. Narendra, Dhruv Garg
Multitask Scheduling of Computer Vision Workload on Edge Graphical Processing Units. COMSNETS (2023)
Kaustabha Ray, Ansuman Banerjee
Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. MEMOCODE (2023)
Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
A Contrastive Plan Explanation Framework for Hybrid System Models. ACM Trans. Embed. Comput. Syst. 22 (2) (2023)
Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha
Set Augmented Finite Automata over Infinite Alphabets. CoRR (2023)
Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha
Set Augmented Finite Automata over Infinite Alphabets. DLT (2023)
Saumya Jaipuria, Arani Bhattacharya, Ansuman Banerjee
A Framework for Tile Processing on Edge Servers for Roadside Traffic Surveillance. ICACS (2023)
Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. VMCAI (2023)
Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee
Harnessing Multiple BMC Engines Together for Efficient Formal Verification. MEMOCODE (2023)
Kaustabha Ray, Ansuman Banerjee
Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking. QEST (2022)
Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, Bhargab B. Bhattacharya
A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips. CoRR (2022)
Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik
Service Selection With Package Bundles and Compatibility Constraints. IEEE Trans. Serv. Comput. 15 (5) (2022)
Pushpita Roy, Ansuman Banerjee
A Framework for Validation of Synthesized MicroElectrode Dot Array Actuations for Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. 26 (6) (2021)
Kaustabha Ray, Ansuman Banerjee
A Framework for Analyzing Resource Allocation Policies for Multi-Access Edge Computing. EDGE (2021)
Kaustabha Ray, Ansuman Banerjee
Horizontal Auto-Scaling for Multi-Access Edge Computing Using Safe Reinforcement Learning. ACM Trans. Embed. Comput. Syst. 20 (6) (2021)
Subrat Prasad Panda, Kaustabha Ray, Ansuman Banerjee
Service Allocation/Placement in Multi-Access Edge Computing with Workload Fluctuations. ICSOC (2021)
Pushpita Roy, Ansuman Banerjee, Bhargab B. Bhattacharya
A framework for end-to-end verification for digital microfluidics. Innov. Syst. Softw. Eng. 17 (3) (2021)
Subrat Prasad Panda, Ansuman Banerjee, Arani Bhattacharya
User Allocation in Mobile Edge Computing: A Deep Reinforcement Learning Approach. ICWS (2021)
Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik, Ansuman Banerjee
Fast Falsification of Neural Networks using Property Directed Testing. CoRR (2021)
Kaustabha Ray, Ansuman Banerjee
Modeling and Verification of Service Allocation Policies for Multi-Access Edge Computing Using Probabilistic Model Checking. IEEE Trans. Netw. Serv. Manag. 18 (3) (2021)
Pushpita Roy, Ansuman Banerjee, Robert Wille, Bhargab B. Bhattacharya
Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips. ACM Trans. Design Autom. Electr. Syst. 25 (1) (2020)
Soumi Chattopadhyay, Rahul Ghosh, Ansuman Banerjee, Avantika Gupta, Arpit Jain
FINESSE: Fair Incentives for Enterprise Employees. RCIS (2020)
Kaustabha Ray, Ansuman Banerjee, Nanjangud C. Narendra
Proactive Microservice Placement and Migration for Mobile Edge Computing. SEC (2020)
Soumi Chattopadhyay, Ansuman Banerjee
QoS Constrained Large Scale Web Service Composition Using Abstraction Refinement. IEEE Trans. Serv. Comput. 13 (3) (2020)
Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
A Contrastive Plan Explanation Framework for Hybrid System Models. MEMOCODE (2020)
Soumi Chattopadhyay, Ansuman Banerjee
QoS-aware Automatic Web Service Composition with Multiple Objectives. ACM Trans. Web 14 (3) (2020)
Sayandeep Mitra, Pavan Kumar Chittimalli, Ansuman Banerjee
Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams. ISEC (2020)
Hrishav Bakul Barua, Himadri Sekhar Paul, Chayan Sarkar, Ansuman Banerjee
A study of approximation in a collaborative multi-agent system. ICDCN (2020)
Kaustabha Ray, Ansuman Banerjee
Trace-driven Modeling and Verification of a Mobility-Aware Service Allocation and Migration Policy for Mobile Edge Computing. ICWS (2020)
Pushpita Roy, Ansuman Banerjee, Bhargab B. Bhattacharya
A Methodology for Root-Causing In-field Attacks on Microfluidic Executions. Trans. Comput. Sci. 35 (2020)
Subrat Prasad Panda, Kaustabha Ray, Ansuman Banerjee
Dynamic Edge User Allocation with User Specified QoS Preferences. ICSOC (2020)
Moumita Das, Ansuman Banerjee, Mainak Chaudhuri, Bhaskar Sardar
Shared Pattern History Tables in Multicomponent Branch Predictors With a Dealiasing Cache. IEEE Embed. Syst. Lett. 12 (3) (2020)
Sukanta Bhattacharjee, Ansuman Banerjee, Tsung-Yi Ho, Krishnendu Chakrabarty, Bhargab B. Bhattacharya
Efficient Generation of Dilution Gradients With Digital Microfluidic Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (5) (2019)
Moumita Das, Ansuman Banerjee, Bhaskar Sardar
A framework for evaluating branch predictors using multiple performance parameters. Int. J. High Perform. Syst. Archit. 8 (4) (2019)
Moumita Das, Ansuman Banerjee, Bhaskar Sardar
A Shared BTB Design for Multicore Systems. CGO (2019)
Ankita Samaddar, Zahra RahimiNasab, Arvind Easwaran, Ansuman Banerjee, Xue Bai
Linearization based Safety Verification of a Glucose Control Protocol. ISORC (2019)
Soumi Chattopadhyay, Ansuman Banerjee
QoS Value Prediction Using a Combination of Filtering Method and Neural Network Regression. ICSOC (2019)
Bernard Nongpoh, Rajarshi Ray, Ansuman Banerjee
Approximate computing for multithreaded programs in shared memory architectures. MEMOCODE (2019)
Pallavi Pandey, Anupam Sarkar, Ansuman Banerjee
Triforce QNX Syscall Fuzzer. ISSRE Workshops (2019)
Soumi Chattopadhyay, Ansuman Banerjee
Towards Scalable Semantic Service Composition. SOCA (2019)
Pushpita Roy, Ansuman Banerjee, Bhargab B. Bhattacharya
Debugging Errors in Microfluidic Executions. ACSS (2) (2019)
Bernard Nongpoh, Rajarshi Ray, Moumita Das, Ansuman Banerjee
Enhancing Speculative Execution With Selective Approximate Computing. ACM Trans. Design Autom. Electr. Syst. 24 (2) (2019)
Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik
Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach. SOCA (2019)
Soumi Chattopadhyay, Ansuman Banerjee
QoS aware Automatic Web Service Composition with Multiple objectives. CoRR (2018)
Soumi Chattopadhyay, Ansuman Banerjee
A Variation Aware Composition Model for Dynamic Web Service Environments. ICSOC (2018)
Animesh Basak Chowdhury, Ansuman Banerjee, Bhargab B. Bhattacharya
ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems. NSS (2018)
Soumi Chattopadhyay, Ansuman Banerjee
A Methodology for Search Space Reduction in QoS Aware Semantic Web Service Composition. CoRR (2018)
Guan-Ruei Lu, Chun-Hao Kuo, Kuen-Cheng Chiang, Ansuman Banerjee, Bhargab B. Bhattacharya, Tsung-Yi Ho, Hung-Ming Chen
Flexible Droplet Routing in Active Matrix-Based Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. 23 (3) (2018)
Guan-Ruei Lu, Ansuman Banerjee, Bhargab B. Bhattacharya, Tsung-Yi Ho, Hung-Ming Chen
Reliability Hardening Mechanisms in Cyber-Physical Digital-Microfluidic Biochips. ACM J. Emerg. Technol. Comput. Syst. 14 (3) (2018)
Moumita Das, Ansuman Banerjee, Bhaskar Sardar
An empirical study on performance of branch predictors with varying storage budgets. ISED (2017)
Ankita Samaddar, Moumita Das, Ansuman Banerjee
A new memory scheduling policy for real time systems. ISED (2017)
Pushpita Roy, Ansuman Banerjee
Security assessment of synthesized actuation sequences for digital microfluidic biochips. ISED (2017)
Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee
A Fast and Scalable Mechanism for Web Service Composition. ACM Trans. Web 11 (4) (2017)
Bipin B. Nandi, Sasthi C. Ghosh, Ansuman Banerjee, Nilanjan Banerjee
Customer on-boarding strategies for cloud computing services with dynamic service-level agreements. Serv. Oriented Comput. Appl. 11 (1) (2017)
Sukanta Bhattacharjee, Sharbatanu Chatterjee, Ansuman Banerjee, Tsung-Yi Ho, Krishnendu Chakrabarty, Bhargab B. Bhattacharya
Adaptation of Biochemical Protocols to Handle Technology-Change for Digital Microfluidics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (3) (2017)
Guan-Ruei Lu, Guan-Ming Huang, Ansuman Banerjee, Bhargab B. Bhattacharya, Tsung-Yi Ho, Hung-Ming Chen
On reliability hardening in cyber-physical digital-microfluidic biochips. ASP-DAC (2017)
Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, Ansuman Banerjee
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data. IEEE Trans. Software Eng. 43 (12) (2017)
Moumita Das, Ansuman Banerjee, Bhaskar Sardar
A Framework for Branch Predictor Selection with Aggregation on Multiple Parameters. VDAT (2017)
Arani Bhattacharya, Ansuman Banerjee, Pradipta De
Scheduling with task duplication for application offloading. CCNC (2017)
Soumi Chattopadhyay, Ansuman Banerjee, Bei Yu
A utility-driven data transmission optimization strategy in large scale cyber-physical systems. DATE (2017)
Moumita Das, Ansuman Banerjee, Nitesh K. Singh, Bhaskar Sardar
Performance Attacks on Branch Predictors in Embedded Processors with SMT Support. ICISS (2017)
Tsung-Yi Ho, Shigeru Yamashita, Ansuman Banerjee, Sudip Roy
Design of Microfluidic Biochips: Connecting Algorithms and Foundations of Chip Design to Biochemistry and the Life Sciences. VLSI Design (2016)
Pushpita Roy, Ansuman Banerjee
A new approach for root-causing attacks on digital microfluidic devices. AsianHOST (2016)
Soumi Chattopadhyay, Ansuman Banerjee, Tridib Mukherjee
A Framework for Top Service Subscription Recommendations for Service Assemblers. SCC (2016)
Soumi Chattopadhyay, Ansuman Banerjee
QoS constrained Large Scale Web Service Composition using Abstraction Refinement. CoRR (2016)
Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee
A Scalable Rule Engine Architecture for Service Execution Frameworks. SCC (2016)
Rahul Ghosh, Avantika Gupta, Soumi Chattopadhyay, Ansuman Banerjee, Koustuv Dasgupta
CoCOA: A Framework for Comparing Aggregate Client Operations in BPO Services. SCC (2016)
Soumi Chattopadhyay, Ansuman Banerjee
QSCAS: QoS Aware Web Service Composition Algorithms with Stochastic Parameters. ICWS (2016)
Sayandeep Mitra, Moumita Das, Ansuman Banerjee, Kausik Datta, Tsung-Yi Ho
A Verification Guided Approach for Selective Program Transformations for Approximate Computing. ATS (2016)
Debjyoti Bhattacharjee, Soumi Chattopadhyay, Ansuman Banerjee
EAST: Efficient Assertion Simulation techniques. DATE (2016)
Arani Bhattacharya, Ansuman Banerjee, Pradipta De
Service Level Guarantee for Mobile Application Offloading in Presence of Wireless Channel Errors. GLOBECOM (2016)
Ansuman Banerjee, Himadri Sekhar Paul, Arijit Mukherjee
I2oT: Inexactness in IoT. ARMS-CC@PODC (2016)
Moumita Das, Ansuman Banerjee
Improving Energy Efficiency of Mobile Execution Exploiting Similarity of Application Control Flow. MoMM (2016)
Arani Bhattacharya, Ansuman Banerjee, Pradipta De
Parametric Analysis of Mobile Cloud Computing Frameworks Using Simulation Modeling. ARMS-CC@PODC (2015)
Soumi Chattopadhyay, Ansuman Banerjee
Algorithmic Strategies for Sensing-as-a-Service in the Internet-of-Things Era. UCC (2015)
Soumi Chattopadhyay, Ansuman Banerjee, Himadri Sekhar Paul
On Composition of Checkpoint and Recovery Protocols for Distributed Systems. ICSOC Workshops (2015)
Saikat Dutta, Moumita Das, Ansuman Banerjee
Enhancing branch prediction using software evolution. NAS (2015)
Saikat Dutta, Soumi Chattopadhyay, Ansuman Banerjee, Pallab Dasgupta
A New Approach for Minimal Environment Construction for Modular Property Verification. ATS (2015)
Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee
A Scalable Architecture for Rule Engine Based Clinical Decision Support Systems. MedInfo (2015)
Debjyoti Bhattacharjee, Ansuman Banerjee, Anupam Chattopadhyay
EvoDeb: Debugging Evolving Hardware Designs. VLSI Design (2015)
Soumi Chattopadhyay, Saikat Dutta, Ansuman Banerjee
A Framework for Fast Service Verification and Query Execution for Boolean Service Rules. APSCC (2015)
Himadri Sekhar Paul, Pubali Datta, Ansuman Banerjee, Arijit Mukherjee
Compute on the Go: A Case of Mobile-Cloud Collaborative Computing Under Mobility. ARMS-CC@PODC (2015)
Moumita Das, Bhaskar Sardar, Ansuman Banerjee
Attacks on Branch Predictors: An Empirical Exploration. ICISS (2015)
Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee
A Scalable and Approximate Mechanism for Web Service Composition. ICWS (2015)
Ansuman Dash, Ansuman Banerjee
Application State Refinement for Scheduling Applications on Mobile Devices. MoMM (2015)
Sai Praveen Kadiyala, Aritra Sen, Shubham Mahajan, Qingyun Wang, Avinash Lingamneni, James Sneed German, Xu Hong, Ansuman Banerjee, Krishna V. Palem, Arindam Basu
Perceptually guided inexact DSP design for power, area efficient hearing aid. BioCAS (2015)
Ansuman Banerjee, Arijit Mondal, Arnab Sarkar, Santosh Biswas
Real-time embedded systems analysis - From theory to practice. VDAT (2015)
Arijit Mukherjee, Himadri Sekhar Paul, Swarnava Dey, Ansuman Banerjee
ANGELS for distributed analytics in IoT. WF-IoT (2014)
Ansuman Banerjee, Himadri Sekhar Paul, Arijit Mukherjee, Swarnava Dey, Pubali Datta
A Framework for Speculative Scheduling and Device Selection for Task Execution on a Mobile Cloud. ARMS-CC@PODC (2014)
Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, Bhargab B. Bhattacharya
Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip. VLSI Design (2014)
Sukanta Bhattacharjee, Ansuman Banerjee, Bhargab B. Bhattacharya
Sample preparation with multiple dilutions on digital microfluidic biochips. IET Comput. Digit. Tech. 8 (1) (2014)
Arani Bhattacharya, Ansuman Banerjee, Susmita Sur-Kolay
Energy-Aware H.264 Decoding. ICDCIT (2014)
Krishnendu Chakrabarty, Bhargab B. Bhattacharya, Ansuman Banerjee
Design automation for biochemistry synthesis on a digital microfluidic lab-on-a-chip. ICCAD (2014)
Ansuman Banerjee, Himadri Sekhar Paul, Arijit Mukherjee, Pubali Datta, Sajal K. Das
An access point to device association technique for optimized data transfer in mobile grids. ICPADS (2014)
Ansuman Dash, Ansuman Banerjee
When to Schedule an Application? An Energy-Aware Decision. CloudCom (2014)

Ansuman Banerjee.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ansuman Banerjee