Author:
Phan Linh T. X.,Chakraborty Samarjit,Thiagarajan P. S.,Thiele Lothar
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties;2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID);2024-01-06
2. Certifiable and Efficient Autonomous Cyber-Physical Systems Design;2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID);2024-01-06
3. Dynamically Reconfigurable Automata for Estimating Interaction Between Data Flows in High-Performance Computing Systems;2023 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF);2023-05-29
4. Code-size-aware Scheduling of Synchronous Dataflow Graphs on Multicore Systems;ACM Transactions on Embedded Computing Systems;2021-05-31
5. References;Deterministic Network Calculus;2018-10-26