Knowledge Tree

researcher / Yves Le Traon

Yves Le Traon

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Analyse conjointe logiciel/matériel de la testabilité de systèmes flot de données

Directed Thesis:

Towards a modelling framework with temporal and uncertain data for adaptive systems

Risk monitoring with intrusion detection for industrial control systems

Exploration des variantes d'artefacts logiciels pour une analyse et une migration vers des lignes de produits

Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles

Analyses automatiques pour le test de programme orientés aspect

Oracles et qualification du test de transformations de modèles

Langage et méthode pour une ingénierie des modèles fiable