Jordy Ruiz
Jordy Ruiz
Postdoctoral Researcher, University of Lille
Verified email at univ-lille.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
132015
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
52016
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
32017
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
22017
Static analysis of binary code with memory indirections using polyhedra
C Ballabriga, J Forget, L Gonnord, G Lipari, J Ruiz
International Conference on Verification, Model Checking, and Abstract …, 2019
12019
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
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
2016
The system can't perform the operation now. Try again later.
Articles 1–8