Sumana Ghosh

According to our database, Sumana Ghosh authored at least 29 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification.

Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik

CoRR, 2024

DRL-based Multi-Stream Scheduling of Inference Pipelines on Edge Devices.

Danny Pereria, Sumana Ghosh, Soumyajit Dey

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

An Efficient Neural Network Controller for Autonomous Lane-Keeping Assist System.

Debanjan Mallik, Sumana Ghosh

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

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

SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study.

Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Delay-Aware Control for Autonomous Systems.

Sumana Ghosh

Proceedings of the 36th International Conference on VLSI Design and 2023 22nd International Conference on Embedded Systems, 2023

Harnessing Multiple BMC Engines Together for Efficient Formal Verification.

Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

2022

Delay induced interaction of humoral- and cell-mediated immune responses with cancer.

Sumana Ghosh, Sandip Banerjee

Theory Biosci., 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

Comprehensive Analysis and Gain Derivation of Phase-Shifted Dual-Input LLC Converter.

Abdullah Alhatlani, Sumana Ghosh, Issa Batarseh

IEEE Access, 2022

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

Proceedings of the IEEE International Conference on Industrial Technology, 2022

2021

Bistability in cell signalling and its significance in identifying potential drug-targets.

Suvankar Halder, Sumana Ghosh, Joydev Chattopadhyay, Samrat Chatterjee

Bioinform., November, 2021

Performance-Driven Post-Processing of Control Loop Execution Schedules.

Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta

ACM Trans. Design Autom. Electr. Syst., 2021

Proactive feedback for networked CPS.

Sumana Ghosh, Arnab Mondal, Debayan Roy, Philipp H. Kindt, Soumyajit Dey, Samarjit Chakraborty

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 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

Proceedings of the IECON 2021, 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

Proceedings of the IECON 2021, 2021

A Novel Four-port LLC Converter for Dual PV and Battery Integration.

Sumana Ghosh, Md. Safayatullah, Mohamed Tamasas Elrais, Issa Batarseh

Proceedings of the IECON 2021, 2021

Control of Grid-tied Dual-PV LLC Converter using Adaptive Neuro Fuzzy Interface System (ANFIS).

Sumana Ghosh, Abdullah Alhatlani, Reza Rezaii, Issa Batarseh

Proceedings of the IECON 2021, 2021

2020

Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks.

Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta

ACM Trans. Embed. Comput. Syst., 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

Configuring loosely time-triggered wireless control software.

Philipp H. Kindt, Sumana Ghosh, Samarjit Chakraborty

Proceedings of the SCOPES '20: 23rd International Workshop on Software and Compilers for Embedded Systems, 2020

GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources.

Debayan Roy, Sumana Ghosh, Qi Zhu, Marco Caccamo, Samarjit Chakraborty

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

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

Proceedings of the CPSIOTSEC'20: Proceedings of the 2020 Joint Workshop on CPS&IoT Security and Privacy, 2020

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

Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples.

Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta

Proceedings of the 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, 2019

2018

Mathematical modeling of cancer-immune system, considering the role of antibodies.

Sumana Ghosh, Sandip Banerjee

Theory Biosci., 2018

Co-Synthesis of Loop Execution Patterns for Multihop Control Networks.

Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2018

2017

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

2015

Formal Methods for Pattern Based Reliability Analysis in Embedded Systems.

Sumana Ghosh, Pallab Dasgupta

Proceedings of the 28th International Conference on VLSI Design, 2015