Joffrey Huguet

According to our database, Joffrey Huguet authored at least 3 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Two-Way Collaboration Between Flow and Proof in SPARK.

Claire Dross, Joffrey Huguet, Johannes Kanig

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2020

End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK.

Laura R. Humphrey, James Hamil, Joffrey Huguet

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

2019

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

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019