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

Optimized hardware components with relatively target-independent implementations

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]

Projet à cloner pour les étudiants réalisant le TP allocation mémoire

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