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é  Génie logiciel  Informatique dans les nuages  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Logiciels -- Vérification  Méthodes formelles  Ontologie  Ontologies  Services Web  Systèmes d'information  Systèmes informatiques -- Mesures de sûreté  Vérification  

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

Korrigan : un formalisme et une methode pour la specification formelle et structuree de systemes mixtes

par Pascal Poizat sous la direction de Christine Choppy - Nantes

Sciences et techniques

Soutenue en 2000

Pascal Poizat dirige actuellement la thèse suivante :

Vérification paramétrée à partir des spécifications formelles pour des systèmes d'information

par Sara Houhou sous la direction de Pascal Poizat et de Laid Kahloul . - Sorbonne université

Informatique, Systèmes informatiques, Modélisation, Vérification, Méthodes Formelles, Logiciels

En préparation depuis le 01-01-2017

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

Informations personnelles sensibles aux contextes : modélisation, interrogation et composition

par Rania Khéfifi sous la direction de Pascal Poizat - Paris 11

Informatique

Soutenue le 26-09-2014

A symbolic approach for the verification and the test of service choreographies

par Hữu Nghĩa Nguyễn (Nguyen) sous la direction de Fatiha Zaïdi et de Pascal Poizat . - Paris 11

Informatique

Soutenue le 31-10-2013

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

Process Instance Clustering Based on Conformance Checking Artefacts

par Mathilde Boltenhagen sous la direction de Thomas Chatain - université Paris-Saclay

Informatique

Soutenue le 21-10-2021

Ingénierie dirigée par les modèles pour la conception et la mise en œuvre des réseaux de capteurs

par Abdenour Kifouche sous la direction de Geneviève Baudoin - Paris Est

Electronique, Optronique et Systèmes

Soutenue le 11-09-2019

Sécurité dans le cloud : framework de détection de menaces internes basé sur l'analyse d'anomalies

par Pamela Carvallo sous la direction de Stéphane Maag et de Natalia Kushik . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 17-12-2018

A model driven engineering approach to build secure information systems

par Thi Mai Nguyen sous la direction de Amel Mammar et de Régine Laleau . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 13-01-2017

Model-based Testing of Operating System-Level Security Mechanisms

par Yakoub Nemouchi sous la direction de Burkhart Wolff - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-03-2016

Timed FSM strategy for optimizing web service compositions w.r.t. the quality and safety issues

par Olga Kondratyeva sous la direction de Ana Cavalli et de Nina Yevtushenko . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 03-12-2015

Vérification de spécifications EB-3 à l'aide de techniques de model-checking

par Dimitrios Vekris sous la direction de Catalin Dima - Paris Est

Informatique

Soutenue le 10-12-2014

Architecture distribuée dédiée aux applications de réalité augmentée mobile

par Mehdi Chouiten sous la direction de Malik Mallem - Evry-Val d'Essonne

Informatique

Soutenue le 31-01-2013

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

Extensions de l’algorithme d’atteignabilité arrière dans le cadre de la vérification de modèles modulo théories

par Mattias Roux sous la direction de Sylvain Conchon - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 19-12-2019

Attack tolerance for services-based applications in the Cloud

par Georges Ouffoué (Ouffoué) sous la direction de Fatiha Zaïdi - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 21-12-2018

Model-Based Testing over IOSTS enriched with function calls

par Imen Boudhiba sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 02-03-2017

Modeling and mining business process variants in cloud environments

par Karn Yongsiriwit sous la direction de Walid Gaaloul - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 23-01-2017

Propagation Analysis based on Software Graphs and Synthetic Data

par Vincenzo Musco sous la direction de Philippe Preux - Lille 3

Informatique

Soutenue le 03-11-2016

A chemical programming language for orchestrating services : Application to interoperability problems

par Mayleen Lacouture sous la direction de Mario Südholt - Nantes, Ecole des Mines

Informatique et applications

Soutenue le 31-10-2014

Contribution à l’automatisation et à l'évaluation des architectures logicielles ouvertes

par Riad Belkhatir sous la direction de Mourad-Chabane Oussalah - Nantes

Informatique, Génie logiciel

Soutenue en 2014

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

Coordination and reconfiguration of distributed cloud applications

par Rim Abid sous la direction de Gwen Salaün - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 16-12-2015

Abstraction and modular verification of inter-enterprise business processes

par Hanen Ochi sous la direction de Kais Klai - Sorbonne Paris Cité

Informatique

Soutenue le 11-12-2015

Testing concurrent systems through event structures

par Hernan Ponce de León sous la direction de Stefan Haar - Cachan, Ecole normale supérieure

Informatique

Soutenue le 07-11-2014

Contributions à la vérification et à la validation efficaces fondées sur des modèles

par Alois Dreyfus sous la direction de Pierre-Cyrille Héam et de Olga Kouchnarenko . - Besançon

Informatique

Soutenue le 22-10-2014