| 2026 | ASPDAC | SuperSAGA: A Supervisor-Subordinate Agentic workflow for the Generation of Assertions. | Subhajit Paul, Ansuman Banerjee, Sumana Ghosh, Sudhakar Surendran, Raj Kumar Gajavelly |
| 2026 | ICDCN | Towards Verification of Spiking Neural Networks for Next-Generation AI Systems. | Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2026 | VLSID | A Forward-Backward Search Strategy for Falsification in Spiking Neural Networks. | Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2026 | VLSID | MPBMC: Multi-Property Bounded Model Checking with GNN-Guided Clustering. | Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran |
| 2026 | VLSID | LInC-BMC: A Lookahead Informed Clause Deletion Mechanism for Bounded Model Checking. | Satyam Shubham, Sutirtha Bhattacharyya, Ansuman Banerjee, Raj Kumar Gajavelly |
| 2025 | COMSNETS | Distributed Sensing and Collaborative Edge Computing for LEO Constellations. | Saumya Jaipuria, Ansuman Banerjee, Himadri Sekhar Paul |
| 2025 | VLSID | MERGERS: Multi-Access Edge Resource Governance for Real-Time SaaS Systems. | Aakashjit Bhattacharya, Arnab Sarkar, Ansuman Banerjee |
| 2025 | VLSID | BMC Engine Sequencing with Graph Neural Network Embeddings of Hardware Circuits. | Soumik Guha Roy, Adriz Chanda, Prateek Ganguli, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran |
| 2024 | COMSNETS | Roadside Traffic Monitoring Using Video Processing on the Edge. | Saumya Jaipuria, Ansuman Banerjee, Arani Bhattacharya |
| 2024 | MEMOCODE | Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. | Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2024 | Mobiquitous | Collection Scheduling with Memory Constraints for Low Earth Orbit Satellite Constellations. | Saumya Jaipuria, Ansuman Banerjee, Himadri Sekhar Paul |
| 2024 | VLSID | Autonomous Automotives on the Edge. | Kaustabha Ray, Ansuman Banerjee |
| 2023 | AISTATS | Testing of Horn Samplers. | Ansuman Banerjee, Shayak Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar, Sayantan Sen |
| 2023 | COMSNETS | Multitask Scheduling of Computer Vision Workload on Edge Graphical Processing Units. | Arani Bhattacharya, Paritosh Shukla, Ansuman Banerjee, Saumya Jaipuria, Nanjangud C. Narendra, Dhruv Garg |
| 2023 | DLT | Set Augmented Finite Automata over Infinite Alphabets. | Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha |
| 2023 | MEMOCODE | Harnessing Multiple BMC Engines Together for Efficient Formal Verification. | Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee |
| 2023 | MEMOCODE | Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. | Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee |
| 2023 | VMCAI | SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. | Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2021 | ICSOC | Service Allocation/Placement in Multi-Access Edge Computing with Workload Fluctuations. | Subrat Prasad Panda, Kaustabha Ray, Ansuman Banerjee |
| 2021 | ICWS | User Allocation in Mobile Edge Computing: A Deep Reinforcement Learning Approach. | Subrat Prasad Panda, Ansuman Banerjee, Arani Bhattacharya |
| 2020 | ICDCN | A study of approximation in a collaborative multi-agent system. | Hrishav Bakul Barua, Himadri Sekhar Paul, Chayan Sarkar, Ansuman Banerjee |
| 2020 | ICSOC | Dynamic Edge User Allocation with User Specified QoS Preferences. | Subrat Prasad Panda, Kaustabha Ray, Ansuman Banerjee |
| 2020 | ICWS | Trace-driven Modeling and Verification of a Mobility-Aware Service Allocation and Migration Policy for Mobile Edge Computing. | Kaustabha Ray, Ansuman Banerjee |
| 2020 | MEMOCODE | A Contrastive Plan Explanation Framework for Hybrid System Models. | Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee |
| 2020 | RCIS | FINESSE: Fair Incentives for Enterprise Employees. | Soumi Chattopadhyay, Rahul Ghosh, Ansuman Banerjee, Avantika Gupta, Arpit Jain |
| 2019 | CGO | A Shared BTB Design for Multicore Systems. | Moumita Das, Ansuman Banerjee, Bhaskar Sardar |
| 2019 | ICSOC | QoS Value Prediction Using a Combination of Filtering Method and Neural Network Regression. | Soumi Chattopadhyay, Ansuman Banerjee |
| 2019 | ISORC | Linearization based Safety Verification of a Glucose Control Protocol. | Ankita Samaddar, Zahra RahimiNasab, Arvind Easwaran, Ansuman Banerjee, Xue Bai |
| 2019 | ISSRE | Triforce QNX Syscall Fuzzer. | Pallavi Pandey, Anupam Sarkar, Ansuman Banerjee |
| 2019 | MEMOCODE | Approximate computing for multithreaded programs in shared memory architectures. | Bernard Nongpoh, Rajarshi Ray, Ansuman Banerjee |
| 2018 | ICSOC | A Variation Aware Composition Model for Dynamic Web Service Environments. | Soumi Chattopadhyay, Ansuman Banerjee |
| 2018 | NSS | ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems. | Animesh Basak Chowdhury, Ansuman Banerjee, Bhargab B. Bhattacharya |
| 2017 | ASPDAC | On reliability hardening in cyber-physical digital-microfluidic biochips. | Guan-Ruei Lu, Guan-Ming Huang, Ansuman Banerjee, Bhargab B. Bhattacharya, Tsung-Yi Ho, Hung-Ming Chen |
| 2017 | DATE | A utility-driven data transmission optimization strategy in large scale cyber-physical systems. | Soumi Chattopadhyay, Ansuman Banerjee, Bei Yu |
| 2017 | ICISS | Performance Attacks on Branch Predictors in Embedded Processors with SMT Support. | Moumita Das, Ansuman Banerjee, Nitesh K. Singh, Bhaskar Sardar |
| 2016 | DATE | EAST: Efficient Assertion Simulation techniques. | Debjyoti Bhattacharjee, Soumi Chattopadhyay, Ansuman Banerjee |
| 2016 | GLOBECOM | Service Level Guarantee for Mobile Application Offloading in Presence of Wireless Channel Errors. | Arani Bhattacharya, Ansuman Banerjee, Pradipta De |
| 2016 | ICWS | QSCAS: QoS Aware Web Service Composition Algorithms with Stochastic Parameters. | Soumi Chattopadhyay, Ansuman Banerjee |
| 2016 | MOMM | Improving Energy Efficiency of Mobile Execution Exploiting Similarity of Application Control Flow. | Moumita Das, Ansuman Banerjee |
| 2016 | PODC | I2oT: Inexactness in IoT. | Ansuman Banerjee, Himadri Sekhar Paul, Arijit Mukherjee |
| 2016 | VLSID | Design of Microfluidic Biochips: Connecting Algorithms and Foundations of Chip Design to Biochemistry and the Life Sciences. | Tsung-Yi Ho, Shigeru Yamashita, Ansuman Banerjee, Sudip Roy |
| 2015 | APSCC | A Framework for Fast Service Verification and Query Execution for Boolean Service Rules. | Soumi Chattopadhyay, Saikat Dutta, Ansuman Banerjee |
| 2015 | ICISS | Attacks on Branch Predictors: An Empirical Exploration. | Moumita Das, Bhaskar Sardar, Ansuman Banerjee |
| 2015 | ICSOC | On Composition of Checkpoint and Recovery Protocols for Distributed Systems. | Soumi Chattopadhyay, Ansuman Banerjee, Himadri Sekhar Paul |
| 2015 | ICWS | A Scalable and Approximate Mechanism for Web Service Composition. | Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee |
| 2015 | MOMM | Application State Refinement for Scheduling Applications on Mobile Devices. | Ansuman Dash, Ansuman Banerjee |
| 2015 | PODC | Parametric Analysis of Mobile Cloud Computing Frameworks Using Simulation Modeling. | Arani Bhattacharya, Ansuman Banerjee, Pradipta De |
| 2015 | PODC | Compute on the Go: A Case of Mobile-Cloud Collaborative Computing Under Mobility. | Himadri Sekhar Paul, Pubali Datta, Ansuman Banerjee, Arijit Mukherjee |
| 2015 | VLSID | EvoDeb: Debugging Evolving Hardware Designs. | Debjyoti Bhattacharjee, Ansuman Banerjee, Anupam Chattopadhyay |
| 2015 | UCC | Algorithmic Strategies for Sensing-as-a-Service in the Internet-of-Things Era. | Soumi Chattopadhyay, Ansuman Banerjee |
| 2014 | CloudCom | When to Schedule an Application? An Energy-Aware Decision. | Ansuman Dash, Ansuman Banerjee |
| 2014 | ICCAD | Design automation for biochemistry synthesis on a digital microfluidic lab-on-a-chip. | Krishnendu Chakrabarty, Bhargab B. Bhattacharya, Ansuman Banerjee |
| 2014 | ICDCIT | Energy-Aware H.264 Decoding. | Arani Bhattacharya, Ansuman Banerjee, Susmita Sur-Kolay |
| 2014 | ICPADS | An access point to device association technique for optimized data transfer in mobile grids. | Ansuman Banerjee, Himadri Sekhar Paul, Arijit Mukherjee, Pubali Datta, Sajal K. Das |
| 2014 | PODC | A Framework for Speculative Scheduling and Device Selection for Task Execution on a Mobile Cloud. | Ansuman Banerjee, Himadri Sekhar Paul, Arijit Mukherjee, Swarnava Dey, Pubali Datta |
| 2014 | VLSID | Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip. | Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, Bhargab B. Bhattacharya |
| 2014 | VLSID | Tutorial T2B: Cost / Application / Time to Market Driven SoC Design and Manufacturing Strategy. | Barun Kumar De, Anupam Chattopadhyay, Ansuman Banerjee |
| 2013 | IM | Dynamic SLA based elastic cloud service management: A SaaS perspective. | Bipin B. Nandi, Ansuman Banerjee, Sasthi C. Ghosh, Nilanjan Banerjee |
| 2013 | Middleware | Offloading work to mobile devices: an availability-aware data partitioning approach. | Ansuman Banerjee, Arijit Mukherjee, Himadri Sekhar Paul, Swarnava Dey |
| 2013 | Mobiquitous | A Data Distribution Model for Large-Scale Context Aware Systems. | Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee |
| 2012 | ASPDAC | Formal methods for coverage analysis of architectural power states in power-managed designs. | Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer |
| 2012 | DATE | Timing analysis of cyber-physical applications for hybrid communication protocols. | Alejandro Masrur, Dip Goswami, Samarjit Chakraborty, Jian-Jia Chen, Anuradha Annaswamy, Ansuman Banerjee |
| 2012 | DATE | Formal methods for ranking counterexamples through assumption mining. | Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta |
| 2010 | VLSID | Synthesizability of 3 Party Formal Specifications-Does My Controller See Enough?. | Ansuman Banerjee |
| 2008 | ATVA | CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. | Ansuman Banerjee, Kausik Datta, Pallab Dasgupta |
| 2008 | ATVA | A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. | Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan |
| 2006 | DAC | Test generation games from formal specifications. | Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta |
| 2006 | MEMOCODE | Formal methods for checking realizability of coalitions in 3-party systems. | Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti |
| 2005 | VLSID | Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. | Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix |
| 2004 | ICCAD | Formal verification coverage: computing the coverage gap between temporal specifications. | Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni |
| 2004 | MEMOCODE | The BUSpec platform for automated generation of verification aids for standard bus protocols. | Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti |
| 2004 | VLSID | Formal Verification of Modules under Real Time Environment Constraints. | Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti |
| 2003 | ISCAS | Open computation tree logic with fairness. | Ansuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2002 | DAC | Formal verification of module interfaces against real time specifications. | Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee |