Ansuman Banerjee

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (124)

• A Forward-Backward Search Strategy for Falsification in Spiking Neural Networks
  Proceedings 2026 39th International Conference on VLSI Design and 25th International Conference on Embedded Systems Vlsid 2026 2026 DOI: 10.1109/VLSID68508.2026.00026
  +Save
• Collection Scheduling with Memory Constraints for Low Earth Orbit Satellite Constellations
  Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering Lnicst 2026 DOI: 10.1007/978-3-032-10554-7_31
  +Save
• LInC-BMC: A Lookahead Informed Clause Deletion Mechanism for Bounded Model Checking
  Proceedings 2026 39th International Conference on VLSI Design and 25th International Conference on Embedded Systems Vlsid 2026 2026 DOI: 10.1109/VLSID68508.2026.00039
  +Save
• MPBMC: Multi-Property Bounded Model Checking with GNN-Guided Clustering
  Proceedings 2026 39th International Conference on VLSI Design and 25th International Conference on Embedded Systems Vlsid 2026 2026 DOI: 10.1109/VLSID68508.2026.00045
  +Save
• MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering
  Arxiv 2026 DOI: 10.48550/arXiv.2603.04450
  +Save
• Model-Checking in Hide and Seek Games with Imperfect Information
  Trends in Logic 2026 DOI: 10.1007/978-3-031-91361-7_11
  +Save
• SuperSAGA: A Supervisor-Subordinate Agentic workflow for the Generation of Assertions
  Proceedings of the Asia and South Pacific Design Automation Conference ASP DAC 2026 DOI: 10.1109/ASP-DAC66049.2026.11420235
  +Save
• Towards Verification of Spiking Neural Networks for Next-Generation AI Systems
  Icdcn 2026 Companion Proceedings of the International Conference on Distributed Computing and Networking 2026 2026 DOI: 10.1145/3737611.3776948
  +Save
• Unified or Split? A Case Study with an Open-Source RISC-V Cache Controller
  Lecture Notes in Networks and Systems 2026 DOI: 10.1007/978-3-032-18985-1_4
  +Save
• A Sampling-based Method for Output Safety Verification of Spiking Neural Networks
  Proceedings of IEEE Computer Society Annual Symposium on VLSI Isvlsi 2025 DOI: 10.1109/ISVLSI65124.2025.11130309
  +Save