default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSumana Ghosh
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j15]Sunandan Adhikary
, Ipsita Koley, Saurav Kumar Ghosh, Sumana Ghosh, Soumyajit Dey:
Revisiting Dynamic Scheduling of Control Tasks: A Performance-Aware Fine-Grained Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 3662-3673 (2024)- [j14]Devleena Ghosh, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran:
MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together. ACM Trans. Design Autom. Electr. Syst. 29(5): 1-37 (2024) - [j13]Danny Pereira, Sumana Ghosh, Soumyajit Dey:
Multi-Stream Scheduling of Inference Pipelines on Edge Devices - a DRL Approach. ACM Trans. Design Autom. Electr. Syst. 29(6): 1-36 (2024) - [c17]Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik:
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. MEMOCODE 2024: 103-107 - [c16]Danny Pereria, Sumana Ghosh, Soumyajit Dey:
DRL-based Multi-Stream Scheduling of Inference Pipelines on Edge Devices. VLSID 2024: 324-329 - [c15]Debanjan Mallik, Sumana Ghosh:
An Efficient Neural Network Controller for Autonomous Lane-Keeping Assist System. VLSID 2024: 360-365 - [i2]Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik:
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. CoRR abs/2408.01996 (2024) - 2023
- [j12]Danny Pereira, Anirban Ghose, Sumana Ghosh, Soumyajit Dey:
Inferencing on Edge Devices: A Time- and Space-aware Co-scheduling Approach. ACM Trans. Design Autom. Electr. Syst. 28(3): 38:1-38:33 (2023) - [c14]Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee:
Harnessing Multiple BMC Engines Together for Efficient Formal Verification. MEMOCODE 2023: 71-81 - [c13]Sumana Ghosh:
Delay-Aware Control for Autonomous Systems. VLSID 2023: 1-6 - [c12]Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik:
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. VMCAI 2023: 25-43 - 2022
- [j11]Md. Safayatullah, Mohamed Tamasas Elrais, Sumana Ghosh, Reza Rezaii, Issa Batarseh:
A Comprehensive Review of Power Converter Topologies and Control Methods for Electric Vehicle Fast Charging Applications. IEEE Access 10: 40753-40793 (2022) - [j10]Abdullah Alhatlani, Sumana Ghosh, Issa Batarseh:
Comprehensive Analysis and Gain Derivation of Phase-Shifted Dual-Input LLC Converter. IEEE Access 10: 116796-116807 (2022) - [j9]Sumana Ghosh, Sandip Banerjee:
Delay induced interaction of humoral- and cell-mediated immune responses with cancer. Theory Biosci. 141(1): 27-40 (2022) - [c11]Md. Safayatullah, Reza Rezaii, Sumana Ghosh, Issa Batarseh:
Control of Electric Vehicle Fast Charger based on Vienna Rectifier and Dual Active Bridge DC-DC Converter. ICIT 2022: 1-6 - 2021
- [j8]Suvankar Halder, Sumana Ghosh, Joydev Chattopadhyay, Samrat Chatterjee:
Bistability in cell signalling and its significance in identifying potential drug-targets. Bioinform. 37(22): 4156-4163 (2021) - [j7]Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta:
Performance-Driven Post-Processing of Control Loop Execution Schedules. ACM Trans. Design Autom. Electr. Syst. 26(2): 13:1-13:27 (2021) - [c10]Sumana Ghosh, Abdullah Alhatlani, Reza Rezaii, Issa Batarseh:
Control of Grid-tied Dual-PV LLC Converter using Adaptive Neuro Fuzzy Interface System (ANFIS). IECON 2021: 1-6 - [c9]Sumana Ghosh, Md. Safayatullah, Mohamed Tamasas Elrais, Issa Batarseh:
A Novel Four-port LLC Converter for Dual PV and Battery Integration. IECON 2021: 1-6 - [c8]Reza Rezaii, Mohammad Nilian, Md. Safayatullah, Sumana Ghosh, Issa Batarseh:
A Bidirectional DC-DC Converter with High Conversion Ratios for the Electrical Vehicle Application. IECON 2021: 1-6 - [c7]Md. Safayatullah, Sumana Ghosh, Sahin Gullu, Issa Batarseh:
Model Predictive Control for Single-Stage Grid-Tied Three-Port DC-DC-AC Converter Based on Dual Active Bridge and Interleaved Boost Topology. IECON 2021: 1-6 - [c6]Sumana Ghosh, Arnab Mondal, Debayan Roy, Philipp H. Kindt, Soumyajit Dey, Samarjit Chakraborty:
Proactive feedback for networked CPS. SAC 2021: 164-173 - 2020
- [j6]Sumana Ghosh, Arnab Mondal, Philipp H. Kindt, Prateek Sharma, Yash Agarwal, Soumyajit Dey, Alok Kanti Deb, Samarjit Chakraborty:
A Programmable Open Architecture Testbed for CPS Education. IEEE Des. Test 37(6): 31-38 (2020) - [j5]Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta:
Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks. ACM Trans. Embed. Comput. Syst. 19(2): 9:1-9:28 (2020) - [c5]Sunandan Adhikary, Ipsita Koley, Saurav Kumar Ghosh, Sumana Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay:
Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions. CPSIOTSEC@CCS 2020: 81-86 - [c4]Debayan Roy, Sumana Ghosh, Qi Zhu, Marco Caccamo, Samarjit Chakraborty:
GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources. RTSS 2020: 178-190 - [c3]Philipp H. Kindt, Sumana Ghosh, Samarjit Chakraborty:
Configuring loosely time-triggered wireless control software. SCOPES 2020: 70-73 - [i1]Sunandan Adhikary, Ipsita Koley, Sumana Ghosh, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay:
Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions. CoRR abs/2007.08121 (2020)
2010 – 2019
- 2019
- [j4]Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta:
Performance and energy aware robust specification of control execution patterns under dropped samples. IET Comput. Digit. Tech. 13(6): 493-504 (2019) - [c2]Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta:
Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples. VLSID 2019: 1-6 - 2018
- [j3]Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta:
Co-Synthesis of Loop Execution Patterns for Multihop Control Networks. IEEE Embed. Syst. Lett. 10(4): 111-114 (2018) - [j2]Sumana Ghosh, Sandip Banerjee:
Mathematical modeling of cancer-immune system, considering the role of antibodies. Theory Biosci. 137(1): 67-78 (2018) - 2017
- [j1]Sumana Ghosh, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta:
A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control. ACM Trans. Embed. Comput. Syst. 16(5s): 189:1-189:22 (2017) - 2015
- [c1]Sumana Ghosh, Pallab Dasgupta:
Formal Methods for Pattern Based Reliability Analysis in Embedded Systems. VLSID 2015: 192-197
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 19:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
