Follow
Julien Henry
Julien Henry
Verified email at mathworks.com
Title
Cited by
Cited by
Year
Pagai: A path sensitive static analyser
J Henry, D Monniaux, M Moy
Electronic Notes in Theoretical Computer Science 289, 15-25, 2012
1082012
When the decreasing sequence fails
N Halbwachs, J Henry
International Static Analysis Symposium, 198-213, 2012
492012
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
472014
Succinct representations for abstract interpretation: Combined analysis algorithms and experimental evaluation
J Henry, D Monniaux, M Moy
International Static Analysis Symposium, 283-299, 2012
312012
Automated customized bug-benchmark generation
V Kashyap, J Ruchti, L Kot, E Turetsky, R Swords, SA Pan, J Henry, ...
2019 19th International Working Conference on Source Code Analysis and …, 2019
292019
Static Analysis by Abstract Interpretation and Decision Procedures
J Henry
Université de Grenoble, 2014
52014
Static analysis by path focusing
J Henry
Master’s thesis, Grenoble INP, 2011
42011
Static analysis of program by Abstract Interpretation and Decision Procedures
J Henry
Grenoble, 2014
32014
Asterics: a simple tool for the ExploRation and Integration of omiCS data
É Maigné, C Noirot, J Henry, Y Adu Kesewaah, L Badin, S Déjean, ...
BMC bioinformatics 24 (1), 391, 2023
22023
Analyse statique par interprétation abstraite et procédures de décision
J Henry
Université de Grenoble, 2014
22014
ASTERICS
E Maigné, C Noirot, J Henry, YA Kesewaah, L Badin, S Dejean, ...
2022
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–12