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

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

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.

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

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

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

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

correcteur automatique de TP

Corrigés de TP avec divers utilisateurs et notes

Yet another Makefile for LaTeX

Software and hardware for Low Density Parity Check codes

A perl utility to send data acquired by a sensor, through an Ethernet link (UDP packets), to a remote computer for real-time visualization with Gnuplot