Jordy Ruiz
Jordy Ruiz
Postdoctoral Researcher, University of Lille
E-mail confirmado em univ-lille.fr - Página inicial
TítuloCitado porAno
Using SMT solving for the lookup of infeasible paths in binary programs
J Ruiz, H Cassé
OASICs, Dagstuhl Publishing, 2015
112015
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
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
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
12017
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