"Real-time Embedded Systems"@en . "CCS Concepts \u2022 Computer systems organization \u2192 Real-Time Systems"@en . . "Ballabriga" . "Symbolic evaluation"@en . "Static analysis"@en . "50de60a039c1a4d4d17d799fb0282d18" . . "WCET analysis"@en . <152839445> . "Cl\u00E9ment Ballabriga" . . "Cl\u00E9ment" . . "Additional Key Words and Phrases Worst-case execution time"@en . "Symbolic computations"@en . "Energy-aware test generation"@en . "Worst-case Execution Time WCET"@en . "WCET estimation"@en . "Worst-Case Execution Time"@en . "Binary analysis"@en . . "Mobile Apps"@en . "Symbolic analysis"@en . "Infeasible paths"@en . "Energy bugs"@en . . "Embedded Software"@en . . "Non-functional testing"@en . "WCET"@en . "Real-time"@en . . "Polyhedra"@en .