Ansuman Banerjee
Indian Statistical Institute
H-index: 19
Asia-India
Top articles of Ansuman Banerjee
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Roadside Traffic Monitoring Using Video Processing on the Edge | Arani Jaipuria Saumya and Banerjee Ansuman and Bhattacharya | 2024/1 | |
A Contrastive Explanation Tool for Plans in Hybrid Domains | Devdan Dey Mir Md Sajid Sarwar Rajarshi Ray Ansuman Banerjee | 2024/2/22 | |
Autonomous Automotives on the Edge | Kaustabha Ray Ansuman Banerjee | 2024/1/6 | |
Testing of Horn Samplers | Ansuman Banerjee Shayak Chakraborty Sourav Chakraborty Kuldeep S Meel Uddalok Sarkar | 2023/4/11 | |
Learning-Based Microservice Placement and Migration for Multi-Access Edge Computing | IEEE Transactions on Network and Service Management | Kaustabha Ray Ansuman Banerjee Nanjangud C Narendra | 2023/12/19 |
A contrastive plan explanation framework for hybrid system models | ACM Transactions on Embedded Computing Systems | Mir Sarwar Rajarshi Ray Ansuman Banerjee | 2023/1/24 |
A Framework for Tile Processing on Edge Servers for Roadside Traffic Surveillance | Saumya Jaipuria Arani Bhattacharya Ansuman Banerjee | 2023/10/19 | |
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study | Soham Banerjee Sumana Ghosh Ansuman Banerjee Swarup K Mohalik | 2023/1/16 | |
Harnessing Multiple BMC Engines Together for Efficient Formal Verification | Devleena Ghosh Sumana Ghosh Raj Kumar Gajavelly Ansuman Banerjee | 2023/9/21 | |
Multitask Scheduling of Computer Vision Workload on Edge Graphical Processing Units | Arani Bhattacharya Paritosh Shukla Ansuman Banerjee Saumya Jaipuria Nanjangud C Narendra | 2023/1/3 | |
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation | Mir Md Sajid Sarwar Rajarshi Ray Ansuman Banerjee | 2023/9/21 | |
Set Augmented Finite Automata over Infinite Alphabets | Ansuman Banerjee Kingshuk Chatterjee Shibashis Guha | 2023/5/19 | |
Methods and systems for analyzing aggregate operational efficiency of business services | 2022/10/4 | ||
Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking | Kaustabha Ray Ansuman Banerjee | 2022/9/11 | |
Prioritized fault recovery strategies for multi-access edge computing using probabilistic model checking | IEEE Transactions on Dependable and Secure Computing | Kaustabha Ray Ansuman Banerjee | 2022/1/19 |
A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips | arXiv preprint arXiv:2211.04719 | Sukanta Bhattacharjee Ansuman Banerjee Krishnendu Chakrabarty Bhargab B Bhattacharya | 2022/11/9 |
User allocation in mobile edge computing: A deep reinforcement learning approach | Subrat Prasad Panda Ansuman Banerjee Arani Bhattacharya | 2021/7 | |
Service allocation/placement in multi-access edge computing with workload fluctuations | Subrat Prasad Panda Kaustabha Ray Ansuman Banerjee | 2021 | |
A framework for end-to-end verification for digital microfluidics | Innovations in Systems and Software Engineering | Pushpita Roy Ansuman Banerjee Bhargab B Bhattacharya | 2021/9 |
A Framework for Translation and Validation of Digital Microfluidic Protocols | Advanced Computing and Systems for Security: Volume 14 | Pushpita Roy Ansuman Banerjee Bhargab B Bhattacharya | 2021 |