Bineet Ghosh

According to our database, Bineet Ghosh authored at least 20 papers between 2019 and 2024.

Collaborative distances:

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

2024

Statistical verification of autonomous system controllers under timing uncertainties.

Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty

Real Time Syst., March, 2024

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model.

Bineet Ghosh, Étienne André

Log. Methods Comput. Sci., 2024

AUV Networking: Addressing Positional Uncertainty in Underwater Environments.

Shuai Dong, Bineet Ghosh, Xiaoyan Hong, Beichen Yang

Proceedings of the 18th International Conference on Underwater Networks & Systems, 2024

Certifiable and Efficient Autonomous Cyber-Physical Systems Design.

Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty

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

An Enhancing VBF Protocol for AUVs: Integrating Uncertainty Management and Energy Efficiency.

Shuai Dong, Xiaoyan Hong, Bineet Ghosh

Proceedings of the 44th IEEE International Conference on Distributed Computing Systems, 2024

Poster Abstract: Neural Architecture Sizing for Autonomous Systems.

Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

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

Clara Hobbs, Shengjie Xu, Bineet Ghosh, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

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

Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Tingan Zhu, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty

Proceedings of the International Conference on Assured Autonomy, 2024

2023

MoULDyS: Monitoring of autonomous systems in the presence of uncertainties.

Bineet Ghosh, Étienne André

Sci. Comput. Program., August, 2023

Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing.

Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Prachi Joshi, Samarjit Chakraborty

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

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

Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty

Proceedings of the Automated Technology for Verification and Analysis, 2023

Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints.

Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Samarjit Chakraborty

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties.

Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Dynamic Selection of Perception Models for Robotic Control.

Bineet Ghosh, Masaad Khan, Adithya Ashok, Sandeep Chinchali, Parasara Sridhar Duggirala

CoRR, 2022

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.

Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

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

Bineet Ghosh, Étienne André

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2021

Reachability of Linear Uncertain Systems: Sampling Based Approaches.

Bineet Ghosh, Parasara Sridhar Duggirala

CoRR, 2021

Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches.

Bineet Ghosh, Parasara Sridhar Duggirala

CoRR, 2021

Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency.

Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

2019

Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems.

Bineet Ghosh, Parasara Sridhar Duggirala

ACM Trans. Embed. Comput. Syst., 2019