Claire Ma\"iza (VERIMAG - IMAG)

Identifiers

• name variant Claire Ma\"iza (VERIMAG - IMAG) 0.60 · backfill

Papers (3)

1. Fast and exact analysis for LRU caches cs.PL · 2018 · author #1
2. Model Checking of Cache for WCET Analysis Refinement cs.PL · 2017 · author #2
3. How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics cs.PL · 2014 · author #4

Mentions

• 1405.7962 #4 · backfill · confidence 0.70 Claire Ma\"iza (VERIMAG - IMAG)

Frequent Coauthors

• David Monniaux (VERIMAG - Imag) 3 shared papers
• Valentin Touzeau (VERIMAG - IMAG) 2 shared papers
• Jan Reineke 1 shared papers
• Julien Henry (VERIMAG - IMAG) 1 shared papers
• Mihail Asavoae (VERIMAG - IMAG) 1 shared papers