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

Kais Klai

est l'auteur d'une thèse
a dirigé 1 thèse
a été rapporteur pour 1 thèse
a été membre de jury pour 4 thèses

Abstraction Allocation de ressources 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 Gestion d'entreprise Gestion d'informations personnelles Gestion de processus métiers Graphe d'Observation Symbolique Graphplan Grille de PCs Informations personnelles Informatique dans les nuages Informatique mobile Innovations technologiques Logique temporelle Model-checking Modèle formel Modèles de processus configurables Modélisation formelle Méthodes formelles Ontologie Ontologies Politique de sécurité Processus Métier Inter-Entreprises Publication-souscription Réseaux de Petri Service Web orienté données Services Web Simulation par ordinateur Social computing Systèmes complexes Systèmes virtuels Temps réel Véhicules autonomes Vérification Vérification Formel Vérification modulaire Web semantique Web sémantique Workflow scientifique

Fullscreen

Abstraction Allocation de ressources 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 Gestion d'entreprise Gestion d'informations personnelles Gestion de processus métiers Graphe d'Observation Symbolique Graphplan Grille de PCs Informations personnelles Informatique dans les nuages Informatique mobile Innovations technologiques Logique temporelle Model-checking Modèle formel Modèles de processus configurables Modélisation formelle Méthodes formelles Ontologie Ontologies Politique de sécurité Processus Métier Inter-Entreprises Publication-souscription Réseaux de Petri Service Web orienté données Services Web

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

Thèse soutenue

Kais Klai a dirigé la thèse suivante :

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

Thèse soutenue

Accéder en ligne

Kais Klai a été rapporteur de la thèse suivante :

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

Thèse soutenue

Accéder en ligne

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

Thèse soutenue

Accéder en ligne

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

Thèse soutenue

Accéder en ligne

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

Thèse soutenue

Accéder en ligne

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

Thèse soutenue

Accéder en ligne