Explore projects

An Adaptive Reinforced Context-Aware DEep DEcision System

Application des méthodes d'analyse de sensibilité à un simulateur d'écosystème marin dépendant de 85 paramètres.

Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.

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).

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

Lustre V6 compiler

JSDMS evaluation on IFN data

BIP compiler and execution engines.

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]

Rapports et évaluations de projets.

The amorph project hosts scripts to generate FSTs for the morphological analysis of French and English languages from dictionaries like DELA or LEFFF.

This project provides doi management tools developed at OSUG.

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

Tests de non régression d'Yggdrasil