Ansuman Banerjee

165 papers A* 2A 16B 9C 15Misc 22Journal 46Unranked 54

Year	Rank	Type	Title / Venue / Authors
2026	Misc	`conf`	A Forward-Backward Search Strategy for Falsification in Spiking Neural Networks. VLSID Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik
2026	Misc	`conf`	LInC-BMC: A Lookahead Informed Clause Deletion Mechanism for Bounded Model Checking. VLSID Satyam Shubham, Sutirtha Bhattacharyya, Ansuman Banerjee, Raj Kumar Gajavelly
2026	Misc	`conf`	MPBMC: Multi-Property Bounded Model Checking with GNN-Guided Clustering. VLSID Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2026	J	`jnl`	MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering. CoRR Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2026	—	`conf`	SuperSAGA: A Supervisor-Subordinate Agentic workflow for the Generation of Assertions. ASP-DAC Subhajit Paul, Ansuman Banerjee, Sumana Ghosh, Sudhakar Surendran, Raj Kumar Gajavelly
2026	—	`conf`	Towards Verification of Spiking Neural Networks for Next-Generation AI Systems. ICDCN Companion Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik
2025	—	`conf`	A Sampling-based Method for Output Safety Verification of Spiking Neural Networks. ISVLSI Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik
2025	Misc	`conf`	BMC Engine Sequencing with Graph Neural Network Embeddings of Hardware Circuits. VLSID Soumik Guha Roy, Adriz Chanda, Prateek Ganguli, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2025	J	`jnl`	Computation Offloading and Band Selection for IoT Devices in Multi-Access Edge Computing. ACM Trans. Model. Comput. Simul. Kaustabha Ray, Ansuman Banerjee
2025	Misc	`conf`	Distributed Sensing and Collaborative Edge Computing for LEO Constellations. COMSNETS Saumya Jaipuria, Ansuman Banerjee, Himadri Sekhar Paul
2025	—	`conf`	LISA: LLM Informed Systemverilog Assertion generation with RAG and Chain-of-Thought. ISVLSI Subhajit Paul, Ansuman Banerjee, Sumana Ghosh, Sudhakar Surendran, Raj Kumar Gajavelly
2025	—	`conf`	LLM-Guided Reconciliation for Explainable Robotic Path Planning: A Case Study. ACSOS-C Subhajit Paul, Ansuman Banerjee
2025	Misc	`conf`	MERGERS: Multi-Access Edge Resource Governance for Real-Time SaaS Systems. VLSID Aakashjit Bhattacharya, Arnab Sarkar, Ansuman Banerjee
2025	B	`conf`	Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory. LCTES Sirshendu Das, Ansuman Banerjee, Swarup Kumar Mohalik
2025	—	`conf`	New Branching Heuristics for Incremental Bounded Model Checking. ISVLSI Satyam Shubham, Sutirtha Bhattacharyya, Ansuman Banerjee, Raj Kumar Gajavelly
2025	—	`conf`	On-the-fly Validation of Hierarchical Cache Coherence Protocols using Directed Testing. ISVLSI Abhinaba Chakraborty, Ansuman Banerjee, Vinay B. Y. Kumar, Arindam Mallik
2024	—	`conf`	A Contrastive Explanation Tool for Plans in Hybrid Domains. ISEC Devdan Dey, Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
2024	Misc	`conf`	Autonomous Automotives on the Edge. VLSID Kaustabha Ray, Ansuman Banerjee
2024	C	`conf`	Collection Scheduling with Memory Constraints for Low Earth Orbit Satellite Constellations. MobiQuitous Saumya Jaipuria, Ansuman Banerjee, Himadri Sekhar Paul
2024	C	`conf`	Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. MEMOCODE Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik
2024	J	`jnl`	Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. CoRR Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik
2024	J	`jnl`	Learning-Based Microservice Placement and Migration for Multi-Access Edge Computing. IEEE Trans. Netw. Serv. Manag. Kaustabha Ray, Ansuman Banerjee, Nanjangud C. Narendra
2024	J	`jnl`	MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together. ACM Trans. Design Autom. Electr. Syst. Devleena Ghosh, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2024	Misc	`conf`	Roadside Traffic Monitoring Using Video Processing on the Edge. COMSNETS Saumya Jaipuria, Ansuman Banerjee, Arani Bhattacharya
2023	J	`jnl`	A Contrastive Plan Explanation Framework for Hybrid System Models. ACM Trans. Embed. Comput. Syst. Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
2023	—	`conf`	A Framework for Tile Processing on Edge Servers for Roadside Traffic Surveillance. ICACS Saumya Jaipuria, Arani Bhattacharya, Ansuman Banerjee
2023	C	`conf`	Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. MEMOCODE Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
2023	C	`conf`	Harnessing Multiple BMC Engines Together for Efficient Formal Verification. MEMOCODE Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee
2023	Misc	`conf`	Multitask Scheduling of Computer Vision Workload on Edge Graphical Processing Units. COMSNETS Arani Bhattacharya, Paritosh Shukla, Ansuman Banerjee, Saumya Jaipuria, Nanjangud C. Narendra, Dhruv Garg
2023	J	`jnl`	Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking. IEEE Trans. Dependable Secur. Comput. Kaustabha Ray, Ansuman Banerjee
2023	B	`conf`	SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. VMCAI Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik
2023	C	`conf`	Set Augmented Finite Automata over Infinite Alphabets. DLT Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha
2023	J	`jnl`	Set Augmented Finite Automata over Infinite Alphabets. CoRR Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha
2023	A	`conf`	Testing of Horn Samplers. AISTATS Ansuman Banerjee, Shayak Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar, Sayantan Sen
2022	J	`jnl`	A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips. CoRR Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, Bhargab B. Bhattacharya
2022	—	`conf`	Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking. QEST Kaustabha Ray, Ansuman Banerjee
2022	J	`jnl`	Service Selection With Package Bundles and Compatibility Constraints. IEEE Trans. Serv. Comput. Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik
2021	—	`conf`	A Framework for Analyzing Resource Allocation Policies for Multi-Access Edge Computing. EDGE Kaustabha Ray, Ansuman Banerjee
2021	J	`jnl`	A Framework for Validation of Synthesized MicroElectrode Dot Array Actuations for Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. Pushpita Roy, Ansuman Banerjee
2021	J	`jnl`	A framework for end-to-end verification for digital microfluidics. Innov. Syst. Softw. Eng. Pushpita Roy, Ansuman Banerjee, Bhargab B. Bhattacharya
2021	J	`jnl`	Fast Falsification of Neural Networks using Property Directed Testing. CoRR Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik, Ansuman Banerjee
2021	J	`jnl`	Horizontal Auto-Scaling for Multi-Access Edge Computing Using Safe Reinforcement Learning. ACM Trans. Embed. Comput. Syst. Kaustabha Ray, Ansuman Banerjee
2021	J	`jnl`	Modeling and Verification of Service Allocation Policies for Multi-Access Edge Computing Using Probabilistic Model Checking. IEEE Trans. Netw. Serv. Manag. Kaustabha Ray, Ansuman Banerjee
2021	A	`conf`	Service Allocation/Placement in Multi-Access Edge Computing with Workload Fluctuations. ICSOC Subrat Prasad Panda, Kaustabha Ray, Ansuman Banerjee
2021	A	`conf`	User Allocation in Mobile Edge Computing: A Deep Reinforcement Learning Approach. ICWS Subrat Prasad Panda, Ansuman Banerjee, Arani Bhattacharya
2020	C	`conf`	A Contrastive Plan Explanation Framework for Hybrid System Models. MEMOCODE Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
2020	J	`jnl`	A Methodology for Root-Causing In-field Attacks on Microfluidic Executions. Trans. Comput. Sci. Pushpita Roy, Ansuman Banerjee, Bhargab B. Bhattacharya
2020	Misc	`conf`	A study of approximation in a collaborative multi-agent system. ICDCN Hrishav Bakul Barua, Himadri Sekhar Paul, Chayan Sarkar, Ansuman Banerjee
2020	—	`conf`	Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams. ISEC Sayandeep Mitra, Pavan Kumar Chittimalli, Ansuman Banerjee
2020	A	`conf`	Dynamic Edge User Allocation with User Specified QoS Preferences. ICSOC Subrat Prasad Panda, Kaustabha Ray, Ansuman Banerjee
2020	B	`conf`	FINESSE: Fair Incentives for Enterprise Employees. RCIS Soumi Chattopadhyay, Rahul Ghosh, Ansuman Banerjee, Avantika Gupta, Arpit Jain
2020	J	`jnl`	Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips. ACM Trans. Design Autom. Electr. Syst. Pushpita Roy, Ansuman Banerjee, Robert Wille, Bhargab B. Bhattacharya
2020	Misc	`conf`	Proactive Microservice Placement and Migration for Mobile Edge Computing. SEC Kaustabha Ray, Ansuman Banerjee, Nanjangud C. Narendra
2020	J	`jnl`	QoS Constrained Large Scale Web Service Composition Using Abstraction Refinement. IEEE Trans. Serv. Comput. Soumi Chattopadhyay, Ansuman Banerjee
2020	J	`jnl`	QoS-aware Automatic Web Service Composition with Multiple Objectives. ACM Trans. Web Soumi Chattopadhyay, Ansuman Banerjee
2020	J	`jnl`	Shared Pattern History Tables in Multicomponent Branch Predictors With a Dealiasing Cache. IEEE Embed. Syst. Lett. Moumita Das, Ansuman Banerjee, Mainak Chaudhuri, Bhaskar Sardar
2020	A	`conf`	Trace-driven Modeling and Verification of a Mobility-Aware Service Allocation and Migration Policy for Mobile Edge Computing. ICWS Kaustabha Ray, Ansuman Banerjee
2019	A	`conf`	A Shared BTB Design for Multicore Systems. CGO Moumita Das, Ansuman Banerjee, Bhaskar Sardar
2019	J	`jnl`	A framework for evaluating branch predictors using multiple performance parameters. Int. J. High Perform. Syst. Archit. Moumita Das, Ansuman Banerjee, Bhaskar Sardar
2019	C	`conf`	Approximate computing for multithreaded programs in shared memory architectures. MEMOCODE Bernard Nongpoh, Rajarshi Ray, Ansuman Banerjee
2019	—	`conf`	Debugging Errors in Microfluidic Executions. ACSS (2) Pushpita Roy, Ansuman Banerjee, Bhargab B. Bhattacharya
2019	J	`jnl`	Efficient Generation of Dilution Gradients With Digital Microfluidic Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sukanta Bhattacharjee, Ansuman Banerjee, Tsung-Yi Ho, Krishnendu Chakrabarty, Bhargab B. Bhattacharya
2019	J	`jnl`	Enhancing Speculative Execution With Selective Approximate Computing. ACM Trans. Design Autom. Electr. Syst. Bernard Nongpoh, Rajarshi Ray, Moumita Das, Ansuman Banerjee
2019	C	`conf`	Linearization based Safety Verification of a Glucose Control Protocol. ISORC Ankita Samaddar, Zahra RahimiNasab, Arvind Easwaran, Ansuman Banerjee, Xue Bai
2019	A	`conf`	QoS Value Prediction Using a Combination of Filtering Method and Neural Network Regression. ICSOC Soumi Chattopadhyay, Ansuman Banerjee
2019	—	`conf`	Towards Scalable Semantic Service Composition. SOCA Soumi Chattopadhyay, Ansuman Banerjee
2019	—	`conf`	Triforce QNX Syscall Fuzzer. ISSRE Workshops Pallavi Pandey, Anupam Sarkar, Ansuman Banerjee
2019	—	`conf`	Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach. SOCA Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik
2018	J	`jnl`	A Methodology for Search Space Reduction in QoS Aware Semantic Web Service Composition. CoRR Soumi Chattopadhyay, Ansuman Banerjee
2018	A	`conf`	A Variation Aware Composition Model for Dynamic Web Service Environments. ICSOC Soumi Chattopadhyay, Ansuman Banerjee
2018	B	`conf`	ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems. NSS Animesh Basak Chowdhury, Ansuman Banerjee, Bhargab B. Bhattacharya
2018	J	`jnl`	Flexible Droplet Routing in Active Matrix-Based Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. Guan-Ruei Lu, Chun-Hao Kuo, Kuen-Cheng Chiang, Ansuman Banerjee, Bhargab B. Bhattacharya, Tsung-Yi Ho, Hung-Ming Chen
2018	J	`jnl`	QoS aware Automatic Web Service Composition with Multiple objectives. CoRR Soumi Chattopadhyay, Ansuman Banerjee
2018	J	`jnl`	Reliability Hardening Mechanisms in Cyber-Physical Digital-Microfluidic Biochips. ACM J. Emerg. Technol. Comput. Syst. Guan-Ruei Lu, Ansuman Banerjee, Bhargab B. Bhattacharya, Tsung-Yi Ho, Hung-Ming Chen
2017	J	`jnl`	A Fast and Scalable Mechanism for Web Service Composition. ACM Trans. Web Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee
2017	—	`conf`	A Framework for Branch Predictor Selection with Aggregation on Multiple Parameters. VDAT Moumita Das, Ansuman Banerjee, Bhaskar Sardar
2017	—	`conf`	A new memory scheduling policy for real time systems. ISED Ankita Samaddar, Moumita Das, Ansuman Banerjee
2017	A	`conf`	A utility-driven data transmission optimization strategy in large scale cyber-physical systems. DATE Soumi Chattopadhyay, Ansuman Banerjee, Bei Yu
2017	J	`jnl`	Adaptation of Biochemical Protocols to Handle Technology-Change for Digital Microfluidics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sukanta Bhattacharjee, Sharbatanu Chatterjee, Ansuman Banerjee, Tsung-Yi Ho, Krishnendu Chakrabarty, Bhargab B. Bhattacharya
2017	—	`conf`	An empirical study on performance of branch predictors with varying storage budgets. ISED Moumita Das, Ansuman Banerjee, Bhaskar Sardar
2017	J	`jnl`	AutoSense: A Framework for Automated Sensitivity Analysis of Program Data. IEEE Trans. Software Eng. Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, Ansuman Banerjee
2017	J	`jnl`	Customer on-boarding strategies for cloud computing services with dynamic service-level agreements. Serv. Oriented Comput. Appl. Bipin B. Nandi, Sasthi C. Ghosh, Ansuman Banerjee, Nilanjan Banerjee
2017	—	`conf`	On reliability hardening in cyber-physical digital-microfluidic biochips. ASP-DAC Guan-Ruei Lu, Guan-Ming Huang, Ansuman Banerjee, Bhargab B. Bhattacharya, Tsung-Yi Ho, Hung-Ming Chen
2017	Misc	`conf`	Performance Attacks on Branch Predictors in Embedded Processors with SMT Support. ICISS Moumita Das, Ansuman Banerjee, Nitesh K. Singh, Bhaskar Sardar
2017	—	`conf`	Scheduling with task duplication for application offloading. CCNC Arani Bhattacharya, Ansuman Banerjee, Pradipta De
2017	—	`conf`	Security assessment of synthesized actuation sequences for digital microfluidic biochips. ISED Pushpita Roy, Ansuman Banerjee
2016	—	`conf`	A Framework for Top Service Subscription Recommendations for Service Assemblers. SCC Soumi Chattopadhyay, Ansuman Banerjee, Tridib Mukherjee
2016	—	`conf`	A Scalable Rule Engine Architecture for Service Execution Frameworks. SCC Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee
2016	—	`conf`	A Verification Guided Approach for Selective Program Transformations for Approximate Computing. ATS Sayandeep Mitra, Moumita Das, Ansuman Banerjee, Kausik Datta, Tsung-Yi Ho
2016	—	`conf`	A new approach for root-causing attacks on digital microfluidic devices. AsianHOST Pushpita Roy, Ansuman Banerjee
2016	—	`conf`	CoCOA: A Framework for Comparing Aggregate Client Operations in BPO Services. SCC Rahul Ghosh, Avantika Gupta, Soumi Chattopadhyay, Ansuman Banerjee, Koustuv Dasgupta
2016	Misc	`conf`	Design of Microfluidic Biochips: Connecting Algorithms and Foundations of Chip Design to Biochemistry and the Life Sciences. VLSID Tsung-Yi Ho, Shigeru Yamashita, Ansuman Banerjee, Sudip Roy
2016	A	`conf`	EAST: Efficient Assertion Simulation techniques. DATE Debjyoti Bhattacharjee, Soumi Chattopadhyay, Ansuman Banerjee
2016	—	`conf`	I2oT: Inexactness in IoT. ARMS-CC@PODC Ansuman Banerjee, Himadri Sekhar Paul, Arijit Mukherjee
2016	C	`conf`	Improving Energy Efficiency of Mobile Execution Exploiting Similarity of Application Control Flow. MoMM Moumita Das, Ansuman Banerjee
2016	—	`ed.`	Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, ForMABS@ASE 2016, Singapore, Singapore, September 4, 2016 ForMABS@ASE Ravindra Naik, Raveendra Kumar Medicherla, Ansuman Banerjee
2016	A	`conf`	QSCAS: QoS Aware Web Service Composition Algorithms with Stochastic Parameters. ICWS Soumi Chattopadhyay, Ansuman Banerjee
2016	J	`jnl`	QoS constrained Large Scale Web Service Composition using Abstraction Refinement. CoRR Soumi Chattopadhyay, Ansuman Banerjee
2016	B	`conf`	Service Level Guarantee for Mobile Application Offloading in Presence of Wireless Channel Errors. GLOBECOM Arani Bhattacharya, Ansuman Banerjee, Pradipta De
2015	C	`conf`	A Framework for Fast Service Verification and Query Execution for Boolean Service Rules. APSCC Soumi Chattopadhyay, Saikat Dutta, Ansuman Banerjee
2015	—	`conf`	A New Approach for Minimal Environment Construction for Modular Property Verification. ATS Saikat Dutta, Soumi Chattopadhyay, Ansuman Banerjee, Pallab Dasgupta
2015	—	`conf`	A Scalable Architecture for Rule Engine Based Clinical Decision Support Systems. MedInfo Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee
2015	A	`conf`	A Scalable and Approximate Mechanism for Web Service Composition. ICWS Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee
2015	Misc	`conf`	Algorithmic Strategies for Sensing-as-a-Service in the Internet-of-Things Era. UCC Soumi Chattopadhyay, Ansuman Banerjee
2015	C	`conf`	Application State Refinement for Scheduling Applications on Mobile Devices. MoMM Ansuman Dash, Ansuman Banerjee
2015	Misc	`conf`	Attacks on Branch Predictors: An Empirical Exploration. ICISS Moumita Das, Bhaskar Sardar, Ansuman Banerjee
2015	—	`conf`	Compute on the Go: A Case of Mobile-Cloud Collaborative Computing Under Mobility. ARMS-CC@PODC Himadri Sekhar Paul, Pubali Datta, Ansuman Banerjee, Arijit Mukherjee
2015	—	`conf`	Enhancing branch prediction using software evolution. NAS Saikat Dutta, Moumita Das, Ansuman Banerjee
2015	Misc	`conf`	EvoDeb: Debugging Evolving Hardware Designs. VLSID Debjyoti Bhattacharjee, Ansuman Banerjee, Anupam Chattopadhyay
2015	—	`conf`	On Composition of Checkpoint and Recovery Protocols for Distributed Systems. ICSOC Workshops Soumi Chattopadhyay, Ansuman Banerjee, Himadri Sekhar Paul
2015	—	`conf`	Parametric Analysis of Mobile Cloud Computing Frameworks Using Simulation Modeling. ARMS-CC@PODC Arani Bhattacharya, Ansuman Banerjee, Pradipta De
2015	—	`conf`	Perceptually guided inexact DSP design for power, area efficient hearing aid. BioCAS Sai Praveen Kadiyala, Aritra Sen, Shubham Mahajan, Qingyun Wang, Avinash Lingamneni, James Sneed German, Xu Hong, Ansuman Banerjee, Krishna V. Palem, Arindam Basu
2015	—	`conf`	Real-time embedded systems analysis - From theory to practice. VDAT Ansuman Banerjee, Arijit Mondal, Arnab Sarkar, Santosh Biswas
2014	—	`conf`	A Framework for Speculative Scheduling and Device Selection for Task Execution on a Mobile Cloud. ARMS-CC@PODC Ansuman Banerjee, Himadri Sekhar Paul, Arijit Mukherjee, Swarnava Dey, Pubali Datta
2014	—	`conf`	ANGELS for distributed analytics in IoT. WF-IoT Arijit Mukherjee, Himadri Sekhar Paul, Swarnava Dey, Ansuman Banerjee
2014	B	`conf`	An access point to device association technique for optimized data transfer in mobile grids. ICPADS Ansuman Banerjee, Himadri Sekhar Paul, Arijit Mukherjee, Pubali Datta, Sajal K. Das
2014	Misc	`conf`	Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip. VLSID Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, Bhargab B. Bhattacharya
2014	A	`conf`	Design automation for biochemistry synthesis on a digital microfluidic lab-on-a-chip. ICCAD Krishnendu Chakrabarty, Bhargab B. Bhattacharya, Ansuman Banerjee
2014	Misc	`conf`	Energy-Aware H.264 Decoding. ICDCIT Arani Bhattacharya, Ansuman Banerjee, Susmita Sur-Kolay
2014	J	`jnl`	Sample preparation with multiple dilutions on digital microfluidic biochips. IET Comput. Digit. Tech. Sukanta Bhattacharjee, Ansuman Banerjee, Bhargab B. Bhattacharya
2014	Misc	`conf`	Tutorial T2B: Cost / Application / Time to Market Driven SoC Design and Manufacturing Strategy. VLSID Barun Kumar De, Anupam Chattopadhyay, Ansuman Banerjee
2014	C	`conf`	When to Schedule an Application? An Energy-Aware Decision. CloudCom Ansuman Dash, Ansuman Banerjee
2013	—	`conf`	A Cache-Aware Strategy for H.264 Decoding on Multi-processor Architectures. VDAT Arani Bhattacharya, Ansuman Banerjee, Susmita Sur-Kolay, Prasenjit Basu, Bhaskar J. Karmakar
2013	C	`conf`	A Data Distribution Model for Large-Scale Context Aware Systems. MobiQuitous Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee
2013	J	`jnl`	Algorithms for Producing Linear Dilution Gradient with Digital Microfluidics. CoRR Sukanta Bhattacharjee, Ansuman Banerjee, Tsung-Yi Ho, Krishnendu Chakrabarty, Bhargab B. Bhattacharya
2013	J	`jnl`	Counterexample Ranking Using Mined Invariants. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Harish Kumar
2013	B	`conf`	Dynamic SLA based elastic cloud service management: A SaaS perspective. IM Bipin B. Nandi, Ansuman Banerjee, Sasthi C. Ghosh, Nilanjan Banerjee
2013	—	`conf`	Fault Tolerance as a Service. IEEE CLOUD Bipin B. Nandi, Himadri Sekhar Paul, Ansuman Banerjee, Sasthi C. Ghosh
2013	J	`jnl`	Formal Guarantees for Localized Bug Fixes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Priyankar Ghosh, Harish Kumar
2013	—	`conf`	Offloading work to mobile devices: an availability-aware data partitioning approach. MCS@Middleware Ansuman Banerjee, Arijit Mukherjee, Himadri Sekhar Paul, Swarnava Dey
2013	—	`conf`	On Producing Linear Dilution Gradient of a Sample with a Digital Microfluidic Biochip. ISED Sukanta Bhattacharjee, Ansuman Banerjee, Tsung-Yi Ho, Krishnendu Chakrabarty, Bhargab B. Bhattacharya
2013	J	`jnl`	POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Kevin Harer, Ansuman Banerjee, Subhankar Mukherjee
2013	—	`conf`	Using Daikon to Prioritize and Group Unit Bugs. FACS Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil Kumar Ghosh, Lihua Xu, Huibiao Zhu
2012	—	`conf`	A Generalized Theory for Formal Assertion Coverage. Asian Test Symposium Sourasis Das, Ansuman Banerjee, Pallab Dasgupta
2012	J	`jnl`	A dynamic assertion-based verification platform for validation of UML designs. ACM SIGSOFT Softw. Eng. Notes Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
2012	—	`conf`	A formal model for multi-tenant software-as-a-service in cloud computing. COMPUTE Ansuman Banerjee
2012	J	`jnl`	Debugging Memory Issues In Embedded Linux: A Case Study CoRR Partha Pratim Ray, Ansuman Banerjee
2012	J	`jnl`	Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sourasis Das, Ansuman Banerjee, Pallab Dasgupta
2012	—	`conf`	Formal methods for coverage analysis of architectural power states in power-managed designs. ASP-DAC Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer
2012	A	`conf`	Formal methods for ranking counterexamples through assumption mining. DATE Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta
2012	—	`conf`	Multiple Dilution Sample Preparation Using Digital Microfluidic Biochips. ISED Sukanta Bhattacharjee, Ansuman Banerjee, Bhargab B. Bhattacharya
2012	—	`conf`	Pack your sack for the cloud. ISEC Ansuman Banerjee, Sasthi C. Ghosh, Nilanjan Banerjee
2012	—	`conf`	Stochastic VM Multiplexing for Datacenter Consolidation. IEEE SCC Bipin B. Nandi, Ansuman Banerjee, Sasthi C. Ghosh, Nilanjan Banerjee
2012	A	`conf`	Timing analysis of cyber-physical applications for hybrid communication protocols. DATE Alejandro Masrur, Dip Goswami, Samarjit Chakraborty, Jian-Jia Chen, Anuradha Annaswamy, Ansuman Banerjee
2012	J	`jnl`	Verifying Coalitions in 3-Party Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ansuman Banerjee
2011	—	`conf`	Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. Asian Test Symposium Anvesh Komuravelli, Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta
2011	—	`conf`	Requirement Evolution Management: A Systematic Approach. ISVLSI Ansuman Banerjee
2010	—	`conf`	Golden implementation driven software debugging. SIGSOFT FSE Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang
2010	Misc	`conf`	Synthesizability of 3 Party Formal Specifications-Does My Controller See Enough?. VLSI Design Ansuman Banerjee
2008	B	`conf`	A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. ATVA Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
2008	J	`jnl`	Accelerating Assertion Coverage With Adaptive Testbenches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta
2008	J	`jnl`	Auxiliary state machines + context-triggered properties in verification. ACM Trans. Design Autom. Electr. Syst. Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2008	B	`conf`	CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. ATVA Ansuman Banerjee, Kausik Datta, Pallab Dasgupta
2008	—	`conf`	Cohesive Coverage Management for Simulation and Formal Property Verification. ISVLSI Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan
2007	J	`jnl`	BUSpec: A framework for generation of verification aids for standard bus protocol specifications. Integr. Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2006	J	`jnl`	Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2006	C	`conf`	Formal methods for checking realizability of coalitions in 3-party systems. MEMOCODE Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2006	A*	`conf`	Test generation games from formal specifications. DAC Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta
2005	Misc	`conf`	Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. VLSI Design Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
2005	J	`jnl`	The open family of temporal logics: Annotating temporal operators with input constraints. ACM Trans. Design Autom. Electr. Syst. Ansuman Banerjee, Pallab Dasgupta
2004	Misc	`conf`	Formal Verification of Modules under Real Time Environment Constraints. VLSI Design Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2004	A	`conf`	Formal verification coverage: computing the coverage gap between temporal specifications. ICCAD Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2004	C	`conf`	The BUSpec platform for automated generation of verification aids for standard bus protocols. MEMOCODE Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2003	—	`conf`	Open computation tree logic with fairness. ISCAS (5) Ansuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti
2002	A*	`conf`	Formal verification of module interfaces against real time specifications. DAC Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee