Vivien Maisonneuve

According to our database, Vivien Maisonneuve authored at least 4 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

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

2015

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

PhD thesis, 2015

2014

Computing Invariants with Transformers: Experimental Scalability and Accuracy.

Vivien Maisonneuve, Olivier Hermant, François Irigoin

Proceedings of the Fifth International Workshop on Numerical and Symbolic Abstract Domains, 2014

2011

Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach.

Vivien Maisonneuve

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011