Proving Positive Almost-Sure Termination. - Olivier Bournez; Florent Garnier (RTA, 2005)

Proving Positive Almost Sure Termination Under Strategies. - Olivier Bournez; Florent Garnier (RTA, 2006)

Terminaison en temps moyen fini de systèmes de règles probabilistes. (Termination within a finite mean time of probabilistic rules based systems). - Florent Garnier (2007)

A Verification Toolkit for Numerical Transition Systems - Tool Paper. - Hossein Hojjat; Filip Konecný; Florent Garnier; Radu Iosif; Viktor Kuncak; Philipp Rümmer (FM, 2012)

Latest Altimetry-Based Sea Ice Freeboard and Volume Inter-Annual Variability in the Antarctic over 2003-2020. - Florent Garnier; Marion Bocquet; Sara Fleury; Jérôme Bouffard; Michel Tsamados; Frédérique Rémy; Gilles Garric; Aliette Chenal (Remote. Sens., 2022)