Formal verification of module interfaces against real time specifications. - Arindam Chakrabarti; Pallab Dasgupta; P. P. Chakrabarti 001; Ansuman Banerjee (DAC, 2002)

Open computation tree logic with fairness. - Ansuman Banerjee; Pallab Dasgupta; Partha Pratim Chakrabarti (ISCAS (5), 2003)

Formal verification coverage: computing the coverage gap between temporal specifications. - Sayantan Das 001; Prasenjit Basu; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix; Roy Armoni (ICCAD, 2004)

The BUSpec platform for automated generation of verification aids for standard bus protocols. - Bhaskar Pal; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (MEMOCODE, 2004)

Formal Verification of Modules under Real Time Environment Constraints. - Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (VLSI Design, 2004)

Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. - Sayantan Das 001; Ansuman Banerjee; Prasenjit Basu; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix (VLSI Design, 2005)

The open family of temporal logics: Annotating temporal operators with input constraints. - Ansuman Banerjee; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2005)

Test generation games from formal specifications. - Ansuman Banerjee; Bhaskar Pal; Sayantan Das; Abhijeet Kumar; Pallab Dasgupta (DAC, 2006)

Formal methods for checking realizability of coalitions in 3-party systems. - Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (MEMOCODE, 2006)

Design-Intent Coverage - A New Paradigm for Formal Property Verification. - Prasenjit Basu; Sayantan Das 001; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix; Roy Armoni (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

BUSpec: A framework for generation of verification aids for standard bus protocol specifications. - Bhaskar Pal; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (Integr., 2007)

CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. - Ansuman Banerjee; Kausik Datta; Pallab Dasgupta (ATVA, 2008)

Cohesive Coverage Management for Simulation and Formal Property Verification. - Aritra Hazra; Ansuman Banerjee; Srobona Mitra; Pallab Dasgupta; Partha Pratim Chakrabarti; Chunduri Rama Mohan (ISVLSI, 2008)

Accelerating Assertion Coverage With Adaptive Testbenches. - Bhaskar Pal; Ansuman Banerjee; Arnab Sinha; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Auxiliary state machines + context-triggered properties in verification. - Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (ACM Trans. Design Autom. Electr. Syst., 2008)

Golden implementation driven software debugging. - Ansuman Banerjee; Abhik Roychoudhury; Johannes A. Harlie; Zhenkai Liang (SIGSOFT FSE, 2010)

Synthesizability of 3 Party Formal Specifications-Does My Controller See Enough?. - Ansuman Banerjee (VLSI Design, 2010)

Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. - Anvesh Komuravelli; Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta (Asian Test Symposium, 2011)

Requirement Evolution Management: A Systematic Approach. - Ansuman Banerjee (ISVLSI, 2011)

Stochastic VM Multiplexing for Datacenter Consolidation. - Bipin B. Nandi; Ansuman Banerjee; Sasthi C. Ghosh 001; Nilanjan Banerjee (IEEE SCC, 2012)

Formal methods for coverage analysis of architectural power states in power-managed designs. - Aritra Hazra; Pallab Dasgupta; Ansuman Banerjee; Kevin Harer (ASP-DAC, 2012)

A Generalized Theory for Formal Assertion Coverage. - Sourasis Das; Ansuman Banerjee; Pallab Dasgupta (Asian Test Symposium, 2012)

A formal model for multi-tenant software-as-a-service in cloud computing. - Ansuman Banerjee (COMPUTE, 2012)

Timing analysis of cyber-physical applications for hybrid communication protocols. - Alejandro Masrur; Dip Goswami; Samarjit Chakraborty; Jian-Jia Chen; Anuradha Annaswamy; Ansuman Banerjee (DATE, 2012)

Formal methods for ranking counterexamples through assumption mining. - Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta (DATE, 2012)

Pack your sack for the cloud. - Ansuman Banerjee; Sasthi C. Ghosh 001; Nilanjan Banerjee (ISEC, 2012)

Multiple Dilution Sample Preparation Using Digital Microfluidic Biochips. - Sukanta Bhattacharjee; Ansuman Banerjee; Bhargab B. Bhattacharya (ISED, 2012)

Debugging Memory Issues In Embedded Linux: A Case Study - Partha Pratim Ray; Ansuman Banerjee (CoRR, 2012)

A dynamic assertion-based verification platform for validation of UML designs. - Ansuman Banerjee; Sayak Ray; Pallab Dasgupta; P. P. Chakrabarti 001; S. Ramesh 002; P. Vignesh V. Ganesan (ACM SIGSOFT Softw. Eng. Notes, 2012)

Verifying Coalitions in 3-Party Systems. - Ansuman Banerjee (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications. - Sourasis Das; Ansuman Banerjee; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Fault Tolerance as a Service. - Bipin B. Nandi; Himadri Sekhar Paul; Ansuman Banerjee; Sasthi C. Ghosh 001 (IEEE CLOUD, 2013)

Using Daikon to Prioritize and Group Unit Bugs. - Nehul Jain; Saikat Dutta 001; Ansuman Banerjee; Anil Kumar Ghosh 001; Lihua Xu; Huibiao Zhu (FACS, 2013)

Dynamic SLA based elastic cloud service management: A SaaS perspective. - Bipin B. Nandi; Ansuman Banerjee; Sasthi C. Ghosh 001; Nilanjan Banerjee (IM, 2013)

On Producing Linear Dilution Gradient of a Sample with a Digital Microfluidic Biochip. - Sukanta Bhattacharjee; Ansuman Banerjee; Tsung-Yi Ho; Krishnendu Chakrabarty; Bhargab B. Bhattacharya (ISED, 2013)

Offloading work to mobile devices: an availability-aware data partitioning approach. - Ansuman Banerjee; Arijit Mukherjee; Himadri Sekhar Paul; Swarnava Dey (MCS@Middleware, 2013)

A Data Distribution Model for Large-Scale Context Aware Systems. - Soumi Chattopadhyay; Ansuman Banerjee; Nilanjan Banerjee (MobiQuitous, 2013)

A Cache-Aware Strategy for H.264 Decoding on Multi-processor Architectures. - Arani Bhattacharya; Ansuman Banerjee; Susmita Sur-Kolay; Prasenjit Basu; Bhaskar J. Karmakar (VDAT, 2013)

Algorithms for Producing Linear Dilution Gradient with Digital Microfluidics. - Sukanta Bhattacharjee; Ansuman Banerjee; Tsung-Yi Ho; Krishnendu Chakrabarty; Bhargab B. Bhattacharya (CoRR, 2013)

POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. - Aritra Hazra; Rajdeep Mukherjee; Pallab Dasgupta; Ajit Pal; Kevin Harer; Ansuman Banerjee; Subhankar Mukherjee 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Formal Guarantees for Localized Bug Fixes. - Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta; Priyankar Ghosh; Harish Kumar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Counterexample Ranking Using Mined Invariants. - Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta; Harish Kumar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

When to Schedule an Application? An Energy-Aware Decision. - Ansuman Dash; Ansuman Banerjee (CloudCom, 2014)

Design automation for biochemistry synthesis on a digital microfluidic lab-on-a-chip. - Krishnendu Chakrabarty; Bhargab B. Bhattacharya; Ansuman Banerjee (ICCAD, 2014)

Energy-Aware H.264 Decoding. - Arani Bhattacharya; Ansuman Banerjee; Susmita Sur-Kolay (ICDCIT, 2014)

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 001 (ICPADS, 2014)

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 (ARMS-CC@PODC, 2014)

Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip. - Sukanta Bhattacharjee; Ansuman Banerjee; Krishnendu Chakrabarty; Bhargab B. Bhattacharya (VLSID, 2014)

Tutorial T2B: Cost / Application / Time to Market Driven SoC Design and Manufacturing Strategy. - Barun Kumar De; Anupam Chattopadhyay; Ansuman Banerjee (VLSID, 2014)

ANGELS for distributed analytics in IoT. - Arijit Mukherjee; Himadri Sekhar Paul; Swarnava Dey; Ansuman Banerjee (WF-IoT, 2014)

Sample preparation with multiple dilutions on digital microfluidic biochips. - Sukanta Bhattacharjee; Ansuman Banerjee; Bhargab B. Bhattacharya (IET Comput. Digit. Tech., 2014)

A Framework for Fast Service Verification and Query Execution for Boolean Service Rules. - Soumi Chattopadhyay; Saikat Dutta 001; Ansuman Banerjee (APSCC, 2015)

A New Approach for Minimal Environment Construction for Modular Property Verification. - Saikat Dutta 001; Soumi Chattopadhyay; Ansuman Banerjee; Pallab Dasgupta (ATS, 2015)

Perceptually guided inexact DSP design for power, area efficient hearing aid. - Sai Praveen Kadiyala; Aritra Sen; Shubham Mahajan; Qingyun Wang 003; Avinash Lingamneni; James Sneed German; Xu Hong; Ansuman Banerjee; Krishna V. Palem; Arindam Basu (BioCAS, 2015)

Attacks on Branch Predictors: An Empirical Exploration. - Moumita Das; Bhaskar Sardar; Ansuman Banerjee (ICISS, 2015)

On Composition of Checkpoint and Recovery Protocols for Distributed Systems. - Soumi Chattopadhyay; Ansuman Banerjee; Himadri Sekhar Paul (ICSOC Workshops, 2015)

A Scalable and Approximate Mechanism for Web Service Composition. - Soumi Chattopadhyay; Ansuman Banerjee; Nilanjan Banerjee (ICWS, 2015)

A Scalable Architecture for Rule Engine Based Clinical Decision Support Systems. - Soumi Chattopadhyay; Ansuman Banerjee; Nilanjan Banerjee (MedInfo, 2015)

Application State Refinement for Scheduling Applications on Mobile Devices. - Ansuman Dash; Ansuman Banerjee (MoMM, 2015)

Enhancing branch prediction using software evolution. - Saikat Dutta 001; Moumita Das; Ansuman Banerjee (NAS, 2015)

Parametric Analysis of Mobile Cloud Computing Frameworks Using Simulation Modeling. - Arani Bhattacharya; Ansuman Banerjee; Pradipta De (ARMS-CC@PODC, 2015)

Compute on the Go: A Case of Mobile-Cloud Collaborative Computing Under Mobility. - Himadri Sekhar Paul; Pubali Datta; Ansuman Banerjee; Arijit Mukherjee (ARMS-CC@PODC, 2015)

Algorithmic Strategies for Sensing-as-a-Service in the Internet-of-Things Era. - Soumi Chattopadhyay; Ansuman Banerjee (UCC, 2015)

Real-time embedded systems analysis - From theory to practice. - Ansuman Banerjee; Arijit Mondal; Arnab Sarkar 001; Santosh Biswas (VDAT, 2015)

EvoDeb: Debugging Evolving Hardware Designs. - Debjyoti Bhattacharjee; Ansuman Banerjee; Anupam Chattopadhyay (VLSID, 2015)

A Scalable Rule Engine Architecture for Service Execution Frameworks. - Soumi Chattopadhyay; Ansuman Banerjee; Nilanjan Banerjee (SCC, 2016)

A Framework for Top Service Subscription Recommendations for Service Assemblers. - Soumi Chattopadhyay; Ansuman Banerjee; Tridib Mukherjee (SCC, 2016)

CoCOA: A Framework for Comparing Aggregate Client Operations in BPO Services. - Rahul Ghosh; Avantika Gupta; Soumi Chattopadhyay; Ansuman Banerjee; Koustuv Dasgupta (SCC, 2016)

A Verification Guided Approach for Selective Program Transformations for Approximate Computing. - Sayandeep Mitra; Moumita Das; Ansuman Banerjee; Kausik Datta; Tsung-Yi Ho (ATS, 2016)

EAST: Efficient Assertion Simulation techniques. - Debjyoti Bhattacharjee; Soumi Chattopadhyay; Ansuman Banerjee (DATE, 2016)

Service Level Guarantee for Mobile Application Offloading in Presence of Wireless Channel Errors. - Arani Bhattacharya; Ansuman Banerjee; Pradipta De (GLOBECOM, 2016)

A new approach for root-causing attacks on digital microfluidic devices. - Pushpita Roy; Ansuman Banerjee (AsianHOST, 2016)

QSCAS: QoS Aware Web Service Composition Algorithms with Stochastic Parameters. - Soumi Chattopadhyay; Ansuman Banerjee (ICWS, 2016)

Improving Energy Efficiency of Mobile Execution Exploiting Similarity of Application Control Flow. - Moumita Das; Ansuman Banerjee (MoMM, 2016)

I2oT: Inexactness in IoT. - Ansuman Banerjee; Himadri Sekhar Paul; Arijit Mukherjee (ARMS-CC@PODC, 2016)

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 001 (VLSID, 2016)

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 (ASP-DAC, 2017)

Scheduling with task duplication for application offloading. - Arani Bhattacharya; Ansuman Banerjee; Pradipta De (CCNC, 2017)

A utility-driven data transmission optimization strategy in large scale cyber-physical systems. - Soumi Chattopadhyay; Ansuman Banerjee; Bei Yu 001 (DATE, 2017)

Performance Attacks on Branch Predictors in Embedded Processors with SMT Support. - Moumita Das; Ansuman Banerjee; Nitesh K. Singh; Bhaskar Sardar (ICISS, 2017)

An empirical study on performance of branch predictors with varying storage budgets. - Moumita Das; Ansuman Banerjee; Bhaskar Sardar (ISED, 2017)

Security assessment of synthesized actuation sequences for digital microfluidic biochips. - Pushpita Roy; Ansuman Banerjee (ISED, 2017)

A new memory scheduling policy for real time systems. - Ankita Samaddar; Moumita Das; Ansuman Banerjee (ISED, 2017)

A Framework for Branch Predictor Selection with Aggregation on Multiple Parameters. - Moumita Das; Ansuman Banerjee; Bhaskar Sardar (VDAT, 2017)

Customer on-boarding strategies for cloud computing services with dynamic service-level agreements. - Bipin B. Nandi; Sasthi C. Ghosh 001; Ansuman Banerjee; Nilanjan Banerjee (Serv. Oriented Comput. Appl., 2017)

Adaptation of Biochemical Protocols to Handle Technology-Change for Digital Microfluidics. - Sukanta Bhattacharjee; Sharbatanu Chatterjee; Ansuman Banerjee; Tsung-Yi Ho; Krishnendu Chakrabarty; Bhargab B. Bhattacharya (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

AutoSense: A Framework for Automated Sensitivity Analysis of Program Data. - Bernard Nongpoh; Rajarshi Ray 001; Saikat Dutta 001; Ansuman Banerjee (IEEE Trans. Software Eng., 2017)

A Fast and Scalable Mechanism for Web Service Composition. - Soumi Chattopadhyay; Ansuman Banerjee; Nilanjan Banerjee (ACM Trans. Web, 2017)

A Variation Aware Composition Model for Dynamic Web Service Environments. - Soumi Chattopadhyay; Ansuman Banerjee (ICSOC, 2018)

ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems. - Animesh Basak Chowdhury; Ansuman Banerjee; Bhargab B. Bhattacharya (NSS, 2018)

A Methodology for Search Space Reduction in QoS Aware Semantic Web Service Composition. - Soumi Chattopadhyay; Ansuman Banerjee (CoRR, 2018)

Reliability Hardening Mechanisms in Cyber-Physical Digital-Microfluidic Biochips. - Guan-Ruei Lu; Ansuman Banerjee; Bhargab B. Bhattacharya; Tsung-Yi Ho; Hung-Ming Chen (ACM J. Emerg. Technol. Comput. Syst., 2018)

Flexible Droplet Routing in Active Matrix-Based Digital Microfluidic Biochips. - Guan-Ruei Lu; Chun-Hao Kuo; Kuen-Cheng Chiang; Ansuman Banerjee; Bhargab B. Bhattacharya; Tsung-Yi Ho; Hung-Ming Chen (ACM Trans. Design Autom. Electr. Syst., 2018)

Debugging Errors in Microfluidic Executions. - Pushpita Roy; Ansuman Banerjee; Bhargab B. Bhattacharya (ACSS (2), 2019)

A Shared BTB Design for Multicore Systems. - Moumita Das; Ansuman Banerjee; Bhaskar Sardar (CGO, 2019)

QoS Value Prediction Using a Combination of Filtering Method and Neural Network Regression. - Soumi Chattopadhyay; Ansuman Banerjee (ICSOC, 2019)

Linearization based Safety Verification of a Glucose Control Protocol. - Ankita Samaddar; Zahra RahimiNasab; Arvind Easwaran; Ansuman Banerjee; Xue Bai (ISORC, 2019)

Triforce QNX Syscall Fuzzer. - Pallavi Pandey; Anupam Sarkar; Ansuman Banerjee (ISSRE Workshops, 2019)

Approximate computing for multithreaded programs in shared memory architectures. - Bernard Nongpoh; Rajarshi Ray 001; Ansuman Banerjee (MEMOCODE, 2019)

Towards Scalable Semantic Service Composition. - Soumi Chattopadhyay; Ansuman Banerjee (SOCA, 2019)

Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach. - Kaustabha Ray; Ansuman Banerjee; Swarup Kumar Mohalik (SOCA, 2019)

A framework for evaluating branch predictors using multiple performance parameters. - Moumita Das; Ansuman Banerjee; Bhaskar Sardar (Int. J. High Perform. Syst. Archit., 2019)

Efficient Generation of Dilution Gradients With Digital Microfluidic Biochips. - Sukanta Bhattacharjee; Ansuman Banerjee; Tsung-Yi Ho; Krishnendu Chakrabarty; Bhargab B. Bhattacharya (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Enhancing Speculative Execution With Selective Approximate Computing. - Bernard Nongpoh; Rajarshi Ray 001; Moumita Das; Ansuman Banerjee (ACM Trans. Design Autom. Electr. Syst., 2019)

A study of approximation in a collaborative multi-agent system. - Hrishav Bakul Barua; Himadri Sekhar Paul; Chayan Sarkar; Ansuman Banerjee (ICDCN, 2020)

Dynamic Edge User Allocation with User Specified QoS Preferences. - Subrat Prasad Panda; Kaustabha Ray; Ansuman Banerjee (ICSOC, 2020)

Trace-driven Modeling and Verification of a Mobility-Aware Service Allocation and Migration Policy for Mobile Edge Computing. - Kaustabha Ray; Ansuman Banerjee (ICWS, 2020)

Proactive Microservice Placement and Migration for Mobile Edge Computing. - Kaustabha Ray; Ansuman Banerjee; Nanjangud C. Narendra (SEC, 2020)

Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams. - Sayandeep Mitra; Pavan Kumar Chittimalli; Ansuman Banerjee (ISEC, 2020)

FINESSE: Fair Incentives for Enterprise Employees. - Soumi Chattopadhyay; Rahul Ghosh; Ansuman Banerjee; Avantika Gupta; Arpit Jain (RCIS, 2020)

Shared Pattern History Tables in Multicomponent Branch Predictors With a Dealiasing Cache. - Moumita Das; Ansuman Banerjee; Mainak Chaudhuri; Bhaskar Sardar (IEEE Embed. Syst. Lett., 2020)

A Methodology for Root-Causing In-field Attacks on Microfluidic Executions. - Pushpita Roy; Ansuman Banerjee; Bhargab B. Bhattacharya (Trans. Comput. Sci., 2020)

Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips. - Pushpita Roy; Ansuman Banerjee; Robert Wille; Bhargab B. Bhattacharya (ACM Trans. Design Autom. Electr. Syst., 2020)

QoS Constrained Large Scale Web Service Composition Using Abstraction Refinement. - Soumi Chattopadhyay; Ansuman Banerjee (IEEE Trans. Serv. Comput., 2020)

QoS-aware Automatic Web Service Composition with Multiple Objectives. - Soumi Chattopadhyay; Ansuman Banerjee (ACM Trans. Web, 2020)

A Framework for Analyzing Resource Allocation Policies for Multi-Access Edge Computing. - Kaustabha Ray; Ansuman Banerjee (EDGE, 2021)

Service Allocation/Placement in Multi-Access Edge Computing with Workload Fluctuations. - Subrat Prasad Panda; Kaustabha Ray; Ansuman Banerjee (ICSOC, 2021)

User Allocation in Mobile Edge Computing: A Deep Reinforcement Learning Approach. - Subrat Prasad Panda; Ansuman Banerjee; Arani Bhattacharya (ICWS, 2021)

Fast Falsification of Neural Networks using Property Directed Testing. - Moumita Das; Rajarshi Ray 001; Swarup Kumar Mohalik; Ansuman Banerjee (CoRR, 2021)

A framework for end-to-end verification for digital microfluidics. - Pushpita Roy; Ansuman Banerjee; Bhargab B. Bhattacharya (Innov. Syst. Softw. Eng., 2021)

Horizontal Auto-Scaling for Multi-Access Edge Computing Using Safe Reinforcement Learning. - Kaustabha Ray; Ansuman Banerjee (ACM Trans. Embed. Comput. Syst., 2021)

Modeling and Verification of Service Allocation Policies for Multi-Access Edge Computing Using Probabilistic Model Checking. - Kaustabha Ray; Ansuman Banerjee (IEEE Trans. Netw. Serv. Manag., 2021)

A Framework for Validation of Synthesized MicroElectrode Dot Array Actuations for Digital Microfluidic Biochips. - Pushpita Roy; Ansuman Banerjee (ACM Trans. Design Autom. Electr. Syst., 2021)

Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking. - Kaustabha Ray; Ansuman Banerjee (QEST, 2022)

A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips. - Sukanta Bhattacharjee; Ansuman Banerjee; Krishnendu Chakrabarty; Bhargab B. Bhattacharya (CoRR, 2022)

Service Selection With Package Bundles and Compatibility Constraints. - Kaustabha Ray; Ansuman Banerjee; Swarup Kumar Mohalik (IEEE Trans. Serv. Comput., 2022)

Testing of Horn Samplers. - Ansuman Banerjee; Shayak Chakraborty; Sourav Chakraborty 001; Kuldeep S. Meel; Uddalok Sarkar; Sayantan Sen (AISTATS, 2023)

Multitask Scheduling of Computer Vision Workload on Edge Graphical Processing Units. - Arani Bhattacharya; Paritosh Shukla; Ansuman Banerjee; Saumya Jaipuria; Nanjangud C. Narendra; Dhruv Garg (COMSNETS, 2023)

Set Augmented Finite Automata over Infinite Alphabets. - Ansuman Banerjee; Kingshuk Chatterjee; Shibashis Guha (DLT, 2023)

A Framework for Tile Processing on Edge Servers for Roadside Traffic Surveillance. - Saumya Jaipuria; Arani Bhattacharya; Ansuman Banerjee (ICACS, 2023)

Harnessing Multiple BMC Engines Together for Efficient Formal Verification. - Devleena Ghosh; Sumana Ghosh; Raj Kumar Gajavelly; Ansuman Banerjee (MEMOCODE, 2023)

Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. - Mir Md Sajid Sarwar; Rajarshi Ray 001; Ansuman Banerjee (MEMOCODE, 2023)

SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. - Soham Banerjee; Sumana Ghosh; Ansuman Banerjee; Swarup Kumar Mohalik (VMCAI, 2023)

Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking. - Kaustabha Ray; Ansuman Banerjee (IEEE Trans. Dependable Secur. Comput., 2023)

A Contrastive Plan Explanation Framework for Hybrid System Models. - Mir Md Sajid Sarwar; Rajarshi Ray 001; Ansuman Banerjee (ACM Trans. Embed. Comput. Syst., 2023)

Roadside Traffic Monitoring Using Video Processing on the Edge. - Saumya Jaipuria; Ansuman Banerjee; Arani Bhattacharya (COMSNETS, 2024)

A Contrastive Explanation Tool for Plans in Hybrid Domains. - Devdan Dey; Mir Md Sajid Sarwar; Rajarshi Ray 001; Ansuman Banerjee (ISEC, 2024)

Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. - Arkaprava Gupta; Sumana Ghosh; Ansuman Banerjee; Swarup Kumar Mohalik (MEMOCODE, 2024)

Autonomous Automotives on the Edge. - Kaustabha Ray; Ansuman Banerjee (VLSID, 2024)

MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together. - Devleena Ghosh; Sumana Ghosh; Ansuman Banerjee; Raj Kumar Gajavelly; Sudhakar Surendran (ACM Trans. Design Autom. Electr. Syst., 2024)

Learning-Based Microservice Placement and Migration for Multi-Access Edge Computing. - Kaustabha Ray; Ansuman Banerjee; Nanjangud C. Narendra (IEEE Trans. Netw. Serv. Manag., 2024)

Distributed Sensing and Collaborative Edge Computing for LEO Constellations. - Saumya Jaipuria; Ansuman Banerjee; Himadri Sekhar Paul (COMSNETS, 2025)

On-the-fly Validation of Hierarchical Cache Coherence Protocols using Directed Testing. - Abhinaba Chakraborty; Ansuman Banerjee; Vinay B. Y. Kumar; Arindam Mallik (ISVLSI, 2025)

A Sampling-based Method for Output Safety Verification of Spiking Neural Networks. - Sruti Goswami; Ansuman Banerjee; Swarup Kumar Mohalik (ISVLSI, 2025)

LISA: LLM Informed Systemverilog Assertion generation with RAG and Chain-of-Thought. - Subhajit Paul; Ansuman Banerjee; Sumana Ghosh; Sudhakar Surendran; Raj Kumar Gajavelly (ISVLSI, 2025)

New Branching Heuristics for Incremental Bounded Model Checking. - Satyam Shubham; Sutirtha Bhattacharyya; Ansuman Banerjee; Raj Kumar Gajavelly (ISVLSI, 2025)

Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory. - Sirshendu Das; Ansuman Banerjee; Swarup Kumar Mohalik (LCTES, 2025)

MERGERS: Multi-Access Edge Resource Governance for Real-Time SaaS Systems. - Aakashjit Bhattacharya; Arnab Sarkar 001; Ansuman Banerjee (VLSID, 2025)

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 (VLSID, 2025)

Computation Offloading and Band Selection for IoT Devices in Multi-Access Edge Computing. - Kaustabha Ray; Ansuman Banerjee (ACM Trans. Model. Comput. Simul., 2025)