A formalism to model higher-order function. - Damien Morard (Programming, 2020)

Symbolic Model Checking Using Intervals of Vectors. - Damien Morard; Lucas Donati; Didier Buchs (Petri Nets, 2024)

Global Symbolic Model Checking based on Generalised Intervals. - Damien Morard (2024)