Thèses soutenues | LIFO

Thèses soutenues

Thèses soutenues | Thèses en cours

Nombre de thèses : 82

Mandatory protection checked against the automotive sector’s safety objectives

Doctorant : Adrien JOUSSE
Thèse soutenue le 13 décembre, 2022
Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C

Doctorant : Dara LY
Thèse soutenue le 5 décembre, 2022
Implicit parallelism for neural network acceleration

Doctorant : Haoran WANG
Thèse soutenue le 27 octobre, 2022
Improvements on graph path queries : expression, evaluation, and minimum-weight satisfiability

Doctorant : Ciro MORAIS MEDEIROS
Thèse soutenue le 30 août, 2022
Clustering and knowledge integration

Doctorant : Nguyen-Viet-Dung NGHIEM
Thèse soutenue le 15 décembre, 2021
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

INSA CVL

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