Jordy Ruiz

According to our database, Jordy Ruiz authored at least 7 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Relational abstract interpretation of arrays in assembly code.

Clément Ballabriga, Julien Forget, Jordy Ruiz

Formal Methods Syst. Des., 2021

2019

Static Analysis of Binary Code with Memory Indirections Using Polyhedra.

Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2017

Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas. (Lookup of data flow properties to improve worst-case execution time estimations).

Jordy Ruiz

PhD thesis, 2017

The W-SEPT Project: Towards Semantic-Aware WCET Estimation.

Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne De Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

Working Around Loops for Infeasible Path Detection in Binary Programs.

Jordy Ruiz, Hugues Cassé, Marianne De Michiel

Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017

2016

Expressing and Exploiting Conflicts over Paths in WCET Analysis.

Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne De Michiel, Hugues Cassé

Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

2015

Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs.

Jordy Ruiz, Hugues Cassé

Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015