2015

Finding inductive invariants using satisfiability modulo theories and convex optimization

AKEEM Jared

Projet de fin d'études Licence

2015

Formalisation et typage d'un langage fonctionnel de programmation et de manipulation d'objets complexes

WANG Ian

Projet de fin d'études Licence

2014

Tracking sans marqueur de modeles physiques modulaires et articules

AISSAOUI Salima

Projet de fin d'études Licence

2014

Outils pour la formalisation en analyse classique : une etude de cas en theorie du controle

AKEEM Jared

Projet de fin d'études Licence

2014

Factorisation des regions cubiques et application a la concurrence

AISSAOUI Salima

Projet de fin d'études Licence

2013

Integration automatisee de l'expertise du patient dans le suivi a distance de sa pathologie chronique

RAJA Larissa

Projet de fin d'études Licence

2013

Combining Heuristics for Optimizing and Scaling the Placement of IoT Applications in the Fog

LUKE Abra

Projet de fin d'études Licence

2010

Confiance et incertitude dans les environnements distribues : application a la gestion des donnees

ILLANA Phoebe

Projet de fin d'études Licence