@inproceedings{MRP+7,
title = { The W-SEPT Project: Towards Semantic-Aware WCET Estimation },
author = {Maiza, Claire and Raymond, Pascal and Parent-Vigouroux, Catherine and Bonenfant, Armelle and Carrier, Fabienne and Cass\'e, Hugues and Cuenot, Philippe and Claraz, Denis and Halbwachs, Nicolas and Jahier, Erwan and Li, Hanbing and Michiel, Marianne de and Mussot, Vincent and Puaut, Isabelle and Rochange, Christine and Rohou, Erven and Ruiz, Jordy and Sotin, Pascal and Sun, Wei-Tsun},
year = {2017},
booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)},
address = {Dagstuhl, Germany},
annote = {Keywords: Worst-case execution time analysis, Static analysis, Program analysis},
pages = {1--13},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
series = {OpenAccess Series in Informatics (OASIcs)},
volume = {57},
team = {SYNC},
}
