Knowledge Tree

researcher / Daniel Le Métayer

Daniel Le Métayer

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Enhancing transparency and consent in the internet of things

Privacy challenges in wireless communications of the Internet of Things

Méthodes formelles pour le respect de la vie privée par construction

Vérification de politiques de sécurité par analyse de programmes

Une methode et un outil pour l'aide a la generation de jeux de tests de logiciels

Compilation d'un langage specialise pour machine massivement parallele

Preuves de proprietes de classes de programmes par derivation systematique de jeux de test

Techniques d'analyse statique pour l'aide a la mise au point de programmes avec manipulation explicite de pointeurs

Derivation d'analyseurs dynamiques et statiques a partir de specifications operationnelles

Decrire et comparer les mises en oeuvre de langages fonctionnels

Analyse et suivi du mouvement 3d articule : application a l'etude du mouvement humain

Techniques d'analyse et de mise en Œuvre des programmes gamma