Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs. - Jordy Ruiz; Hugues Cassé (WCET, 2015)

Expressing and Exploiting Conflicts over Paths in WCET Analysis. - Vincent Mussot; Jordy Ruiz; Pascal Sotin; Marianne De Michiel; Hugues Cassé (WCET, 2016)

Working Around Loops for Infeasible Path Detection in Binary Programs. - Jordy Ruiz; Hugues Cassé; Marianne De Michiel (SCAM, 2017)

The W-SEPT Project: Towards Semantic-Aware WCET Estimation. - Claire Maiza; Pascal Raymond; Catherine Parent-Vigouroux; Armelle Bonenfant; Fabienne Carrier; Hugues Cassé; Philippe Cuenot; Denis Claraz; Nicolas Halbwachs; Erwan Jahier; Hanbing Li; Marianne De Michiel; et al. (WCET, 2017)

Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas. (Lookup of data flow properties to improve worst-case execution time estimations). - Jordy Ruiz (2017)

Static Analysis of Binary Code with Memory Indirections Using Polyhedra. - Clément Ballabriga; Julien Forget; Laure Gonnord; Giuseppe Lipari; Jordy Ruiz (VMCAI, 2019)

Relational abstract interpretation of arrays in assembly code. - Clément Ballabriga; Julien Forget; Jordy Ruiz (Formal Methods Syst. Des., 2021)