Julien Henry

According to our database, Julien Henry authored at least 9 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, Christine Gaspin, Laurence Liaubet, Nathalie Vialaneix

BMC Bioinform., December, 2023

2019

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

Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

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

PhD thesis, 2014

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

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

2012

PAGAI: A Path Sensitive Static Analyser.

Julien Henry, David Monniaux, Matthieu Moy

Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012

PAGAI: a path sensitive static analyzer

Julien Henry, David Monniaux, Matthieu Moy

CoRR, 2012

Succinct Representations for Abstract Interpretation

Julien Henry, David Monniaux, Matthieu Moy

CoRR, 2012

Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation.

Julien Henry, David Monniaux, Matthieu Moy

Proceedings of the Static Analysis - 19th International Symposium, 2012

When the Decreasing Sequence Fails.

Nicolas Halbwachs, Julien Henry

Proceedings of the Static Analysis - 19th International Symposium, 2012