| 2026 | ASPDAC | SuperSAGA: A Supervisor-Subordinate Agentic workflow for the Generation of Assertions. | Subhajit Paul, Ansuman Banerjee, Sumana Ghosh, Sudhakar Surendran, Raj Kumar Gajavelly |
| 2026 | VLSID | MPBMC: Multi-Property Bounded Model Checking with GNN-Guided Clustering. | Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran |
| 2025 | VLSID | BMC Engine Sequencing with Graph Neural Network Embeddings of Hardware Circuits. | Soumik Guha Roy, Adriz Chanda, Prateek Ganguli, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran |
| 2024 | MEMOCODE | Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. | Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2024 | VLSID | An Efficient Neural Network Controller for Autonomous Lane-Keeping Assist System. | Debanjan Mallik, Sumana Ghosh |
| 2024 | VLSID | DRL-based Multi-Stream Scheduling of Inference Pipelines on Edge Devices. | Danny Pereria, Sumana Ghosh, Soumyajit Dey |
| 2023 | MEMOCODE | Harnessing Multiple BMC Engines Together for Efficient Formal Verification. | Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee |
| 2023 | VLSID | Delay-Aware Control for Autonomous Systems. | Sumana Ghosh |
| 2023 | VMCAI | SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. | Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2021 | IECON | Control of Grid-tied Dual-PV LLC Converter using Adaptive Neuro Fuzzy Interface System (ANFIS). | Sumana Ghosh, Abdullah Alhatlani, Reza Rezaii, Issa Batarseh |
| 2021 | IECON | A Novel Four-port LLC Converter for Dual PV and Battery Integration. | Sumana Ghosh, Md. Safayatullah, Mohamed Tamasas Elrais, Issa Batarseh |
| 2021 | IECON | A Bidirectional DC-DC Converter with High Conversion Ratios for the Electrical Vehicle Application. | Reza Rezaii, Mohammad Nilian, Md. Safayatullah, Sumana Ghosh, Issa Batarseh |
| 2021 | IECON | Model Predictive Control for Single-Stage Grid-Tied Three-Port DC-DC-AC Converter Based on Dual Active Bridge and Interleaved Boost Topology. | Md. Safayatullah, Sumana Ghosh, Sahin Gullu, Issa Batarseh |
| 2021 | SAC | Proactive feedback for networked CPS. | Sumana Ghosh, Arnab Mondal, Debayan Roy, Philipp H. Kindt, Soumyajit Dey, Samarjit Chakraborty |
| 2020 | CCS | Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions. | Sunandan Adhikary, Ipsita Koley, Saurav Kumar Ghosh, Sumana Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay |
| 2020 | RTSS | GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources. | Debayan Roy, Sumana Ghosh, Qi Zhu, Marco Caccamo, Samarjit Chakraborty |
| 2020 | SCOPES | Configuring loosely time-triggered wireless control software. | Philipp H. Kindt, Sumana Ghosh, Samarjit Chakraborty |
| 2019 | VLSID | Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples. | Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta |
| 2015 | VLSID | Formal Methods for Pattern Based Reliability Analysis in Embedded Systems. | Sumana Ghosh, Pallab Dasgupta |