OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Ruiz, Jordy"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item

Mussot, Vincent and Ruiz, Jordy and Sotin, Pascal and De Michiel, Marianne and Cassé, Hugues. Expressing and exploiting path conflicts in WCET analysis. (2016) In: 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) in conjunction with ECRTS, 5 July 2016 (Toulouse, France).

Ruiz, Jordy and Cassé, Hugues. Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs. (2015) In: 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), 7 July 2015 (Lund, Sweden).

This list was generated on Sun Nov 17 00:07:00 2019 CET.