Adam Bauserman

	2009
3		Andrew DeOrio, Adam Bauserman, Valeria Bertacco, Beth Isaksen: Inferno: Streamlining Verification With Inferred Semantics. IEEE Trans. on CAD of Integrated Circuits and Systems 28(5): 728-741 (2009)
	2008
2		Andrew DeOrio, Adam Bauserman, Valeria Bertacco: Post-silicon verification for cache coherence. ICCD 2008: 348-355
	2007
1		Andrew DeOrio, Adam Bauserman, Valeria Bertacco: Chico: An On-chip Hardware Checker for Pipeline Control Logic. MTV 2007: 91-97

Coauthor Index

1	Valeria Bertacco	[1] [2] [3]
2	Andrew DeOrio	[1] [2] [3]
3	Beth Isaksen	[3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page