Explore GitLab
Discover projects, groups and snippets. Share your projects with others


Optimized parallel implementations of the kmeans algorithm, designed to process large datasets with improved numerical accuracy: on multicore CPU with vector units, and on NVIDIA GPU

A Julia package for Markov Processes

Generators of PRISM code for DTMC models of production line systems (blockingafterservice policy)

Extension of gridExtra R package to make awesome tables.


My PhD thesis


A git repository for the submitted Theoretical Computer Science paper: "AutomatonABC: a Statistical Method to Estimate the Probability of SpatioTemporal properties for parametric Markov Population Models".


Ceci est le squelette du TP de compilation pour les InfoSec.

survival Model Simulation

trajectopy is a simulator generating GPS points from trajectories on a road like network. It has been developped in the context of the Grone project.


Ceci est le squelette du TP de compilation pour les InfoSec.

A repository for cool python plots I often use.



Ceci est le squelette du TP de compilation pour les InfoSec.