Genet, Thomas
VIAF ID: 204144033 ( Personal )
Permalink: http://viaf.org/viaf/204144033
Preferred Forms
-
100 1 _ ‡a Genet, Thomas
-
100 1 _ ‡a Genet, Thomas
Works
Title | Sources |
---|---|
Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur |
![]() |
Automatic verification of higher-order functional programs using regular tree languages |
![]() |
Certified Automaton Rewriting for Model Checking. |
![]() |
Contraintes d'ordre et automates d'arbres pour les preuves de terminaison |
![]() |
Dialog between chase approach and string rewriting system approach. |
![]() |
Dialogue entre la procédure du chase et la réécriture sur les mots |
![]() |
Etude de la stratégie de réécriture de termes k-bornée |
![]() |
Highlight and execute suspicious paths in Android malware |
![]() |
Mettre en avant et exécuter les chemins suspicieux dans les malwares Android. |
![]() |
Ordering constraints and tree automata for proving termination. |
![]() |
Proving negative conjectures on equational theories using induction and abstract interpretation |
![]() |
Reachability analysis for functional programs with innermost evaluation strategy. |
![]() |
Reachability analysis of rewriting for software verification : [Synthèse de travaux] |
![]() |
Reachability analysis of term rewriting systems with Timbuk extended version |
![]() |
Réécriture d'automates certifiée pour la vérification de modèle |
![]() |
Rewriting for cryptographic protocol verification : extended version |
![]() |
Study of the k-bounded term rewriting strategy. |
![]() |
Sur-approximations non régulières et terminaison pour l'analyse d'accessibilité |
![]() |
Tree automata extensions for verification of infinite states systems. |
![]() |
Vérification automatique de programmes fonctionnels d'ordre supérieur à l'aide de languages réguliers d'arbres. |
![]() |
Vérification et composition des protocoles de securité avec des applications aux protocoles de vote electronique. |
![]() |