Sumana Ghosh

Orcid: 0000-0002-5999-3313

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

DRL-based Multi-Stream Scheduling of Inference Pipelines on Edge Devices.
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.
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.
ACM Trans. Design Autom. Electr. Syst., 2023

SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Delay-Aware Control for Autonomous Systems.
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.
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.
Theory Biosci., 2022

A Comprehensive Review of Power Converter Topologies and Control Methods for Electric Vehicle Fast Charging Applications.
IEEE Access, 2022

Comprehensive Analysis and Gain Derivation of Phase-Shifted Dual-Input LLC Converter.
IEEE Access, 2022

Control of Electric Vehicle Fast Charger based on Vienna Rectifier and Dual Active Bridge DC-DC Converter.
Proceedings of the IEEE International Conference on Industrial Technology, 2022

2021
Bistability in cell signalling and its significance in identifying potential drug-targets.
Bioinform., November, 2021

Performance-Driven Post-Processing of Control Loop Execution Schedules.
ACM Trans. Design Autom. Electr. Syst., 2021

Proactive feedback for networked CPS.
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.
Proceedings of the IECON 2021, 2021

A Bidirectional DC-DC Converter with High Conversion Ratios for the Electrical Vehicle Application.
Proceedings of the IECON 2021, 2021

A Novel Four-port LLC Converter for Dual PV and Battery Integration.
Proceedings of the IECON 2021, 2021

Control of Grid-tied Dual-PV LLC Converter using Adaptive Neuro Fuzzy Interface System (ANFIS).
Proceedings of the IECON 2021, 2021

2020
Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks.
ACM Trans. Embed. Comput. Syst., 2020

A Programmable Open Architecture Testbed for CPS Education.
IEEE Des. Test, 2020

Configuring loosely time-triggered wireless control software.
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.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions.
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.
IET Comput. Digit. Tech., 2019

Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples.
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.
Theory Biosci., 2018

Co-Synthesis of Loop Execution Patterns for Multihop Control Networks.
IEEE Embed. Syst. Lett., 2018

2017
A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control.
ACM Trans. Embed. Comput. Syst., 2017

2015
Formal Methods for Pattern Based Reliability Analysis in Embedded Systems.
Proceedings of the 28th International Conference on VLSI Design, 2015


  Loading...