Follow
Jordy Ruiz
Jordy Ruiz
Research Engineer, Statinf
Verified email at statinf.fr - Homepage
Title
Cited by
Cited by
Year
Using smt solving for the lookup of infeasible paths in binary programs
J Ruiz, H Cassé
OASICs, Dagstuhl Publishing, 2015
182015
Static analysis of binary code with memory indirections using polyhedra
C Ballabriga, J Forget, L Gonnord, G Lipari, J Ruiz
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
82019
Working around loops for infeasible path detection in binary programs
J Ruiz, H Cassé, M De Michiel
2017 IEEE 17th International Working Conference on Source Code Analysis and …, 2017
72017
The W-SEPT project: Towards semantic-aware WCET estimation
C Maiza, P Raymond, C Parent-Vigouroux, A Bonenfant, F Carrier, ...
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), 2017
72017
Expressing and exploiting conflicts over paths in WCET analysis
V Mussot, J Ruiz, P Sotin, M De Michiel, H Cassé
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), 2016
62016
Expressing and exploiting path conflicts in WCET analysis
V Mussot, J Ruiz, P Sotin, M De Michiel, H Cassé
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016 …, 2016
12016
Relational abstract interpretation of arrays in assembly code
C Ballabriga, J Forget, J Ruiz
Formal Methods in System Design 59 (1), 103-135, 2021
2021
Lookup of data flow properties to improve worst-case execution time estimations
J Ruiz
Institut de Recherche en Informatique de Toulouse, 2017
2017
Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas
J Ruiz
Université Paul Sabatier-Toulouse III, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–9