Thèses

Thèses en cours

Des Données de Qualité vers un Système de Recommandation de Qualité et Dynamique
MBAREK SONIA
Directeur(s) : BOUFARÈS Faouzi, GROZAVU Nistor
Date debut : 2018

Malware detection
ONWUDEBEL Ugochukwu
Directeur(s) : TOUILI Tayssir
Date debut : 2018

Using Formal Methods for Service-oriented Applications Design and Management in IoT environments
JAIN Rakesh
Directeur(s) : KLAI Kais, TATA Samir
Date debut : 2017

Using Formal Methods for Service-oriented Applications Design and Management in IoT environments
JAIN Rakesh
Directeur(s) : KLAI Kais, TATA Samir
Date debut : 2017

Formal verification of parametric real-time systems with preemption
RAMPARISON Mathias
Directeur(s) : ANDRE Etienne, LIME Didier
Date debut : 2016

Vérification distribuée de systèmes modulaires concurrents
OUNI Hiba
Directeur(s) : KLAI Kais, ZOUARI Belhassen
Date debut : 2016

Efficient Parametric Verification of Real-Time Systems
NGUYEN Hoang Gia
Directeur(s) : PETRUCCI Laure, ANDRE Etienne
Date debut : 2015

Invariants de l’interaction dans les économies monétaires
KASZCZYC Antoine
Directeur(s) : FOUQUERÉ Christophe, BOUDES Pierre
Date debut : 2015

Distributed Model Checking of Concurrent Systems
NGUYEN Thi Thanh Huyen
Directeur(s) : PETRUCCI Laure, COTI Camille
Date debut : 2015

Vérification de programmes concurrents
DIAZ Marcio
Directeur(s) : TOUILI Tayssir
Date debut : 2014

malicious behaviors extraction
DAM Khan Huu The
Directeur(s) : TOUILI Tayssir
Date debut : 2014

Analyse de programmes manipulant le pointeur de pile
POMMELLET Adrien
Directeur(s) : TOUILI Tayssir
Date debut : 2014

CARET model checking pour l’analyse de programmes
NGUYEN Huu Vu
Directeur(s) : TOUILI Tayssir
Date debut : 2014

Thèses soutenues

Types inductifs, fonctionnels et non-linéaires en ludique.
PAVAUX Alice
Directeur(s) : FOUQUERÉ Christophe
Date debut : 2014, Date soutenance : 2017-12-01

Approches pour la modélisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Petri colorés
BENMOUSSA Mohamed Mahdi
Directeur(s) : CHOPPY Christine, ANDRE Etienne
Date debut : 2013, Date soutenance : 2016-12-06

BIG DATA: Nouvel enjeu de l’apprentissage à partir de données massives
REHAB Moufida
Directeur(s) : BOUFARèS Faouzi
Date debut : 2012, Date soutenance : 2016-04-01

Relational Graph Models and Morris’s Observability: resource-sensitive semantic investigations on the untyped lambda-calculus
RUOPPOLO Domenico
Directeur(s) : GUERRINI Stefano, MANZONETTO Giulio
Date debut : 2012, Date soutenance : 2016-12-13

Qualité contextuelle des données : Détection et nettoyage guidés par la sémantique des données
BEN SALEM Aicha
Directeur(s) : BOUFARèS Faouzi
Date debut : 2011, Date soutenance : 2015-03-31

Abstraction and Modular Verification of Inter-Enterprise Business Processes
OCHI Hanen
Directeur(s) : KLAI Kais
Date debut : 2011, Date soutenance : 2015-12-11

Reconnaissance de comportements complexes par traitement en ligne de flux d’événements
PIEL Ariane
Directeur(s) : CHOPPY Christine
Date debut : 2011, Date soutenance : 2014-10-27

Sharing, Superposition and Expansion. Geometrical Studies
on the Semantics and Implementation of lambda-calculi and
Proof-nets

SOLIERI Marco
Directeur(s) : GUERRINI Stefano, PAGANI Michele
Date debut : 2011, Date soutenance : 2016-11-30

Concurrency in Interaction Nets and Graph Rewriting
DORMAN Andrei
Directeur(s) : GUERRINI Stefano, MAZZA Damiano
Date debut : 2010, Date soutenance : 2013-06-20

Rigorous and formal approaches for modelling and designing service systems
TRAN Dung Khanh
Directeur(s) : CHOPPY Christine
Date debut : 2010, Date soutenance : 2013-09-20

Logique linéaire et classes de complexité sous-polynomiales
AUBERT Clément
Directeur(s) : GUERRINI Stefano
Date debut : 2010, Date soutenance : 2013-11-26

The Monitoring Power of Forcing Transformations
BRUNEL Alois
Directeur(s) : GUERRINI Stefano, MAZZA Damiano
Date debut : 2010, Date soutenance : 2014-06-27

Méthodologie de conception des modèles exprimés en réseaux de Petri : Raffinement des réseaux de Petri colorés
SANOGO Alfred
Directeur(s) : PETRUCCI Laure, CHOPPY Christine
Date debut : 2009, Date soutenance : 2012-12-17

Abstraction et analyse de l’espace des états des réseaux de Petri temporels
ABER Naim
Directeur(s) : PETRUCCI Laure, KLAI Kais
Date debut : 2009, Date soutenance : 2013-07-12

Specification and Verification of the NEO Storage Distributed Protocol
DEDOVA Anna
Directeur(s) : PETRUCCI Laure, EVANGELISTA Sami
Date debut : 2009, Date soutenance : 2012-07-09

Ontologies, Logics and Interaction
ROMANO Marco
Directeur(s) : FOUQUERE Christophe, ABRUSCI Michele
Date debut : 2009, Date soutenance : 2011-04-26

GNU epsilon : an extensible programming langage
SAIU Luca
Directeur(s) : FOUQUERé Christophe, LODDO Jean-Vincent
Date debut : 2007, Date soutenance : 2012-11-19