Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Chatterjee, K., de Alfaro, L., Faella, M., Majumdar, R., & Raman, V. (2013). Code Aware Resource Management. Formal Methods in System Design, 42(2), 146-174. doi:10.1007/s10703-012-0170-4.