A New Approach to General E-Unification Based on Conditional Rewriting Systems. - Bertrand Delsart (CTRS, 1992)

E-unification en demonstration automatique. (E-unification in automated deduction). - Bertrand Delsart (1994)

TurboJ, a Java Bytecode-to-Native Compiler. - Michael Weiss; François de Ferrière; Bertrand Delsart; Christian Fabre; Frederick Hirsch; E. Andrew Johnson; Vania Joloboff; Fred Roy; Fridtjof Siebert; Xavier Spengler (LCTES, 1998)

JCOD: A Lightweight Modular Compilation Technology for Embedded Java. - Bertrand Delsart; Vania Joloboff; Eric Paire (EMSOFT, 2002)

Mackinac: Making HotSpotTM Real-Time. - Gregory Bollella; Bertrand Delsart; Romain Guider; Christophe Lizzi; Frédéric Parain (ISORC, 2005)