Author:
Georgakos Georg,Schlichtmann Ulf,Schneider Reinhard,Chakraborty Samarjit
Cited by
21 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. Statistical verification of autonomous system controllers under timing uncertainties;Real-Time Systems;2024-01-29
3. 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
4. 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
5. 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