Explore projects

Project containing the necessary files to set up a NodeRed server for the connected marmot cages.

Research project for connecting spark and MPI universe.

a clone of SIMPA for SMRE

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.

Implémentatino Java de la FEC MPC pour LoRaWAN

Clone of Apron (used to control which version of Apron we use with PAGAI).

Tests de non régression d'Yggdrasil

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