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 | |
Static analysis of pattern eliminating transformations. | |
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. |