Folgen
Clara Hobbs
Clara Hobbs
Department of Computer Science, UNC-Chapel Hill
Bestätigte E-Mail-Adresse bei cs.unc.edu
Titel
Zitiert von
Zitiert von
Jahr
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
162022
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
112022
Timing debugging for cyber-physical systems
D Roy, C Hobbs, JH Anderson, M Caccamo, S Chakraborty
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021
112021
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
92023
Bounding perception neural network uncertainty for safe control of autonomous systems
Z Wang, C Huang, Y Wang, C Hobbs, S Chakraborty, Q Zhu
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021
82021
Optimal soft real-time semi-partitioned scheduling made simple (and dynamic)
C Hobbs, Z Tong, JH Anderson
Proceedings of the 27th International Conference on Real-Time Networks and …, 2019
72019
Perception computing-aware controller synthesis for autonomous systems
C Hobbs, D Roy, PS Duggirala, FD Smith, S Samii, JH Anderson
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 457-462, 2021
52021
Checking scheduling-induced violations of control safety properties
A Yeolekar, R Metta, C Hobbs, S Chakraborty
International Symposium on Automated Technology for Verification and …, 2022
42022
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
22023
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
22023
Statically optimal dynamic soft real-time semi-partitioned scheduling
C Hobbs, Z Tong, J Bakita, JH Anderson
Real-Time Systems 57 (1), 97-140, 2021
22021
Exploiting Process Dynamics in Multi-Stage Schedule Optimization for Flexible Manufacturing
M Balszun, C Hobbs, E Fraccaroli, D Roy, S Chakraborty
2022 IEEE 27th International Conference on Emerging Technologies and Factory …, 2022
12022
Process dynamics-aware flexible manufacturing for industry 4.0
M Balszun, C Hobbs, E Fraccaroli, D Roy, F Fummi, S Chakraborty
2022 IEEE 18th International Conference on Automation Science and …, 2022
12022
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
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
A Note on the Interpretation of σk
C Hobbs, JH Anderson
2019
Kojima, Takuya 281 Kuo, Yi-Hung 18 Laidig, Robin 127
H Abaza, E Aghapour, B Akesson, F Allgöwer, M Al-Sada, JH Anderson, ...
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)| 978-1-6654-5344-8/22/$31.00© 2022 IEEE| DOI: 10.1109/RTCSA55878 …
T Abdelzaher, JH Anderson, J Arora, M Asavoae, M Ashjaei, P Badin, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18