@inproceedings{HAM+4,
title = { How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics },
author = {Henry, Julien and Asavoae, Mihail and Monniaux, David and Maiza, Claire},
month = {june},
year = {2014},
booktitle = {{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for Embedded Systems 2014, {LCTES} '14},
pages = {43--52},
team = {SYNC, PACSS},
}