Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo. Interval-Based Resource Usage Verification: Formalization and Prototype. 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 54-71, Springer, 2011. [doi]
Abstract is missing.