Formal Methods for Pattern Based Reliability Analysis in Embedded Systems. - Sumana Ghosh; Pallab Dasgupta (VLSID, 2015)

A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control. - Sumana Ghosh; Souradeep Dutta; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Embed. Comput. Syst., 2017)

Co-Synthesis of Loop Execution Patterns for Multihop Control Networks. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2018)

Mathematical modeling of cancer-immune system, considering the role of antibodies. - Sumana Ghosh; Sandip Banerjee (Theory Biosci., 2018)

Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (VLSID, 2019)

Performance and energy aware robust specification of control execution patterns under dropped samples. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (IET Comput. Digit. Tech., 2019)

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 (CPSIOTSEC@CCS, 2020)

GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources. - Debayan Roy; Sumana Ghosh; Qi Zhu 002; Marco Caccamo; Samarjit Chakraborty (RTSS, 2020)

Configuring loosely time-triggered wireless control software. - Philipp H. Kindt; Sumana Ghosh; Samarjit Chakraborty (SCOPES, 2020)

A Programmable Open Architecture Testbed for CPS Education. - Sumana Ghosh; Arnab Mondal; Philipp H. Kindt; Prateek Sharma; Yash Agarwal; Soumyajit Dey; Alok Kanti Deb; Samarjit Chakraborty (IEEE Des. Test, 2020)

Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Embed. Comput. Syst., 2020)

Control of Grid-tied Dual-PV LLC Converter using Adaptive Neuro Fuzzy Interface System (ANFIS). - Sumana Ghosh; Abdullah Alhatlani; Reza Rezaii; Issa Batarseh (IECON, 2021)

A Novel Four-port LLC Converter for Dual PV and Battery Integration. - Sumana Ghosh; Md. Safayatullah; Mohamed Tamasas Elrais; Issa Batarseh (IECON, 2021)

A Bidirectional DC-DC Converter with High Conversion Ratios for the Electrical Vehicle Application. - Reza Rezaii; Mohammad Nilian; Md. Safayatullah; Sumana Ghosh; Issa Batarseh (IECON, 2021)

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 (IECON, 2021)

Proactive feedback for networked CPS. - Sumana Ghosh; Arnab Mondal; Debayan Roy; Philipp H. Kindt; Soumyajit Dey; Samarjit Chakraborty (SAC, 2021)

Performance-Driven Post-Processing of Control Loop Execution Schedules. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2021)

Bistability in cell signalling and its significance in identifying potential drug-targets. - Suvankar Halder; Sumana Ghosh; Joydev Chattopadhyay; Samrat Chatterjee (Bioinform., 2021)

Control of Electric Vehicle Fast Charger based on Vienna Rectifier and Dual Active Bridge DC-DC Converter. - Md. Safayatullah; Reza Rezaii; Sumana Ghosh; Issa Batarseh (ICIT, 2022)

Comprehensive Analysis and Gain Derivation of Phase-Shifted Dual-Input LLC Converter. - Abdullah Alhatlani; Sumana Ghosh; Issa Batarseh (IEEE Access, 2022)

A Comprehensive Review of Power Converter Topologies and Control Methods for Electric Vehicle Fast Charging Applications. - Md. Safayatullah; Mohamed Tamasas Elrais; Sumana Ghosh; Reza Rezaii; Issa Batarseh (IEEE Access, 2022)

Delay induced interaction of humoral- and cell-mediated immune responses with cancer. - Sumana Ghosh; Sandip Banerjee (Theory Biosci., 2022)

Harnessing Multiple BMC Engines Together for Efficient Formal Verification. - Devleena Ghosh; Sumana Ghosh; Raj Kumar Gajavelly; Ansuman Banerjee (MEMOCODE, 2023)

Delay-Aware Control for Autonomous Systems. - Sumana Ghosh (VLSID, 2023)

SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. - Soham Banerjee; Sumana Ghosh; Ansuman Banerjee; Swarup Kumar Mohalik (VMCAI, 2023)

Inferencing on Edge Devices: A Time- and Space-aware Co-scheduling Approach. - Danny Pereira; Anirban Ghose; Sumana Ghosh; Soumyajit Dey (ACM Trans. Design Autom. Electr. Syst., 2023)

Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. - Arkaprava Gupta; Sumana Ghosh; Ansuman Banerjee; Swarup Kumar Mohalik (MEMOCODE, 2024)

An Efficient Neural Network Controller for Autonomous Lane-Keeping Assist System. - Debanjan Mallik; Sumana Ghosh (VLSID, 2024)

DRL-based Multi-Stream Scheduling of Inference Pipelines on Edge Devices. - Danny Pereria; Sumana Ghosh; Soumyajit Dey (VLSID, 2024)

MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together. - Devleena Ghosh; Sumana Ghosh; Ansuman Banerjee; Raj Kumar Gajavelly; Sudhakar Surendran (ACM Trans. Design Autom. Electr. Syst., 2024)

Multi-Stream Scheduling of Inference Pipelines on Edge Devices - a DRL Approach. - Danny Pereira; Sumana Ghosh; Soumyajit Dey (ACM Trans. Design Autom. Electr. Syst., 2024)

Revisiting Dynamic Scheduling of Control Tasks: A Performance-Aware Fine-Grained Approach. - Sunandan Adhikary; Ipsita Koley; Saurav Kumar Ghosh; Sumana Ghosh; Soumyajit Dey (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Toward Precision-Aware Safe Neural-Controlled Cyber-Physical Systems. - Harikishan Thevendhriya; Sumana Ghosh; Debasmita Lohar (IEEE Embed. Syst. Lett., 2024)

LISA: LLM Informed Systemverilog Assertion generation with RAG and Chain-of-Thought. - Subhajit Paul; Ansuman Banerjee; Sumana Ghosh; Sudhakar Surendran; Raj Kumar Gajavelly (ISVLSI, 2025)

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 (VLSID, 2025)

Effect of media awareness in the spread of infectious diseases. - Sumana Ghosh; Jayanta Mondal; Subhas Khajanchi (J. Appl. Math. Comput., 2025)