Explore projects

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.

A tool for generating random task DAGs

Reproduce experiments done in sasa related articles

Self-stabilizing Algorithms SimulAtor

The objective of run-bench is to measure the execution time of a set of tools (e.g., compilers) and tool options on several data files (e.g., programs).

RDBG stands for Reactive programs DeBuGger.

Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).

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

Basic functions for OCaml codes

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).

Lustre V6 compiler

Reproduce the experimental results of an article under submission (at the LITES journal) named :

''Improving WCET Evaluation using Counters and Linear Relation Analysis''

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae