Explore projects

TTool (pronounced "tea-tool") is a toolkit dedicated to the edition of UML and SysML diagrams, and to the simulation and formal verification (safety, security, performance) of those diagrams. See ttool.telecom-paris.fr and @TTool_UML_SysML

RAMSES (Refinement of AADL Models for Synthesis of Embedded Systems) is a model transformation and code generation tool that produces C code for ARINC653-compliant operating systems and OSEK-compliant operating systems.

Nouveau thème Beamer aux couleur de Télécom Paris

API pour communication avec carte Mifare DESFire EV1

Modèle de présentation Beamer + Modèle de Poster aux couleur de TPT

Modèle pour la génération de supports de cours (poly+slides) au format html, pdf et même docx à partir d'une source unique (au format markdown/pandooc).

simple python script to convert Synapses csv schedules to ics calendars.

Modified version of QEMU for teaching (M2 SETI Embedded Linux, SE758 Linux Device Drivers...).

Experiment Specification (ExSpec) is a language to specify the provenance of experiment/simulation data. ExSpec models are the basis of the Validity Frame Language (VaFL, pronounced "waffle") to specify the validity frames of models.

Nouveau thème Beamer aux couleur de Télécom Paris

Python implementation of the narrow rivers extraction framework proposed by N.Gasnier, L.Denis, F.Liège, R.Fjørtoft, and F.Tupin in Narrow River Extraction from SAR ImagesUsing Exogenous Information (https://doi.org/10.1109/JSTARS.2021.3083413).

This repository contains the code in order to reproduce the results presented in "Enriching Wikidata with Semantified Hyperlinks" by Armand Boschin and Thomas Bonald.