Mihail Asavoae (VERIMAG - IMAG)

Identifiers

• name variant Mihail Asavoae (VERIMAG - IMAG) 0.60 · backfill

Papers (1)

1. How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics cs.PL · 2014 · author #2

Mentions

• 1405.7962 #2 · backfill · confidence 0.70 Mihail Asavoae (VERIMAG - IMAG)

Frequent Coauthors

• Claire Ma\"iza (VERIMAG - IMAG) 1 shared papers
• David Monniaux (VERIMAG - Imag) 1 shared papers
• Julien Henry (VERIMAG - IMAG) 1 shared papers