Julien Henry

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Asterics: a simple tool for the ExploRation and Integration of omiCS data.
BMC Bioinform., December, 2023

2019
Automated Customized Bug-Benchmark Generation.
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).
PhD thesis, 2014

How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

2012
PAGAI: A Path Sensitive Static Analyser.
Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012

PAGAI: a path sensitive static analyzer
CoRR, 2012

Succinct Representations for Abstract Interpretation
CoRR, 2012

Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation.
Proceedings of the Static Analysis - 19th International Symposium, 2012

When the Decreasing Sequence Fails.
Proceedings of the Static Analysis - 19th International Symposium, 2012


  Loading...