Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems.

Jian-Jia Chen, Niklas Ueter, Mario Gnzel, Georg von der Brggen, Tei-Wei Kuo

Browse the full DAC paper archive.