Julien Henry

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 2

Top Venues

SCAM

CoRR

BMC Bioinform.

LCTES

University of Grenoble, France (PHD)

Education History

University of Grenoble, France

PHD

Publications

É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, Christine Gaspin, Laurence Liaubet, Nathalie Vialaneix
Asterics: a simple tool for the ExploRation and Integration of omiCS data. BMC Bioinform. 24 (1) (2023)
Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, Shih An Pan, Julien Henry, David Melski, Eric M. Schulte
Automated Customized Bug-Benchmark Generation. SCAM (2019)
Julien Henry, Mihail Asavoae, David Monniaux, Claire Maiza
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics. LCTES (2014)
Julien Henry, Mihail Asavoae, David Monniaux, Claire Maïza
How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics. CoRR (2014)
Julien Henry, David Monniaux, Matthieu Moy
Succinct Representations for Abstract Interpretation CoRR (2012)
Julien Henry, David Monniaux, Matthieu Moy
Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation. SAS (2012)
Julien Henry, David Monniaux, Matthieu Moy
PAGAI: a path sensitive static analyzer CoRR (2012)
Julien Henry, David Monniaux, Matthieu Moy
PAGAI: A Path Sensitive Static Analyser. Electron. Notes Theor. Comput. Sci. 289 (2012)
Nicolas Halbwachs, Julien Henry
When the Decreasing Sequence Fails. SAS (2012)

Julien Henry.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Julien Henry