Explore projects

Web-based graphical user interface (GUI) of cosyverif

This repository hosts the different modules that will process CheneTAL corpora.

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees

repository of the sbench python package

Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)

Partial Order Model checker for PETri nets