Author of the publication

Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing.

, , , , , and . RTCSA, page 196-205. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Exploiting Process Dynamics in Multi-Stage Schedule Optimization for Flexible Manufacturing., , , , and . ETFA, page 1-8. IEEE, (2022)Checking Scheduling-Induced Violations of Control Safety Properties., , , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 100-116. Springer, (2022)Timing Debugging for Cyber-Physical Systems., , , , and . DATE, page 1893-1898. IEEE, (2021)Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems., , , , , and . DATE, page 1745-1750. IEEE, (2021)Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems., , , , , and . ATVA (1), volume 14215 of Lecture Notes in Computer Science, page 312-333. Springer, (2023)Certifiable and Efficient Autonomous Cyber-Physical Systems Design., , , , and . VLSID, page 259-263. IEEE, (2024)Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints., , , , and . ASP-DAC, page 46-51. ACM, (2023)Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing., , , , , and . RTCSA, page 196-205. IEEE, (2023)Process Dynamics-Aware Flexible Manufacturing for Industry 4.0., , , , , and . CASE, page 2375-2382. IEEE, (2022)Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties., , , , , , and . RTCSA, page 11-20. IEEE, (2022)