( en | de | ru )

 

Disambiguation of "Banerjee, Ansuman"

Author of the publication

copydeleteadd this publication to your clipboard
Fast Falsification of Neural Networks using Property Directed Testing.

, , , and . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Abhishek Banerjee

Prabuddha Banerjee

Mita Banerjee

Nandakishore Banerjee

Ishan Banerjee

 

Other publications of authors with the same name

Debugging Memory Issues In Embedded Linux: A Case Study, and . CoRR, (2012)A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips., , , and . CoRR, (2022)Shared Pattern History Tables in Multicomponent Branch Predictors With a Dealiasing Cache., , , and . IEEE Embed. Syst. Lett., 12 (3): 95-98 (2020)Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 31 (3): 447-451 (2012)Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation., , and . MEMOCODE, page 47-58. ACM / IEEE, (2023)Application State Refinement for Scheduling Applications on Mobile Devices., and . MoMM, page 131-139. ACM, (2015)Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach., , and . SOCA, page 33-40. IEEE, (2019)Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips., , , and . ACM Trans. Design Autom. Electr. Syst., 25 (1): 10:1-10:37 (2020)A Variation Aware Composition Model for Dynamic Web Service Environments., and . ICSOC, volume 11236 of Lecture Notes in Computer Science, page 694-713. Springer, (2018)Service Allocation/Placement in Multi-Access Edge Computing with Workload Fluctuations., , and . ICSOC, volume 13121 of Lecture Notes in Computer Science, page 747-755. Springer, (2021)