default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnsuman Banerjee
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c106]Saumya Jaipuria, Ansuman Banerjee, Himadri Sekhar Paul:
Distributed Sensing and Collaborative Edge Computing for LEO Constellations. COMSNETS 2025: 1037-1041- [c105]Aakashjit Bhattacharya, Arnab Sarkar, Ansuman Banerjee:
MERGERS: Multi-Access Edge Resource Governance for Real-Time SaaS Systems. VLSID 2025: 1-6 - [c104]Soumik Guha Roy, Adriz Chanda, Prateek Ganguli, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran:
BMC Engine Sequencing with Graph Neural Network Embeddings of Hardware Circuits. VLSID 2025: 163-168 - 2024
- [j35]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): 1969-1982 (2024) - [j34]Devleena Ghosh, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran:
MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together. ACM Trans. Design Autom. Electr. Syst. 29(5): 1-37 (2024) - [c103]Saumya Jaipuria, Ansuman Banerjee, Arani Bhattacharya:
Roadside Traffic Monitoring Using Video Processing on the Edge. COMSNETS 2024: 542-550 - [c102]Devdan Dey, Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee:
A Contrastive Explanation Tool for Plans in Hybrid Domains. ISEC 2024: 15:1-15:5 - [c101]Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik:
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. MEMOCODE 2024: 103-107 - [c100]Kaustabha Ray, Ansuman Banerjee:
Autonomous Automotives on the Edge. VLSID 2024: 264-269 - [i9]Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik:
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. CoRR abs/2408.01996 (2024) - 2023
- [j33]Kaustabha Ray, Ansuman Banerjee:
Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking. IEEE Trans. Dependable Secur. Comput. 20(1): 797-812 (2023) - [j32]Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee:
A Contrastive Plan Explanation Framework for Hybrid System Models. ACM Trans. Embed. Comput. Syst. 22(2): 22:1-22:51 (2023) - [c99]Ansuman Banerjee, Shayak Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar, Sayantan Sen:
Testing of Horn Samplers. AISTATS 2023: 1301-1330 - [c98]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: 588-593 - [c97]Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha:
Set Augmented Finite Automata over Infinite Alphabets. DLT 2023: 36-50 - [c96]Saumya Jaipuria, Arani Bhattacharya, Ansuman Banerjee:
A Framework for Tile Processing on Edge Servers for Roadside Traffic Surveillance. ICACS 2023: 132-139 - [c95]Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee:
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. MEMOCODE 2023: 47-58 - [c94]Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee:
Harnessing Multiple BMC Engines Together for Efficient Formal Verification. MEMOCODE 2023: 71-81 - [c93]Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik:
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. VMCAI 2023: 25-43 - [i8]Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha:
Set Augmented Finite Automata over Infinite Alphabets. CoRR abs/2311.06514 (2023) - 2022
- [j31]Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik:
Service Selection With Package Bundles and Compatibility Constraints. IEEE Trans. Serv. Comput. 15(5): 3031-3046 (2022) - [c92]Kaustabha Ray, Ansuman Banerjee:
Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking. QEST 2022: 275-297 - [i7]Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, Bhargab B. Bhattacharya:
A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips. CoRR abs/2211.04719 (2022) - 2021
- [j30]Pushpita Roy, Ansuman Banerjee, Bhargab B. Bhattacharya:
A framework for end-to-end verification for digital microfluidics. Innov. Syst. Softw. Eng. 17(3): 231-245 (2021) - [j29]Kaustabha Ray, Ansuman Banerjee:
Horizontal Auto-Scaling for Multi-Access Edge Computing Using Safe Reinforcement Learning. ACM Trans. Embed. Comput. Syst. 20(6): 109:1-109:33 (2021) - [j28]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): 3400-3414 (2021) - [j27]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): 46:1-46:36 (2021) - [c91]Kaustabha Ray, Ansuman Banerjee:
A Framework for Analyzing Resource Allocation Policies for Multi-Access Edge Computing. EDGE 2021: 102-110 - [c90]Subrat Prasad Panda, Kaustabha Ray, Ansuman Banerjee:
Service Allocation/Placement in Multi-Access Edge Computing with Workload Fluctuations. ICSOC 2021: 747-755 - [c89]Subrat Prasad Panda, Ansuman Banerjee, Arani Bhattacharya:
User Allocation in Mobile Edge Computing: A Deep Reinforcement Learning Approach. ICWS 2021: 447-458 - [i6]Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik, Ansuman Banerjee:
Fast Falsification of Neural Networks using Property Directed Testing. CoRR abs/2104.12418 (2021) - 2020
- [j26]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): 95-98 (2020) - [j25]Pushpita Roy, Ansuman Banerjee, Bhargab B. Bhattacharya:
A Methodology for Root-Causing In-field Attacks on Microfluidic Executions. Trans. Comput. Sci. 35: 119-152 (2020) - [j24]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): 10:1-10:37 (2020) - [j23]Soumi Chattopadhyay, Ansuman Banerjee:
QoS Constrained Large Scale Web Service Composition Using Abstraction Refinement. IEEE Trans. Serv. Comput. 13(3): 529-544 (2020) - [j22]Soumi Chattopadhyay, Ansuman Banerjee:
QoS-aware Automatic Web Service Composition with Multiple Objectives. ACM Trans. Web 14(3): 12:1-12:38 (2020) - [c88]Hrishav Bakul Barua, Himadri Sekhar Paul, Chayan Sarkar, Ansuman Banerjee:
A study of approximation in a collaborative multi-agent system. ICDCN 2020: 51:1-51:4 - [c87]Subrat Prasad Panda, Kaustabha Ray, Ansuman Banerjee:
Dynamic Edge User Allocation with User Specified QoS Preferences. ICSOC 2020: 187-197 - [c86]Kaustabha Ray, Ansuman Banerjee:
Trace-driven Modeling and Verification of a Mobility-Aware Service Allocation and Migration Policy for Mobile Edge Computing. ICWS 2020: 310-317 - [c85]Kaustabha Ray, Ansuman Banerjee, Nanjangud C. Narendra:
Proactive Microservice Placement and Migration for Mobile Edge Computing. SEC 2020: 28-41 - [c84]Sayandeep Mitra, Pavan Kumar Chittimalli, Ansuman Banerjee:
Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams. ISEC 2020: 17:1-17:5 - [c83]Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee:
A Contrastive Plan Explanation Framework for Hybrid System Models. MEMOCODE 2020: 1-11 - [c82]Soumi Chattopadhyay, Rahul Ghosh, Ansuman Banerjee, Avantika Gupta, Arpit Jain:
FINESSE: Fair Incentives for Enterprise Employees. RCIS 2020: 191-211
2010 – 2019
- 2019
- [j21]Moumita Das, Ansuman Banerjee, Bhaskar Sardar:
A framework for evaluating branch predictors using multiple performance parameters. Int. J. High Perform. Syst. Archit. 8(4): 193-224 (2019) - [j20]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): 874-887 (2019) - [j19]Bernard Nongpoh, Rajarshi Ray, Moumita Das, Ansuman Banerjee:
Enhancing Speculative Execution With Selective Approximate Computing. ACM Trans. Design Autom. Electr. Syst. 24(2): 26:1-26:29 (2019) - [c81]Pushpita Roy, Ansuman Banerjee, Bhargab B. Bhattacharya:
Debugging Errors in Microfluidic Executions. ACSS (2) 2019: 143-158 - [c80]Moumita Das, Ansuman Banerjee, Bhaskar Sardar:
A Shared BTB Design for Multicore Systems. CGO 2019: 267-268 - [c79]Soumi Chattopadhyay, Ansuman Banerjee:
QoS Value Prediction Using a Combination of Filtering Method and Neural Network Regression. ICSOC 2019: 135-150 - [c78]Ankita Samaddar, Zahra RahimiNasab, Arvind Easwaran, Ansuman Banerjee, Xue Bai:
Linearization based Safety Verification of a Glucose Control Protocol. ISORC 2019: 221-228 - [c77]Pallavi Pandey, Anupam Sarkar, Ansuman Banerjee:
Triforce QNX Syscall Fuzzer. ISSRE Workshops 2019: 59-60 - [c76]Bernard Nongpoh, Rajarshi Ray, Ansuman Banerjee:
Approximate computing for multithreaded programs in shared memory architectures. MEMOCODE 2019: 11:1-11:9 - [c75]Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik:
Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach. SOCA 2019: 33-40 - [c74]Soumi Chattopadhyay, Ansuman Banerjee:
Towards Scalable Semantic Service Composition. SOCA 2019: 41-48 - 2018
- [j18]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): 34:1-34:22 (2018) - [j17]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): 37:1-37:25 (2018) - [c73]Soumi Chattopadhyay, Ansuman Banerjee:
A Variation Aware Composition Model for Dynamic Web Service Environments. ICSOC 2018: 694-713 - [c72]Animesh Basak Chowdhury, Ansuman Banerjee, Bhargab B. Bhattacharya:
ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems. NSS 2018: 391-410 - [i5]Soumi Chattopadhyay, Ansuman Banerjee:
QoS aware Automatic Web Service Composition with Multiple objectives. CoRR abs/1809.02317 (2018) - [i4]Soumi Chattopadhyay, Ansuman Banerjee:
A Methodology for Search Space Reduction in QoS Aware Semantic Web Service Composition. CoRR abs/1809.07045 (2018) - 2017
- [j16]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): 47-63 (2017) - [j15]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): 370-383 (2017) - [j14]Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, Ansuman Banerjee:
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data. IEEE Trans. Software Eng. 43(12): 1110-1124 (2017) - [j13]Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee:
A Fast and Scalable Mechanism for Web Service Composition. ACM Trans. Web 11(4): 26:1-26:36 (2017) - [c71]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: 518-523 - [c70]Arani Bhattacharya, Ansuman Banerjee, Pradipta De:
Scheduling with task duplication for application offloading. CCNC 2017: 678-683 - [c69]Soumi Chattopadhyay, Ansuman Banerjee, Bei Yu:
A utility-driven data transmission optimization strategy in large scale cyber-physical systems. DATE 2017: 1619-1622 - [c68]Moumita Das, Ansuman Banerjee, Nitesh K. Singh, Bhaskar Sardar:
Performance Attacks on Branch Predictors in Embedded Processors with SMT Support. ICISS 2017: 313-322 - [c67]Moumita Das, Ansuman Banerjee, Bhaskar Sardar:
An empirical study on performance of branch predictors with varying storage budgets. ISED 2017: 1-5 - [c66]Pushpita Roy, Ansuman Banerjee:
Security assessment of synthesized actuation sequences for digital microfluidic biochips. ISED 2017: 1-4 - [c65]Ankita Samaddar, Moumita Das, Ansuman Banerjee:
A new memory scheduling policy for real time systems. ISED 2017: 1-4 - [c64]Moumita Das, Ansuman Banerjee, Bhaskar Sardar:
A Framework for Branch Predictor Selection with Aggregation on Multiple Parameters. VDAT 2017: 69-74 - 2016
- [c63]Soumi Chattopadhyay, Ansuman Banerjee, Tridib Mukherjee:
A Framework for Top Service Subscription Recommendations for Service Assemblers. SCC 2016: 332-339 - [c62]Rahul Ghosh, Avantika Gupta, Soumi Chattopadhyay, Ansuman Banerjee, Koustuv Dasgupta:
CoCOA: A Framework for Comparing Aggregate Client Operations in BPO Services. SCC 2016: 539-546 - [c61]Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee:
A Scalable Rule Engine Architecture for Service Execution Frameworks. SCC 2016: 689-696 - [c60]Sayandeep Mitra, Moumita Das, Ansuman Banerjee, Kausik Datta, Tsung-Yi Ho:
A Verification Guided Approach for Selective Program Transformations for Approximate Computing. ATS 2016: 37-42 - [c59]Debjyoti Bhattacharjee, Soumi Chattopadhyay, Ansuman Banerjee:
EAST: Efficient Assertion Simulation techniques. DATE 2016: 1363-1368 - [c58]Arani Bhattacharya, Ansuman Banerjee, Pradipta De:
Service Level Guarantee for Mobile Application Offloading in Presence of Wireless Channel Errors. GLOBECOM 2016: 1-6 - [c57]Pushpita Roy, Ansuman Banerjee:
A new approach for root-causing attacks on digital microfluidic devices. AsianHOST 2016: 1-6 - [c56]Soumi Chattopadhyay, Ansuman Banerjee:
QSCAS: QoS Aware Web Service Composition Algorithms with Stochastic Parameters. ICWS 2016: 388-395 - [c55]Moumita Das, Ansuman Banerjee:
Improving Energy Efficiency of Mobile Execution Exploiting Similarity of Application Control Flow. MoMM 2016: 212-216 - [c54]Ansuman Banerjee, Himadri Sekhar Paul, Arijit Mukherjee:
I2oT: Inexactness in IoT. ARMS-CC@PODC 2016: 40-45 - [c53]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. VLSID 2016: 59-62 - [e1]Ravindra Naik, Raveendra Kumar Medicherla, Ansuman Banerjee:
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, ForMABS@ASE 2016, Singapore, Singapore, September 4, 2016. ACM 2016, ISBN 978-1-4503-4214-8 [contents] - [i3]Soumi Chattopadhyay, Ansuman Banerjee:
QoS constrained Large Scale Web Service Composition using Abstraction Refinement. CoRR abs/1608.08799 (2016) - 2015
- [c52]Soumi Chattopadhyay, Saikat Dutta, Ansuman Banerjee:
A Framework for Fast Service Verification and Query Execution for Boolean Service Rules. APSCC 2015: 17-32 - [c51]Saikat Dutta, Soumi Chattopadhyay, Ansuman Banerjee, Pallab Dasgupta:
A New Approach for Minimal Environment Construction for Modular Property Verification. ATS 2015: 205-210 - [c50]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: 1-4 - [c49]Moumita Das, Bhaskar Sardar, Ansuman Banerjee:
Attacks on Branch Predictors: An Empirical Exploration. ICISS 2015: 511-520 - [c48]Soumi Chattopadhyay, Ansuman Banerjee, Himadri Sekhar Paul:
On Composition of Checkpoint and Recovery Protocols for Distributed Systems. ICSOC Workshops 2015: 231-242 - [c47]Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee:
A Scalable and Approximate Mechanism for Web Service Composition. ICWS 2015: 9-16 - [c46]Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee:
A Scalable Architecture for Rule Engine Based Clinical Decision Support Systems. MedInfo 2015: 947 - [c45]Ansuman Dash, Ansuman Banerjee:
Application State Refinement for Scheduling Applications on Mobile Devices. MoMM 2015: 131-139 - [c44]Saikat Dutta, Moumita Das, Ansuman Banerjee:
Enhancing branch prediction using software evolution. NAS 2015: 295-304 - [c43]Arani Bhattacharya, Ansuman Banerjee, Pradipta De:
Parametric Analysis of Mobile Cloud Computing Frameworks Using Simulation Modeling. ARMS-CC@PODC 2015: 32-48 - [c42]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: 78-90 - [c41]Soumi Chattopadhyay, Ansuman Banerjee:
Algorithmic Strategies for Sensing-as-a-Service in the Internet-of-Things Era. UCC 2015: 387-390 - [c40]Ansuman Banerjee, Arijit Mondal, Arnab Sarkar, Santosh Biswas:
Real-time embedded systems analysis - From theory to practice. VDAT 2015: 1-2 - [c39]Debjyoti Bhattacharjee, Ansuman Banerjee, Anupam Chattopadhyay:
EvoDeb: Debugging Evolving Hardware Designs. VLSID 2015: 481-486 - 2014
- [j12]Sukanta Bhattacharjee, Ansuman Banerjee, Bhargab B. Bhattacharya:
Sample preparation with multiple dilutions on digital microfluidic biochips. IET Comput. Digit. Tech. 8(1): 49-58 (2014) - [c38]Ansuman Dash, Ansuman Banerjee:
When to Schedule an Application? An Energy-Aware Decision. CloudCom 2014: 704-707 - [c37]Krishnendu Chakrabarty, Bhargab B. Bhattacharya, Ansuman Banerjee:
Design automation for biochemistry synthesis on a digital microfluidic lab-on-a-chip. ICCAD 2014: 286-288 - [c36]Arani Bhattacharya, Ansuman Banerjee, Susmita Sur-Kolay:
Energy-Aware H.264 Decoding. ICDCIT 2014: 200-211 - [c35]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: 774-779 - [c34]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: 36-51 - [c33]Barun Kumar De, Anupam Chattopadhyay, Ansuman Banerjee:
Tutorial T2B: Cost / Application / Time to Market Driven SoC Design and Manufacturing Strategy. VLSID 2014: 3-4 - [c32]Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, Bhargab B. Bhattacharya:
Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip. VLSID 2014: 504-509 - [c31]Arijit Mukherjee, Himadri Sekhar Paul, Swarnava Dey, Ansuman Banerjee:
ANGELS for distributed analytics in IoT. WF-IoT 2014: 565-570 - 2013
- [j11]Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Priyankar Ghosh, Harish Kumar:
Formal Guarantees for Localized Bug Fixes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(8): 1274-1287 (2013) - [j10]Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Kevin Harer, Ansuman Banerjee, Subhankar Mukherjee:
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(11): 1801-1813 (2013) - [j9]Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Harish Kumar:
Counterexample Ranking Using Mined Invariants. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(12): 1978-1991 (2013) - [c30]Bipin B. Nandi, Himadri Sekhar Paul, Ansuman Banerjee, Sasthi C. Ghosh:
Fault Tolerance as a Service. IEEE CLOUD 2013: 446-453 - [c29]Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil Kumar Ghosh, Lihua Xu, Huibiao Zhu:
Using Daikon to Prioritize and Group Unit Bugs. FACS 2013: 215-233 - [c28]Bipin B. Nandi, Ansuman Banerjee, Sasthi C. Ghosh, Nilanjan Banerjee:
Dynamic SLA based elastic cloud service management: A SaaS perspective. IM 2013: 60-67 - [c27]Sukanta Bhattacharjee, Ansuman Banerjee, Tsung-Yi Ho, Krishnendu Chakrabarty, Bhargab B. Bhattacharya:
On Producing Linear Dilution Gradient of a Sample with a Digital Microfluidic Biochip. ISED 2013: 77-81 - [c26]Ansuman Banerjee, Arijit Mukherjee, Himadri Sekhar Paul, Swarnava Dey:
Offloading work to mobile devices: an availability-aware data partitioning approach. MCS@Middleware 2013: 4:1-4:6 - [c25]Soumi Chattopadhyay, Ansuman Banerjee, Nilanjan Banerjee:
A Data Distribution Model for Large-Scale Context Aware Systems. MobiQuitous 2013: 615-627 - [c24]Arani Bhattacharya, Ansuman Banerjee, Susmita Sur-Kolay, Prasenjit Basu, Bhaskar J. Karmakar:
A Cache-Aware Strategy for H.264 Decoding on Multi-processor Architectures. VDAT 2013: 194-203 - [i2]Sukanta Bhattacharjee, Ansuman Banerjee, Tsung-Yi Ho, Krishnendu Chakrabarty, Bhargab B. Bhattacharya:
Algorithms for Producing Linear Dilution Gradient with Digital Microfluidics. CoRR abs/1307.1251 (2013) - 2012
- [j8]Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan:
A dynamic assertion-based verification platform for validation of UML designs. ACM SIGSOFT Softw. Eng. Notes 37(1): 1-14 (2012) - [j7]Sourasis Das, Ansuman Banerjee, Pallab Dasgupta:
Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(3): 447-451 (2012) - [j6]Ansuman Banerjee:
Verifying Coalitions in 3-Party Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(9): 1439-1451 (2012) - [c23]Bipin B. Nandi, Ansuman Banerjee, Sasthi C. Ghosh, Nilanjan Banerjee:
Stochastic VM Multiplexing for Datacenter Consolidation. IEEE SCC 2012: 114-121 - [c22]Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer:
Formal methods for coverage analysis of architectural power states in power-managed designs. ASP-DAC 2012: 585-590 - [c21]Sourasis Das, Ansuman Banerjee, Pallab Dasgupta:
A Generalized Theory for Formal Assertion Coverage. Asian Test Symposium 2012: 137-142 - [c20]Ansuman Banerjee:
A formal model for multi-tenant software-as-a-service in cloud computing. COMPUTE 2012: 18 - [c19]Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta:
Formal methods for ranking counterexamples through assumption mining. DATE 2012: 911-916 - [c18]Alejandro Masrur, Dip Goswami, Samarjit Chakraborty, Jian-Jia Chen, Anuradha Annaswamy, Ansuman Banerjee:
Timing analysis of cyber-physical applications for hybrid communication protocols. DATE 2012: 1233-1238 - [c17]Ansuman Banerjee, Sasthi C. Ghosh, Nilanjan Banerjee:
Pack your sack for the cloud. ISEC 2012: 157-16 - [c16]Sukanta Bhattacharjee, Ansuman Banerjee, Bhargab B. Bhattacharya:
Multiple Dilution Sample Preparation Using Digital Microfluidic Biochips. ISED 2012: 188-192 - [i1]Partha Pratim Ray, Ansuman Banerjee:
Debugging Memory Issues In Embedded Linux: A Case Study. CoRR abs/1208.0594 (2012) - 2011
- [c15]Anvesh Komuravelli, Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta:
Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. Asian Test Symposium 2011: 238-243 - [c14]Ansuman Banerjee:
Requirement Evolution Management: A Systematic Approach. ISVLSI 2011: 150-155 - 2010
- [c13]Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang:
Golden implementation driven software debugging. SIGSOFT FSE 2010: 177-186 - [c12]Ansuman Banerjee:
Synthesizability of 3 Party Formal Specifications-Does My Controller See Enough?. VLSI Design 2010: 81-86
2000 – 2009
- 2008
- [j5]Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta:
Accelerating Assertion Coverage With Adaptive Testbenches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(5): 967-972 (2008) - [j4]Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
Auxiliary state machines + context-triggered properties in verification. ACM Trans. Design Autom. Electr. Syst. 13(4): 62:1-62:31 (2008) - [c11]Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan:
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. ATVA 2008: 222-227 - [c10]Ansuman Banerjee, Kausik Datta, Pallab Dasgupta:
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. ATVA 2008: 228-233 - [c9]Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan:
Cohesive Coverage Management for Simulation and Formal Property Verification. ISVLSI 2008: 251-256 - 2007
- [j3]Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
BUSpec: A framework for generation of verification aids for standard bus protocol specifications. Integr. 40(3): 285-304 (2007) - 2006
- [j2]Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni:
Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(10): 1922-1934 (2006) - [c8]Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta:
Test generation games from formal specifications. DAC 2006: 827-832 - [c7]Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
Formal methods for checking realizability of coalitions in 3-party systems. MEMOCODE 2006: 198 - 2005
- [j1]Ansuman Banerjee, Pallab Dasgupta:
The open family of temporal logics: Annotating temporal operators with input constraints. ACM Trans. Design Autom. Electr. Syst. 10(3): 492-522 (2005) - [c6]Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix:
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. VLSI Design 2005: 201-206 - 2004
- [c5]Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni:
Formal verification coverage: computing the coverage gap between temporal specifications. ICCAD 2004: 198-203 - [c4]Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
The BUSpec platform for automated generation of verification aids for standard bus protocols. MEMOCODE 2004: 119-128 - [c3]Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
Formal Verification of Modules under Real Time Environment Constraints. VLSI Design 2004: 103-108 - 2003
- [c2]Ansuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti:
Open computation tree logic with fairness. ISCAS (5) 2003: 249-252 - 2002
- [c1]Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee:
Formal verification of module interfaces against real time specifications. DAC 2002: 141-145
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-18 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
