Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. - Léo Creuse; Claire Dross; Christophe Garion; Jérôme Hugues; Joffrey Huguet (FMTea, 2019)

End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK. - Laura R. Humphrey; James Hamil; Joffrey Huguet (SEFM, 2020)

Two-Way Collaboration Between Flow and Proof in SPARK. - Claire Dross; Joffrey Huguet; Johannes Kanig (VMCAI (1), 2025)