F. Fernández

Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation

Philippe Clauss, Diego Garbervetsky, Sven Verdoolaege, 2009, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Symbolic Prediction of Dynamic-Memory Requirements

S. Yovine, S. Yovine, F. Fernández, 2007 .

Parametric prediction of heap memory requirements

Sergio Yovine, Diego Garbervetsky, Víctor A. Braberman, 2008, ISMM '08.