Jaime Arias Almeida himito

Organizations

Pinned Loading

1. PyHRF is a set of tools to analyze fMRI data and specifically study hemodynamics.

   Python 29 21

2. IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

   OCaml 28 16