Mentions légales du service
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:
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.