Joffrey Huguet

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Transport Layer

Rate Allocation

Abductive Inference

Computer Scientists

Top Venues

Publications

Laura R. Humphrey, James Hamil, Joffrey Huguet
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK. SEFM (2020)
Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. FMTea (2019)