Using smt solving for the lookup of infeasible paths in binary programs J Ruiz, H Cassé OASICs, Dagstuhl Publishing, 2015 | 18 | 2015 |
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 | 8 | 2019 |
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 | 8 | 2017 |
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 | 7 | 2017 |
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 | 6 | 2016 |
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 | 1 | 2016 |
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 |
Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas| Theses. fr J Ruiz Toulouse 3, 2017 | | 2017 |
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 |
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017) B Rouxel, I Puaut, M Schoeberl, B Cilku, D Prokesch, P Puschner, F Guet, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | | 2017 |
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) E Díaz, J Abella, E Mezzetti, I Agirre, M Azkarate-Askasua, T Vardanega, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016 | | 2016 |
CPU accounting for multicore processors A Buyuktosunoglu, FJ Cazorla, R Gioiosa, M Moreto, J Ruiz, M Valero | | 2012 |
STUDIES AND NOTES JCF Molina, F Moya-Anegón, JAA Ruiz, RA Jorge, CG Calzado, ... Revista Española de Documentación Científica 25 (3), 2002 | | 2002 |