| 2025 | FDL | Fast Option Ranking in Autonomous Systems for Criticality Evasion under Uncertainties. | Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty |
| 2025 | FORTE | Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring. | Bineet Ghosh, tienne Andr |
| 2024 | ICDCS | An Enhancing VBF Protocol for AUVs: Integrating Uncertainty Management and Energy Efficiency. | Shuai Dong, Xiaoyan Hong, Bineet Ghosh |
| 2024 | VLSID | Certifiable and Efficient Autonomous Cyber-Physical Systems Design. | Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty |
| 2023 | ASPDAC | Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints. | Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Samarjit Chakraborty |
| 2023 | ATVA | 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 |
| 2023 | RTCSA | 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 |
| 2022 | FORTE | Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. | Bineet Ghosh, tienne Andr |
| 2022 | RTCSA | 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 |
| 2021 | IROS | Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. | Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala |