Sumana Ghosh

43 papers A 1B 1C 7Misc 8Journal 22Unranked 4
YearRankTypeTitle / Venue / Authors
2026 Misc conf
MPBMC: Multi-Property Bounded Model Checking with GNN-Guided Clustering.
VLSID
Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2026 J jnl
MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering.
CoRR
Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2026 J jnl
Precision Switching Schedule for Efficient Control Implementations.
CoRR
Debarpita Banerjee, Debasmita Lohar, Sumana Ghosh
2026 — conf
SuperSAGA: A Supervisor-Subordinate Agentic workflow for the Generation of Assertions.
ASP-DAC
Subhajit Paul, Ansuman Banerjee, Sumana Ghosh, Sudhakar Surendran, Raj Kumar Gajavelly
2025 J jnl
A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems.
ACM Trans. Embed. Comput. Syst.
Debarpita Banerjee, Parasara Sridhar Duggirala, Bineet Ghosh, Sumana Ghosh
2025 Misc conf
BMC Engine Sequencing with Graph Neural Network Embeddings of Hardware Circuits.
VLSID
Soumik Guha Roy, Adriz Chanda, Prateek Ganguli, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2025 J jnl
Effect of media awareness in the spread of infectious diseases.
J. Appl. Math. Comput.
Sumana Ghosh, Jayanta Mondal, Subhas Khajanchi
2025 — conf
LISA: LLM Informed Systemverilog Assertion generation with RAG and Chain-of-Thought.
ISVLSI
Subhajit Paul, Ansuman Banerjee, Sumana Ghosh, Sudhakar Surendran, Raj Kumar Gajavelly
2024 Misc conf
An Efficient Neural Network Controller for Autonomous Lane-Keeping Assist System.
VLSID
Debanjan Mallik, Sumana Ghosh
2024 C conf
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification.
MEMOCODE
Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik
2024 J jnl
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification.
CoRR
Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik
2024 Misc conf
DRL-based Multi-Stream Scheduling of Inference Pipelines on Edge Devices.
VLSID
Danny Pereria, Sumana Ghosh, Soumyajit Dey
2024 J jnl
MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together.
ACM Trans. Design Autom. Electr. Syst.
Devleena Ghosh, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
2024 J jnl
Multi-Stream Scheduling of Inference Pipelines on Edge Devices - a DRL Approach.
ACM Trans. Design Autom. Electr. Syst.
Danny Pereira, Sumana Ghosh, Soumyajit Dey
2024 J jnl
Revisiting Dynamic Scheduling of Control Tasks: A Performance-Aware Fine-Grained Approach.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sunandan Adhikary, Ipsita Koley, Saurav Kumar Ghosh, Sumana Ghosh, Soumyajit Dey
2024 J jnl
Toward Precision-Aware Safe Neural-Controlled Cyber-Physical Systems.
IEEE Embed. Syst. Lett.
Harikishan Thevendhriya, Sumana Ghosh, Debasmita Lohar
2023 Misc conf
Delay-Aware Control for Autonomous Systems.
VLSID
Sumana Ghosh
2023 C conf
Harnessing Multiple BMC Engines Together for Efficient Formal Verification.
MEMOCODE
Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee
2023 J jnl
Inferencing on Edge Devices: A Time- and Space-aware Co-scheduling Approach.
ACM Trans. Design Autom. Electr. Syst.
Danny Pereira, Anirban Ghose, Sumana Ghosh, Soumyajit Dey
2023 B conf
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study.
VMCAI
Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik
2022 J jnl
A Comprehensive Review of Power Converter Topologies and Control Methods for Electric Vehicle Fast Charging Applications.
IEEE Access
Md. Safayatullah, Mohamed Tamasas Elrais, Sumana Ghosh, Reza Rezaii, Issa Batarseh
2022 J jnl
Comprehensive Analysis and Gain Derivation of Phase-Shifted Dual-Input LLC Converter.
IEEE Access
Abdullah Alhatlani, Sumana Ghosh, Issa Batarseh
2022 — conf
Control of Electric Vehicle Fast Charger based on Vienna Rectifier and Dual Active Bridge DC-DC Converter.
ICIT
Md. Safayatullah, Reza Rezaii, Sumana Ghosh, Issa Batarseh
2022 J jnl
Delay induced interaction of humoral- and cell-mediated immune responses with cancer.
Theory Biosci.
Sumana Ghosh, Sandip Banerjee
2021 C conf
A Bidirectional DC-DC Converter with High Conversion Ratios for the Electrical Vehicle Application.
IECON
Reza Rezaii, Mohammad Nilian, Md. Safayatullah, Sumana Ghosh, Issa Batarseh
2021 C conf
A Novel Four-port LLC Converter for Dual PV and Battery Integration.
IECON
Sumana Ghosh, Md. Safayatullah, Mohamed Tamasas Elrais, Issa Batarseh
2021 J jnl
Bistability in cell signalling and its significance in identifying potential drug-targets.
Bioinform.
Suvankar Halder, Sumana Ghosh, Joydev Chattopadhyay, Samrat Chatterjee
2021 C conf
Control of Grid-tied Dual-PV LLC Converter using Adaptive Neuro Fuzzy Interface System (ANFIS).
IECON
Sumana Ghosh, Abdullah Alhatlani, Reza Rezaii, Issa Batarseh
2021 C conf
Model Predictive Control for Single-Stage Grid-Tied Three-Port DC-DC-AC Converter Based on Dual Active Bridge and Interleaved Boost Topology.
IECON
Md. Safayatullah, Sumana Ghosh, Sahin Gullu, Issa Batarseh
2021 J jnl
Performance-Driven Post-Processing of Control Loop Execution Schedules.
ACM Trans. Design Autom. Electr. Syst.
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2021 Misc conf
Proactive feedback for networked CPS.
SAC
Sumana Ghosh, Arnab Mondal, Debayan Roy, Philipp H. Kindt, Soumyajit Dey, Samarjit Chakraborty
2020 J jnl
A Programmable Open Architecture Testbed for CPS Education.
IEEE Des. Test
Sumana Ghosh, Arnab Mondal, Philipp H. Kindt, Prateek Sharma, Yash Agarwal, Soumyajit Dey, Alok Kanti Deb, Samarjit Chakraborty
2020 C conf
Configuring loosely time-triggered wireless control software.
SCOPES
Philipp H. Kindt, Sumana Ghosh, Samarjit Chakraborty
2020 A conf
GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources.
RTSS
Debayan Roy, Sumana Ghosh, Qi Zhu, Marco Caccamo, Samarjit Chakraborty
2020 J jnl
Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks.
ACM Trans. Embed. Comput. Syst.
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2020 — conf
Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions.
CPSIOTSEC@CCS
Sunandan Adhikary, Ipsita Koley, Saurav Kumar Ghosh, Sumana Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
2020 J jnl
Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions.
CoRR
Sunandan Adhikary, Ipsita Koley, Sumana Ghosh, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
2019 J jnl
Performance and energy aware robust specification of control execution patterns under dropped samples.
IET Comput. Digit. Tech.
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2019 Misc conf
Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples.
VLSID
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2018 J jnl
Co-Synthesis of Loop Execution Patterns for Multihop Control Networks.
IEEE Embed. Syst. Lett.
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2018 J jnl
Mathematical modeling of cancer-immune system, considering the role of antibodies.
Theory Biosci.
Sumana Ghosh, Sandip Banerjee
2017 J jnl
A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control.
ACM Trans. Embed. Comput. Syst.
Sumana Ghosh, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta
2015 Misc conf
Formal Methods for Pattern Based Reliability Analysis in Embedded Systems.
VLSID
Sumana Ghosh, Pallab Dasgupta