Bineet Ghosh

28 papers A 2B 2C 3Misc 1Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
HiP-CL: High-Level Planning Based on Common Language for Multi-Robot Teaming.
Hum. Centric Intell. Syst.
Dang Tran, Minhazul Arefin, Bineet Ghosh, Amir Rahmani, Hongsheng He
2025 J jnl
A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems.
ACM Trans. Embed. Comput. Syst.
Debarpita Banerjee, Parasara Sridhar Duggirala, Bineet Ghosh, Sumana Ghosh
2025 C conf
Fast Option Ranking in Autonomous Systems for Criticality Evasion under Uncertainties.
FDL
Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty
2025 C conf
Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring.
FORTE
Bineet Ghosh, Étienne André
2024 — conf
AUV Networking: Addressing Positional Uncertainty in Underwater Environments.
WUWNet
Shuai Dong, Bineet Ghosh, Xiaoyan Hong, Beichen Yang
2024 A conf
An Enhancing VBF Protocol for AUVs: Integrating Uncertainty Management and Energy Efficiency.
ICDCS
Shuai Dong, Xiaoyan Hong, Bineet Ghosh
2024 Misc conf
Certifiable and Efficient Autonomous Cyber-Physical Systems Design.
VLSID
Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty
2024 — conf
GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems.
ICAA
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
2024 J jnl
MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties.
CoRR
Bineet Ghosh, Étienne André
2024 J jnl
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model.
Log. Methods Comput. Sci.
Bineet Ghosh, Étienne André
2024 — conf
Poster Abstract: Neural Architecture Sizing for Autonomous Systems.
ICCPS
Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty
2024 — conf
Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations.
ICCPS
Clara Hobbs, Shengjie Xu, Bineet Ghosh, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
2024 J jnl
Statistical verification of autonomous system controllers under timing uncertainties.
Real Time Syst.
Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty
2023 — —
Design and Verification of Autonomous Systems in the presence of uncertainties.
Bineet Ghosh
2023 J jnl
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties.
Sci. Comput. Program.
Bineet Ghosh, Étienne André
2023 — conf
Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints.
ASP-DAC
Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Samarjit Chakraborty
2023 B conf
Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing.
RTCSA
Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Prachi Joshi, Samarjit Chakraborty
2023 — conf
Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems.
ATVA (1)
Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
2022 J jnl
Dynamic Selection of Perception Models for Robotic Control.
CoRR
Bineet Ghosh, Masaad Khan, Adithya Ashok, Sandeep Chinchali, Parasara Sridhar Duggirala
2022 C conf
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems.
FORTE
Bineet Ghosh, Étienne André
2022 J jnl
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems.
CoRR
Bineet Ghosh, Étienne André
2022 J jnl
Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty
2022 B conf
Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.
RTCSA
Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty
2021 A conf
Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency.
IROS
Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala
2021 J jnl
Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency.
CoRR
Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala
2021 J jnl
Reachability of Linear Uncertain Systems: Sampling Based Approaches.
CoRR
Bineet Ghosh, Parasara Sridhar Duggirala
2021 J jnl
Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches.
CoRR
Bineet Ghosh, Parasara Sridhar Duggirala
2019 J jnl
Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems.
ACM Trans. Embed. Comput. Syst.
Bineet Ghosh, Parasara Sridhar Duggirala