Selected Publications

My Theses

• (PHD) Pattern Matching with Time: Theory and Applications. Universite Grenoble-Alpes. 2018.

• (MSc) Assertion Based…

External Links

•