1. Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, and Damiano Zanardini. COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, editors,Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, volume 5382 ofLecture Notes in Computer Science, pages 113-132. Springer, 2007.
2. David Aspinall, Robert Atkey, Kenneth MacKenzie, and Donald Sannella. Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. In Martin Wirsing, Martin Hofmann, and Axel Rauschmayer, editors,Proceedings of 5th International Symposium on Trustworthy Global Computing (TGC 2010), volume 6084 ofLecture Notes in Computer Science, pages 1-22. Springer, 2010.
3. A program logic for resources
4. David Aspinall, Patrick Maier, and Ian Stark. Safety guarantees from explicit resource management. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, editors,Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, volume 5382 ofLecture Notes in Computer Science, pages 52-71. Springer, 2007.
5. Amortised Resource Analysis with Separation Logic