Explore projects

Machine à tracer similaire à la célèbre tortue logo.

Provide on opensource version of the scigen detector: http://scigendetection.imag.fr/main.php

Muti-Cloud console

Reproduce the experimental results of an article currently under submission

"Assessing Software Abstractions inWCET Analysis of Reactive Programs"

cf http://www-verimag.imag.fr/TR/TR-2018-2.pdf