Explore projects

Machine Learning to predict location of ice recrystallization

UGA and IGE internship - M1 SSD

Report link: https://mecaiceige.gricad-pages.univ-grenoble-alpes.fr/internship/stage_renan_manceaux_2022

Cours d'introduction au parallélisme. Il a été présenté aux professeurs de Lycée, pour ISN/ICN le 6 mars 2018.

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]

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

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae