Julien Henry
Julien Henry
Université Joseph Fourier - Verimag
Verified email at imag.fr - Homepage
TitleCited byYear
Pagai: A path sensitive static analyser
J Henry, D Monniaux, M Moy
Electronic Notes in Theoretical Computer Science 289, 15-25, 2012
702012
When the decreasing sequence fails
N Halbwachs, J Henry
International Static Analysis Symposium, 198-213, 2012
382012
How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics
J Henry, M Asavoae, D Monniaux, C Maďza
LCTES 2014, 1-10, 2014
342014
Succinct representations for abstract interpretation
J Henry, D Monniaux, M Moy
International Static Analysis Symposium, 283-299, 2012
282012
Static analysis by path focusing
J Henry
Master’s thesis, Grenoble INP, 2011
42011
Static Analysis by Abstract Interpretation and Decision Procedures
J Henry
Université de Grenoble, 2014
12014
Static analysis of program by Abstract Interpretation and Decision Procedures
J Henry
Grenoble, 2014
2014
Analyse statique par interprétation abstraite et procédures de décision
J Henry
2014
Analyse de programmes par SMT-Solving
J Henry, D Monniaux, M Moy
2010
The system can't perform the operation now. Try again later.
Articles 1–9