A construction of a self-modifiying language with a formal correction proof. - Guillaume Bonfante; Hubert Godfroy; Jean-Yves Marion (MALWARE, 2017)

Réflexion, calculs et logiques. (Reflexion, computation and logic). - Hubert Godfroy (2017)

A language agnostic approach to modeling requirements: specification and verification. - Abdelghani Alidra; Antoine Beugnard; Hubert Godfroy; Pierre Kimmel; Gurvan Le Guernic (MoDELS (Companion), 2020)