Rule-based Programming in Java For Protocol Verification. - Horatiu Cirstea; Pierre-Etienne Moreau; Antoine Reilles (WRLA, 2004)

An Integrated Development Environment for Pattern Matching Programming. - Julien Guyon; Pierre-Etienne Moreau; Antoine Reilles (eTX, 2004)

Formal validation of pattern matching code. - Claude Kirchner; Pierre-Etienne Moreau; Antoine Reilles (PPDP, 2005)

Canonical Abstract Syntax Trees. - Antoine Reilles (WRLA, 2006)

Réécriture et compilation de confiance. (Rewriting and trustworthy compilation). - Antoine Reilles (2006)

Tom: Piggybacking Rewriting on Java. - Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles (RTA, 2007)

Bytecode Rewriting in Tom. - Emilie Balland; Pierre-Etienne Moreau; Antoine Reilles (Bytecode@ETAPS, 2007)

Rewriting Strategies in Java. - Emilie Balland; Pierre-Etienne Moreau; Antoine Reilles (RULE@RDP, 2007)

Rules and Strategies in Java. - Pierre-Etienne Moreau; Antoine Reilles (WRS@RDP, 2007)

TomML: A Rule Language for Structured Data. - Horatiu Cirstea; Pierre-Etienne Moreau; Antoine Reilles (RuleML, 2009)

Effective strategic programming for Java developers. - Emilie Balland; Pierre-Etienne Moreau; Antoine Reilles (Softw. Pract. Exp., 2014)