Explore projects

RAMSES-2 (Refinement of AADL Models for Synthesis of Embedded Systems) is a model refinement and code generation tool that produces C code for ARINC653, OSEK and POSIX-compliant operating systems. More at https://mem4csd.telecom-paristech.fr/blog/

Model synchronization between Adele and OSATE with MoTE TGG.

This project provides utility libraries that can be used by several MBE tools such as RAMSES, TTool or RDALTE

Code archive for the paper Does Functional Package Management Enable Reproducible Builds at Scale? Yes.

TP!!!!!!!!

Matlab implementation associated with the article "On the use and denoising of the temporal geometric mean for SAR time series", submitted to IEEE Geoscience and Remote sensing Letters by N.Gasnier, L.Denis and F.Tupin.

Compagnon repository of the paper 'Invariance-based semi-supervised representation learning for sound event detection'.

Fork from https://gitlab.inf.telecom-sudparis.eu/infra-web/hotcrp-docker.git