Thèses soutenues | LIFO

Thèses soutenues

Thèses soutenues | Thèses en cours

Nombre de thèses : 82

Extension paramétrée de compilateur certifié pour la programmation parallèle

Doctorant : Sylvain DAILLER
Thèse soutenue le 17 décembre, 2015
Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques

Doctorant : Abderrahim AIT WAKRIME
Thèse soutenue le 10 décembre, 2015
Application et assurance autonomes de propriétés de sécurité dans un environnement d’informatique en nuage

Doctorant : Aline BOUSQUET
Thèse soutenue le 2 décembre, 2015
Design of privacy preserving cryptographic protocols for mobile contactless services

Doctorant : Ghada ARFAOUI
Thèse soutenue le 23 novembre, 2015
Contrôle d'accès obligatoire pour systèmes à objets : défense en profondeur des objets Java

Doctorant : Benjamin VENELLE
Thèse soutenue le 16 juillet, 2015
Algorithmes exacts et exponentiels pour des problèmes de graphes

Doctorant : Romain LETOURNEUR
Thèse soutenue le 9 juillet, 2015
Analyse du capitalisme social sur Twitter

Doctorant : Nicolas DUGUÉ
Thèse soutenue le 29 juin, 2015
⌈-Pomset pour la modélisation et la vérification de systèmes parallèles

Doctorant : Mouhamadou Tafsir SAKHO
Thèse soutenue le 17 décembre, 2014
Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation

Doctorant : Thomas PINSARD
Thèse soutenue le 15 décembre, 2014
Coloriage du plan discret par jeux de tuiles déterministes

Doctorant : Bastien LE GLOANNEC
Thèse soutenue le 12 décembre, 2014
Génération modulaire de grammaires formelles

Doctorant : Simon PETITJEAN
Thèse soutenue le 11 décembre, 2014
Comparaison et évolution de schémas XML

Doctorant : Joshua AMAVI
Thèse soutenue le 28 novembre, 2014
Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillages

Doctorant : Hélène COULLON
Thèse soutenue le 29 septembre, 2014
Protection obligatoire répartie : usage pour le calcul intensif et les postes de travail

Doctorant : Damien GROS
Thèse soutenue le 30 juin, 2014
Approche algorithmique pour l’amélioration des performances du système de détection d’intrusions PIGA

Doctorant : Pierre CLAIRET
Thèse soutenue le 24 juin, 2014
Protection obligatoire des serveurs d’applications Web : application aux processus métiers

Doctorant : Maxime FONDA
Thèse soutenue le 21 mai, 2014
Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles

Doctorant : Joeffrey LEGAUX
Thèse soutenue le 13 décembre, 2013
Modèle géométrique de calcul : fractales et barrières de complexité

Doctorant : Maxime SENOT
Thèse soutenue le 27 juin, 2013
Classification non supervisée : de la multiplicité des données à la multiplicité des analyses

Doctorant : Jacques-Henri SUBLEMONTIER
Thèse soutenue le 7 décembre, 2012
Analyses sécuritaires de code de carte à puce sous attaques physiques simulées

Doctorant : Xavier KAUFFMANN-TOURKESTANSKY
Thèse soutenue le 28 novembre, 2012

INSA CVL

© 2025 LIFO. All rights reserved. | Mentions légales