Abstraction  Algorithmes d'approximation  Allocation de ressources  Alloy  Base de donnée  Cloud Computing  Composition de services  Configuration des ressources Cloud  Contexte  Contexte  Coopération entre entreprises  Diagramme de décision binaire  Entreprises -- Systèmes d'information  Framework  Gestion d'entreprise  Gestion d'informations personnelles  Gestion de processus métiers  Graphe d'Observation Symbolique  Graphe d’Observation Symbolique  Graphplan  Grille de PCs  Informations personnelles  Informatique dans les nuages  Informatique mobile  Innovations technologiques  Logique de premier-Ordre  Logique informatique  Logique temporelle  Model Checking Symbolique  Model Checking parallèle  Model-Checking  Model-checking  Méthodes formelles  Services Web  Vérification  

Kais Klai a rédigé la thèse suivante :

Réseaux de Petri : vérification symbolique et modulaire

par Kais Klai sous la direction de Serge Haddad - Paris 6

Informatique

Soutenue en 2003

Kais Klai a dirigé les 2 thèses suivantes :

Vérification parallèle de systémes concurrents en utilisant le Graphe d’Observation Symbolique

par Hiba Ouni sous la direction de Kais Klai et de Zouari Belhassen . - Paris 13

Informatique

Soutenue le 20-12-2019

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

Kais Klai a été rapporteur des 2 thèses suivantes :

Alloy4PV : un Framework pour la Vérification de Procédés Métiers

par Yoann Laurent sous la direction de Reda Bendraou et de Marie-Pierre Gervais . - Paris 6

Informatique

Soutenue le 15-01-2015

Decidability and complexity of simulation preorder for data-centric Web services

par Lakhdar Akroun sous la direction de Farouk Toumani - Clermont-Ferrand 2

Informatique

Soutenue le 08-12-2014

Kais Klai a été membre de jury des 4 thèses suivantes :

Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : application aux véhicules autonomes communicants

par Johan Arcile sous la direction de Hanna Klaudel - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 13-12-2019

Supporting cloud resource allocation in configurable business process models

par Emna Hachicha Belghith sous la direction de Walid Gaaloul - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 22-09-2017

Revisiter les grilles de PCs avec des technologies du Web et le Cloud computing

par Leila Abidi sous la direction de Christophe Cérin et de Mohamed Jemni . - Sorbonne Paris Cité

Informatique

Soutenue le 03-03-2015

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