Optimal soft real-time semi-partitioned scheduling made simple (and dynamic). - Clara Hobbs; Zelin Tong; James H. Anderson (RTNS, 2019)

Perception Computing-Aware Controller Synthesis for Autonomous Systems. - Clara Hobbs; Debayan Roy; Parasara Sridhar Duggirala; F. Donelson Smith; Soheil Samii; James H. Anderson; Samarjit Chakraborty (DATE, 2021)

Timing Debugging for Cyber-Physical Systems. - Debayan Roy; Clara Hobbs; James H. Anderson; Marco Caccamo; Samarjit Chakraborty (DATE, 2021)

Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. - Zhilu Wang; Chao Huang 015; Yixuan Wang 001; Clara Hobbs; Samarjit Chakraborty; Qi Zhu 002 (DATE, 2021)

Statically optimal dynamic soft real-time semi-partitioned scheduling. - Clara Hobbs; Zelin Tong; Joshua Bakita; James H. Anderson (Real Time Syst., 2021)

Checking Scheduling-Induced Violations of Control Safety Properties. - Anand Yeolekar; Ravindra Metta; Clara Hobbs; Samarjit Chakraborty (ATVA, 2022)

Process Dynamics-Aware Flexible Manufacturing for Industry 4.0. - Michael Balszun; Clara Hobbs; Enrico Fraccaroli; Debayan Roy; Franco Fummi; Samarjit Chakraborty (CASE, 2022)

Exploiting Process Dynamics in Multi-Stage Schedule Optimization for Flexible Manufacturing. - Michael Balszun; Clara Hobbs; Enrico Fraccaroli; Debayan Roy; Samarjit Chakraborty (ETFA, 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)

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)

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)

Certifiable and Efficient Autonomous Cyber-Physical Systems Design. - Shengjie Xu; 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; F. Donelson Smith; James H. Anderson; P. S. Thiagarajan; Benjamin Berg; Parasara Sridhar Duggirala; Samarjit Chakraborty (Real Time Syst., 2024)