3D  Algorithmes d'approximation  Algèbre de processus  Allocation de ressources  Allocation des ressources Cloud  Alloy  Analyse des données  Applications cloud  Apprentissage non supervisé  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é  Conformité de Modèles  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 -- Recherche  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  Logiciel  Logiciels -- Vérification  Logiciels  Logique de premier-Ordre  Logique informatique  Machine temporisée à états finis  Mde  Menace internet  Model-Checking  Model-checking  Model-cheking régulier  Modèle de processus  Modèles algébriques  Méthode formelle  Méthodes formelles  Méthodes formelles  Méthodologie  Métrique qualité  Ontologie  Ontologies  Optimisation  Outils  Partitionnement  Passage de valeurs  Petri, Réseaux de  Politique de sécurité  Politiques de sécurité  Process Mining  Processus Métier Inter-Entreprises  Procédés Métiers  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éseaux de capteurs  Réseaux de capteurs  Résolution de problème  Satisfiabilité modulo théories  Securité  Service web  Services  Services Web  Supervision  Système de transitions symboliques  Systèmes d'information  Systèmes distribués  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  Tla+  Tolérance aux attaques  Traduction automatique  Vision par ordinateur  Vérification  Vérification de modèles  Vérification de modèles  Vérification de modèles modulo theories  Vérification déductive  Wsn  

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


Pascal Poizat dirige actuellement la thèse suivante :

Informatique, Systèmes informatiques, Modélisation, Vérification, Méthodes Formelles, Logiciels
En préparation depuis le 01-01-2017
Thèse en préparation


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


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


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


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