@article{Rodrigues15SOCP,
title = "Certifying execution time in multicores ",
journal = "Science of Computer Programming ",
volume = "111, Part 3",
number = "",
pages = "505 - 534",
year = "2015",
note = "Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 ",
issn = "0167-6423",
doi = "http://dx.doi.org/10.1016/j.scico.2015.06.006",
url = "http://www.sciencedirect.com/science/article/pii/S016764231500129X",
author = "Vítor Rodrigues and Benny Akesson and Mário Florido and Simão Melo de Sousa and João Pedro Pedroso and Pedro Vasconcelos",
}