Explore projects

Agilkia Smart Testing Tools

Projet Tutoré pour le MASTER RIE 2017-2018 1er Année Réalisation d'une application d'echange de messages.

Givaro, a C++ library for computer algebra: exact arithmetic and data structures

Petits outils autour de la manipulation de fichiers pour le calcul scientifique en sismologie:

reorganization de datasets HDF5 extraction de données brutes stockées sous irods ...

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae

Design and run SEM46 simulations in synthetic models based on simple geometries or on real case studies (e.g. Marathon, Kilauea, Dublin basin).

Francois Lavoue, 21 May 2019

Last updated FL, 13 Nov 2020

Build image for exist.jmmc.fr

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

A Wordpress plugin + reactJS app to display the current statistics of DBnary server.

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]

Indexation des données dans l'archive BUD