A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences. - Thibaut Girka; David Mentré; Yann Régis-Gianas (ATVA, 2015)

Verifiable semantic difference languages. - Thibaut Girka; David Mentré; Yann Régis-Gianas (PPDP, 2017)

Differential program semantics. (Sémantique différentielle de programme). - Thibaut Girka (2018)