Genet, Thomas
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
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. |
|
