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.

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.