Knowledge Tree

researcher / Yamine Aït-Ameur

Yamine Aït-Ameur

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Application des techniques d'interprétation abstraite aux développements formels de programmes

Directed Thesis:

Utilisation conjointe des ontologies et du contexte pour la conception des systèmes de stockage de données

Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie

Techniques de rôle mining pour la gestion de politiques de sécurité : application à l'administration de la sécurité réseau

Extension des systèmes de métamodélisation persistant avec la sémantique comportementale

Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion

Contribution à la définition d'une méthode de conception de bases de données à base ontologique

Construction d'ontologies à partir de textes : une approche basée sur les transformations de modèles

A generic model for handling preferences in ontology based databases

Contribution à la validation formelle d'applications interactives Java