WCET analysis with procedure arguments as parameters. - Sandro Grebant; Clément Ballabriga; Julien Forget; Giuseppe Lipari (RTNS, 2023)

Efficient tree-based symbolic WCET computation. (Calcul efficace du pire temps d'exécution symbolique à base d'arbres). - Sandro Grebant (2023)

Parametric WCET as a function of procedure arguments: Analysis and applications. - Sandro Grebant; Clément Ballabriga; Julien Forget; Giuseppe Lipari (J. Syst. Archit., 2024)