2019

Analyse temporelle des systemes temps-reels sur architectures pluri-coeurs

CARYN Macaulay

Projet de fin d'études Licence

2018

Simulation Parallele en SystemC/TLM de Composants Materiels decrits pour la Synthese de Haut-Niveau

BASIL Dante

Projet de fin d'études Licence

2011

Tools and Techniques for the Verification of Modular Stateful Code

PHYLLIS Hannah

Projet de fin d'études Licence