Thèses soutenues | LIFO

Thèses soutenues

Thèses soutenues | Thèses en cours

Nombre de thèses : 77

Formal Methods meet Security in a Cost Aware Cloud Brokerage Solution

Doctorant : Salwa SOUAF
Thèse soutenue le 15 décembre, 2020
Apprentissage d'espaces prétopologiques pour l'extraction de connaissances structurées

Doctorant : Gaëtan CAILLAUT
Thèse soutenue le 5 décembre, 2019
Parallèlisme des calculs numériques appliqué aux géosciences

Doctorant : Gauthier SORNET
Thèse soutenue le 10 octobre, 2019
Automatic Generation of Bulk-Synchronous Parallel code

Doctorant : Thibaut TACHON
Thèse soutenue le 28 juin, 2019
Static Analysis for BSPlib Programs

Doctorant : Filip JAKOBSSON
Thèse soutenue le 28 juin, 2019
Construction semi-automatique d'une grammaire d'arbres adjoints pour l'analyse syntaxico-sémantique de l'arabe

Doctorant : Cherifa BEN KHELIL
Thèse soutenue le 14 juin, 2019
Personalising privacy contraints in Generalization-based Anonymization Models

Doctorant : Axel MICHEL
Thèse soutenue le 8 avril, 2019
L'interrogation du web de données garantissant des réponses valides par rapport à des critères donnés

Doctorant : Thanh Binh NGUYEN
Thèse soutenue le 3 décembre, 2018
Universalité et complexité des automates cellulaires coagulants

Doctorant : Diego MALDONADO
Thèse soutenue le 26 novembre, 2018
Discrétisation automatique de machines à signaux en automates cellulaires

Doctorant : Tom BESSON
Thèse soutenue le 10 avril, 2018
Non-asymptotic method estimation and applications for fractional order systems

Doctorant : Xing WEI
Thèse soutenue le 23 novembre, 2017
Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité

Doctorant : Vivien PELLETIER
Thèse soutenue le 23 octobre, 2017
Sequential and distributes graph algorithms. Parameterized algorithms via potential maximal cliques; broadcast congested clique.

Doctorant : Pedro MONTEALEGRE-BARBA
Thèse soutenue le 28 février, 2017
Aide à la vérification de programmes concurrents par transformation de code et de spécifications

Doctorant : Allan BLANCHARD
Thèse soutenue le 6 décembre, 2016
Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage

Doctorant : Asma GUESMI
Thèse soutenue le 1 juillet, 2016
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

INSA CVL

© 2025 LIFO. All rights reserved.