Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini. Resource Usage Analysis and Its Application to Resource Certification. In Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, editors, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Volume 5705 of Lecture Notes in Computer Science, pages 258-288, Springer, 2009. [doi]
Abstract is missing.