Explore projects

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae

Reproduce experiments done in sasa related articles

A skitz compiler, made to compile mincaml as a University project.

An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.

An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.

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

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