Clara Hobbs

18 papers A 3B 3C 1Misc 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2024 Misc conf
Certifiable and Efficient Autonomous Cyber-Physical Systems Design.
VLSID
Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty
2024 — conf
GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems.
ICAA
Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Tingan Zhu, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty
2024 — conf
Poster Abstract: Neural Architecture Sizing for Autonomous Systems.
ICCPS
Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty
2024 — conf
Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations.
ICCPS
Clara Hobbs, Shengjie Xu, Bineet Ghosh, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
2024 J jnl
Statistical verification of autonomous system controllers under timing uncertainties.
Real Time Syst.
Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty
2023 — conf
Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints.
ASP-DAC
Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Samarjit Chakraborty
2023 B conf
Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing.
RTCSA
Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Prachi Joshi, Samarjit Chakraborty
2023 — conf
Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems.
ATVA (1)
Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
2022 B conf
Checking Scheduling-Induced Violations of Control Safety Properties.
ATVA
Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty
2022 C conf
Exploiting Process Dynamics in Multi-Stage Schedule Optimization for Flexible Manufacturing.
ETFA
Michael Balszun, Clara Hobbs, Enrico Fraccaroli, Debayan Roy, Samarjit Chakraborty
2022 — conf
Process Dynamics-Aware Flexible Manufacturing for Industry 4.0.
CASE
Michael Balszun, Clara Hobbs, Enrico Fraccaroli, Debayan Roy, Franco Fummi, Samarjit Chakraborty
2022 J jnl
Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty
2022 B conf
Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.
RTCSA
Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty
2021 A conf
Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems.
DATE
Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, Qi Zhu
2021 A conf
Perception Computing-Aware Controller Synthesis for Autonomous Systems.
DATE
Clara Hobbs, Debayan Roy, Parasara Sridhar Duggirala, F. Donelson Smith, Soheil Samii, James H. Anderson, Samarjit Chakraborty
2021 J jnl
Statically optimal dynamic soft real-time semi-partitioned scheduling.
Real Time Syst.
Clara Hobbs, Zelin Tong, Joshua Bakita, James H. Anderson
2021 A conf
Timing Debugging for Cyber-Physical Systems.
DATE
Debayan Roy, Clara Hobbs, James H. Anderson, Marco Caccamo, Samarjit Chakraborty
2019 Misc conf
Optimal soft real-time semi-partitioned scheduling made simple (and dynamic).
RTNS
Clara Hobbs, Zelin Tong, James H. Anderson