Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Adrien Pommellet

est l'auteur d'une thèse
a dirigé 1 thèse

ACD Abstraction de Kleene Algorithmes d'approximation Automate à surpile Automates à pile Hyper-propriétés Jeu LTL Méthodes formelles Paritisation Pointeur de pile Réduction Réseaux d'automates à pile synchronisés Structures de données Systèmes à pile Théorie des automates mathématiques Théorie des jeux Vérification de modèles Ω-automates

Fullscreen

ACD Abstraction de Kleene Algorithmes d'approximation Automate à surpile Automates à pile Hyper-propriétés Jeu LTL Méthodes formelles Paritisation Pointeur de pile Réduction Réseaux d'automates à pile synchronisés Structures de données Systèmes à pile Théorie des automates mathématiques Théorie des jeux Vérification de modèles Ω-automates

Adrien Pommellet a rédigé 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

Thèse soutenue

Accéder en ligne

Adrien Pommellet a dirigé la thèse suivante :

Transformations d’ω-automates pour la synthèse de systèmes réactifs

par Florian Renkin sous la direction de Alexandre Duret-Lutz et de Adrien Pommellet . - Sorbonne université

Informatique

Soutenue le 07-10-2022

Thèse soutenue

Accéder en ligne