Abstraction  Acquisition automatique des données  Adaptateurs  Adaptation  Adaptation Sémantique.  Adaptation sémantique  Algorithmes  Algorithmes distribués  Algorithmique distribuée  Alignement d'ontologies  Allocation  Alloy  Analyse de journaux d’interaction  Analyse des données  Analyse des risques  Analyse fonctionnelle  Analyse statique  Analyse temporelle  Annotation  Applications temps réel  Apprentissage automatique  Approche "correct-par-construction"  Architecture -- Informatique  Architecture client-serveur  Architecture d’Entreprise  Architecture fonctionnelle  Architecture orientées services  Architectures logicielles  Architectures orientées services  Assemblage  Assistant à la preuve  Assistants de preuve  Assistants de preuves  Attaques internes  Atteignabilité  Automate et CEP  Automates  Automates d'interface  Automates temporisés  Automobiles -- Systèmes d'aide à la conduite  Avionique  Avionique modulaire intégrée  Aéronautique  B  B  B-événementiel  BASIC  BDBO  Base de données à base ontologique  Bases de données -- Conception  Bases de données -- Gestion  Bases de données -- Interrogation  Bases de données  Bases de données sur le Web  Bases de données à bases ontologiques  Besoins des utilisateurs  Besoins utilisateurs  Boole, Algèbre de  Brouillage électromagnétique  Calculs locaux  Catégories  Certification  Chaînes de traitement  Clustering  Code de programmation  Commande automatique  Commerce électronique  Communauté de services et OSC  Compatibilité  Composants logiciels  Composition automatique  Composition des services web  Compositions de services  Conception collaborative  Confidentialité  Conformité  Connaissances implicites  Consommateurs -- Attitude  Contexte  Contexte de travail  Contextes d’analyse à la demande  Contrats électronique  Contrôle commande  Coopération B2B  Coopération entre entreprises  Coq  Coq  Correcte par construction  Correction de la mise à jour dynamique des programmes  Coupe-feu  Criticité  Crédibilité  Ctl  Ctt  Cube de données  Cycle de conception  Cycles  DI-OrBAC  Description des ressources  Design patterns  Distribution  Domaines expérimentaux  Données RDF Données ouvertes  Découverte de patterns  Dépendances  Déploiement  Détection et résolution des incompatibilités  Développement basé sur les composants  Développements formels de programmes  Entreprises -- Réseaux d'ordinateurs  Entrepôt de besoins  Entrepôts de données  Equilibrage de charge  Event-B  EventB  Evolution des logiciels  Evénement  Exigences  Exploration de données  Extraction de connaissances  Extraction/recherche d'information  Fiabilité  Fichiers  Fichiers  Flux de travail  Formalisation  Formalismes logiques  Formel  Fouille de données  Fragmentation  Fragmentation horizontale  Garantie probabilitique  Gestion des conflits  Grilles informatiques  Groupes de travail -- Informatique  Génie logiciel  Générateurs  Génération automatique de code  Généricité  IDM  IOrBAC  Idm  Incompatibilités structurelles et comportementales  Index de jointure binaire  Indexation sémantique  Informatique -- Procédures de secours  Informatique  Informatique dans les nuages  Infrastructures critiques  Infrastructures d'informations critiques  Inférence de modèles  Ingénierie  Ingénierie des exigences  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Intelligence artificielle  Interaction homme-ordinateur  Interfaces utilisateur  Langages d'interrogation  Langages formels  Logiciels -- Validation  Logiciels -- Vérification  Model-Checking  Modèles mathématiques  Modélisation  Modélisation des données  Modélisation hétérogène  Méta-modélisation  Méthodes formelles  Méthodes formelles  OLAP  Ontologie  Ontologies  Optimisation mathématique  Ordonnancement  Ordonnancement  Preuve  Raffinement  Représentation des connaissances  SOA  Service Web  Services Web  Spécification  Structures de données  SysML  Systèmes complexes  Systèmes d'information  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systèmes, Analyse de  Systèmes, Conception de  Temps réel  Thèses et écrits académiques  Traitement automatique du langage naturel  Travail collaboratif  UML  Vérification  Vérification formelle  Web sémantique  

Yamine Aït-Ameur a rédigé la thèse suivante :


Yamine Aït-Ameur dirige actuellement la thèse suivante :


Yamine Aït-Ameur a dirigé les 26 thèses suivantes :

Sureté de Logiciel et Calcul à Haute Performance
Soutenue le 06-03-2018
Thèse soutenue
Sureté de Logiciel et Calcul à Haute Performance
Soutenue le 06-07-2017
Thèse soutenue
Sureté de Logiciel et Calcul à Haute Performance
Soutenue le 13-07-2016
Thèse soutenue
Sureté de logiciel et calcul à haute performance
Soutenue le 30-01-2015
Thèse soutenue
Sûreté de Logiciel et Calcul à Haute Performance
Soutenue le 09-12-2014
Thèse soutenue
Sûreté de Logiciel et Calcul à Haute Performance
Soutenue le 13-05-2014
Thèse soutenue


Yamine Aït-Ameur a été président de jury des 9 thèses suivantes :


Yamine Aït-Ameur a été rapporteur des 19 thèses suivantes :

Informatique
Soutenue le 04-07-2012
Thèse soutenue


Yamine Aït-Ameur a été membre de jury des 14 thèses suivantes :

Réseaux, Télécommunications, Systèmes et Architecture
Soutenue le 23-04-2016
Thèse soutenue
Informatique (E-santé)
Soutenue le 08-10-2010
Thèse soutenue

Informatique
Soutenue le 25-06-2010
Thèse soutenue