Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems. - Bineet Ghosh; Parasara Sridhar Duggirala (ACM Trans. Embed. Comput. Syst., 2019)

Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. - Bineet Ghosh; Sandeep Chinchali; Parasara Sridhar Duggirala (IROS, 2021)

Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches. - Bineet Ghosh; Parasara Sridhar Duggirala (CoRR, 2021)

Reachability of Linear Uncertain Systems: Sampling Based Approaches. - Bineet Ghosh; Parasara Sridhar Duggirala (CoRR, 2021)

Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. - Bineet Ghosh; Étienne André (FORTE, 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 (RTCSA, 2022)

Dynamic Selection of Perception Models for Robotic Control. - Bineet Ghosh; Masaad Khan; Adithya Ashok; Sandeep Chinchali; Parasara Sridhar Duggirala (CoRR, 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)

Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints. - Shengjie Xu; Bineet Ghosh; Clara Hobbs; P. S. Thiagarajan; Samarjit Chakraborty (ASP-DAC, 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 (ATVA (1), 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 (RTCSA, 2023)

Design and Verification of Autonomous Systems in the presence of uncertainties. - Bineet Ghosh (2023)

MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties. - Bineet Ghosh; Étienne André (Zenodo, 2023)

MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. - Bineet Ghosh; Étienne André (Sci. Comput. Program., 2023)

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 018; Yi Sheng; Weiwen Jiang; Jingtong Hu; Parasara Sridhar Duggirala; Samarjit Chakraborty (ICAA, 2024)

Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations. - Clara Hobbs; Shengjie Xu; Bineet Ghosh; Enrico Fraccaroli; Parasara Sridhar Duggirala; Samarjit Chakraborty (ICCPS, 2024)

Poster Abstract: Neural Architecture Sizing for Autonomous Systems. - Shengjie Xu; Clara Hobbs; Yukai Song; Bineet Ghosh; Sharmin Aktar; Lei Yang 018; Yi Sheng; Weiwen Jiang; Jingtong Hu; Parasara Sridhar Duggirala; Samarjit Chakraborty (ICCPS, 2024)

An Enhancing VBF Protocol for AUVs: Integrating Uncertainty Management and Energy Efficiency. - Shuai Dong 003; Xiaoyan Hong; Bineet Ghosh (ICDCS, 2024)

Certifiable and Efficient Autonomous Cyber-Physical Systems Design. - Shengjie Xu; Clara Hobbs; Bineet Ghosh; Parasara Sridhar Duggirala; Samarjit Chakraborty (VLSID, 2024)

AUV Networking: Addressing Positional Uncertainty in Underwater Environments. - Shuai Dong 003; Bineet Ghosh; Xiaoyan Hong; Beichen Yang (WUWNet, 2024)

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. - Bineet Ghosh; Étienne André (Log. Methods Comput. Sci., 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., 2024)

Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring. - Bineet Ghosh; Étienne André (FORTE, 2025)