Clara Hobbs

Orcid: 0000-0001-6046-9511

According to our database1, Clara Hobbs authored at least 17 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Statistical verification of autonomous system controllers under timing uncertainties.
Real Time Syst., March, 2024

Certifiable and Efficient Autonomous Cyber-Physical Systems Design.
Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

Poster Abstract: Neural Architecture Sizing for Autonomous Systems.
Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations.
Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

2023
Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing.
Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2023

Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints.
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022
Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.
Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

Exploiting Process Dynamics in Multi-Stage Schedule Optimization for Flexible Manufacturing.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Process Dynamics-Aware Flexible Manufacturing for Industry 4.0.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

Checking Scheduling-Induced Violations of Control Safety Properties.
Proceedings of the Automated Technology for Verification and Analysis, 2022

2021
Statically optimal dynamic soft real-time semi-partitioned scheduling.
Real Time Syst., 2021

Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Timing Debugging for Cyber-Physical Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Perception Computing-Aware Controller Synthesis for Autonomous Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2019
Optimal soft real-time semi-partitioned scheduling made simple (and dynamic).
Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019


  Loading...