KAMI. - Lionel Catry; Julien Charles; Nicolas Launay; Olivier Pautot (SIGGRAPH Video Review on Animation Theater Program, 2001)

JACK - A Tool for Validation of Security and Behaviour of Java Applications. - Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean-Louis Lanet; Mariela Pavlova; Antoine Requet (FMCO, 2006)

CLOPS: A DSL for Command Line Options. - Mikolás Janota; Fintan Fairmichael; Viliam Holub; Radu Grigore; Julien Charles; Dermot Cochran; Joseph R. Kiniry (DSL, 2009)

Strongest postcondition of unstructured programs. - Radu Grigore; Julien Charles; Fintan Fairmichael; Joseph Kiniry (FTfJP@ECOOP, 2009)

Introducing the Work-Enterprise Canvas as a Tool to Evaluate Job Quality (regular paper). - Samuel Desguin; Julien Charles; Isabelle Ferreras; Wim Laurier (VMBO, 2021)