( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations.

, , , , , и . ICCPS, стр. 99-110. IEEE, (2024)

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.

Mario Clara

Martin Clara

Nicole Clara

Christophe Claramunt

Manfred Clara

 

Другие публикации лиц с тем же именем

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