Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach. - Vivien Maisonneuve (NSAD@SAS, 2011)

Computing Invariants with Transformers: Experimental Scalability and Accuracy. - Vivien Maisonneuve; Olivier Hermant; François Irigoin (NSAD, 2014)

Static analysis of control-command systems : floating-point and integer invariants. (Analyse statique des systèmes de contrôle-commande : invariants entiers et flottants). - Vivien Maisonneuve (2015)

On more variants of the Majority Problem. - Paul-Elliot Anglès d'Auriac; Francis Maisonneuve; Vivien Maisonneuve; Emmanuel Preissmann; Myriam Preissmann (Discret. Appl. Math., 2019)