A Fast and Accurate Approach to Analyze Cache Memory Behavior (Research Note). - Xavier Vera; Josep Llosa; Antonio González 001; Nerina Bermudo (Euro-Par, 2000)

An efficient solver for Cache Miss Equations. - Nerina Bermudo; Xavier Vera; Antonio González 001; Josep Llosa (ISPASS, 2000)

Optimizing cache miss equations polyhedra. - Nerina Bermudo; Xavier Vera; Antonio González 001; Josep Llosa (SIGARCH Comput. Archit. News, 2000)

A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. - Jan Gustafsson; Björn Lisper; Christer Sandberg; Nerina Bermudo (WORDS, 2003)

A fast and accurate framework to analyze and optimize cache memory behavior. - Xavier Vera; Nerina Bermudo; Josep Llosa; Antonio González 001 (ACM Trans. Program. Lang. Syst., 2004)

Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions. - Nerina Bermudo; Andreas Krall; R. Nigel Horspool (SCAM, 2005)