Knowledge Tree

researcher / Thomas Genet

Thomas Genet

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Contraintes d'ordre et automates d'arbres pour les preuves de terminaison

Directed Thesis:

Automatic verification of higher-order functional programs using regular tree languages

Highlight and execute suspicious paths in Android malware

Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur

Extensions des automates d'arbres pour la vérification de systèmes à états infinis

Réécriture d'automates certifiée pour la vérification de modèle