default search action
Ansuman 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
- 2024
- [j34]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) - [c102]Saumya Jaipuria, Ansuman Banerjee, Arani Bhattacharya:
Roadside Traffic Monitoring Using Video Processing on the Edge. COMSNETS 2024: 542-550 - [c101]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 - [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]