Hubert Godfroy

According to our database, Hubert Godfroy authored at least 3 papers between 2017 and 2020.

Collaborative distances:

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

2020

A language agnostic approach to modeling requirements: specification and verification.

Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2017

Réflexion, calculs et logiques. (Reflexion, computation and logic).

Hubert Godfroy

PhD thesis, 2017

A construction of a self-modifiying language with a formal correction proof.

Guillaume Bonfante, Hubert Godfroy, Jean-Yves Marion

Proceedings of the 12th International Conference on Malicious and Unwanted Software, 2017