Abstraction hiérarchique  Algorithmes  Algorithmes parallèles  Architectures manycore  Automate temporisé  Automate à mémoire  Automates temporisés  Calcul adaptatif  Cloud Computing  Cloudlet  Compilation  Concurrence  Contraintes  Dépliage  Déportation  Expression régulière  Expressions rationnelles  Informatique  Informatique dans les nuages  Inspection  Intelligence artificielle répartie  Langages formels  Logiciels -- Vérification  Logique temporelle  Logique temporelle des actions  Logiques temporelles  Migration  Model-checking  Modularité  Modélisation en écologie  Mu-calcul  Méthodes formelles  Méthodes formelles  Noyaux  Petri, Réseaux de  Vérification de modèles  

Franck Pommereau a rédigé la thèse suivante :

Modèles composables et concurrents pour le temps-réel

par Franck Pommereau sous la direction de Elisabeth Pelz et de Hanna Klaudel . - Paris 12

Informatique

Soutenue en 2002

Franck Pommereau dirige actuellement la thèse suivante :

Analyse possibiliste de modèles discrets d’écosystèmes par des techniques symboliques

par Colin Thomas sous la direction de Franck Pommereau - université Paris-Saclay

Informatique

En préparation depuis le 01-11-2019

Franck Pommereau a dirigé les 4 thèses suivantes :

Contributions au co-design de noyaux irréguliers sur architectures manycore : cas du remaillage anisotrope multi-échelle en mécanique des fluides numérique

par Hoby Rakotoarivelo sous la direction de Franck Pommereau - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 06-07-2018

Analyse de systèmes modulaires à l'aide de techniques d'abstractions hiérarchiques

par Yves-Stan Le Cornec sous la direction de Franck Pommereau - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 11-07-2016

Compilation de réseaux de Petri : modèles haut niveau et symétries de processus

par Lukasz Fronc sous la direction de Hanna Klaudel et de Franck Pommereau . - Evry-Val d'Essonne

Informatique

Soutenue le 28-11-2013

Modélisation et analyse de la sécurité dans un système de stockage pair-à-pair

par Samira Chaou sous la direction de Franck Pommereau - Evry-Val d'Essonne

Informatique

Soutenue le 11-01-2013

Franck Pommereau a été président de jury des 2 thèses suivantes :

Reconnaissance de motifs dynamiques par automates temporisés à mémoire

par Clément Bertrand sous la direction de Hanna Klaudel - université Paris-Saclay

Informatique

Soutenue le 17-12-2020

Modelling and analysing open reconfigurable systems

par Viet Van Pham sous la direction de Hanna Klaudel et de Frédéric Peschanski . - Evry-Val d'Essonne

Informatique

Soutenue le 26-09-2014

Franck Pommereau a été rapporteur des 3 thèses suivantes :

Quasi optimal model checking for concurrent systems

par Thi Thanh Huyen Nguyen sous la direction de Laure Petrucci - Sorbonne Paris Cité

Informatique

Soutenue le 21-12-2018

La mobilité du code dans les systèmes embarqués

par Guy Lahlou Djiken sous la direction de Fabrice Mourlin et de Laure Pauline Fotso . - Paris Est

Informatique

Soutenue le 14-12-2018

Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle

par Amira Methni sous la direction de Kamel Barkaoui et de Serge Haddad . - Paris, CNAM

Informatique

Soutenue le 07-07-2016

Franck Pommereau a été membre de jury des 2 thèses suivantes :

Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics

par Amélie David sous la direction de Serenella Cerrito et de Valentin Goranko . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-09-2015

BSP algorithms for LTL & CTL model checking of security protocols

par Michaël Guedj sous la direction de Gaétan Hains et de Frédéric Gava . - Paris Est

Informatique

Soutenue le 11-10-2012