## Julien Henry, Mihail Asavoae, David Monniaux, Claire Maiza

*How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics*

LCTES, 2014.

@inproceedings{LCTES-2014-HenryAMM, author = "Julien Henry and Mihail Asavoae and David Monniaux and Claire Maiza", booktitle = "{Proceedings of the 15th Conference on Languages, Compilers, and Tools for Embedded Systems}", doi = "10.1145/2597809.2597817", isbn = "978-1-4503-2877-7", pages = "43--52", publisher = "{ACM}", title = "{How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics}", year = 2014, }