1. On the comparison of deterministic and probabilistic WCET estimation techniques;Abella,2014
2. Resource analysis: From sequential to concurrent and distributed programs;Albert;FM 2015: Formal Methods,2015
3. Cost analysis of object-oriented bytecode programs;Albert;Theoretical Computer Science,2012
4. Incremental resource usage analysis;Albert,2012
5. Symbolic and analytic techniques for resource analysis of Java bytecode;Aspinall,2010