2019

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

CARYN Macaulay

Project graduation Bachelor

2018

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

BASIL Dante

Project graduation Bachelor

2011

Tools and Techniques for the Verification of Modular Stateful Code

PHYLLIS Hannah

Project graduation Bachelor