Symbolic Cost Analysis and Automatic Data Distribution for a Skeleton-Based Language. - Julien Mallet (Euro-Par, 1998)

Compilation of a specialized functional language for massively parallel computers. - Pascal Fradet; Julien Mallet (J. Funct. Program., 2000)

Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems. - Julien Mallet; Siegfried Rouvrais (QoSA, 2008)

Runtime verification of declassification for imperative programs: Formal foundations. - Thomas Demongeot; Julien Mallet; Yves Le Traon (CRiSIS, 2009)

An analysis of software design understanding & motivation of engineering students. - Jean-Christophe Bach; Antoine Beugnard; Jean-Loup Castaigne; Julien Mallet; Salvador Martínez Perez; Maria-Teresa Segarra (MoDELS (Companion), 2022)

Making Application Build Safer Through Static Analysis of Naming. - Antoine Beugnard; Julien Mallet (ENASE, 2024)