Flavio M. de Paula

According to our database, Flavio M. de Paula authored at least 12 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Rewriting toward trace coverage analysis of symmetric systems.

Flavio M. de Paula, Arvind Haran, Brad Bingham

Innov. Syst. Softw. Eng., 2019

2018

An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems.

Flavio M. de Paula, Arvind Haran, Brad Bingham

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Application level hardware tracing for scaling post-silicon debug.

Debjit Pal, Abhishek Sharma, Sandip Ray, Flavio M. de Paula, Shobha Vasudevan

Proceedings of the 55th Annual Design Automation Conference, 2018

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

IEEE Trans. Very Large Scale Integr. Syst., 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

Proceedings of the Great Lakes Symposium on VLSI 2012, 2012

nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces.

Flavio M. de Paula, Alan J. Hu, Amir Nahir

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

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

Proceedings of the 48th Design Automation Conference, 2011

2008

BackSpace: Moving Towards Reality.

Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton

Proceedings of the Ninth International Workshop on Microprocessor Test and Verification, 2008

BackSpace: Formal Analysis for Post-Silicon Debug.

Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang

Proceedings of the Formal Methods in Computer-Aided Design, 2008

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

An Effective Guidance Strategy for Abstraction-Guided Simulation.

Flavio M. de Paula, Alan J. Hu

Proceedings of the 44th Design Automation Conference, 2007

2006

EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation.

Flavio M. de Paula, Alan J. Hu

Proceedings of the Computer Aided Verification, 18th International Conference, 2006