Hubert Godfroy

Publication Activity (10 Years)

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

Top Topics

Error Correction

Visual Languages

Top Venues

MoDELS (Companion)

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic
A language agnostic approach to modeling requirements: specification and verification. MoDELS (Companion) (2020)
Guillaume Bonfante, Hubert Godfroy, Jean-Yves Marion
A construction of a self-modifiying language with a formal correction proof. MALWARE (2017)