Julien Henry (VERIMAG - IMAG)

Identifiers

• name variant Julien Henry (VERIMAG - IMAG) 0.60 · backfill

Papers (3)

1. How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics cs.PL · 2014 · author #1
2. PAGAI: a path sensitive static analyzer cs.PL · 2012 · author #1
3. Succinct Representations for Abstract Interpretation cs.PL · 2012 · author #1

Mentions

• 1405.7962 #1 · backfill · confidence 0.70 Julien Henry (VERIMAG - IMAG)
• 1207.3937 #1 · backfill · confidence 0.70 Julien Henry (VERIMAG - IMAG)
• 1206.4234 #1 · backfill · confidence 0.70 Julien Henry (VERIMAG - IMAG)

Frequent Coauthors

• David Monniaux (VERIMAG - Imag) 3 shared papers
• Matthieu Moy (VERIMAG - IMAG) 2 shared papers
• Claire Ma\"iza (VERIMAG - IMAG) 1 shared papers
• Mihail Asavoae (VERIMAG - IMAG) 1 shared papers