Author:
Wanli Chang,Samarjit Chakraborty
Subject
Computer Graphics and Computer-Aided Design,Hardware and Architecture
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13
2. Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2;ACM Transactions on Cyber-Physical Systems;2024-04-30
3. Statistical verification of autonomous system controllers under timing uncertainties;Real-Time Systems;2024-01-29
4. Wear Leveling-Aware Active Battery Cell Balancing;2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID);2024-01-06
5. 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