| Pagai: A path sensitive static analyser J Henry, D Monniaux, M Moy Electronic Notes in Theoretical Computer Science 289, 15-25, 2012 | 108 | 2012 |
| 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 | 52 | 2014 |
| When the decreasing sequence fails N Halbwachs, J Henry International Static Analysis Symposium, 198-213, 2012 | 52 | 2012 |
| 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 | 35 | 2019 |
| Succinct representations for abstract interpretation: Combined analysis algorithms and experimental evaluation J Henry, D Monniaux, M Moy International Static Analysis Symposium, 283-299, 2012 | 31 | 2012 |
| 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 | 5 | 2023 |
| Static Analysis by Abstract Interpretation and Decision Procedures J Henry Université de Grenoble, 2014 | 5 | 2014 |
| Static analysis by path focusing J Henry Master’s thesis, Grenoble INP, 2011 | 4 | 2011 |
| Analyse statique par interprétation abstraite et procédures de décision J Henry Université de Grenoble, 2014 | 3 | 2014 |
| Static analysis of program by Abstract Interpretation and Decision Procedures J Henry Grenoble, 2014 | 2 | 2014 |
| 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 |
