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

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

API pour communication avec carte Mifare DESFire EV1

Alternate free software firmware for DFRobot DFR0592 DC motor driver hat

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.

QoE testbed for sampling constrained applications like Skype

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

A toy example project showing how GitLab CI can be used for teaching

Model synchronization between Adele and OSATE with MoTE TGG.