Deadlock Detection of Java Bytecode. - Cosimo Laneve; Abel Garcia (LOPSTR, 2017)

Static analysis of cloud elasticity. - Abel Garcia; Cosimo Laneve; Michael Lienhardt (Sci. Comput. Program., 2017)