Explore projects

RT-DFI tool for WCET improved Data-Flow Integrity

This project aims at modeling the uptake of long-chain fatty acids by intestinal cells called enterocytes. Our mechanistic models are built as ODE systems and parameter values are taken from the literature.

Post-Execution Dataset for characterizing straggler detection mechanism: The data are meant to serve as an example dataset for users to play with the straggler detection characterizing metrics that we provide.

This project aims to regroup tools for measuring energy related informations.

The Demonstration repository for THEMIS

Simulation code for my phd thesis and related articles