Sandip Ray

	2009
13		Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang: Formal Verification for High-Assurance Behavioral Synthesis. ATVA 2009: 337-351
12		Matt Kaufmann, J. Strother Moore, Sandip Ray, Erik Reeber: Integrating external deduction tools with ACL2. J. Applied Logic 7(1): 3-25 (2009)
	2008
11		Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young: Mechanized Information Flow Analysis through Inductive Assertions. FMCAD 2008: 1-4
10		Sandip Ray, Warren A. Hunt Jr., John Matthews, J. Strother Moore: A Mechanical Analysis of Program Verification Strategies. J. Autom. Reasoning 40(4): 245-269 (2008)
9		David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding: Efficient execution in an automated reasoning environment. J. Funct. Program. 18(1): 15-46 (2008)
	2007
8		Sandip Ray, Jayanta Bhadra: A Mechanized Refinement Framework for Analysis of Custom Memories. FMCAD 2007: 239-242
7		Sandip Ray, Warren A. Hunt Jr.: Mechanized Certification of Secure Hardware Designs. MTV 2007: 25-32
6		Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray: A Survey of Hybrid Techniques for Functional Verification. IEEE Design & Test of Computers 24(2): 112-122 (2007)
5		Sandip Ray, Rob Sumners: Combining Theorem Proving with Model Checking through Predicate Abstraction. IEEE Design & Test of Computers 24(2): 132-139 (2007)
	2006
4		Sandip Ray: Quantification in tail-recursive function definitions. ACL2 2006: 95-98
3		John Matthews, J. Strother Moore, Sandip Ray, Daron Vroon: Verification Condition Generation Via Theorem Proving. LPAR 2006: 362-376
	2004
2		Sandip Ray, Warren A. Hunt Jr.: Deductive Verification of Pipelined Machines Using First-Order Quantification. CAV 2004: 31-43
1		Sandip Ray, J. Strother Moore: Proof Styles in Operational Semantics. FMCAD 2004: 67-81

Coauthor Index

1	Magdy S. Abadir	[6]
2	Jayanta Bhadra	[6] [8]
3	Yan Chen	[13]
4	David A. Greve	[9]
5	Kecheng Hao	[13]
6	Warren A. Hunt Jr.	[2] [7] [10] [11]
7	Matt Kaufmann	[9] [12]
8	Robert Bellarmine Krug	[11]
9	Panagiotis Manolios (Pete Manolios)	[9]
10	John Matthews	[3] [10]
11	J. Strother Moore	[1] [3] [9] [10] [12]
12	Erik Reeber	[12]
13	José-Luis Ruiz-Reina	[9]
14	Robert W. Sumners (Rob Sumners)	[5] [9]
15	Daron Vroon	[3] [9]
16	Li-C. Wang	[6]
17	Matthew Wilding	[9]
18	Fei Xie	[13]
19	Jin Yang	[13]
20	William D. Young	[11]

Colors in the list of coauthors