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
802012
When the decreasing sequence fails
N Halbwachs, J Henry
International Static Analysis Symposium, 198-213, 2012
402012
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
372014
Succinct representations for abstract interpretation
J Henry, D Monniaux, M Moy
International Static Analysis Symposium, 283-299, 2012
302012
Static analysis by path focusing
J Henry
Master’s thesis, Grenoble INP, 2011
42011
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
12019
Static analysis of program by Abstract Interpretation and Decision Procedures
J Henry
Grenoble, 2014
12014
Analyse statique par interprétation abstraite et procédures de décision
J Henry
12014
Static Analysis by Abstract Interpretation and Decision Procedures
J Henry
Université de Grenoble, 2014
12014
Théorie, modèles et interprétation des résultats théoriques in La monnaie dans un système dynamique: le modèle de formation du capital par le crédit
J Henry
Economies et Sociétés. Cahiers de l'ISMEA 18 (4), 119-145, 1984
11984
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–11