| Safety analysis of embedded controllers under implementation platform timing uncertainties C Hobbs, B Ghosh, S Xu, PS Duggirala, S Chakraborty IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 18 | 2022 |
| Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems B Ghosh, PS Duggirala ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 97, 2019 | 16 | 2019 |
| Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties B Ghosh, C Hobbs, S Xu, PS Duggirala, JH Anderson, PS Thiagarajan, ... 2022 IEEE 28th International Conference on Embedded and Real-Time Computing …, 2022 | 12 | 2022 |
| Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints S Xu, B Ghosh, C Hobbs, PS Thiagarajan, S Chakraborty Proceedings of the 28th Asia and South Pacific Design Automation Conference …, 2023 | 11 | 2023 |
| Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems B Ghosh, É André International Conference on Formal Techniques for Distributed Objects …, 2022 | 7 | 2022 |
| Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches B Ghosh, PS Duggirala arXiv preprint arXiv:2109.07632, 2021 | 6 | 2021 |
| Reachability of Linear Uncertain Systems: Sampling Based Approaches B Ghosh, PS Duggirala arXiv preprint arXiv:2109.07638, 2021 | 4 | 2021 |
| Interpretable trade-offs between robot task accuracy and compute efficiency B Ghosh, S Chinchali, PS Duggirala 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021 | 3 | 2021 |
| Statistical approach to efficient and deterministic schedule synthesis for cyber-physical systems S Xu, B Ghosh, C Hobbs, E Fraccaroli, PS Duggirala, S Chakraborty International Symposium on Automated Technology for Verification and …, 2023 | 2 | 2023 |
| Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing S Xu, B Ghosh, C Hobbs, PS Thiagarajan, P Joshi, S Chakraborty 2023 IEEE 29th International Conference on Embedded and Real-Time Computing …, 2023 | 2 | 2023 |
| Dynamic Selection of Perception Models for Robotic Control B Ghosh, M Khan, A Ashok, S Chinchali, PS Duggirala arXiv preprint arXiv:2207.06390, 2022 | 2 | 2022 |
| MoULDyS: Monitoring of autonomous systems in the presence of uncertainties B Ghosh, É André Science of Computer Programming 230, 102976, 2023 | 1 | 2023 |
| Neural Architecture Sizing for Autonomous Systems S Xu, C Hobbs, Y Song, B Ghosh, S Aktar, L Yang, Y Sheng, W Jiang, ... 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS …, 2024 | | 2024 |
| Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations C Hobbs, S Xu, B Ghosh, E Fraccaroli, PS Duggirala, S Chakraborty 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS …, 2024 | | 2024 |
| Statistical verification of autonomous system controllers under timing uncertainties B Ghosh, C Hobbs, S Xu, D Smith, JH Anderson, PS Thiagarajan, B Berg, ... Real-Time Systems, 1-42, 2024 | | 2024 |
| Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model B Ghosh, É André Logical Methods in Computer Science 20, 2024 | | 2024 |
| Certifiable and Efficient Autonomous Cyber-Physical Systems Design S Xu, C Hobbs, B Ghosh, PS Duggirala, S Chakraborty 2024 37th International Conference on VLSI Design and 2024 23rd …, 2024 | | 2024 |
| Design and Verification of Autonomous Systems in the Presence of Uncertainties BK Ghosh The University of North Carolina at Chapel Hill, 2023 | | 2023 |
| Kojima, Takuya 281 Kuo, Yi-Hung 18 Laidig, Robin 127 H Abaza, E Aghapour, B Akesson, F Allgöwer, M Al-Sada, JH Anderson, ... | | |
| Design And Verification of Autonomous System Controllers Under Timing Uncertainties B Ghosh | | |
