Flavio M. de Paula

12 papers A* 5B 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
Rewriting toward trace coverage analysis of symmetric systems.
Innov. Syst. Softw. Eng.
Flavio M. de Paula, Arvind Haran, Brad Bingham
2018 — conf
An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems.
NFM
Flavio M. de Paula, Arvind Haran, Brad Bingham
2018 A* conf
Application level hardware tracing for scaling post-silicon debug.
DAC
Debjit Pal, Abhishek Sharma, Sandip Ray, Flavio M. de Paula, Shobha Vasudevan
2012 J jnl
Formal-Analysis-Based Trace Computation for Post-Silicon Debug.
IEEE Trans. Very Large Scale Integr. Syst.
Marcel Gort, Flavio M. de Paula, Johnny J. W. Kuan, Tor M. Aamodt, Alan J. Hu, Steven J. E. Wilton, Jin Yang
2012 — conf
Lazy suspect-set computation: fault diagnosis for deep electrical bugs.
ACM Great Lakes Symposium on VLSI
Dipanjan Sengupta, Flavio M. de Paula, Alan J. Hu, Andreas G. Veneris, André Ivanov
2012 A* conf
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces.
CAV
Flavio M. de Paula, Alan J. Hu, Amir Nahir
2011 A* conf
TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead.
DAC
Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu
2008 B conf
BackSpace: Formal Analysis for Post-Silicon Debug.
FMCAD
Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang
2008 — conf
BackSpace: Moving Towards Reality.
MTV
Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton
2007 A* conf
An Effective Guidance Strategy for Abstraction-Guided Simulation.
DAC
Flavio M. de Paula, Alan J. Hu
2007 J jnl
Developmental differences in the neural bases of the face inversion effect show progressive tuning of face-selective regions to the upright orientation.
NeuroImage
Alessandra M. Passarotti, Jeremy L. Smith, Flavio M. de Paula, J. Huang
2006 A* conf
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation.
CAV
Flavio M. de Paula, Alan J. Hu