Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. - Bineet Ghosh; Clara Hobbs; Shengjie Xu 005; Parasara Sridhar Duggirala; James H. Anderson; P. S. Thiagarajan; Samarjit Chakraborty (RTCSA, 2022)

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties. - Clara Hobbs; Bineet Ghosh; Shengjie Xu 005; 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 005; 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 005; Bineet Ghosh; Clara Hobbs; Enrico Fraccaroli; Parasara Sridhar Duggirala; Samarjit Chakraborty (ATVA (1), 2023)

Timing Predictability for SOME/IP-based Service-Oriented Automotive In-Vehicle Networks. - Enrico Fraccaroli; Prachi Joshi; Shengjie Xu 005; Khaja Shazzad; Markus Jochim; Samarjit Chakraborty (DATE, 2023)

Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing. - Shengjie Xu 005; Bineet Ghosh; Clara Hobbs; P. S. Thiagarajan; Prachi Joshi; Samarjit Chakraborty (RTCSA, 2023)

GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems. - Shengjie Xu 005; Clara Hobbs; Yukai Song; Bineet Ghosh; Tingan Zhu; Sharmin Aktar; Lei Yang 018; Yi Sheng 001; 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 005; Bineet Ghosh; Enrico Fraccaroli; Parasara Sridhar Duggirala; Samarjit Chakraborty (ICCPS, 2024)

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

Learning-Enabled CPS for Edge-Cloud Computing. - Luigi Capogrosso; Shengjie Xu 005; Enrico Fraccaroli; Marco Cristani; Franco Fummi; Samarjit Chakraborty (SIES, 2024)

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

Statistical verification of autonomous system controllers under timing uncertainties. - Bineet Ghosh; Clara Hobbs; Shengjie Xu 005; F. Donelson Smith; James H. Anderson; P. S. Thiagarajan; Benjamin Berg; Parasara Sridhar Duggirala; Samarjit Chakraborty (Real Time Syst., 2024)

Controllers for Edge-Cloud Cyber-Physical Systems. - Tingan Zhu; Prateek Ganguli; Arkaprava Gupta; Shengjie Xu 005; Luigi Capogrosso; Enrico Fraccaroli; Marco Cristani; Franco Fummi; Samarjit Chakraborty (COMSNETS, 2025)

Building Safe Autonomous Systems Using Imperfect Components. - Shengjie Xu 005; Prateek Ganguli; Tingan Zhu; Arkaprava Gupta; Bineet Ghosh; Kurt M. Wilson; Abdullah Al Arafat; John W. Baugh Jr.; Zhishan Guo; Benjamin Berg; Parasara Sridhar Duggirala; Samarjit Chakraborty (SETSS, 2025)