Vitor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa. Certifying Execution Time. In Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska, editors, Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Volume 7177 of Lecture Notes in Computer Science, pages 108-125, Springer, 2011. [doi]
Abstract is missing.