Explore projects

C++ header-only Timer library.

This repository gathers the code we use to generate and analyse the mechanical simulations presented in the article Conserved mechanical hallmark guides four-way junction avoidance during plant cytokinesis by Elsa Gascon, Camila Goldy and co-workers.

Supplementary Materials for "TAG: Learning Timed Automata from Logs" (AAAI-22).

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

An experiment to test the reproducibility of Emacs' org-mode PDF and HTML export

An example experimental research study based on the test_FEMBEM solver test suite WITHOUT using Guix and Org mode for reproducibility.