Explore projects

Givaro, a C++ library for computer algebra: exact arithmetic and data structures

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

Muti-Cloud console

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]

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae

Development version for WPS

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

Modèles statistiques et Programmation Lettrée Licence MIAGE3 2018-2019

Memory manipulation.