EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. - Flavio M. de Paula; Alan J. Hu (CAV, 2006)

An Effective Guidance Strategy for Abstraction-Guided Simulation. - Flavio M. de Paula; Alan J. Hu (DAC, 2007)

Developmental differences in the neural bases of the face inversion effect show progressive tuning of face-selective regions to the upright orientation. - Alessandra M. Passarotti; Jeremy L. Smith; Flavio M. de Paula; J. Huang (NeuroImage, 2007)

BackSpace: Formal Analysis for Post-Silicon Debug. - Flavio M. de Paula; Marcel Gort; Alan J. Hu; Steven J. E. Wilton; Jin Yang 006 (FMCAD, 2008)

BackSpace: Moving Towards Reality. - Flavio M. de Paula; Marcel Gort; Alan J. Hu; Steven J. E. Wilton (MTV, 2008)

TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. - Flavio M. de Paula; Amir Nahir; Ziv Nevo; Avigail Orni; Alan J. Hu (DAC, 2011)

nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces. - Flavio M. de Paula; Alan J. Hu; Amir Nahir (CAV, 2012)

Lazy suspect-set computation: fault diagnosis for deep electrical bugs. - Dipanjan Sengupta; Flavio M. de Paula; Alan J. Hu; Andreas G. Veneris; André Ivanov (ACM Great Lakes Symposium on VLSI, 2012)

Formal-Analysis-Based Trace Computation for Post-Silicon Debug. - Marcel Gort; Flavio M. de Paula; Johnny J. W. Kuan; Tor M. Aamodt; Alan J. Hu; Steven J. E. Wilton; Jin Yang 006 (IEEE Trans. Very Large Scale Integr. Syst., 2012)

Application level hardware tracing for scaling post-silicon debug. - Debjit Pal; Abhishek Sharma; Sandip Ray; Flavio M. de Paula; Shobha Vasudevan (DAC, 2018)

An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems. - Flavio M. de Paula; Arvind Haran; Brad Bingham (NFM, 2018)

Rewriting toward trace coverage analysis of symmetric systems. - Flavio M. de Paula; Arvind Haran; Brad Bingham (Innov. Syst. Softw. Eng., 2019)