Explore projects

Artifact repository for the TOPLAS article pertaining to the THEMIS tool.

A vanilia neural network for our statistic project at ENS rennes

Public repository hosting the simulator for the Similitude paper, imported from github on 2018-06-11: https://github.com/plroman/similitude_experiments

CHEPIN simulation's code

Artifact for the Smart Home case study using THEMIS submitted to RV'18: Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes

Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.

R package: lots of routines to perform simple operation on images

The LaTeX and PDF of my master thesis (WiP)

C++ software for generating configurations of a molecular system (coordinates and velocities) distributed according to the QSD (Quasi Stationary Distribution) within a user defined metastable state.