| Using smt solving for the lookup of infeasible paths in binary programs J Ruiz, H Cassé OASICs, Dagstuhl Publishing, 2015 | 16 | 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 | 6 | 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 | 6 | 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 |
| 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 | 5 | 2017 |
| Relational abstract interpretation of arrays in assembly code C Ballabriga, J Forget, J Ruiz Formal Methods in System Design 59 (1-3), 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 |
| 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 |
