Explore projects

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

Crash data analysis with hidden Markov random fields with Bayesian Nonparametric priors.

Material about the Energy vs Responsiveness Trade-off in EASY Back Filling article submitted to Cluster 2017.

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

Results from the BenchNBC benchmark