From post

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.

 

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

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties., , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (11): 4016-4027 (2022)Certifiable and Efficient Autonomous Cyber-Physical Systems Design., , , , и . VLSID, стр. 259-263. IEEE, (2024)Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing., , , , , и . RTCSA, стр. 196-205. IEEE, (2023)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)Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems., , , , , и . ATVA (1), том 14215 из Lecture Notes in Computer Science, стр. 312-333. Springer, (2023)Statistical verification of autonomous system controllers under timing uncertainties., , , , , , , , и . Real Time Syst., 60 (1): 108-149 (марта 2024)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)Checking Scheduling-Induced Violations of Control Safety Properties., , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 100-116. Springer, (2022)