When the Decreasing Sequence Fails. - Nicolas Halbwachs; Julien Henry (SAS, 2012)

Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation. - Julien Henry; David Monniaux; Matthieu Moy (SAS, 2012)

Succinct Representations for Abstract Interpretation - Julien Henry; David Monniaux; Matthieu Moy (CoRR, 2012)

PAGAI: a path sensitive static analyzer - Julien Henry; David Monniaux; Matthieu Moy (CoRR, 2012)

PAGAI: A Path Sensitive Static Analyser. - Julien Henry; David Monniaux; Matthieu Moy (TAPAS@SAS, 2012)

How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics. - Julien Henry; Mihail Asavoae; David Monniaux; Claire Maiza (LCTES, 2014)

Static Analysis by Abstract Interpretation and Decision Procedures. (Analyse statique de programme par interprétation abstraite et procédures de décision). - Julien Henry (2014)

Automated Customized Bug-Benchmark Generation. - Vineeth Kashyap; Jason Ruchti; Lucja Kot; Emma Turetsky; Rebecca Swords; Shih An Pan; Julien Henry; David Melski; Eric M. Schulte (SCAM, 2019)

Asterics: a simple tool for the ExploRation and Integration of omiCS data. - Élise Maigné; Céline Noirot; Julien Henry; Yaa Adu Kesewaah; Ludovic Badin; Sébastien Déjean; Camille Guilmineau; Arielle Krebs; Fanny Mathevet; Audrey Segalini; Laurent Thomassin; David Colongo; et al. (BMC Bioinform., 2023)