Analyse dynamique de malware  Automata theory  Automate des positions  Automates  Automates a poids  Automates boustrophédons  Automates circulaires  Automates finis  Automates mathématiques, Théorie des  Automates pondérés  Automates sur les mots infinis  Calcul formel  Complexité de calcul  Compression  Computational complexity  Computer algebra  Concision des expressions  Données -- Compression  Décidabilité  Décidabilité  Détection de malware  Expressions rationnelles  Google Android  Graph theory  Graphes, Théorie des  Huffman  Langages algébriques  Langages rationnels  Language theory  Logique  Logique mathématique  Machines séquentielles, Théorie des  Malware Android  Markov, Processus de  Minimisation  Mot vide  

Pascal Caron a rédigé la thèse suivante :

Langages rationnels et automates : de la théorie à la programmation

par Pascal Caron sous la direction de Jean-Marc Champarnaud - Rouen

Sciences appliquées

Soutenue en 1997

Pascal Caron a dirigé les 2 thèses suivantes :

Etude d'extensions des langages déterministes

par Clément Miklarz sous la direction de Pascal Caron - Normandie

Informatique

Soutenue le 15-03-2019

Des Codes barres pour les langages rationnels

par Ludovic Mignot sous la direction de Jean-Marc Champarnaud et de Pascal Caron . - Rouen

Informatique

Soutenue en 2010

Pascal Caron a été rapporteur des 3 thèses suivantes :

Expressivité des automates pondérés circulaires et boustrophédons

par Louis-Marie Dando sous la direction de Sylvain Lombardy - Bordeaux

Informatique

Soutenue le 09-09-2019

Compression guidée par automate et noyaux rationnels

par Ahmed Amarni sous la direction de Marie-Pierre Béal - Paris Est

Informatique

Soutenue le 11-05-2015

Quelques contributions en logique mathématique et en théorie des automates

par Mohamed Dahmoune sous la direction de Patrick Cegielski - Paris Est

Informatique

Soutenue le 23-06-2014

Pascal Caron a été membre de jury de la thèse suivante :

Caractérisation et détection de malware Android basées sur les flux d'information.

par Radoniaina Andriatsimandefitra Ratsisahanana sous la direction de Ludovic Mé - Supélec

Informatique (STIC)

Soutenue le 15-12-2014