Sumana Ghosh

Employment

• Indian Statistical Institute Assistant Professor

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (32)

• MPBMC: Multi-Property Bounded Model Checking with GNN-Guided Clustering
  2026 39th International Conference on VLSI Design & 25th International Conference on Embedded Systems (VLSID) 2026 DOI: 10.1109/vlsid68508.2026.00045
  +Save
• FORSLICE: An Automated Formal Framework for Efficient PRB-Allocation towards Slicing Multiple Network Services
  2026 DOI: 10.48550/ARXIV.2604.08244
  +Save
• SuperSAGA: A Supervisor-Subordinate Agentic workflow for the Generation of Assertions
  2026 31st Asia and South Pacific Design Automation Conference (ASP-DAC) 2026 DOI: 10.1109/asp-dac66049.2026.11420235
  +Save
• A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems
  ACM Transactions on Embedded Computing Systems 2025 DOI: 10.1145/3760528
  +Save
• P 2 SDS : A Polynomial-Time Pattern-Guided Stable Dynamic Scheduling for Weakly Hard Control Task Systems
  ACM Transactions on Embedded Computing Systems 2025 DOI: 10.1145/3748329
  +Save
• LISA: LLM Informed Systemverilog Assertion generation with RAG and Chain-of-Thought
  2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) 2025 DOI: 10.1109/isvlsi65124.2025.11130226
  +Save
• BMC Engine Sequencing with Graph Neural Network Embeddings of Hardware Circuits
  2025 38th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID) 2025 DOI: 10.1109/vlsid64188.2025.00041
  +Save
• A Test Generation Approach for Spiking Neural Network Simplification
  Lecture Notes in Electrical Engineering 2025 DOI: 10.1007/978-981-97-3756-7_26
  +Save
• An SMT Toolbox for Adversarial Robustness Evaluation for Spiking Neural Networks
  Communications in Computer and Information Science 2025 DOI: 10.1007/978-3-031-81981-0_8
  +Save
• Toward Precision-Aware Safe Neural-Controlled Cyber–Physical Systems
  IEEE Embedded Systems Letters 2024 DOI: 10.1109/LES.2024.3444004
  +Save