1. Closed-form upper bounds in static cost analysis;Albert;Journal of Automated Reasoning,2011
2. From object fields to local variables: a practical approach to field-sensitive analysis;Albert,2010
3. Cost analysis of java bytecode;Albert,2007
4. COSTA: design and implementation of a cost and termination analyzer for java bytecode;Albert,2008
5. Cost analysis of object-oriented bytecode programs;Albert;Theoretical Computer Science,2012