1. Object-sensitive cost analysis for concurrent objects;Albert;Softw. Test. Verif. Reliab.,2015
2. Automatic inference of upper bounds for recurrence relations in cost analysis;Albert,2008
3. Cost analysis of object-oriented bytecode programs;Albert;Theor. Comput. Sci.,2012
4. Peak cost analysis of distributed systems;Albert,2014
5. Non-cumulative resource analysis;Albert,2015