Knowledge Tree

researcher / Hugues Cassé

Hugues Cassé

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Analyse des références mémoires en C par interprétation abstraite

Directed Thesis:

Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas

Optimisation de l'estimation du WCET par analyse inter-tâche du cache d'intructions