Mohamed Farag Younis
-
Formal Verification of Compiler Transformations for Speculative Real-Time Execution
Automatica (Journal of IFAC)