AFDX  ASTD  Abstraction  Acquisition automatique des données  Adaptateurs  Adaptation  Adaptation Sémantique.  Adaptation sémantique  Agda  Algorithme de planification  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  Assistance  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 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  Comparaison  Compatibilité  Compilation  Compilation  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  Correct par construction  Correcte par construction  Correction de la mise à jour dynamique des programmes  Cosimulation  Coupe-feu  Coévolution  Criticité  Crédibilité  Ctl  Ctt  Cube de données  Cyberstratégie  Cyberterrorisme  Cycle de conception  Cycles  DI-OrBAC  Description des ressources  Design patterns  Distribution  Distribué  Domaines expérimentaux  Données  Données RDF Données massives  Données ouvertes  Découverte de patterns  Délai de bout-en-bout  Dépendances  Déploiement  Détection d'intrusions  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  Explorations de graphes  Extraction de connaissances  Extraction/recherche d'information  Fichiers  Flux de travail  Fragmentation  Génie logiciel  IDM  Ingénierie des exigences  Ingénierie dirigée par les modèles  Intelligence artificielle  Interaction homme-ordinateur  Interfaces utilisateur  Langages d'interrogation  Langages de programmation  Langages formels  Logiciels -- Validation  Logiciels -- Vérification  Logiciels  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  Preuve de théorème  Raffinement  Représentation des connaissances  Ressource Description Framework  Réseaux électriques intelligents  SOA  Service Web  Services Web  Simulation  Spécification  Spécification formelle  Structures de données  SysML  Systèmes complexes  Systèmes critiques  Systèmes d'information  Systèmes de détection d'intrusion  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  Traitement automatique du langage naturel  Travail collaboratif  UML  Verification  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 29 thèses suivantes :

Informatique et Télécommunication
Soutenue le 14-09-2020
Thèse soutenue
Informatique et Télécommunication
Soutenue le 12-06-2020
Thèse soutenue
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 12 thèses suivantes :

Réseaux, Télécommunications, Systèmes et Architecture
Soutenue le 29-05-2020
Thèse soutenue


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

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


Yamine Aït-Ameur a été membre de jury des 15 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