Author:
Menard Christian,Goens Andres,Lohstroh Marten,Castrillon Jeronimo
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
2. Towards Building Verifiable CPS using Lingua Franca;ACM Transactions on Embedded Computing Systems;2023-09-09
3. Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing;2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2023-08-30
4. Automatic modelling and verification of Autosar architectures;Journal of Systems and Software;2023-07
5. Reliable Event Detection Using Time-Synchronized IoT Platforms;Proceedings of Cyber-Physical Systems and Internet of Things Week 2023;2023-05-09