Abstraction de Kleene  Accessibilité  Algorithme  Algorithmes  Algorithmes d'approximation  Algèbres de Boole  Arbre de graphe  Arbre de pile  Arbres  Arbres  Automate  Automate à surpile  Automates  Automates infinis  Automates mathématiques, Théorie des  Automates à pile  Boole, Algèbre de  Commande automatique  Décidabilité  Décidabilité  Détection de logiciel malveillant  Fermeture transitive  Grammaire  Grammaires de graphes  Graphe  Graphes infini  Graphes orientés  Graphes, Théorie des  Hiérarchie de Chomsky  Hiérarchie à pile  Hyper-propriétés  Langages algébriques  Langages formels  Réécriture, Systèmes de  Vérification  Vérification de modèles  

Didier Caucal a rédigé la thèse suivante :

Décidabilité de l'équivalence forte des schémas récursifs de programmes monadiques

par Didier Caucal sous la direction de Laurent Kott - Paris 7

Informatique théorique

Soutenue en 1985

Didier Caucal a dirigé les 11 thèses suivantes :

Automates infinis et traces de Mazurkiewicz

par Alexandre Mansard sous la direction de Christian Delhommé et de Didier Caucal . - La Réunion

Mathématiques - Informatique

Soutenue le 24-11-2020

Réécriture d’arbres de piles et traces de systèmes à compteurs

par Vincent Penelle sous la direction de Didier Caucal - Paris Est

Informatique

Soutenue le 20-11-2015

Grammaires de graphes et langages formels

par Trong Hiêu Dinh sous la direction de Didier Caucal - Paris Est

Informatique

Soutenue le 11-07-2011

The structure of orders in the pushdown hierarchy

par Laurent Braud sous la direction de Didier Caucal - Paris Est

Informatique

Soutenue le 10-12-2010

Synchronisation de grammaires de graphes

par Stéphane Hassen sous la direction de Didier Caucal et de Jean Diatta . - La Réunion

Informatique

Soutenue en 2009

Automates infinis, logique et langages

par Arnaud Carayol sous la direction de Didier Caucal - Rennes 1

Informatique

Soutenue en 2006

Graphes infinis de présentation finie

par Antoine Meyer sous la direction de Didier Caucal - Rennes 1

Informatique

Soutenue en 2005

Représentations et propriétés de structures infinies

par Thomas Colcombet sous la direction de Didier Caucal - Rennes 1

Informatique

Soutenue en 2004

Jeux sur des graphes d'automates à pile et leurs extensions

par Thierry Cachat sous la direction de Didier Caucal - Rennes 1

Informatique

Soutenue en 2004

Familles abstraites de graphes

par Tanguy Urvoy sous la direction de Didier Caucal - Rennes 1

Informatique

Soutenue en 2003

Les graphes rationnels

par Christophe Morvan sous la direction de Didier Caucal - Rennes 1

Informatique

Soutenue en 2001

Didier Caucal a été président de jury de la thèse suivante :

On model-checking pushdown systems models

par Adrien Pommellet sous la direction de Tayssir Touili - Sorbonne Paris Cité

Informatique

Soutenue le 05-07-2018

Didier Caucal a été rapporteur de la thèse suivante :

On CARET model-checking of pushdown systems : application to malware detection

par Huu vu Nguyen sous la direction de Tayssir Touili - Sorbonne Paris Cité

Informatique

Soutenue le 05-07-2018