Flavio M. de Paula

	2008
3		Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang: BackSpace: Formal Analysis for Post-Silicon Debug. FMCAD 2008: 1-10
	2007
2		Flavio M. de Paula, Alan J. Hu: An Effective Guidance Strategy for Abstraction-Guided Simulation. DAC 2007: 63-68
	2006
1		Flavio M. de Paula, Alan J. Hu: EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. CAV 2006: 282-285

Coauthor Index

1	Marcel Gort	[3]
2	Alan J. Hu	[1] [2] [3]
3	Steven J. E. Wilton	[3]
4	Jin Yang	[3]