E-LIB Suche - Ergebnisse für: Banerjee, Ansuman

1

MAB-BMC: A Formal Verification Enhancer by Harnessing Multi..:

Ghosh, Devleena ; Ghosh, Sumana ; Banerjee, Ansuman..
ACM Transactions on Design Automation of Electronic Systems. 29 (2024) 5 - p. 1-37 , 2024

Link: https://doi.org/10.1145/..

2

Roadside Traffic Monitoring Using Video Processing on the E..:

, In: 2024 16th International Conference on COMmunication Systems & NETworkS (COMSNETS),

Jaipuria, Saumya ; Banerjee, Ansuman ; Bhattacharya, Arani - p. 542-550 , 2024

Link: https://doi.org/10.1109/..

3

Computation Offloading and Band Selection for IoT Devices i..:

Ray, Kaustabha ; Banerjee, Ansuman
ACM Transactions on Modeling and Computer Simulation. , 2024

Link: https://doi.org/10.1145/..

4

Learning-Based Microservice Placement and Migration for Mul..:

Ray, Kaustabha ; Banerjee, Ansuman ; Narendra, Nanjangud C.
IEEE Transactions on Network and Service Management. 21 (2024) 2 - p. 1969-1982 , 2024

Link: https://doi.org/10.1109/..

5

A Contrastive Explanation Tool for Plans in Hybrid Domains:

, In: Proceedings of the 17th Innovations in Software Engineering Conference,

Dey, Devdan ; Sarwar, Mir Md Sajid ; Ray, Rajarshi. - p. 1-5 , 2024

Link: https://dl.acm.org/doi/1..

6

Autonomous Automotives on the Edge:

, In: 2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID),

Ray, Kaustabha ; Banerjee, Ansuman - p. 264-269 , 2024

Link: https://doi.org/10.1109/..

7

Multitask Scheduling of Computer Vision Workload on Edge Gr..:

, In: 2023 15th International Conference on COMmunication Systems & NETworkS (COMSNETS),

Bhattacharya, Arani ; Shukla, Paritosh ; Banerjee, Ansuman... - p. 588-593 , 2023

Link: https://doi.org/10.1109/..

8

Set Augmented Finite Automata over Infinite Alphabets:

, In: Lecture Notes in Computer Science; Developments in Language Theory,

Banerjee, Ansuman ; Chatterjee, Kingshuk ; Guha, Shibashis - p. 36-50 , 2023

Link: https://doi.org/10.1007/..

9

SMT-Based Modeling and Verification of Spiking Neural Netwo..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Banerjee, Soham ; Ghosh, Sumana ; Banerjee, Ansuman. - p. 25-43 , 2023

Link: https://doi.org/10.1007/..

10

Prioritized Fault Recovery Strategies for Multi-Access Edge..:

Ray, Kaustabha ; Banerjee, Ansuman
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 1 - p. 797-812 , 2023

Link: https://doi.org/10.1109/..

11

Explaining Unsolvability of Planning Problems in Hybrid Sys..:

, In: Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design,

Sarwar, Mir Md Sajid ; Ray, Rajarshi ; Banerjee, Ansuman - p. 47-58 , 2023

Link: https://dl.acm.org/doi/1..

12

A Contrastive Plan Explanation Framework for Hybrid System ..:

Sarwar, Mir ; Ray, Rajarshi ; Banerjee, Ansuman
ACM Transactions on Embedded Computing Systems. 22 (2023) 2 - p. 1-51 , 2023

Link: https://doi.org/10.1145/..

13

Harnessing Multiple BMC Engines together for Efficient Form..:

, In: Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design,

Ghosh, Devleena ; Ghosh, Sumana ; Gajavelly, Raj Kumar. - p. 71-81 , 2023

Link: https://dl.acm.org/doi/1..

14

A Framework for Tile Processing on Edge Servers for Roadsid..:

, In: Proceedings of the 7th International Conference on Algorithms, Computing and Systems,

Jaipuria, Saumya ; Bhattacharya, Arani ; Banerjee, Ansuman - p. 132-139 , 2023

Link: https://dl.acm.org/doi/1..

15

Preference-Aware Computation Offloading for IoT in Multi-ac..:

, In: Lecture Notes in Computer Science; Quantitative Evaluation of Systems,

Ray, Kaustabha ; Banerjee, Ansuman - p. 275-297 , 2022

Link: https://doi.org/10.1007/..