lipn

Laboratoire d'Informatique de Paris Nord

UMR 7030, Université Paris 13, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

up13 cnrs

Thèses en cours

10 thèses sont en cours

Khan Huu The DAM
« Malicious behaviors extraction »
Thèse dirigée par Tayssir TOUILI
Date d'inscription : 2014

Marcio DIAZ
« Vérification de programmes concurrents »
Thèse dirigée par Tayssir TOUILI
Date d'inscription : 2014

Antoine KASZCZYC
« Invariants de l’interaction dans les économies monétaires »
Thèse dirigée par Christophe FOUQUERÉ et Pierre BOUDES
Date d'inscription : 2015

Thi Thanh Huyen NGUYEN
« Distributed Model Checking of Concurrent Systems »
Thèse dirigée par Laure PETRUCCI et Camille COTI
Date d'inscription : 2015

Hoang Gia NGUYEN
« Efficient Parametric Verification of Real-Time Systems »
Thèse dirigée par Laure PETRUCCI et Etienne ANDRE
Date d'inscription : 2015

Huu Vu NGUYEN
« CARET model checking pour l'analyse de programmes »
Thèse dirigée par Tayssir TOUILI
Date d'inscription : 2014

Hiba OUNI
« Vérification distribuée de systèmes modulaires concurrents »
Thèse dirigée par Kais KLAI et Belhassen ZOUARI
Date d'inscription : 2016

Alice PAVAUX
« Types et C-Ludique »
Thèse dirigée par Christophe FOUQUERÉ
Date d'inscription : 2014

Adrien POMMELLET
« Analyse de programmes manipulant le pointeur de pile »
Thèse dirigée par Tayssir TOUILI
Date d'inscription : 2014

Mathias RAMPARISON
« Formal verification of parametric real-time systems with preemption »
Thèse dirigée par Etienne ANDRE et Didier LIME
Date d'inscription : 2016

pres

w3c-xhtml