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

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

SAR Image Despeckling by Deep Neural Networks: from a pre-trained model to an end-to-end training strategy - Notebook implementation usable on Google Colaboratory

This project contains the ontological framework developed during the MPM4CPS COST Action IC1404 () by working group 1 on foundations for MPM4CPS (http://mpm4cps.eu/).

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

A set of scripts and Makefiles for digital hardware projects

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.