Compiling Conditional Rewriting Systems. - Thierry Heuillard (CTRS, 1987)

Decidability of the Confluence of Ground Term Rewriting Systems - Max Dauchet; Sophie Tison; Thierry Heuillard; Pierre Lescanne (LICS, 1987)

Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems - Max Dauchet; Thierry Heuillard; Pierre Lescanne; Sophie Tison (Inf. Comput., 1990)

A UML-integrated Test Description Language for Component Testing. - Simon Pickin 001; Claude Jard; Thierry Heuillard; Jean-Marc Jézéquel; Philippe Desfray (pUML, 2001)