Jordy Ruiz
Jordy Ruiz
Postdoctoral Researcher, University of Lille
E-mail confirmado em univ-lille.fr - Página inicial
Título
Citado por
Citado por
Ano
Using smt solving for the lookup of infeasible paths in binary programs
J Ruiz, H Cassé
OASICs, Dagstuhl Publishing, 2015
122015
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
42016
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
22017
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
Expressing and exploiting path conflicts in wcet analysis
V Mussot, J Ruiz, P Sotin, M De Michiel, H Cassé
12016
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
2019
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
2017
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–8