Bineet Ghosh

Referred Publications

AUV Networking: Addressing Positional Uncertainty in Underwater Environments

• Authors: Shuai Dong, Beichen Yang, Bineet Ghosh, Xiaoyan Hong.
• In: The 18th Conference on Underwater Networks and Systems (WUWnet). 2024. (To Appear)
[Abstract] [Local PDF] [cite]

GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems

• Authors: Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Tingan Zhu, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala and Samarjit Chakraborty.
• In: International Conference on Assured Autonomy (ICAA). 2024.
[Abstract] [Local PDF] [cite]

Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations

• Authors: Clara Hobbs, Shengjie Xu, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty.
• In: 15th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). 2024.
[Abstract] [Local PDF] [cite]

[Poster/Demo] Neural Architecture Sizing for Autonomous Systems

• Authors: Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala and Samarjit Chakraborty.
• In: 15th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). 2024.
[Abstract] [Local PDF] [cite]

Certifiable and Efficient Autonomous Cyber-Physical Systems Design

• Authors: Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty.
• In: 37th International Conference on VLSI Design (VLSID). 2024.
[Abstract] [Local PDF] [cite]

Statistical Verification of Autonomous System Controllers Under Timing Uncertainties

• Authors: Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James Anderson, P.S. Thiagrajan, Samarjit Chakraborty.
• In: Real-Time Systems (TIME). 2024.
[Abstract] [Local PDF] [Code] [cite]

Offline and Online Energy-Efficient Monitoring of Scattered Uncertain Logs Using a Bounding Model

• Authors: Bineet Ghosh, Étienne André.
• In: Logical Methods in Computer Science (LMCS). 2024.
[Abstract] [arXiv] [Code] [cite]

Social Media Posts: [Tweet] [LinkedIn] [Facebook] [Instagram]

Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems

• Authors: Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty.
• In: International Symposium on Automated Technology for Verification and Analysis (ATVA) 2023.
[Abstract] [Local PDF] [cite]

Safety-aware Implementation of Control Tasks via Period Boosting and Compressing

• Authors: Shengjie Xu, Bineet Ghosh, Clara Hobbs, P.S. Thiagrajan, Samarjit Chakraborty.
• In: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) 2023.
[Abstract] [Local PDF] [cite]

MoULDyS: Monitoring of Autonomous Systems Under the Presence of Uncertainties

• Authors: Bineet Ghosh, Étienne André.
• In: Software Track of Science of Computer Programming. 2023.
[Abstract] [Local PDF] [Code] [cite]

Safety-aware Flexible Schedule Synthesis for Cyber-Physical Systems using Weakly-Hard Constraints

• Authors: Shengjie Xu, Bineet Ghosh, Clara Hobbs, P.S. Thiagrajan, Samarjit Chakraborty.
• In: 28th Asia and South Pacific Design Automation Conference (ASP-DAC) 2023.
[Abstract] [Local PDF] [cite]

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties

• Authors: Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James Anderson, P.S. Thiagrajan, Samarjit Chakraborty.
• In: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) 2022.
Best Paper Candidate.
Invited for an extension in Real-Time Systems journal.
[Abstract] [Local PDF] [Video Presentation] [Code] [cite]

Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems

• Authors: Bineet Ghosh, Étienne André.
• In: Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2022.
Invited for an extension in LMCS journal.
[Abstract] [Local PDF] [Local PPT] [Code] [cite]

Safety Analysis of Embedded Controllers under Implementation Platform Timing Uncertainties

• Authors: Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty.
• In: International Conference on Embedded Software (EMSOFT) 2022.
[Abstract] [Local PDF] [cite]

Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency

• Authors: Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala.
• In: International Conference on Intelligent Robots and Systems (IROS) 2021.
[Abstract] [Local PDF] [Local PPT] [Video Presentation] [cite]

Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems

• Authors: Bineet Ghosh, Parasara Sridhar Duggirala
• In: ACM Transactions on Embedded Computing Systems (TECS). 2019.
This paper was presented at EMSOFT 2019.
[Abstract] [Local PDF] [Local PPT] [Code] [cite]

Publications