Jian-Jia Chen, Niklas Ueter, Mario Günzel, Georg von der Brüggen, Tei-Wei Kuo. Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems. In 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023. pages 1-2, IEEE, 2023. [doi]
Abstract is missing.