Explore projects

This project contains the iot-analyzer used to compare different IoT technologies in the paper : [Comparison of the Device Lifetime in Wireless Networks for the Internet of Things]

The experiment of this project has been moved into the osim-lutin project inside the verimag/reproducible-research/ group

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

Tests de non régression d'Yggdrasil

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

Implémentatino Java de la FEC MPC pour LoRaWAN

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

a clone of SIMPA for SMRE

Research project for connecting spark and MPI universe.