3D  Algorithmes d'approximation  Algèbre de processus  Allocation de ressources  Allocation des ressources Cloud  Applications cloud  Approximation  Architecture logicielle  Architectures orientées services  Assistant de preuve  Assistants de preuve  Base de connaissances  Check-lists  Chorégraphie de services  Cloud  Cloud computing  Commande de processus  Composition de services  Composition de services web  Concurrence  Conformité  Contexte  Contexte  Contrats  Coopération entre entreprises  Coordination  Critère qualité  Critères de couverture  Cyberdéfense  Detection de menaces  Déclaration de conformité  Entreprises -- Systèmes d'information  Evaluation de la qualité  Exécution symbolique  Facteur qualité  Fonctions  Fouille du processus  Fragment du processus métier  Gestion d'entreprise  Gestion d'informations personnelles  Gestionnaire autonome  Graphe d'Observation Symbolique  Graphes logiciels  Graphplan  Génie logiciel  Génération de tests aléatoire  IOSTS  Informations personnelles  Informatique dans les nuages  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles  Interopérabilité  Isabelle/HOL  Langages de programmation  Logiciels -- Vérification  Logiciels  Machine temporisée à états finis  Menace internet  Model-Checking  Model-cheking régulier  Modèle de processus  Modèles algébriques  Méthode formelle  Méthodes formelles  Méthodes formelles  Métrique qualité  Ontologie  Ontologies  Optimisation  Outils  Passage de valeurs  Petri, Réseaux de  Politique de sécurité  Politiques de sécurité  Processus Métier Inter-Entreprises  Programmation chimique  Programmation fonctionnelle  Projection  Protocoles de réseaux d'ordinateurs  Qualité de Service  Qualité de service  Ressource Description Framework  Réalisabilité  Réalité augmentée  Réflexivité  Réseaux de Petri  Résolution de problème  Securité  Service web  Services  Services Web  Supervision  Système de transitions symboliques  Systèmes d'information  Systèmes experts  Systèmes informatiques -- Mesures de sûreté  Sécurité  Techniques d'Abstraction  Techniques de synthèse asynchrones  Test  Test de conformité  Test passif  Test à base de modèles  Tests  Tests fonctionnels  Tests passifs  Thèses et écrits académiques  Tolérance aux attaques  Traduction automatique  Vision par ordinateur  Vérification  

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


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


Pascal Poizat a été président de jury des 6 thèses suivantes :


Pascal Poizat a été rapporteur des 6 thèses suivantes :


Pascal Poizat a été membre de jury des 4 thèses suivantes :